central.lib
constant
DefaultValue
type
type
list
→
(
def
→
returntype
)
constant
DefaultInt
type
type
list
→
returntype
constant
DefaultIdeal
type
type
list
→
returntype
constant
toprint
type
type
int
→
returntype
constant
DBPrint
type
type
list
→
(
int
→
returntype
)
constant
BCall
type
type
list
→
(
string
→
returntype
)
constant
ECall
type
type
list
→
(
string
→
returntype
)
constant
makeNice
type
type
def
→
returntype
constant
monomialForm
type
type
def
→
returntype
constant
uni_poly
type
type
poly
→
returntype
constant
smoothQideal
type
type
list
→
(
ideal
→
returntype
)
constant
PBW_maxDeg
type
type
int
→
returntype
constant
PBW_eqDeg
type
type
int
→
returntype
constant
PBW_maxMonom
type
type
poly
→
returntype
constant
applyAdF
type
type
poly
→
(
ideal
→
returntype
)
constant
linearMapKernel
type
type
ideal
→
returntype
constant
linearCombinations
type
type
module
→
(
ideal
→
returntype
)
constant
LINEAR_MAP_KERNEL
type
type
ideal
→
(
ideal
→
returntype
)
constant
ZeroKer
type
type
ideal
→
(
ideal
→
returntype
)
constant
variablesStandard
type
type
returntype
constant
variablesSorted
type
type
returntype
constant
centralizeSet
type
type
ideal
→
(
ideal
→
returntype
)
constant
centralizerVS
type
type
int
→
(
ideal
→
returntype
)
constant
centerVS
type
type
int
→
returntype
constant
centralizerRed
type
type
list
→
(
int
→
(
ideal
→
returntype
)
)
constant
centerRed
type
type
list
→
(
int
→
returntype
)
constant
INTERRED
type
type
ideal
→
returntype
constant
SANF
type
type
list
→
(
poly
→
returntype
)
constant
maxdegInt
type
type
ideal
→
returntype
constant
mindegInt
type
type
ideal
→
returntype
constant
sa_reduce
type
type
ideal
→
returntype
constant
sa_poly_reduce
type
type
ideal
→
(
poly
→
returntype
)
constant
inCentralizer_poly
type
type
ideal
→
(
poly
→
returntype
)
constant
inCentralizer_list
type
type
ideal
→
(
def
→
returntype
)
constant
inCentralizer
type
type
ideal
→
(
def
→
returntype
)
constant
inCenter
type
type
def
→
returntype
constant
isCartan
type
type
poly
→
returntype
constant
center
type
type
list
→
(
int
→
returntype
)
constant
centralizer
type
type
list
→
(
int
→
(
ideal
→
returntype
)
)