bfun.lib
constant
safeVarName
type
type
string
→
returntype
constant
allPositive
type
type
intvec
→
returntype
constant
findFirst
type
type
def
→
(
list
→
returntype
)
constant
scalarProd
type
type
intvec
→
(
intvec
→
returntype
)
constant
linReduceIdeal
type
type
list
→
(
ideal
→
returntype
)
constant
linReduce
type
type
list
→
(
ideal
→
(
poly
→
returntype
)
)
constant
linSyzSolve
type
type
list
→
(
ideal
→
returntype
)
constant
pIntersect
type
type
list
→
(
ideal
→
(
poly
→
returntype
)
)
constant
pIntersectSyz
type
type
list
→
(
ideal
→
(
poly
→
returntype
)
)
constant
vec2poly
type
type
list
→
returntype
constant
bfctengine
type
type
intvec
→
(
int
→
(
int
→
(
int
→
(
int
→
(
int
→
(
int
→
(
int
→
(
int
→
(
poly
→
returntype
)
)
)
)
)
)
)
)
)
constant
bfct
type
type
list
→
(
poly
→
returntype
)
constant
bfctSyz
type
type
list
→
(
poly
→
returntype
)
constant
bfctIdeal
type
type
list
→
(
intvec
→
(
ideal
→
returntype
)
)
constant
bfctOneGB
type
type
list
→
(
poly
→
returntype
)
constant
bfctAnn
type
type
list
→
(
poly
→
returntype
)