purityfiltration.lib
constant testPurityfiltrationLib
typereturntype
constant iszero
typematrixreturntype
constant lsyz
typematrixreturntype
constant rsyz
typematrixreturntype
constant rinv
typematrixreturntype
constant linv
typematrixreturntype
constant rlift
typematrix(matrixreturntype)
constant llift
typematrix(matrixreturntype)
constant concatz
typematrix(matrixreturntype)
constant purityFiltration
typematrixreturntype
constant purityTriang
typematrixreturntype
constant gradeNumber
typematrixreturntype
constant allExtOfLeft
typematrixreturntype
constant allExtOfRight
typematrixreturntype
constant rightreso
typematrixreturntype
constant showgrades
typelistreturntype
constant doubleExt
typeint(matrixreturntype)
constant allDoubleExt
typematrixreturntype
constant is_pure
typematrixreturntype
constant purelist
typelistreturntype
constant projectiveDimension
typelist(matrixreturntype)
constant prodim
typematrixreturntype