Primitive Invariant sur SAGEmath

Je suis entrain de re-ecrire le package PrimitiveInvariant sur GAP4 vers SAGEmath. Reste quelques petites bricoles et je le poste.

Ci-joint un exemple d'utilisation de ce package :

sage: gap_console()
GAP4, Version: 4.4.10 of 02-Oct-2007, i686-pc-linux-gnu-gcc
gap> t4:=SymmetricGroup(4);
Sym( [ 1 .. 4 ] )
gap> v4:=Subgroup( t4, [ (1,2,3), (2,3,4) ] );
Group([ (1,2,3), (2,3,4) ])
Read("~/../PrimitiveInvariantGap4.g");
gap> MinimalPrimitiveInvariants(4,t4,v4);

[ "x2*x3^2*x4^3+x3*x4^2*x2^3+x4*x2^2*x3^3+x1*x4^2*x3^3+x3*x1^2*x4^3+x4*x3^2*x1\
^3+x1*x2^2*x4^3+x2*x4^2*x1^3+x4*x1^2*x2^3+x1*x3^2*x2^3+x2*x1^2*x3^3+x3*x2^2*x1\
^3",
"x2*x4^2*x3^3+x3*x2^2*x4^3+x4*x3^2*x2^3+x1*x3^2*x4^3+x3*x4^2*x1^3+x4*x1^2*x3\
^3+x1*x4^2*x2^3+x2*x1^2*x4^3+x4*x2^2*x1^3+x1*x2^2*x3^3+x2*x3^2*x1^3+x3*x1^2*x2\
^3" ]
Voila pres de 4 ans que j'hesite a me lancer dans le web2... J'avais pourtant tout pour y adherer : une page web depuis 1996 et un PC sur mon bureau depuis la meme date. Mais voila, il a fallu attendre 2008 pour que j'entame cette aventure. D'abord avec un profil sur facebook puis avec ce blog.

Ce blog sera pour moi l'endroit ou je pourrais mettre des liens concernant mes centres d'interets : les mathematiques, la politique et l'education des enfants.