On Aug 23, 2008, at 7:24 PM, Nils Bruin wrote: > With the advent of the new coercion model, did we get the incredibly > cool possibility of adding canonical coercions locally, as promissed > at SD7? I'd love to be able to type something like: > > K.<r2>=Numberfield(x^2-2) > E=EllipticCurve([0,0,r2,0,0] > for m in K.real_embeddings(): > with CanonicalEmbedding(m): > R=Codomain(m) > E_over_R=E.base_extend(R) > print E.real_period() > > in order to get the real periods of E wrt. the two real embeddings of > K into R. > > In general, getting all the "derived" maps from a non-canonical base- > extension is very painful. If one could just locally make these things > "canonical", you'd get a free ride on the coercion infrastructure.
No, this is not there yet...we only merged the very core, and will be merging more over piece by piece. This actual feature hasn't been implemented yet, (we had too much on our plate already) but would be very nice. - Robert --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
