constant testncpreimlib
constant admissibleSub
constant isUpperTriangular
constant appendWeight2Ord
constant checkIntvec
constant elimWeight
constant orderingConditionEngine
constant eliminateNC
constant extendedTensor
constant preimageNC
constant ex1
constant ex2
constant ex3