Opened 12 years ago

Closed 11 years ago

#4236 closed enhancement (fixed)

magma -- boolean ring conversions

Reported by: was Owned by: was
Priority: major Milestone: sage-4.1.2
Component: interfaces Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description

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

Change History (5)

comment:1 Changed 12 years ago by was

  • Status changed from new to assigned

comment:2 Changed 11 years ago by was

This does not seem like a bug in the Sage/Magma? interface. It seems like a misunderstanding of Magma itself, which doesn't have a GroebnerBasis? function that takse as input an ideal in a boolean ring. Magma simply doesn't do that. It only has Groebner for ideals in *polynomial* rings. There are some functions on ideals in boolean rings, but not many. I.e., above

sage: Im.IsMaximal()
true
sage: Im.PrimaryDecomposition()

[
Affine Algebra of rank 2 over GF(2)
Lexicographical Order
Variables: x, y
Quotient relations:
[
x^2 + x,
y^2 + y
]
Generating basis:
[
x + 1,
y + 1
]
]

comment:3 Changed 11 years ago by malb

We could make Magma better than Magma by

  • adding the generators of the quotient to the ideal J = I + Q
  • computing gb := GroebnerBasis(J)
  • coerce the result to the quotient again.

This is equivalent to computing the GB in the quotient directly.

comment:4 Changed 11 years ago by AlexGhitza

  • Type changed from defect to enhancement

comment:5 Changed 11 years ago by malb

  • Resolution set to fixed
  • Status changed from assigned to closed

This is fixed with #6177

Note: See TracTickets for help on using tickets.