#15672: Computing degree bound GBs with Magma is broken
-------------------------------------+-------------------------------------
Reporter: malb | Owner:
Type: defect | Status: needs_info
Priority: minor | Milestone: sage-6.3
Component: interfaces | Resolution:
Keywords: magma, sd59 | Merged in:
Authors: Martin Albrecht | Reviewers:
Report Upstream: None of the above | Work issues:
- read trac for reasoning. | Commit:
Branch: | 0f45e69a440d47b7476be3a9fe3c16b766f22451
u/malb/magma_gb_deg_bound | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Changes (by jakobkroeker):
* status: needs_review => needs_info
Comment:
I get a different ouput for {{{gb}}},
so the doctest fails for me at {{{len(gb)}}}
{{{
sage: R.<a,b,c,d,e,f,g,h,i,j> = PolynomialRing(GF(127),10)
sage: I = sage.rings.ideal.Cyclic(R,6)
sage: gb = I.groebner_basis('magma:GroebnerBasis', deg_bound=4)
sage: len(gb) # optional - magma
7 # doctest expects 5
}}}
Singular tells me 7, too (but we should not rely on that)
So why in your output len(gb) =5 ? I have access to a dated magma version
{{{2.17-8}}}.
Here is the gb output I get:
{{{
[a*b*c*d*e*f - 1,
a*b*c*d*e - 3*b*c*d*e*f - c^2*d*e*f - 2*c*d^2*e*f - 2*c*d*e^2*f -
d^2*e^2*f + b*c*d*f^2 + 2*b*c*e*f^2 + 2*b*d*e*f^2 + 3*c*d*e*f^2 +
2*d^2*e*f^2 + b*e^2*f^2 + c*e^2*f^2 + 3*d*e^2*f^2 + e^3*f^2 - b*c*f^3 -
c*d*f^3 - 3*b*e*f^3 - 3*c*e*f^3 - d*e*f^3 + b*f^4 + c*f^4 + d*f^4 -
3*e*f^4 + f^5,
c^3*d - c^2*d^2 + b*c*d*e + 2*c^2*d*e - 2*c*d^2*e - c^3*f - b*c*d*f +
3*c^2*d*f + 2*c*d^2*f - c^2*e*f + b*e^2*f + c*e^2*f + d*e^2*f + e^3*f -
b*c*f^2 - 4*c^2*f^2 - b*d*f^2 - d^2*f^2 + 4*b*e*f^2 + 2*c*e*f^2 +
2*d*e*f^2 + 5*e^2*f^2 - 3*b*f^3 - 6*c*f^3 - 4*d*f^3 + 3*e*f^3 - 3*f^4,
b*c*d^2 - b*c*d*e + c*d^2*e - c*d^2*f + b*c*e*f + c*d*e*f + d*e^2*f -
b*c*f^2 + b*d*f^2 + d^2*f^2 - 2*b*e*f^2 - 2*c*e*f^2 - 2*d*e*f^2 - e^2*f^2
+ b*f^3 + c*f^3 + 2*d*f^3 - 2*e*f^3 + f^4,
b*c^2 - b*c*d + c^2*d - c^2*f + b*e*f + c*e*f + d*e*f + e^2*f - b*f^2 -
2*c*f^2 - d*f^2 + e*f^2 - f^3,
b^2 + b*d - c*d + b*e - d*e + 2*b*f + c*f + d*f + f^2,
a + b + c + d + e + f]
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/15672#comment:8>
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.
