i3 : I = monomialCurveIdeal(R, {1, 3, 4})
3 2 2 2 3 2
o3 = ideal (b*c - a*d, c - b*d , a*c - b d, b - a c)
o3 : Ideal of R
|
i7 : MD = toMutableComplex D
o7 = {| bc-ad b3-a2c ac2-b2d c3-bd2 |, | -b2 -ac -bd -c2 |, | d |, 0, 0, |
| c d 0 0 | | -c |
| a b -c -d | | -b |
| 0 0 a b | | a |
------------------------------------------------------------------------
-bc+ad -b3+a2c -ac2+b2d -c3+bd2 |, | b2 ac bd c2 |, | -d |, 0, 0}
| -c -d 0 0 | | c |
| -a -b c d | | b |
| 0 0 -a -b | | -a |
o7 : List
|
i8 : pruneComplex MD
o8 = ({| bc-ad c3-bd2 |, | (c3-bd2)/d |, 0, 0, 0, | -bc+ad -c3+bd2 |, |
| (-bc+ad)/d | |
------------------------------------------------------------------------
(-c3+bd2)/d |, 0, 0, 0}, {| 1 |, | 1 0 |, | 0 |, 0, 0, | 1 |, | 1 0
(bc-ad)/d | | 0 0 | | 0 | | 0 0
| 0 0 | | 1 | | 0 0
| 0 1 | | (-c)/d | | 0 1
------------------------------------------------------------------------
|, | 0 |, 0, 0, 0})
| | 0 |
| | 1 |
| | (-c)/d |
o8 : Sequence
|