up previous next
6.2.20 SAGBI Basis
The following are commands and functions for SAGBI Basis:
SB.IsInSubalgebra Subalgebra membership test of a polynomial.
SB.IsSagbi Checks if a set of polynomials is a SAGBI-basis.
SB.IsSagbiOf Checks if a set of polynomials is a SAGBI-basis of a given subalgebra.
SB.NFS Computes the subalgebra normal form of a polynomial with respect to subalgebra generators.
SB.ReducedSagbi Computes the finite reduced SAGBI-basis of a subalgebra if existing.
SB.Sagbi Computes a finite SAGBI-basis of a subalgebra if existing.
SB.SubalgebraPoly Computes a subalgebra polynomial from a subalgebra representation.
SB.TermRepr Computes a representation of a term in other terms if it exists.




For details look up each item by name. Online, try ?ItemName or H.Syntax("ItemName").