membership testing for ideals of quotient rings

[yyyyx4]

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

[tscrim]

comment:2

You might be better/faster to extend() the list rather than using concatenation. Otherwise LGTM.

[tscrim]

Reviewer: Travis Scrimshaw

[sagetrac-git]

Changed commit from a4b7b5f to cb02e3f

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

19272fd	Merge tag '9.6.beta1' into public/ideal_membership_testing_for_quotient_rings
cb02e3f	extending list in-place should be slightly faster

[yyyyx4]

comment:4

Thank you, done.

[tscrim]

comment:5

Thank you.

[vbraun]

Changed branch from public/ideal_membership_testing_for_quotient_rings to cb02e3f