Outline

Overview

Ext

Primdec

Normalize

MuPAD

Deform

Classify

Puiseux

Future

Ground Fields


  • Rational numbers Q (char 0)

  • Finite fields Z/p, p < 32003 (char p)

  • Galois fields: Finite fields with q=pn elements (pn < 215)

  • Transcendental extension K(A,B,C, ...), K=Q or Z/p

  • Algebraic extension K[t]/MinPol; K=Q or Z/p

  • Floating point real numbers with single precision (float)

ICM'98 http://www.mathematik.uni-kl.de/~zca/Singular