[sage-devel] magma interface broken for number fields?
Hi all,
Is it just me, or is magma(K) broken for number fields K?
The following example is in number_field.py (Sage 4.6.2):
===
sage: R.t = QQ[]
sage: K.a = NumberField(t^2 + 1)
sage: K._magma_init_(magma)# optional - magma
'SageCreateWithNames(NumberField(_sage_[...]),[a])'
sage: L = magma(K)# optional - magma
sage: L # optional - magma
Number Field with defining polynomial t^2 + 1 over the Rational Field
===
If I try that on a machine with Magma V2.16-7, I get:
===
sage: R.t = QQ[]
sage: K.a = NumberField(t^2 + 1)
sage: K._magma_init_(magma)# optional - magma
'SageCreateWithNames(NumberField(_sage_[6]),[a])'
sage: L = magma(K)# optional - magma
ERROR: An unexpected error occurred while tokenizing input
The following traceback may be corrupted or invalid
The error message is: ('EOF in multi-line statement', (29, 0))
---
TypeError Traceback (most recent call last)
[...]
TypeError: Error evaluating Magma code.
IN:_sage_[6]:=SageCreateWithNames(NumberField(_sage_[6]),[a]);
OUT:
_sage_[6]:=SageCreateWithNames(NumberField(_sage_[6]),[a]);
^
Runtime error in 'NumberField': Bad argument types
Argument types given: RngIntElt
===
Am I the only one with this problem?
Is this Magma-version dependent?
How often are optional tests done before releasing a new Sage version?
Thanks,
Marco
ps. most of the Magma interface seems to work fine
sage: R.t = QQ[]
sage: magma(t^2 + 1).NumberField()
Number Field with defining polynomial t^2 + 1 over the Rational Field
but there are some problems outside of NumberField as well.
Examples:
File
/usr/local/sage/sage-4.6.2/devel/sage-main/sage/symbolic/expression.pyx,
line 512:
sage: magma(f) # optional - magma
Expected:
sin(cos(x^2) + log(x))
Got:
sin(log(x) + cos(x^2))
File
/usr/local/sage/sage-4.6.2/devel/sage-main/sage/crypto/mq/mpolynomialsystem.py,
line 579:
sage: magma(R1) # implicit doctest;
optional - magma
Expected:
Graded Reverse Lexicographical Order
Got:
Order: Graded Reverse Lexicographical
A complete list:
sage -t -only-optional=magma
devel/sage/sage/structure/sage_object.pyx # 2 doctests failed
sage -t -only-optional=magma
devel/sage/sage/symbolic/expression.pyx # 1 doctests failed
sage -t -only-optional=magma
devel/sage/sage/crypto/mq/mpolynomialsystem.py # 2 doctests failed
sage -t -only-optional=magma
devel/sage/sage/schemes/hyperelliptic_curves/hyperelliptic_g2_generic.py
# 4 doctests failed
sage -t -only-optional=magma
devel/sage/sage/interfaces/magma.py # 6 doctests failed
sage -t -only-optional=magma
devel/sage/sage/algebras/quatalg/quaternion_algebra.py # 2 doctests failed
sage -t -only-optional=magma
devel/sage/sage/rings/polynomial/term_order.py # 1 doctests failed
sage -t -only-optional=magma
devel/sage/sage/rings/polynomial/pbori.pyx # 1 doctests failed
sage -t -only-optional=magma
devel/sage/sage/rings/polynomial/multi_polynomial_ring_generic.pyx # 5
doctests failed
sage -t -only-optional=magma
devel/sage/sage/rings/polynomial/multi_polynomial_ideal.py # 1 doctests
failed
sage -t -only-optional=magma
devel/sage/sage/rings/number_field/order.py # 2 doctests failed
sage -t -only-optional=magma
devel/sage/sage/rings/number_field/number_field_element.pyx # 2 doctests
failed
sage -t -only-optional=magma
devel/sage/sage/rings/number_field/number_field.py # 4 doctests failed
sage -t -only-optional=magma
devel/sage/doc/en/bordeaux_2008/birds_other.rst # 2 doctests failed
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
Re: [sage-devel] magma interface broken for number fields?
There's a ticket fixing this at #7870, merged in 4.7.alpha4.
Which version were you using?
On your last point: not enough!
John
On Tue, Apr 19, 2011 at 2:44 PM, Marco Streng marco.str...@gmail.com wrote:
Hi all,
Is it just me, or is magma(K) broken for number fields K?
The following example is in number_field.py (Sage 4.6.2):
===
sage: R.t = QQ[]
sage: K.a = NumberField(t^2 + 1)
sage: K._magma_init_(magma) # optional - magma
'SageCreateWithNames(NumberField(_sage_[...]),[a])'
sage: L = magma(K) # optional - magma
sage: L # optional - magma
Number Field with defining polynomial t^2 + 1 over the Rational Field
===
If I try that on a machine with Magma V2.16-7, I get:
===
sage: R.t = QQ[]
sage: K.a = NumberField(t^2 + 1)
sage: K._magma_init_(magma) # optional - magma
'SageCreateWithNames(NumberField(_sage_[6]),[a])'
sage: L = magma(K) # optional - magma
ERROR: An unexpected error occurred while tokenizing input
The following traceback may be corrupted or invalid
The error message is: ('EOF in multi-line statement', (29, 0))
---
TypeError Traceback (most recent call last)
[...]
TypeError: Error evaluating Magma code.
IN:_sage_[6]:=SageCreateWithNames(NumberField(_sage_[6]),[a]);
OUT:
_sage_[6]:=SageCreateWithNames(NumberField(_sage_[6]),[a]);
^
Runtime error in 'NumberField': Bad argument types
Argument types given: RngIntElt
===
Am I the only one with this problem?
Is this Magma-version dependent?
How often are optional tests done before releasing a new Sage version?
Thanks,
Marco
ps. most of the Magma interface seems to work fine
sage: R.t = QQ[]
sage: magma(t^2 + 1).NumberField()
Number Field with defining polynomial t^2 + 1 over the Rational Field
but there are some problems outside of NumberField as well.
Examples:
File
/usr/local/sage/sage-4.6.2/devel/sage-main/sage/symbolic/expression.pyx,
line 512:
sage: magma(f) # optional - magma
Expected:
sin(cos(x^2) + log(x))
Got:
sin(log(x) + cos(x^2))
File
/usr/local/sage/sage-4.6.2/devel/sage-main/sage/crypto/mq/mpolynomialsystem.py,
line 579:
sage: magma(R1) # implicit doctest;
optional - magma
Expected:
Graded Reverse Lexicographical Order
Got:
Order: Graded Reverse Lexicographical
A complete list:
sage -t -only-optional=magma
devel/sage/sage/structure/sage_object.pyx # 2 doctests failed
sage -t -only-optional=magma devel/sage/sage/symbolic/expression.pyx
# 1 doctests failed
sage -t -only-optional=magma
devel/sage/sage/crypto/mq/mpolynomialsystem.py # 2 doctests failed
sage -t -only-optional=magma
devel/sage/sage/schemes/hyperelliptic_curves/hyperelliptic_g2_generic.py # 4
doctests failed
sage -t -only-optional=magma devel/sage/sage/interfaces/magma.py # 6
doctests failed
sage -t -only-optional=magma
devel/sage/sage/algebras/quatalg/quaternion_algebra.py # 2 doctests failed
sage -t -only-optional=magma
devel/sage/sage/rings/polynomial/term_order.py # 1 doctests failed
sage -t -only-optional=magma
devel/sage/sage/rings/polynomial/pbori.pyx # 1 doctests failed
sage -t -only-optional=magma
devel/sage/sage/rings/polynomial/multi_polynomial_ring_generic.pyx # 5
doctests failed
sage -t -only-optional=magma
devel/sage/sage/rings/polynomial/multi_polynomial_ideal.py # 1 doctests
failed
sage -t -only-optional=magma
devel/sage/sage/rings/number_field/order.py # 2 doctests failed
sage -t -only-optional=magma
devel/sage/sage/rings/number_field/number_field_element.pyx # 2 doctests
failed
sage -t -only-optional=magma
devel/sage/sage/rings/number_field/number_field.py # 4 doctests failed
sage -t -only-optional=magma
devel/sage/doc/en/bordeaux_2008/birds_other.rst # 2 doctests failed
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
