Difference between revisions of "Main Page/Applications"
From ApCoCoAWiki
Andraschko (talk | contribs) (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...") |
Andraschko (talk | contribs) 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]); | ||
| + | </div> | ||
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; SAT.Solve([f1,f2,f3]);
