#5978: Can't construct the quotient of an univariate polynomial ring by it's
zero
ideal
---------------------+------------------------------------------------------
Reporter: jmbr | Owner: tbd
Type: defect | Status: new
Priority: minor | Milestone: sage-4.0
Component: algebra | Keywords:
---------------------+------------------------------------------------------
Changes (by mabshoff):
* milestone: => sage-4.0
Old description:
> See attachment.
New description:
{{{
----------------------------------------------------------------------
| Sage Version 3.4.2.rc0, Release Date: 2009-04-30 |
| Type notebook() for the GUI, and license() for information. |
----------------------------------------------------------------------
sage: R = QQ['x']
sage: R.quotient(R.zero_ideal())
---------------------------------------------------------------------------
TypeError Traceback (most recent call
last)
/home/mabshoff/.sage/temp/sage.math.washington.edu/1567/_home_mabshoff__sage_init_sage_0.py
in <module>()
/scratch/mabshoff/sage-3.4.2.final/local/lib/python2.5/site-
packages/sage/rings/ring.so in sage.rings.ring.CommutativeRing.quotient
(sage/rings/ring.c:6627)()
/scratch/mabshoff/sage-3.4.2.final/local/lib/python2.5/site-
packages/sage/rings/quotient_ring.pyc in QuotientRing(R, I, names)
137 try:
138 if I.is_principal():
--> 139 return R.quotient_by_principal_ideal(I.gen(), names)
140 except (AttributeError, NotImplementedError):
141 pass
/scratch/mabshoff/sage-3.4.2.final/local/lib/python2.5/site-
packages/sage/rings/polynomial/polynomial_ring.pyc in
quotient_by_principal_ideal(self, f, names)
1092 """
1093 import sage.rings.polynomial.polynomial_quotient_ring
-> 1094 return
sage.rings.polynomial.polynomial_quotient_ring.PolynomialQuotientRing(self,
f, names)
1095
1096
/scratch/mabshoff/sage-3.4.2.final/local/lib/python2.5/site-
packages/sage/rings/polynomial/polynomial_quotient_ring.pyc in
PolynomialQuotientRing(ring, polynomial, names)
149 c = polynomial.leading_coefficient()
150 if not c.is_unit():
--> 151 raise TypeError, "polynomial must have unit leading
coefficient"
152 R = ring.base_ring()
153 if isinstance(R, sage.rings.integral_domain.IntegralDomain):
TypeError: polynomial must have unit leading coefficient
}}}
--
Comment:
Do '''not''' attach the error message, but post it verbatim into the
ticket.
Also '''always''' assign a milestone.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5978#comment:2>
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
-~----------~----~----~----~------~----~------~--~---
