realclassify.lib
constant
realclassify
type
type
list
→
(
poly
→
returntype
)
constant
caseA1
type
type
int
→
(
int
→
(
poly
→
returntype
)
)
constant
caseAk
type
type
int
→
(
poly
→
returntype
)
constant
caseD4
type
type
poly
→
returntype
constant
caseDk
type
type
int
→
(
poly
→
returntype
)
constant
caseE6
type
type
poly
→
returntype
constant
caseE7
type
type
returntype
constant
caseE8
type
type
returntype
constant
modality1NF
type
type
poly
→
(
poly
→
returntype
)
constant
addnondegeneratevariables
type
type
int
→
(
int
→
(
poly
→
returntype
)
)
constant
realmorsesplit
type
type
list
→
(
poly
→
returntype
)
constant
sym_reduce
type
type
matrix
→
returntype
constant
rewriteformorsesplit
type
type
int
→
(
int
→
(
poly
→
returntype
)
)
constant
milnornumber
type
type
poly
→
returntype
constant
determinacy
type
type
list
→
(
poly
→
returntype
)