swalk.lib
constant
swalk
type
type
list
→
(
ideal
→
returntype
)
constant
rswalk
type
type
list
→
(
int
→
(
int
→
(
ideal
→
returntype
)
)
)
constant
inprod
type
type
vector
→
(
vector
→
returntype
)
constant
diffExpo
type
type
poly
→
returntype
constant
collectDiffExpo
type
type
ideal
→
returntype
constant
changeType
type
type
vector
→
returntype
constant
changeTypeInt
type
type
intvec
→
returntype
constant
last
type
type
list
→
(
vector
→
(
vector
→
returntype
)
)
constant
initialForm
type
type
poly
→
returntype
constant
Initial
type
type
ideal
→
returntype
constant
Lift
type
type
ideal
→
(
ideal
→
(
ideal
→
returntype
)
)
constant
Convert
type
type
ideal
→
returntype
constant
interreduceSd
type
type
ideal
→
returntype
constant
OrderStringalp
type
type
list
→
(
string
→
returntype
)
constant
OrderStringalp_NP
type
type
list
→
(
string
→
returntype
)
constant
test_in_cone
type
type
list
→
(
vector
→
returntype
)
constant
PertVectors
type
type
int
→
(
vector
→
(
ideal
→
returntype
)
)
constant
RandomNextWeight
type
type
int
→
(
int
→
(
vector
→
(
vector
→
(
list
→
(
ideal
→
returntype
)
)
)
)
)