Singular is a Computer Algebra System for polynomial computations with special emphasis on the needs of commutative algebra, algebraic geometry, and singularity theory.

Singular is distributed freely under the GNU General Public License (version 2 of the License); with the following additional restrictions (which override any conflicting restrictions in the GPL): The following software used with SINGULAR have their own copyright: the omalloc library, the readline library, the Gnu Multiple Precision Library (GMP), NTL: A Library for doing Number Theory (NTL), the MultiProtocol library (MP), the Singular-Factory library, the Singular-libfac library, and, for the Windows distributions the Cygwin DLL and the Cygwin tools (Cygwin), and the XEmacs editor (XEmacs). Their copyrights and licenses can be found in the accompanying files which are distributed along with these packages.

The Singular team won the ISAAC 2004 Richard D. Jenks Memorial Prize for Excellence in Software Engineering for Computer Algebra.


Integration into SAGE

Singular is integrated using the Pexpect interface which means that every functionality of Singular is accessible from SAGE. However, this communication channel via pseudo ttys and string parsing may be pretty slow depending on the task at hand. Please refer to the SAGE reference manual, the SAGE tutorial, and the Singular manual for details.

Tips, Tricks, and Pitfalls

   1 sage: singular.ring(0,'(x,y)','dp')
   2 //   characteristic : 0
   3 //   number of vars : 2
   4 //        block   1 : ordering dp
   5 //                  : names    x y
   6 //        block   2 : ordering C
   7 sage: x=singular("x")
   8 sage: f=0
   9 sage: time for i in range(1000): f+=x^i
  10 CPU times: user 0.95 s, sys: 0.12 s, total: 1.08 s
  11 Wall time: 1.69
  12 sage: time _ = singular.eval("poly f=0; for(i=0; i<1000 ; i=i+1) { f=f+x^i; }; f")
  13 CPU times: user 0.00 s, sys: 0.00 s, total: 0.00 s
  14 Wall time: 0.15