#5484: improve quotients of univariate polynomial rings
-------------------------------------+-------------------------------------
Reporter: AlexGhitza | Owner: malb
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.8
Component: commutative | Resolution:
algebra | Merged in:
Keywords: | Reviewers:
Authors: Bruno Grenet | Work issues:
Report Upstream: N/A | Commit:
Branch: | 10eaf305bfa53cdffa6a9519f86c477e10eec443
u/bruno/quotient_rings_univariate | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by darij):
Sorry, but the new quotient rings don't play well with the quotient ring
interface (or what could be reasonably expected to be the quotient ring
interface):
{{{
sage: R = ZZ['x']
sage: x = R.gen()
sage: J = R.ideal(2)
sage: T = R.quotient_by_principal_ideal(J)
sage: T(x)
x
sage: T.lift(_)
---------------------------------------------------------------------------
AttributeError Traceback (most recent call
last)
<ipython-input-30-260465055124> in <module>()
----> 1 T.lift(_)
/home/skraeling/sage/src/sage/structure/parent.pyx in
sage.structure.parent.Parent.__getattr__
(build/cythonized/sage/structure/parent.c:7885)()
839 return self.__cached_methods[name]
840 except KeyError:
--> 841 attr = getattr_from_other_class(self,
self._category.parent_class, name)
842 self.__cached_methods[name] = attr
843 return attr
/home/skraeling/sage/src/sage/structure/misc.pyx in
sage.structure.misc.getattr_from_other_class
(build/cythonized/sage/structure/misc.c:1582)()
251 dummy_error_message.cls = type(self)
252 dummy_error_message.name = name
--> 253 raise dummy_attribute_error
254 try:
255 attribute = getattr(cls, name)
AttributeError: 'PolynomialRing_dense_mod_p_with_category' object has no
attribute 'lift'
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/5484#comment:12>
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 http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
