Assume we are in a **Maple session** and want to compute
a Gröbner basis with
**
SINGULAR
**
of the ideal I = <
x^{10}+x^{9}y^{2},
y^{8}-x^{2}y^{7} > 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).