#11455: Add algorithm Magma to Conic methods
------------------------------------------------------------------------------------------------------------------------------------+
Reporter: mstreng
| Owner:
AlexGhitza
Type: enhancement
| Status: new
Priority: minor
| Milestone:
sage-4.7.1
Component: algebraic geometry
| Keywords: magma
conic
Work_issues: review tickets on which this depends, and (in a separate ticket)
implement magma interface for number field elements | Upstream: N/A
Reviewer:
| Author: Marco
Streng
Merged:
| Dependencies: #10621,
#11454
------------------------------------------------------------------------------------------------------------------------------------+
Changes (by mstreng):
* work_issues: => review tickets on which this depends, and (in a
separate ticket) implement magma
interface for number field elements
Comment:
Apparently the Magma interface for number field elements doesn't work the
way I thought it would:
{{{
sage: L.<s> = QuadraticField(2)
sage: m = magma(s)
sage: m.sage()
NameError: name 's' is not defined
}}}
{{{
sage: K.<i> = QuadraticField(-1)
sage: m = magma(i).sage(); m
I
sage: m.parent()
Symbolic Ring
sage: K(m)
TypeError: <type 'sage.symbolic.expression.Expression'>
}}}
Fraction fields are a problem too:
{{{
sage: R.<x> = QQ[]
sage: y=x^2/x; y.parent()
Fraction Field of Univariate Polynomial Ring in x over Rational Field
sage: m = magma(y)
sage: m.sage()
NameError: name 'x' is not defined
sage: (m.Numerator().sage()/m.Denominator().sage())
x
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11455#comment:1>
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.
