ncpreim.lib
constant
testncpreimlib
type
type
returntype
constant
admissibleSub
type
type
intvec
→
returntype
constant
isUpperTriangular
type
type
list
→
(
matrix
→
returntype
)
constant
appendWeight2Ord
type
type
intvec
→
returntype
constant
checkIntvec
type
type
intvec
→
returntype
constant
elimWeight
type
type
intvec
→
returntype
constant
orderingConditionEngine
type
type
int
→
(
intvec
→
(
matrix
→
returntype
)
)
constant
eliminateNC
type
type
list
→
(
intvec
→
(
ideal
→
returntype
)
)
constant
extendedTensor
type
type
ideal
→
(
def
→
returntype
)
constant
preimageNC
type
type
list
→
returntype
constant
ex1
type
type
returntype
constant
ex2
type
type
returntype
constant
ex3
type
type
returntype