constant testPurityfiltrationLib
constant iszero
constant lsyz
constant rsyz
constant rinv
constant linv
constant rlift
constant llift
constant concatz
constant purityFiltration
constant purityTriang
constant gradeNumber
constant allExtOfLeft
constant allExtOfRight
constant rightreso
constant showgrades
constant doubleExt
constant allDoubleExt
constant is_pure
constant purelist
constant projectiveDimension
constant prodim