From b4f7969f03c9acc931112ee17b82fc160963db94 Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Thu, 8 Mar 2012 19:18:06 +0100 Subject: =?UTF-8?q?[radicaux]=20Expression=20brute=20de=20cos(2=CF=80/13).?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- divers/sageries/racine-13e-de-1 | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 divers/sageries/racine-13e-de-1 (limited to 'divers') diff --git a/divers/sageries/racine-13e-de-1 b/divers/sageries/racine-13e-de-1 new file mode 100644 index 0000000..e0b40eb --- /dev/null +++ b/divers/sageries/racine-13e-de-1 @@ -0,0 +1,18 @@ +K. = 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)] +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] +sqrtm3 = 2*zeta^2-1 +nice_basis = [1, sqrtm3, zeta, -zeta*sqrtm3] +m = Matrix(QQ, 4, 4, [(QQ^4)((zeta.coordinates_in_terms_of_powers())(x)) for x in nice_basis]) +atab_on_nice_basis = [v * m.inverse() for v in atab_on_zeta_basis] +zetab = [ZZ(floor(arg(CC(N(alpha[i])/N(atab[i]^(1/powtab[i]))))/arg(zeta)+0.5)) for i in range(12)] +btab = [zeta^zetab[i] for i in range(12)] +btab_on_zeta_basis = [(QQ^4)((zeta.coordinates_in_terms_of_powers())(x)) for x in btab] +btab_on_nice_basis = [v * m.inverse() for v in btab_on_zeta_basis] +symbolic_basis = [1, sqrt(-3), sqrt((1/2)*(1+sqrt(-3))), sqrt(-(3/2)*(1+sqrt(-3)))] +symbolic_zeta = sum([sum([btab_on_nice_basis[i][j]*symbolic_basis[j] for j in range(4)])*(sum([atab_on_nice_basis[i][j]*symbolic_basis[j] for j in range(4)]))^(1/powtab[i]) for i in range(12)])/12 +symbolic_cos = sum([sum([btab_on_nice_basis[i][j]*symbolic_basis[j] for j in range(4)])*(sum([atab_on_nice_basis[i][j]*symbolic_basis[j] for j in range(4)]))^(1/powtab[i]) for i in range(0,12,2)])/12 -- cgit v1.2.1