summaryrefslogtreecommitdiffstats
path: root/divers
diff options
context:
space:
mode:
authorDavid A. Madore <david@procyon>2012-03-15 13:40:41 (GMT)
committerDavid A. Madore <david@procyon>2012-03-15 13:40:41 (GMT)
commit87d98e3e254fc9335b4454a60211544e0d34035c (patch)
tree95d3d7cbc581f8d5ee47eefe6e37ac35bc2b0220 /divers
parenta7e37713c819649811f3e1ce11d01a784825c35e (diff)
downloadgalois-87d98e3e254fc9335b4454a60211544e0d34035c.zip
galois-87d98e3e254fc9335b4454a60211544e0d34035c.tar.gz
galois-87d98e3e254fc9335b4454a60211544e0d34035c.tar.bz2
sageries: erreur mineure (que je croyais avoir déjà corrigée…)
Diffstat (limited to 'divers')
-rw-r--r--divers/sageries/racine-13e-de-12
1 files changed, 1 insertions, 1 deletions
diff --git a/divers/sageries/racine-13e-de-1 b/divers/sageries/racine-13e-de-1
index 47d5016..1760e4a 100644
--- a/divers/sageries/racine-13e-de-1
+++ b/divers/sageries/racine-13e-de-1
@@ -1,7 +1,7 @@
K.<a> = CyclotomicField(156)
omega = a^12
zeta = a^13
-alpha = [sum([zeta^(i*j)*omega^(2^i) for i in range(12)]) for j in range(13)]
+alpha = [sum([zeta^(i*j)*omega^(2^i) for i in range(12)]) for j in range(12)]
powtab = [NN(12/gcd(i,12)) for i in range(12)]
atab = [alpha[i]^powtab[i] for i in range(12)]
atab_on_zeta_basis = [(QQ^4)((zeta.coordinates_in_terms_of_powers())(x)) for x in atab]