| Overview |
| Objects |
| Functionality |
| Libraries |
| Examples |
| Applications |
| Availability |
| History |
| Contributors |
| Future |
Assume we are in a Maple session and want to compute a Gröbner basis with SINGULAR of the ideal I = < x10+x9y2, y8-x2y7 > in characteristic 0 with the degree reverse lexicographical ordering
dp.
Solution 1: Write the polynomials to the file
singular_input (already in the
SINGULAR
language):
f:=x^10+x^9*y^2; g:=y^8-x^2*y^7; interface(prettyprint=0); interface(echo=0); writeto( singular_input ); lprint(`ideal I = `); f, g ; lprint(`;`); writeto(terminal);The resulting file looks like:
ideal I = x^10+x^9*y^2, y^8-x^2*y^7 ;Now we can start SINGULAR , and perform the following
ring R=0,(x,y),dp;
< "singular_input";
short=0; // output in Maple format
ideal J=std(I);
write(":w maple_input",J);
This
SINGULAR
session writes the computed Gröbner basis (in
Maple format) to the file maple_input:
x^2*y^7-y^8,x^9*y^2+x^10,x^12*y+x*y^11,x^13-x*y^12,y^14+x*y^12, x*y^13+y^12
Solution 2: Apply the procedure 2Maple which works with Maple V Release
5.
In older versions of Maple, string expression
were enclosed in a pair of back quotes ` ` instead of " ";
moreover, the nullary operator was denoted by " instead
of %.
The directory EXAMPLES on the CD enclosed with the Springer Book "A SINGULAR Introduction to Commutative Algebra" contains two versions of the procedure -- one for Maple V Release 5 and one for Maple V Release 3 (with the old syntax).