#8005: powers of elements in a QuotientRing
-----------------------+----------------------------------------------------
Reporter: wjp | Owner: AlexGhitza
Type: defect | Status: new
Priority: major | Milestone: sage-4.3.2
Component: algebra | Keywords:
Author: | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-----------------------+----------------------------------------------------
Reported by Ronald van Luijk:
The following seems inconsistent:
{{{
sage: F = GF(5)
sage: R.<x,y>=F[]
sage: I=Ideal(R, [x, y])
sage: S.<x1,y1>=QuotientRing(R,I)
sage: print x1^2
x1^2
sage: print x1^3
x1^3
sage: print (x1^2)^2
x1^4
sage: print x1^4
NotImplementedError
}}}
The traceback is:
{{{
NotImplementedError Traceback (most recent call
last)
/home/wjp/.sage/<ipython console> in <module>()
/data/sage/sage-4.3.1.rc1/local/lib/python2.6/site-
packages/sage/structure/element.so in
sage.structure.element.RingElement.__pow__
(sage/structure/element.c:10708)()
/data/sage/sage-4.3.1.rc1/local/lib/python2.6/site-
packages/sage/structure/element.so in
sage.structure.element.generic_power_c (sage/structure/element.c:22501)()
/data/sage/sage-4.3.1.rc1/local/lib/python2.6/site-
packages/sage/structure/element.so in
sage.structure.element.Element.__richcmp__
(sage/structure/element.c:6516)()
/data/sage/sage-4.3.1.rc1/local/lib/python2.6/site-
packages/sage/structure/element.so in
sage.structure.element.Element._richcmp (sage/structure/element.c:6398)()
/data/sage/sage-4.3.1.rc1/local/lib/python2.6/site-
packages/sage/rings/quotient_ring_element.pyc in __cmp__(self, other)
463 1
464 """
--> 465 if self.__rep == other.__rep or ((self.__rep -
other.__rep) in self.parent().defining_ideal()):
466 return 0
467 return cmp(self.__rep, other.__rep)
/data/sage/sage-4.3.1.rc1/local/lib/python2.6/site-
packages/sage/rings/ideal.pyc in __contains__(self, x)
260 def __contains__(self, x):
261 try:
--> 262 return self._contains_(self.__ring(x))
263 except TypeError:
264 return False
/data/sage/sage-4.3.1.rc1/local/lib/python2.6/site-
packages/sage/rings/ideal.pyc in _contains_(self, x)
266 def _contains_(self, x):
267 # check if x, which is assumed to be in the ambient ring,
is actually in this ideal.
--> 268 raise NotImplementedError
269
270 def __nonzero__(self):
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8005>
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.
