Difference between revisions of "Main Page/Applications"

From ApCoCoAWiki
(Created page with "<div class="mainpage_box"> <h3>Application Examples</h3> Computing reduced Gröbner bases: Use P ::= QQ[x,y,z], DegRevLex; I := ideal(P,[y-x^2,z-x^3]); GBasis(I); -- reduce...")
m (forgot </div>)
Line 16: Line 16:
  f3 := x*y + z;
  f3 := x*y + z;
  [[Package sat/SAT.Solve|SAT.Solve]]([f1,f2,f3]);
  [[Package sat/SAT.Solve|SAT.Solve]]([f1,f2,f3]);

Revision as of 13:41, 27 October 2020

Application Examples

Computing reduced Gröbner bases:

Use P ::= QQ[x,y,z], DegRevLex;
I := ideal(P,[y-x^2,z-x^3]);
GBasis(I); -- reduced DegRevLex Gröbner basis of I

Computing reduced SAGBI bases:

Use QQ[x,y], DegLex;
SB.SAGBI([x^2*y,  x^2 -y^2,  x^2*y^2 -y^4,  x^2*y^4]);

Solving polynomial equations over using a SAT solver:

Use ZZ/(2)[x,y,z];
f1 := x*y + x*z + y*z + z;
f2 := y + 1;
f3 := x*y + z;