#18749: Groebner basis computations with the F4 algorithm
-------------------------------------+-------------------------------------
Reporter: tcoladon | Owner:
Type: enhancement | Status: positive_review
Priority: major | Milestone: sage-6.8
Component: packages: | Resolution:
optional | Merged in:
Keywords: F4, groebner | Reviewers: Martin Albrecht,
basis, ideal | Travis Scrimshaw, Jeroen Demeyer,
Authors: Titouan Coladon | Dima Pasechnik
Report Upstream: N/A | Work issues:
Branch: u/malb/t18749_f4 | Commit:
Dependencies: | e388b7ef03812fb47c41737fa566ecc97ca89557
| Stopgaps:
-------------------------------------+-------------------------------------
Comment (by zimmerma):
another difference:
{{{
sage: P.<x1,x2,x3,x4,x5> = PolynomialRing(GF(143107493))
sage: I=ideal([-7253051*x1^2 + 52764828*x1*x2 - 1593629*x2^2 -
30491382*x1*x4 - 15421743, 2778386*x1^2 + 46128944*x2^2 - 28328699*x2*x3 +
35619408*x1*x4 - 47336793*x4^2, 50713151*x1^2 + 33804903*x1*x3 +
4639379*x3*x4 - 29371044*x1 - 55622885*x4, -17812925*x1*x2 - 60567702*x3^2
- 17218643*x2*x4 + 15189711*x1 + 683651*x4, 42755489*x1*x3 -
60418193*x2*x4 + 56537689*x4^2 - 6152933*x3 + 53988116])
sage: I.groebner_basis()
[1]
sage: I.groebner_basis('openf4')
[x1, x2, x3, x4]
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/18749#comment:63>
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.
