gradedModules.lib
constant
repeat
type
type
string
→
(
int
→
returntype
)
constant
pad
type
type
string
→
(
string
→
(
int
→
returntype
)
)
constant
mstring
type
type
string
→
(
int
→
returntype
)
constant
grsumstr
type
type
intvec
→
(
string
→
returntype
)
constant
draw
type
type
int
→
(
intmat
→
returntype
)
constant
issorted
type
type
int
→
(
intvec
→
returntype
)
constant
mysort
type
type
int
→
(
intvec
→
returntype
)
constant
reorder
type
type
int
→
(
def
→
returntype
)
constant
grtranspose1
type
type
def
→
returntype
constant
grorder
type
type
def
→
returntype
constant
grzero
type
type
returntype
constant
grtwists
type
type
intvec
→
returntype
constant
grtwist
type
type
int
→
(
int
→
returntype
)
constant
grpower
type
type
int
→
(
def
→
returntype
)
constant
grshift
type
type
int
→
(
def
→
returntype
)
constant
grisequal
type
type
def
→
(
def
→
returntype
)
constant
grobj
type
type
list
→
(
intvec
→
(
def
→
returntype
)
)
constant
grtest
type
type
list
→
(
def
→
returntype
)
constant
align
type
type
int
→
(
def
→
returntype
)
constant
grres
type
type
list
→
(
int
→
(
def
→
returntype
)
)
constant
grtranspose
type
type
def
→
returntype
constant
grgens
type
type
def
→
returntype
constant
grpres
type
type
def
→
returntype
constant
grrndmat
type
type
list
→
(
intvec
→
(
intvec
→
returntype
)
)
constant
KeneshlouMatrixPresentation
type
type
intvec
→
returntype
constant
grrndmap
type
type
list
→
(
def
→
(
def
→
returntype
)
)
constant
grrndmap2
type
type
list
→
(
def
→
(
def
→
returntype
)
)
constant
matrixpres
type
type
intvec
→
returntype