#13999: Ideal membership for univariate polynomial
-----------------------+----------------------------------------------------
Reporter: hivert | Owner: AlexGhitza
Type: defect | Status: new
Priority: major | Milestone: sage-5.7
Component: algebra | Keywords: Ideal, univariate polynomial
Work issues: | Report Upstream: N/A
Reviewers: | Authors:
Merged in: | Dependencies:
Stopgaps: |
-----------------------+----------------------------------------------------
{{{
sage: R.<x> = PolynomialRing(ZZ)
sage: p, q = 4 + 3*x + x^2, 1 + x^2
sage: I = R.ideal([p, q])
sage: S = R.quotient_ring(I)
sage: S(p) == S(0)
False
}}}
This is plain wrong !
{{{sage: p in I
---------------------------------------------------------------------------
NotImplementedError Traceback (most recent call
last)
/tmp/<ipython console> in <module>()
/home/data/Sage-Install/sage-5.6.rc1/local/lib/python2.7/site-
packages/sage/rings/ideal.pyc in __contains__(self, x)
316 def __contains__(self, x):
317 try:
--> 318 return self._contains_(self.__ring(x))
319 except TypeError:
320 return False
/home/data/Sage-Install/sage-5.6.rc1/local/lib/python2.7/site-
packages/sage/rings/ideal.pyc in _contains_(self, x)
322 def _contains_(self, x):
323 # check if x, which is assumed to be in the ambient ring,
is actually in this ideal.
--> 324 raise NotImplementedError
325
326 def __nonzero__(self):
NotImplementedError:
}}}
Florent
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13999>
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 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.
