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" ]