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
