Overview
Objects
Functionality
Libraries
Examples
Applications
Availability
History
Contributors
Future
Communication with other CAS
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).


KL, 06/03 http://www.singular.uni-kl.de