i1 : R = QQ[x,y,z]/ideal(x^6-z^6-y^2*z^4); |
i2 : ICfractions R o2 = | x3/z2 x2/z x y z | / QQ [x, y, z] \1 / QQ [x, y, z] \5 o2 : Matrix |frac --------------| <--- |frac --------------| | 6 2 4 6| | 6 2 4 6| \ x - y z - z / \ x - y z - z / |
i3 : integralClosure(R,Variable => a) QQ [w , w , x, y, z] 7 6 o3 = --------------------------------------------- 2 2 2 2 2 (x - w z, w x - w z, w - w x, w - y - z ) 6 6 7 6 7 7 o3 : QuotientRing |
i4 : ICfractions(R, Strategy => Long) o4 = | x3/z2 x2/z (y2z+z3)/x x3/z x4/z2 (y2z2+z4)/x x4/z (y2z3+z5)/x x y z | / QQ [x, y, z] \1 / QQ [x, y, z] \11 o4 : Matrix |frac --------------| <--- |frac --------------| | 6 2 4 6| | 6 2 4 6| \ x - y z - z / \ x - y z - z / |