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