Finds the m-th symbolic power of I, where I is the defining ideal for the monomial curve defined by ta1, ..., tan. If no field is provided, the ideal is defined over ℚ.
i1 : symbolicPowerMonomialCurve({3,4,5},3) 6 4 2 2 2 3 3 2 5 3 3 4 2 4 2 o1 = ideal (c - 3b*c d + 3b c d - b d , b c - 2b c d + b c*d - c d + ------------------------------------------------------------------------ 2 3 2 4 3 4 4 2 5 2 5 3 2 2 3 5 2 2b*c d - b d , b c - 2b c d + b d - c d + 2b*c d - b c*d , b c - ------------------------------------------------------------------------ 6 5 2 3 3 2 2 3 4 7 4 2 5 2 5 b d + b*c - 4b c d + 3b c*d + c d - b*d , b c - b c d - 2b d + c d - ------------------------------------------------------------------------ 3 2 2 3 5 8 4 3 5 4 2 2 2 3 3 3b*c d + 5b c*d - d , b + b c - 4b c*d - b*c d + 3b c d + b d - ------------------------------------------------------------------------ 4 c*d ) o1 : Ideal of QQ[b, c, d] |