#6079: modernize base inclusion morphism of relative number fields
---------------------------+------------------------------------------------
Reporter: ncalexan | Owner: was
Type: enhancement | Status: new
Priority: major | Milestone: sage-4.0.1
Component: number theory | Keywords: base inclusion morphism relative
number field
---------------------------+------------------------------------------------
Comment(by fwclarke):
== Two comments ==
1. I can see that "Isomorphism map" is clumsy in, for example,
{{{
Isomorphism map:
From: Number Field in a with defining polynomial x^6 - 3*x^5 + 6*x^4 -
11*x^3 + 12*x^2 + 3*x + 1
To: Number Field in cuberoot2 with defining polynomial x^3 - 2 over
its base field
}}}
but surely "Isomorphism morphism" is worse. What's wrong with
"Isomorphism"?
2. Why make `subfield_containing` a new function. To my mind it would
make more sense to allow `subfield`
to take a list of elements, as well as a single element (as at present),
as its second argument?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6079#comment:2>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
