purityfiltration.lib
constant
testPurityfiltrationLib
type
type
returntype
constant
iszero
type
type
matrix
→
returntype
constant
lsyz
type
type
matrix
→
returntype
constant
rsyz
type
type
matrix
→
returntype
constant
rinv
type
type
matrix
→
returntype
constant
linv
type
type
matrix
→
returntype
constant
rlift
type
type
matrix
→
(
matrix
→
returntype
)
constant
llift
type
type
matrix
→
(
matrix
→
returntype
)
constant
concatz
type
type
matrix
→
(
matrix
→
returntype
)
constant
purityFiltration
type
type
matrix
→
returntype
constant
purityTriang
type
type
matrix
→
returntype
constant
gradeNumber
type
type
matrix
→
returntype
constant
allExtOfLeft
type
type
matrix
→
returntype
constant
allExtOfRight
type
type
matrix
→
returntype
constant
rightreso
type
type
matrix
→
returntype
constant
showgrades
type
type
list
→
returntype
constant
doubleExt
type
type
int
→
(
matrix
→
returntype
)
constant
allDoubleExt
type
type
matrix
→
returntype
constant
is_pure
type
type
matrix
→
returntype
constant
purelist
type
type
list
→
returntype
constant
projectiveDimension
type
type
list
→
(
matrix
→
returntype
)
constant
prodim
type
type
matrix
→
returntype