summaryrefslogtreecommitdiffstats
path: root/divers
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2011-12-08 22:42:21 (GMT)
committerDavid A. Madore <david+git@madore.org>2011-12-08 22:42:21 (GMT)
commit72a9712d1c831afb32145751132bbac1e28f715e (patch)
tree330ffb8d93d8b478cc5044c8c7f7ffbd2ac54247 /divers
parent3488be4c25d9a8bc59952e84e2fb1179798a84bf (diff)
downloadgalois-72a9712d1c831afb32145751132bbac1e28f715e.zip
galois-72a9712d1c831afb32145751132bbac1e28f715e.tar.gz
galois-72a9712d1c831afb32145751132bbac1e28f715e.tar.bz2
Un changement d'avis sur le choix de certains polynômes pour les résolvantes.
Diffstat (limited to 'divers')
-rw-r--r--divers/sageries/resolvante-c4-dans-d42
-rw-r--r--divers/sageries/resolvante-d5-dans-m201
2 files changed, 2 insertions, 1 deletions
diff --git a/divers/sageries/resolvante-c4-dans-d4 b/divers/sageries/resolvante-c4-dans-d4
index 5e7cfa4..2650ac9 100644
--- a/divers/sageries/resolvante-c4-dans-d4
+++ b/divers/sageries/resolvante-c4-dans-d4
@@ -6,7 +6,7 @@ asym4 = +(z1*z2*z3*z4)
Isym = R.ideal([a1-asym1, a2-asym2, a3-asym3, a4-asym4])
pexpr = z1*z3+z2*z4
Ip = R.ideal([p-pexpr])
-fexpr = z1*z2^2+z2*z3^2+z3*z4^2+z4*z1^2
+fexpr = z1^2*z2+z2^2*z3+z3^2*z4+z4^2*z1
fexprConj = fexpr.subs({z1:z3,z3:z1})
coef0 = fexpr*fexprConj
coef1 = -(fexpr+fexprConj)
diff --git a/divers/sageries/resolvante-d5-dans-m20 b/divers/sageries/resolvante-d5-dans-m20
index be91ce2..99a97e0 100644
--- a/divers/sageries/resolvante-d5-dans-m20
+++ b/divers/sageries/resolvante-d5-dans-m20
@@ -59,6 +59,7 @@ asym4 = +e([4]).expand(5).subs(x0=z1,x1=z2,x2=z3,x3=z4,x4=z5)
asym5 = -e([5]).expand(5).subs(x0=z1,x1=z2,x2=z3,x3=z4,x4=z5)
Isym = R.ideal([a1-asym1, a2-asym2, a3-asym3, a4-asym4, a5-asym5])
B = Isym.groebner_basis()
+fexpr = z1^2*z2 + z2^2*z3 + z3^2*z4 + z4^2*z5 + z1*z5^2
pexpr = z1^2*(z2*z5 + z3*z4) + z2^2*(z1*z3 + z4*z5) + z3^2*(z1*z5 + z2*z4) + z4^2*(z1*z2 + z3*z5) + z5^2*(z1*z4 + z2*z3)
qexpr = z1*z2 + z2*z3 + z3*z4 + z4*z5 + z1*z5
dexpr = (z1-z2)*(z1-z3)*(z1-z4)*(z1-z5)*(z2-z3)*(z2-z4)*(z2-z5)*(z3-z4)*(z3-z5)*(z4-z5)