Singular
http://www.singular.uni-kl.de/forum/

how to find an ideal which all variables' power is one
http://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=2547
Page 1 of 1

Author:  power [ Sat Jun 25, 2016 9:25 am ]
Post subject:  how to find an ideal which all variables' power is one

i find a function which can do for characteristic 0
but ideal is not my expected

LIB "finvar.lib";
ring R=0,(x,y,z),dp;
matrix A[3][3]=0,1,0,0,0,1,1,0,0;
matrix REY,M=reynolds_molien(A);
matrix P=primary_char0(REY,M);
print(P);

ring R=0,(x,y,z),dp;
matrix A[3][3]=0,1,0,0,0,1,1,0,0;
matrix P=primary_charp_without_random(A,1);
print(P);

ring R=(x,y,z),dp;
matrix A[3][3]=0,1,0,0,0,1,1,0,0;
matrix P=primary_charp_without_random(A,1);
print(P);

LIB "finvar.lib";
ring R=1,(x,y,z),dp;
matrix A[3][3]=0,1,0,0,0,1,1,0,0;
list L=group_reynolds(A);
list l=primary_charp_no_molien_random(L[1],1);
print(l[1]);

Page 1 of 1 All times are UTC + 1 hour [ DST ]
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
http://www.phpbb.com/