cisimplicial.lib
constant
Multiple
type
type
list
→
(
intmat
→
(
intvec
→
returntype
)
)
constant
oneDimBelongSemigroup
type
type
list
→
(
intvec
→
(
int
→
returntype
)
)
constant
SBelongSemigroup
type
type
list
→
(
intmat
→
(
intvec
→
returntype
)
)
constant
belongSemigroup
type
type
list
→
(
intmat
→
(
intvec
→
returntype
)
)
constant
cardGroup
type
type
list
→
(
intmat
→
returntype
)
constant
minMult
type
type
intvec
→
(
int
→
returntype
)
constant
CheckMin
type
type
list
→
(
int
→
(
intmat
→
(
int
→
returntype
)
)
)
constant
SimplicialCheckMin
type
type
list
→
(
int
→
(
intmat
→
(
int
→
returntype
)
)
)
constant
Proportional
type
type
intvec
→
(
intvec
→
returntype
)
constant
StimatesMin
type
type
list
→
(
intvec
→
(
int
→
(
intmat
→
returntype
)
)
)
constant
isCI
type
type
intmat
→
returntype