Singular https://www.singular.uni-kl.de/forum/ |
|
how to find an ideal which all variables' power is one https://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/ |