i2 : U=matrix{{1,1,1,1,5},{1,0,2,0,7}}
o2 = | 1 1 1 1 5 |
| 1 0 2 0 7 |
2 5
o2 : Matrix ZZ <--- ZZ
|
i3 : finiteDiagInvariants(U,R)
5 35 5 35 3 2 7 3 7 3 12 2 3 14 14 14 14 19 3 2 13 24 12 12 2 7 2 7 2 2 7 7 2 3 7 7 3 5 4 5 3 5 2 2 5 3 5 4 4 2 3 3 2 4
o3 = QQ[w , z , y , x , x z , z w , x w , x z*w , x*y*z , x y, z w, y*z , x w, x z, x*z w, x z , x*z , x y*z*w, x y z, y*z w , x y*w , y z w, x y w, y z , x y , x z*w , x y*z*w , x y z*w , x y z*w, x y z, y*w , y w , y w , y w]
o3 : monomial subalgebra of R
|