schreyer.lib
constant
prepareSyz
type
type
list
→
(
module
→
returntype
)
constant
separateSyzGB
type
type
int
→
(
module
→
returntype
)
constant
splitSyzGB
type
type
int
→
(
module
→
returntype
)
constant
Sinit
type
type
module
→
returntype
constant
Sstep
type
type
returntype
constant
Scontinue
type
type
int
→
returntype
constant
Ssyz
type
type
module
→
returntype
constant
Sres
type
type
int
→
(
module
→
returntype
)
constant
MySort
type
type
def
→
returntype
constant
SSinit
type
type
def
→
returntype
constant
SSComputeLeadingSyzygyTerms
type
type
def
→
returntype
constant
SSCompute2LeadingSyzygyTerms
type
type
def
→
returntype
constant
SSFindReducer
type
type
list
→
(
def
→
(
def
→
(
def
→
returntype
)
)
)
constant
SSReduceTerm
type
type
list
→
(
def
→
(
def
→
(
def
→
(
def
→
(
poly
→
returntype
)
)
)
)
)
constant
SSTraverseTail
type
type
list
→
(
def
→
(
def
→
(
def
→
(
poly
→
returntype
)
)
)
)
constant
SSSchreyerSyzygyNF
type
type
list
→
(
def
→
(
def
→
(
vector
→
(
vector
→
returntype
)
)
)
)
constant
SSComputeSyzygy
type
type
def
→
(
def
→
returntype
)
constant
SSstep
type
type
returntype
constant
SScontinue
type
type
int
→
returntype
constant
SSsyz
type
type
def
→
returntype
constant
SSres
type
type
int
→
(
def
→
returntype
)
constant
SRES_betti2
type
type
def
→
(
SRES
→
returntype
)
constant
SRES_betti1
type
type
SRES
→
returntype
constant
SRES_print
type
type
SRES
→
returntype
constant
SRES_minres
type
type
SRES
→
returntype
constant
SRES_list
type
type
def
→
returntype
constant
mod_init
type
type
returntype
constant
testallSexamples
type
type
returntype
constant
testallSSexamples
type
type
returntype
constant
StartResTesting
type
type
list
→
returntype
constant
StopResTesting
type
type
returntype
constant
StartAddResTest
type
type
string
→
(
string
→
returntype
)
constant
StopAddResTest
type
type
int
→
(
int
→
(
intmat
→
(
def
→
returntype
)
)
)
constant
SCheck
type
type
def
→
returntype
constant
TestSSres
type
type
def
→
returntype
constant
s_res
type
type
int
→
(
def
→
returntype
)
constant
s_res_bm
type
type
def
→
returntype
constant
s_syz
type
type
def
→
returntype
constant
TestSSSres
type
type
def
→
returntype
constant
TestSres
type
type
def
→
returntype
constant
Testsres
type
type
def
→
returntype
constant
Testlres
type
type
def
→
returntype
constant
Testnres
type
type
def
→
returntype
constant
TestSSresAttribs
type
type
list
→
(
def
→
returntype
)
constant
TestSSresAttribs2tr
type
type
list
→
(
def
→
returntype
)
constant
testSimple
type
type
list
→
returntype
constant
testAGR
type
type
list
→
returntype
constant
testAGRhard
type
type
list
→
returntype