4.13.7 Example: Truncations |
Example |
Use R ::= Z/(32003)[a,b,c,d,e]; I := Ideal(a+b+c+d, ab+bc+cd+da, abc+bcd+cda, abcd-e^4); I.DegTrunc := 3; GB.Start_GBasis(I); GB.Complete(I); LT(I.GBasis); [a, b^2, bc^2] ------------------------------- I.DegTrunc := 6; GB.Complete(I); LT(I.GBasis); [a, b^2, bc^2, bcd^2, c^2d^2, cd^4, be^4, d^2e^4] ------------------------------- |
Example |
Use R ::= Z/(32003)[x[1..10]]; I := Ideal(Indets()); I.ResTrunc := 4; GB.Start_Res(I); GB.Complete(I); GB.GetRes(I); 0 --> R^252(-5) --> R^210(-4) --> R^120(-3) --> R^45(-2) --> R^10(-1) ------------------------------- |
Example |
Set Verbose; Use R_Gen ::= Z/(5)[x,y,z,t]; M := 3; N := 4; D := DensePoly(2); P := Mat([ [ Randomized(D) | J In 1..N ] | I In 1.. M]); I := Ideal(Minors(2,P)); GB.Start_Res(I); GB.Complete(I); -- text suppressed -- Betti numbers: 17 48 48 18 318 steps of computation I := Ideal(Minors(2,P)); GB.Start_Res(I); I.RegTrunc := 6; -- here we store the Castelnuovo Regularity GB.Complete(I); ... Betti numbers: 17 48 48 18 281 steps of computation GB.GetBettiMatrix(I); ------------------- 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 18 0 0 16 0 0 0 32 0 0 48 0 0 17 0 0 0 ------------------- |