central.lib
constant DefaultValue
constant DefaultInt
constant DefaultIdeal
constant toprint
constant DBPrint
constant BCall
constant ECall
constant makeNice
constant monomialForm
constant uni_poly
constant smoothQideal
constant PBW_maxDeg
constant PBW_eqDeg
constant PBW_maxMonom
constant applyAdF
constant linearMapKernel
constant linearCombinations
constant LINEAR_MAP_KERNEL
constant ZeroKer
constant variablesStandard
constant variablesSorted
constant centralizeSet
constant centralizerVS
constant centerVS
constant centralizerRed
constant centerRed
constant INTERRED
constant SANF
constant maxdegInt
constant mindegInt
constant sa_reduce
constant sa_poly_reduce
constant inCentralizer_poly
constant inCentralizer_list
constant inCentralizer
constant inCenter
constant isCartan
constant center
constant centralizer