matrix.lib
constant
compress
type
type
def
→
returntype
constant
concat
type
type
list
→
returntype
constant
diag
type
type
list
→
returntype
constant
dsum
type
type
list
→
returntype
constant
flatten
type
type
def
→
returntype
constant
genericmat
type
type
list
→
(
int
→
(
int
→
returntype
)
)
constant
is_complex
type
type
list
→
returntype
constant
outer
type
type
matrix
→
(
matrix
→
returntype
)
constant
power
type
type
int
→
(
def
→
returntype
)
constant
skewmat
type
type
list
→
(
int
→
returntype
)
constant
submat
type
type
intvec
→
(
intvec
→
(
matrix
→
returntype
)
)
constant
symmat
type
type
list
→
(
int
→
returntype
)
constant
tensor
type
type
matrix
→
(
matrix
→
returntype
)
constant
unitmat
type
type
int
→
returntype
constant
gauss_col
type
type
list
→
(
matrix
→
returntype
)
constant
gauss_row
type
type
list
→
(
matrix
→
returntype
)
constant
addcol
type
type
int
→
(
poly
→
(
int
→
(
matrix
→
returntype
)
)
)
constant
addrow
type
type
int
→
(
poly
→
(
int
→
(
matrix
→
returntype
)
)
)
constant
multcol
type
type
poly
→
(
int
→
(
matrix
→
returntype
)
)
constant
multrow
type
type
poly
→
(
int
→
(
matrix
→
returntype
)
)
constant
permcol
type
type
int
→
(
int
→
(
matrix
→
returntype
)
)
constant
permrow
type
type
int
→
(
int
→
(
matrix
→
returntype
)
)
constant
rowred
type
type
list
→
(
matrix
→
returntype
)
constant
colred
type
type
list
→
(
matrix
→
returntype
)
constant
linear_relations
type
type
module
→
returntype
constant
findfirst
type
type
int
→
(
ideal
→
returntype
)
constant
rm_unitcol
type
type
matrix
→
returntype
constant
rm_unitrow
type
type
matrix
→
returntype
constant
headStand
type
type
matrix
→
returntype
constant
symmetricBasis
type
type
list
→
(
int
→
(
int
→
returntype
)
)
constant
exteriorBasis
type
type
list
→
(
int
→
(
int
→
returntype
)
)
constant
chooseSafeVarName
type
type
string
→
(
string
→
returntype
)
constant
mapPower
type
type
def
→
(
def
→
(
int
→
(
module
→
(
int
→
returntype
)
)
)
)
constant
symmetricPower
type
type
int
→
(
module
→
returntype
)
constant
exteriorPower
type
type
int
→
(
module
→
returntype
)