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 7 3 14 35 4 7 2 14 2 3 2 7 3 2 3 7 4 5 3 24 3 2 13 3 2 5 4 5 3 5 2 2 5 3 5 4 7 3 7 2 7 2 7 3 12 2 12 12 2 14 14 19 35
o3 = QQ[w , z w , z w, z , y*w , y*z w , y*z , y w , y z w, y w , y z , y w, y , x*z w, x*z , x*y*z , x z , x z , x z*w , x y*z*w , x y z*w , x y z*w, x y z, x w , x y*w , x y w, x y , x z*w , x y*z*w, x y z, x w, x y, x z, x ]
o3 : monomial subalgebra of R
|