Currently, the following code fails with a NotImplementedError:

sage: 1 in Zmod(15).ideal([3,5])

This patch implements ideal membership testing for quotient-ring ideals.

Component: algebra

Author: Lorenz Panny

Branch/Commit: cb02e3f

Reviewer: Travis Scrimshaw

Issue created by migration from https://trac.sagemath.org/ticket/33237