#10571: print protocol of Groebner basis computations via Singular and Magma
-------------------------------+--------------------------------------------
Reporter: malb | Owner: was
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-4.6.2
Component: interfaces | Keywords: magma, singular
Author: Martin Albrecht | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-------------------------------+--------------------------------------------
Comment(by malb):
The updated patch provides the following functionality:
'''Pretty printing for Singular logs'''
{{{
#!python
sage: P.<x,y> = GF(32003)[]
sage: I = sage.rings.ideal.Katsura(P)
sage: _ = I.groebner_basis('magma', prot="sage")
_ = I.groebner_basis('singular', prot="sage")
Leading term degree: 1.
Leading term degree: 2.
Highest degree reached during computation: 2.
}}}
'''And degree bounds for Magma:'''
{{{
#!python
sage: P.<x,y,z,a,b,c,w> = GF(32003)[]
sage: I = sage.rings.ideal.Cyclic(P)
sage: gbM = I.groebner_basis('magma', deg_bound=3)
sage: gbM
[y*z^2 - y*z*a + z^2*a + z*b*c - a*b*c - z^2*w - z*b*w + a*b*w + y*c*w +
z*c*w + a*c*w + b*c*w + c^2*w - y*w^2 - 2*z*w^2 - a*w^2 - b*w^2 + c*w^2 -
w^3, y^2 + y*a - z*a + y*b - a*b + y*c - b*c + 2*y*w + z*w + a*w + b*w +
w^2, x + y + z + a + b + c + w]
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10571#comment:3>
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 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.
