#4236: magma -- boolean ring conversions
------------------------+---------------------------------------------------
Reporter: was | Owner: was
Type: defect | Status: new
Priority: major | Milestone: sage-3.1.3
Component: interfaces | Keywords:
------------------------+---------------------------------------------------
{{{
1) This should work (?)
sage: B.<x,y> = BooleanPolynomialRing()
sage: B*[x*y + 1, x + y]
sage: I = B*[x*y + 1, x + y]
sage: I._magma_()
Ideal of Affine Algebra of rank 2 over GF(2)
Lexicographical Order
Variables: x, y
Quotient relations:
[
x^2 + x,
y^2 + y
]
Generating basis:
[
x*y + 1,
x + y
]
sage: Im = I._magma_()
sage: Im.GroebnerBasis()
TypeError: Error evaluation Magma code.
IN:_sage_[21] := GroebnerBasis(_sage_[20]);
OUT:
>> _sage_[21] := GroebnerBasis(_sage_[20]);
^
Runtime error in 'GroebnerBasis': Bad argument types
Argument types given: RngMPolRes
}}}
Reported by Martin Albrecht
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4236>
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
-~----------~----~----~----~------~----~------~--~---
