#15996: Allow general base rings for WeierstrassForm
-------------------------------------+-------------------------------------
Reporter: jkeitel | Owner:
Type: defect | Status: needs_review
Priority: major | Milestone: sage-6.2
Component: algebraic | Resolution:
geometry | Merged in:
Keywords: toric, | Reviewers:
weierstrass | Work issues:
Authors: Jan Keitel | Commit:
Report Upstream: N/A | 3c0999f8fe80473c74afb9b7500874cf21ece17b
Branch: | Stopgaps:
u/jkeitel/weierstrass_general_rings|
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by jkeitel):
Hi Volker,
without the patch, the following still does not work:
{{{
sage: P.<a,b> = QQ[]
sage: R.<x,y,z> = P[]
sage: cubic = x^3 + a*y^3 + a^2*z^3
sage: cubic // x^3
---------------------------------------------------------------------------
AttributeError Traceback (most recent call
last)
<ipython-input-11-bf6b2864fe25> in <module>()
----> 1 cubic // x**Integer(3)
/home/pcl337b/jkeitel/sage/sage/local/lib/python2.7/site-
packages/sage/rings/polynomial/multi_polynomial_element.pyc in
__floordiv__(self, right)
1416 for c,m in self:
1417 t = c*m
-> 1418 if denC.divides(c) and P.monomial_divides(denM,
m):
1419 ret += P.monomial_quotient(t, right,
coeff=True)
1420 return ret
/home/pcl337b/jkeitel/sage/sage/local/lib/python2.7/site-
packages/sage/structure/parent.so in
sage.structure.parent.Parent.__getattr__ (sage/structure/parent.c:7221)()
/home/pcl337b/jkeitel/sage/sage/local/lib/python2.7/site-
packages/sage/structure/misc.so in
sage.structure.misc.getattr_from_other_class
(sage/structure/misc.c:1687)()
AttributeError: 'MPolynomialRing_polydict_with_category' object has no
attribute 'monomial_divides'
}}}
Unfortunately, I don't know enough about the internals of (multivariate)
rings in Sage. Is there a better cast than the one in #13048 that one
could make to get this to work, too?
Best,
Jan
--
Ticket URL: <http://trac.sagemath.org/ticket/15996#comment:4>
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.
