An issue forming quotient rings -- ordering matters:
sage: R.<t> = ZZ['t']
sage: R.quo(ideal(t, 3))
Quotient of Univariate Polynomial Ring in t over Integer Ring by the
ideal (3, t)
sage: R.quo(ideal(3, t))
---------------------------------------------------------------------------
<type 'exceptions.TypeError'> Traceback (most recent call
last)
/Users/nalexand/<ipython console> in <module>()
/Users/nalexand/Devel/sage/local/lib/python2.5/site-packages/sage/misc/
functional.py in ideal(*x)
392 except AttributeError:
393 pass
--> 394 return sage.rings.all.Ideal(x)
395
396 def image(x):
/Users/nalexand/Devel/sage/local/lib/python2.5/site-packages/sage/
rings/ideal.py in Ideal(R, gens, coerce)
78
79 if isinstance(R, (list, tuple)) and len(R) > 0:
---> 80 return R[0].parent().ideal(R)
81
82 if not isinstance(R, sage.rings.ring.Ring):
/Users/nalexand/ring.pyx in ring.Ring.ideal()
/Users/nalexand/Devel/sage/local/lib/python2.5/site-packages/sage/
rings/ideal.py in Ideal(R, gens, coerce)
105
106 if coerce:
--> 107 gens = [R(g) for g in gens]
108
109 gens = list(set(gens))
/Users/nalexand/integer_ring.pyx in
integer_ring.IntegerRing_class.__call__()
<type 'exceptions.TypeError'>: cannot coerce nonconstant polynomial
Nick
--~--~---------~--~----~------------~-------~--~----~
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-devel
URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/
-~----------~----~----~----~------~----~------~--~---
