fpadim.lib
constant
allVars
type
type
int
→
(
intvec
→
(
list
→
returntype
)
)
constant
checkAssumptions
type
type
list
→
(
int
→
returntype
)
constant
createStartMat
type
type
int
→
(
int
→
returntype
)
constant
createStartMat1
type
type
intmat
→
(
int
→
returntype
)
constant
entryViolation
type
type
int
→
(
intmat
→
returntype
)
constant
findDimen
type
type
list
→
(
intvec
→
(
list
→
(
int
→
(
intvec
→
returntype
)
)
)
)
constant
findCycle
type
type
module
→
(
int
→
(
int
→
(
intvec
→
(
list
→
(
intvec
→
returntype
)
)
)
)
)
constant
findHCoeff
type
type
list
→
(
intvec
→
(
intvec
→
(
list
→
(
int
→
(
intvec
→
returntype
)
)
)
)
)
constant
findHCoeffMis
type
type
list
→
(
list
→
(
intvec
→
(
list
→
(
int
→
(
intvec
→
returntype
)
)
)
)
)
constant
findMisDim
type
type
list
→
(
list
→
(
intvec
→
(
list
→
(
int
→
(
intvec
→
returntype
)
)
)
)
)
constant
findmistletoes
type
type
list
→
(
intvec
→
(
list
→
(
int
→
(
intvec
→
returntype
)
)
)
)
constant
isInList
type
type
list
→
(
intvec
→
returntype
)
constant
isInMat
type
type
intmat
→
(
intvec
→
returntype
)
constant
isInVec
type
type
intvec
→
(
int
→
returntype
)
constant
ivL2lpI
type
type
list
→
returntype
constant
iv2lp
type
type
intvec
→
returntype
constant
iv2lpList
type
type
list
→
returntype
constant
iv2lpMat
type
type
intmat
→
returntype
constant
lpId2ivLi
type
type
ideal
→
returntype
constant
lp2iv
type
type
poly
→
returntype
constant
lp2ivId
type
type
ideal
→
returntype
constant
ivDHilbert
type
type
list
→
(
int
→
(
list
→
returntype
)
)
constant
ivDHilbertSickle
type
type
list
→
(
int
→
(
list
→
returntype
)
)
constant
ivDimCheck
type
type
int
→
(
list
→
returntype
)
constant
ivHilbert
type
type
list
→
(
int
→
(
list
→
returntype
)
)
constant
ivKDim
type
type
list
→
(
int
→
(
list
→
returntype
)
)
constant
ivMis2Base
type
type
list
→
returntype
constant
ivMis2Dim
type
type
list
→
returntype
constant
ivOrdMisLex
type
type
list
→
returntype
constant
ivSickle
type
type
list
→
(
int
→
(
list
→
returntype
)
)
constant
ivSickleDim
type
type
list
→
(
int
→
(
list
→
returntype
)
)
constant
ivSickleHil
type
type
list
→
(
int
→
(
list
→
returntype
)
)
constant
lpDHilbert
type
type
list
→
(
ideal
→
returntype
)
constant
lpDHilbertSickle
type
type
list
→
(
ideal
→
returntype
)
constant
lpHilbert
type
type
list
→
(
ideal
→
returntype
)
constant
lpDimCheck
type
type
ideal
→
returntype
constant
lpKDim
type
type
list
→
(
ideal
→
returntype
)
constant
lpMis2Base
type
type
ideal
→
returntype
constant
lpMis2Dim
type
type
ideal
→
returntype
constant
lpOrdMisLex
type
type
ideal
→
returntype
constant
lpSickle
type
type
list
→
(
ideal
→
returntype
)
constant
lpSickleDim
type
type
list
→
(
ideal
→
returntype
)
constant
lpSickleHil
type
type
list
→
(
ideal
→
returntype
)
constant
sickle
type
type
list
→
(
ideal
→
returntype
)
constant
tst_fpadim
type
type
returntype