surfex.lib
constant
plotRot
type
type
list
→
(
poly
→
returntype
)
constant
plotRotated
type
type
list
→
(
list
→
(
poly
→
returntype
)
)
constant
plotRotatedList
type
type
list
→
(
list
→
(
list
→
returntype
)
)
constant
plotRotatedListFromSpecifyList
type
type
list
→
(
list
→
returntype
)
constant
plotRotatedListFromStringList
type
type
list
→
(
list
→
returntype
)
constant
plotRotatedDirect
type
type
list
→
(
list
→
returntype
)
constant
plotRotatedFromCode
type
type
list
→
(
string
→
returntype
)
constant
getSurfexCodeFromListDirect
type
type
list
→
(
list
→
returntype
)
constant
getSurfexCodeFromList
type
type
list
→
(
list
→
(
list
→
returntype
)
)
constant
getSurfexCodeFromStringList
type
type
list
→
(
list
→
returntype
)
constant
getSurfexCodeFromSpecifyList
type
type
list
→
(
list
→
returntype
)
constant
numBaseColors
type
type
returntype
constant
baseSurfaceColors
type
type
int
→
returntype
constant
getInsideColorStr
type
type
int
→
returntype
constant
getOutsideColorStr
type
type
int
→
returntype
constant
surfEqnDir
type
type
list
→
returntype
constant
surfEqn
type
type
list
→
(
list
→
(
poly
→
returntype
)
)
constant
num_vars_id
type
type
ideal
→
returntype
constant
findInList
type
type
list
→
(
list
→
returntype
)
constant
std_primdecGTZ
type
type
list
→
(
ideal
→
returntype
)
constant
std_for_pd
type
type
list
→
(
list
→
returntype
)
constant
real_solve
type
type
ideal
→
returntype
constant
rootminpoly
type
type
list
→
returntype
constant
allroots_minpoly
type
type
list
→
returntype
constant
decstr2ratstr
type
type
string
→
returntype
constant
real2ratstr
type
type
number
→
returntype
constant
truncdec
type
type
int
→
(
number
→
returntype
)
constant
string_of_vars
type
type
ideal
→
returntype