#20514: is_trivial should be implemented for ideals in multivariate polynomial
rings
-----------------------+--------------------------------------------------
Reporter: kedlaya | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-7.2
Component: algebra | Keywords: polynomial ring, trivial ideal
Merged in: | Authors:
Reviewers: | Report Upstream: N/A
Work issues: | Branch:
Commit: | Dependencies:
Stopgaps: |
-----------------------+--------------------------------------------------
This is easy to fix (by overriding the default method):
{{{
sage: R.<x,y> = PolynomialRing(QQ,2)
sage: I = R.ideal(0,1)
sage: I == R.unit_ideal()
True
sage: I.is_trivial() # should give the same answer!
---------------------------------------------------------------------------
NotImplementedError Traceback (most recent call
last)
<ipython-input-15-f115fda66859> in <module>()
----> 1 I.is_trivial()
/projects/b8cc019c-1204-44b1-bea9-eb81c119388e/sage/local/lib/python2.7
/site-packages/sage/rings/ideal.pyc in is_trivial(self)
945 return True
946 # If self is principal, can give a complete answer
--> 947 if self.is_principal():
948 return self.gens()[0].is_unit()
949 # If self is not principal, can only give an affirmative
answer
/projects/b8cc019c-1204-44b1-bea9-eb81c119388e/sage/local/lib/python2.7
/site-packages/sage/rings/ideal.pyc in is_principal(self)
906 if len(self.gens()) <= 1:
907 return True
--> 908 raise NotImplementedError
909
910 def is_trivial(self):
NotImplementedError:
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/20514>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
