#13846: eliminate_linear_variables() vs degrevlex
----------------------------------------------------------------+-----------
Reporter: malb |
Owner: malb
Type: defect |
Status: new
Priority: major |
Milestone: sage-5.6
Component: commutative algebra |
Resolution:
Keywords: | Work
issues:
Report Upstream: None of the above - read trac for reasoning. |
Reviewers:
Authors: | Merged
in:
Dependencies: |
Stopgaps:
----------------------------------------------------------------+-----------
Comment (by PolyBoRi):
Thanks, the code indeed assumes that the indices really
coincide with the diag. structure, i.e. are consistent (all index
accessing functions
give really the same result).
{{{top_index <-> .navigation().value()}}},
or {{{v.index()}}}
which are really the same, if you don't do anything,
more problematics looks {{{iter(Monomial(v).variables()).next().index()}}}
to be the same (but does not seem to be the problem).
Moreover, we assume here that indices coincide with diag structure (i.e. <
relation on indices has a meaning).
Be aware that in this case code is broken while in other cases it might be
just extremely slow when using wrong indices.
I must say that I have extreme bellyache for this index game. I
appreciate all efforts on the topic.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13846#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.
