bfun.lib
constant safeVarName
typestringreturntype
constant allPositive
typeintvecreturntype
constant findFirst
typedef(listreturntype)
constant scalarProd
typeintvec(intvecreturntype)
constant linReduceIdeal
typelist(idealreturntype)
constant linReduce
typelist(ideal(polyreturntype))
constant linSyzSolve
typelist(idealreturntype)
constant pIntersect
typelist(ideal(polyreturntype))
constant pIntersectSyz
typelist(ideal(polyreturntype))
constant vec2poly
typelistreturntype
constant bfctengine
typeintvec(int(int(int(int(int(int(int(int(polyreturntype)))))))))
constant bfct
typelist(polyreturntype)
constant bfctSyz
typelist(polyreturntype)
constant bfctIdeal
typelist(intvec(idealreturntype))
constant bfctOneGB
typelist(polyreturntype)
constant bfctAnn
typelist(polyreturntype)