Outline
Overview
Ext
Primdec
Normalize
MuPAD
Deform
Classify
Puiseux
Future
Overview of
SINGULAR
SINGULAR
: CAS for polynomial computations with special
Emphasize
: commutative algebra, algebraic geometry, and singularity theory
Main computational objects: ideals/modules over very
general polynomial rings
over various
ground fields
.
Large variety of
algorithms
implemented in kernel (written in
C/C++
).
Intuitive, C-like programming language
Many more algorithms implemented as
SINGULAR
libraries
.
Communication links
connect
SINGULAR
with other CAS's like MMA or MuPAD
Extensive documentation:
Manual
,
Tutorial
(info, ps, and
html)
Development
started in 1984; Current version: 1.2
Freely available for most hard- and software platforms (Unix, Windows 95/NT, Macintosh) from
ftp://www.mathematik.uni-kl.de/pub/Math/Singular
Contributors:
O.Bachmann, W.Decker, C.Gorzel, H.Grassmann, A.Heydtmann, K.Krueger, M.Lamm, B.Martin, M.Messollen, W.Neumann, T.Nuessler, W.Pohl, T.Siebert, R.Stobbe, T.Wichmann
ICM'98
http://www.mathematik.uni-kl.de/~zca/Singular