|
D.4.2.5 satProcedure from library
Example: LIB "elim.lib"; int p = printlevel; ring r = 2,(x,y,z),dp; poly F = x5+y5+(x-y)^2*xyz; ideal j = jacob(F); sat(j,maxideal(1)); → [1]: → _[1]=x3+x2y+xy2+y3 → _[2]=y4+x2yz+y3z → _[3]=x2y2+x2yz+y3z → [2]: → 4 printlevel = 2; sat(j,maxideal(2)); → // compute quotient 1 → // compute quotient 2 → // compute quotient 3 → // saturation becomes stable after 2 iteration(s) → → [1]: → _[1]=x3+x2y+xy2+y3 → _[2]=y4+x2yz+y3z → _[3]=x2y2+x2yz+y3z → [2]: → 2 printlevel = p; |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |