#15672: Computing degree bound GBs with Magma is broken
-------------------------+-------------------------------------------------
Reporter: malb | Owner:
Type: defect | Status: new
Priority: minor | Milestone: sage-6.1
Component: | Keywords: magma
interfaces | Authors: Martin Albrecht
Merged in: | Report Upstream: None of the above - read trac
Reviewers: | for reasoning.
Work issues: | Branch: u/malb/magma_gb_deg_bound
Commit: | Dependencies:
Stopgaps: |
-------------------------+-------------------------------------------------
This should work:
{{{
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)
}}}
The culprit is that !PolynomialSequence casts to an ideal in Magma, but we
need a sequence.
--
Ticket URL: <http://trac.sagemath.org/ticket/15672>
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/groups/opt_out.
