#5480: R.quotient_by_principal_ideal() is self-contradictory
--------------------------------+-------------------------------------------
Reporter: justin | Owner: was
Type: defect | Status: new
Priority: major | Milestone:
Component: algebraic geometry | Keywords:
--------------------------------+-------------------------------------------
The following seems absurd:
{{{
sage: R.<x> = PolynomialRing(QQ)
sage: I = (x^2-1)*R
sage: S = R.quotient_by_principal_ideal(I)
---------------------------------------------------------------------------
TypeError Traceback (most recent call
last)
/Users/justin/.sage/temp/Hasse_2.local/32509/_tmp_z_sage_9.py in
<module>()
/SandBox/Justin/sb/sage-3.2.2/local/lib/python2.5/site-
packages/sage/rings/polynomial/polynomial_ring.pyc in
quotient_by_principal_ideal(self=Univariate Polynomial Ring in x over
Rational Field, f=Principal ideal (x^2 - 1) of Univariate Polynomial Ring
in x over Rational Field, names=None)
1004 """
1005 import sage.rings.polynomial.polynomial_quotient_ring
-> 1006 return
sage.rings.polynomial.polynomial_quotient_ring.PolynomialQuotientRing(self,
f, names)
1007
1008
/SandBox/Justin/sb/sage-3.2.2/local/lib/python2.5/site-
packages/sage/rings/polynomial/polynomial_quotient_ring.pyc in
PolynomialQuotientRing(ring=Univariate Polynomial Ring in x over Rational
Field, polynomial=Principal ideal (x^2 - 1) of Univariate Polynomial Ring
in x over Rational Field, names=None)
128 raise TypeError, "ring must be a polynomial ring"
129 if not isinstance(polynomial, polynomial_element.Polynomial):
--> 130 raise TypeError, "must be a polynomial"
global EXAMPLES = undefined
131 if not polynomial.parent() == ring:
132 raise TypeError, "polynomial must be in ring"
TypeError: must be a polynomial
}}}
Either the procedure should be ...by_polynomial(), or it should really
accept an ideal as an argument.
Sheesh.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5480>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
