Revision history [back]

You could try this:

sage: from sage.rings.quotient_ring import QuotientRing_generic
sage: Q = QuotientRing_generic(R, I, ['a'])
sage: Q.inject_variables()

but I wouldn't be surprised if some things were broken. Quotients of polynomial rings are well implemented only when the leading coefficient is a unit, as the error message implies.

You could try this:

sage: from sage.rings.quotient_ring import QuotientRing_generic
sage: I = R.ideal(2*x)
sage: Q = QuotientRing_generic(R, I, ['a'])
sage: Q.inject_variables()

but I wouldn't be surprised if some things were broken. Quotients of polynomial rings are well implemented only when the leading coefficient is a unit, as the error message implies.

You could try this:

sage: from sage.rings.quotient_ring import QuotientRing_generic
sage: R.<x> = Integers(4)[]
sage: I = R.ideal(2*x)
sage: Q = QuotientRing_generic(R, I, ['a'])
sage: Q.inject_variables()

but I wouldn't be surprised if some things were broken. Quotients of polynomial rings are well implemented only when the leading coefficient is a unit, as the error message implies.

You could try this:

sage: from sage.rings.quotient_ring import QuotientRing_generic
sage: R.<x> = Integers(4)[]
sage: I = R.ideal(2*x)
sage: Q = QuotientRing_generic(R, I, ['a'])
sage: Q.inject_variables()

but I wouldn't be surprised if some things were broken. Quotients of polynomial rings are well implemented only when the leading coefficient is a unit, as the error message implies.

sage: R.<x> = ZZ[]
sage: J = R.ideal(2*x, 4)
sage: Q = R.quotient(J)