constant safeVarName
constant allPositive
constant findFirst
constant scalarProd
constant linReduceIdeal
constant linReduce
constant linSyzSolve
constant pIntersect
constant pIntersectSyz
constant vec2poly
constant bfctengine
constant bfct
constant bfctSyz
constant bfctIdeal
constant bfctOneGB
constant bfctAnn