#16485: "TypeError: keys do not match self's parent" computing variety of
MPolynomialIdeal_singular_repr
-----------------------------+----------------------------
Reporter: gagern | Owner:
Type: PLEASE CHANGE | Status: new
Priority: major | Milestone: sage-6.3
Component: PLEASE CHANGE | Keywords:
Merged in: | Authors:
Reviewers: | Report Upstream: N/A
Work issues: | Branch:
Commit: | Dependencies:
Stopgaps: |
-----------------------------+----------------------------
{{{
PR.<q0, q1, q2, q3, c1, c2, c3, o1, o2, o3, f> = PolynomialRing(QQ,
order='lex')
i1 = PR.ideal([
2*q0*q1*c2*f - 2*q0*q1*o2*f + 2*q1^2*c3*f - 2*q1^2*o3*f +
2*q2*q3*c2*f - 2*q2*q3*o2*f + 2*q3^2*c3*f - 2*q3^2*o3*f - c3*f + o3*f -
47,
-2*q0*q1*c1*f + 2*q0*q1*o1*f - 2*q0*q3*c3*f + 2*q0*q3*o3*f +
2*q1*q2*c3*f - 2*q1*q2*o3*f - 2*q2*q3*c1*f + 2*q2*q3*o1*f + 54,
2*q0*q1*c1*o2*f - 2*q0*q1*c2*o1*f - 2*q0*q3*c2*o3*f +
2*q0*q3*c3*o2*f + 2*q1^2*c1*o3*f - 2*q1^2*c3*o1*f + 2*q1*q2*c2*o3*f -
2*q1*q2*c3*o2*f + 2*q2*q3*c1*o2*f - 2*q2*q3*c2*o1*f + 2*q3^2*c1*o3*f -
2*q3^2*c3*o1*f - c1*o3*f + c3*o1*f + 121,
2*q0*q2*c2*f - 2*q0*q2*o2*f + 2*q0*q3*c3*f - 2*q0*q3*o3*f +
2*q1*q2*c3*f - 2*q1*q2*o3*f - 2*q1*q3*c2*f + 2*q1*q3*o2*f + 4,
-2*q0*q2*c1*f + 2*q0*q2*o1*f + 2*q1*q3*c1*f - 2*q1*q3*o1*f +
2*q2^2*c3*f - 2*q2^2*o3*f + 2*q3^2*c3*f - 2*q3^2*o3*f - c3*f + o3*f + 22,
2*q0*q2*c1*o2*f - 2*q0*q2*c2*o1*f + 2*q0*q3*c1*o3*f -
2*q0*q3*c3*o1*f + 2*q1*q2*c1*o3*f - 2*q1*q2*c3*o1*f - 2*q1*q3*c1*o2*f +
2*q1*q3*c2*o1*f + 2*q2^2*c2*o3*f - 2*q2^2*c3*o2*f + 2*q3^2*c2*o3*f -
2*q3^2*c3*o2*f - c2*o3*f + c3*o2*f + 3,
2*q0*q2*f + 2*q1*q3*f + 20,
-2*q0*q1*f + 2*q2*q3*f - 15,
2*q0*q1*c2*f - 2*q0*q2*c1*f + 2*q1^2*c3*f - 2*q1*q3*c1*f +
2*q2^2*c3*f - 2*q2*q3*c2*f - c3*f - 85,
q0^2 + q1^2 + q2^2 + q3^2 - 1,
c3 - 3,
])
i1.variety(QQbar)
}}}
Trying to compute a variety of some ideal, I get an error message instead:
{{{
Traceback (most recent call last):
File "/projects/3629be9c-
d6c4-4013-a305-69c083e264d0/.sagemathcloud/sage_server.py", line 734, in
execute
exec compile(block+'\n', '', 'single') in namespace, locals
File "", line 1, in <module>
File "/usr/local/sage/sage-6.2.rc0/local/lib/python2.7/site-
packages/sage/rings/polynomial/multi_polynomial_ideal.py", line 604, in
__call__
return self.f(self._instance, *args, **kwds)
File "/usr/local/sage/sage-6.2.rc0/local/lib/python2.7/site-
packages/sage/rings/polynomial/multi_polynomial_ideal.py", line 2647, in
variety
Vbar = _variety(list(t),[])
File "/usr/local/sage/sage-6.2.rc0/local/lib/python2.7/site-
packages/sage/rings/polynomial/multi_polynomial_ideal.py", line 2620, in
_variety
_variety(Tbar,V,vbar)
File "/usr/local/sage/sage-6.2.rc0/local/lib/python2.7/site-
packages/sage/rings/polynomial/multi_polynomial_ideal.py", line 2620, in
_variety
_variety(Tbar,V,vbar)
File "/usr/local/sage/sage-6.2.rc0/local/lib/python2.7/site-
packages/sage/rings/polynomial/multi_polynomial_ideal.py", line 2620, in
_variety
_variety(Tbar,V,vbar)
File "/usr/local/sage/sage-6.2.rc0/local/lib/python2.7/site-
packages/sage/rings/polynomial/multi_polynomial_ideal.py", line 2620, in
_variety
_variety(Tbar,V,vbar)
File "/usr/local/sage/sage-6.2.rc0/local/lib/python2.7/site-
packages/sage/rings/polynomial/multi_polynomial_ideal.py", line 2620, in
_variety
_variety(Tbar,V,vbar)
File "/usr/local/sage/sage-6.2.rc0/local/lib/python2.7/site-
packages/sage/rings/polynomial/multi_polynomial_ideal.py", line 2620, in
_variety
_variety(Tbar,V,vbar)
File "/usr/local/sage/sage-6.2.rc0/local/lib/python2.7/site-
packages/sage/rings/polynomial/multi_polynomial_ideal.py", line 2620, in
_variety
_variety(Tbar,V,vbar)
File "/usr/local/sage/sage-6.2.rc0/local/lib/python2.7/site-
packages/sage/rings/polynomial/multi_polynomial_ideal.py", line 2620, in
_variety
_variety(Tbar,V,vbar)
File "/usr/local/sage/sage-6.2.rc0/local/lib/python2.7/site-
packages/sage/rings/polynomial/multi_polynomial_ideal.py", line 2619, in
_variety
Tbar = [ f.subs({variable:root}) for f in T ]
File "multi_polynomial_libsingular.pyx", line 3298, in
sage.rings.polynomial.multi_polynomial_libsingular.MPolynomial_libsingular.subs
(sage/rings/polynomial/multi_polynomial_libsingular.cpp:22723)
TypeError: keys do not match self's parent
}}}
So far I haven't managed to find a smaller reproducing example.
--
Ticket URL: <http://trac.sagemath.org/ticket/16485>
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.
