fixed at http://trac.sagemath.org/ticket/20513
Vincent On 26/04/16 08:57, John Cremona wrote:
In a publisged paper [1] I gave a reference to a Sage script which could reproduce the results of the paper. The output of this (using sagetex) is also in the ArXiV version of the paper [2]. That was 3 years ago, and I just tried to see if that Sage script would still work. It didn't. In the script I have several nested cyclotomic fields, and I found that the easy way to be able to compute with them all at once (as a mathematician would) was to first define the largest one, Q(zeta_1092), and then define all the others as subfields using the embedding= construction. Here are the relevant fields and assignments: sage: Q1092.<zeta1092> = CyclotomicField(1092) sage: Q84.<zeta84> = CyclotomicField(84, embedding=zeta1092^13) sage: Q12.<zeta12> = CyclotomicField(12, embedding=zeta84^7) sage: Q7.<zeta7> = CyclotomicField(7, embedding=zeta84^12) sage: zeta7p=zeta7+1/zeta7 sage: Q7p.<zeta7p>=NumberField(zeta7p.minpoly(), embedding=zeta7+1/zeta7) sage: a=1/zeta7p sage: a*zeta12 # boom Does anyone know how or why this happened, or how to do this calculation now? It used to be that one could do arithmetic between elements of all these fields and Sage would magically find the relavant embeddings. John [1] Cremona and Banwait, Tetrahedral Elliptic Curves and the local-to-global principle for Isogenies, Algebra & Number Theory 8-5 (2014), 1201--1229. DOI 10.2140/ant.2014.8.1201 [2] http://arxiv.org/abs/1306.6818
-- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
