#4136: [with patch, needs review] enable tail reduction when reducing
multivariate
polynomials
---------------------------------+------------------------------------------
Reporter: malb | Owner: malb
Type: defect | Status: new
Priority: major | Milestone: sage-3.1.3
Component: commutative algebra | Keywords:
---------------------------------+------------------------------------------
This was reported on '''[sage-support]''':
{{{
hi there,
this is going to be even worse than my recent bug report in terms of
reproducing the error. I guess i'll start with describing what
happens, and then if someone tells me that it's a bug and not a
feature, then i'll try to get a minimal example.
So I've got a polynomial ring with a few dozens variables, over a
cyclotomic field, and i've got an ideal J with hundreds of generators.
J contains at least y9 + y12. Then i got something like:
sage: J.reduce(y9 - y12)
2*y9 #which is fine
sage: J.reduce(y13*y15)
y13*y15 #why not
sage: J.reduce(y13*y15 + y9 - y12)
y13*y15 + y9 - y12
Now what's up with that ? shouldn't it be y13*y15 + 2*y9 ? that's what
i expect from the term 'reduction' anyway. Is this normal or is it a
bug ? if it's a bug, could it influence the equivalence x in J iff
J.reduce(x) == 0 ?
So if this is a bug i'll give you more details.
thanks!
Pierre
}}}
http://groups.google.com/group/sage-
support/browse_thread/thread/138e473f31c2f2b5
{{{
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4136>
SAGE <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
