
D.4.26 sagbi_lib
 Library:
 sagbi.lib
 Purpose:
 Compute SAGBI basis (subalgebra bases analogous to Groebner bases for ideals) of a subalgebra
 Authors:
 Jan Hackfeld, Jan.Hackfeld@rwthaachen.de
Gerhard Pfister, pfister@mathematik.unikl.de
Viktor Levandovskyy, levandov@math.rwthaachen.de
 Overview:
 SAGBI stands for 'subalgebra bases analogous to Groebner bases for ideals'.
SAGBI bases provide important tools for working with finitely presented
subalgebras of a polynomial ring. Note, that in contrast to Groebner
bases, SAGBI bases may be infinite.
 References:
 Ana Bravo: Some Facts About Canonical Subalgebra Bases,
MSRI Publications 51, p. 247254
Procedures:
See also:
algebra_lib.
