#19388: Write better doctest for parent.register_embedding
-------------------------------+------------------------
Reporter: nbruin | Owner:
Type: enhancement | Status: new
Priority: minor | Milestone: sage-6.9
Component: misc | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
-------------------------------+------------------------
Changes (by nbruin):
* priority: major => minor
Comment:
One possible fix:
{{{
M = MatrixSpace(QQ,2,2)
Kt.<at> = NumberField(x^2+2)
K.<a> = NumberField( at.minpoly(), embedding=at.matrix())
Lt.<bt> = NumberField(x^2+3)
L.<b> = NumberField( bt.minpoly(), embedding=bt.matrix())
M.coerce_map_from(K)(a)*M.coerce_map_from(L)(b)
}}}
The last should really be spelled `M(a)*M(b)` but that currently doesn't
work (coercions should always be valid conversions too, and `M(a)` should
try conversion).
--
Ticket URL: <http://trac.sagemath.org/ticket/19388#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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
