realclassify.lib
constant realclassify
typelist(polyreturntype)
constant caseA1
typeint(int(polyreturntype))
constant caseAk
typeint(polyreturntype)
constant caseD4
typepolyreturntype
constant caseDk
typeint(polyreturntype)
constant caseE6
typepolyreturntype
constant caseE7
typereturntype
constant caseE8
typereturntype
constant modality1NF
typepoly(polyreturntype)
constant addnondegeneratevariables
typeint(int(polyreturntype))
constant realmorsesplit
typelist(polyreturntype)
constant sym_reduce
typematrixreturntype
constant rewriteformorsesplit
typeint(int(polyreturntype))
constant milnornumber
typepolyreturntype
constant determinacy
typelist(polyreturntype)