#4420: [with patch, needs work] sort Gröbner bases
---------------------------------+------------------------------------------
Reporter: malb | Owner: malb
Type: enhancement | Status: new
Priority: major | Milestone: sage-3.2
Component: commutative algebra | Resolution:
Keywords: |
---------------------------------+------------------------------------------
Comment (by mabshoff):
Replying to [comment:4 malb]:
> That's the difference between M2 and the native/naive GB implementation
of ZZ. IIRC the patch does not improve or worsen the situation (i.e. the
same doctest failed before). Both answers are correct and that mess should
be dealt with eventually.
Does the GB computation over ZZ default to M2 if it is available? I guess
in that case we should use some optional parameter to select the default
one and make the one selecting the M2 engine optional. Once the
documentation is fixed I will give this patch a positive review despite
the M2 issue since as is due to the missing surf bits for Singular we have
optional doctest failures. As you pointed out we can deal with that later.
Cheers,
Michael
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4420#comment:6>
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
-~----------~----~----~----~------~----~------~--~---
