#13999: Ideal membership for univariate polynomial
------------------------------------------------+---------------------------
Reporter: hivert | Owner: AlexGhitza
Type: defect | Status: new
Priority: major | Milestone: sage-5.7
Component: algebra | Resolution:
Keywords: Ideal, univariate polynomial | Work issues:
Report Upstream: N/A | Reviewers:
Authors: | Merged in:
Dependencies: | Stopgaps:
------------------------------------------------+---------------------------
Description changed by hivert:
Old description:
> {{{
> 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
New description:
{{{
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#comment:1>
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.
