 LIB "finvar.lib";
" note the case of prime characteristic";
==> note the case of prime characteristic
ring R=0,(x,y,z),dp;
matrix A[3][3]=0,1,0,1,0,0,0,0,1;
matrix REY,M=reynolds_molien(A);
print(REY);
==> y, x,z,
==> x,y,z,
==> y,x, z,
==> x, y, z
print(M);
==> x3+x2x+1,x7+x6+x5x4+x3x2x+1
ring S=3,(x,y,z),dp;
string newring="Qadjoint";
matrix A[3][3]=0,1,0,1,0,0,0,0,1;
matrix REY=reynolds_molien(A,newring);
print(REY);
==> y, x,z,
==> x,y,z,
==> y,x, z,
==> x, y, z
setring Finvar::Qadjoint;
print(M);
==> x3+x2x+1,x7+x6+x5x4+x3x2x+1
setring S;
kill Finvar::Qadjoint;
