KVequiv.lib
constant
derlogV
type
type
ideal
→
returntype
constant
KVtangent
type
type
list
→
(
string
→
(
string
→
(
ideal
→
returntype
)
)
)
constant
KVversal
type
type
string
→
(
string
→
(
ideal
→
(
matrix
→
returntype
)
)
)
constant
KVvermap
type
type
ideal
→
(
matrix
→
returntype
)
constant
lft_vf
type
type
list
→
(
int
→
(
intvec
→
(
string
→
(
string
→
(
ideal
→
returntype
)
)
)
)
)
constant
abs
type
type
int
→
returntype