schreyer.lib
constant prepareSyz
typelist(modulereturntype)
constant separateSyzGB
typeint(modulereturntype)
constant splitSyzGB
typeint(modulereturntype)
constant Sinit
typemodulereturntype
constant Sstep
typereturntype
constant Scontinue
typeintreturntype
constant Ssyz
typemodulereturntype
constant Sres
typeint(modulereturntype)
constant MySort
typedefreturntype
constant SSinit
typedefreturntype
constant SSComputeLeadingSyzygyTerms
typedefreturntype
constant SSCompute2LeadingSyzygyTerms
typedefreturntype
constant SSFindReducer
typelist(def(def(defreturntype)))
constant SSReduceTerm
typelist(def(def(def(def(polyreturntype)))))
constant SSTraverseTail
typelist(def(def(def(polyreturntype))))
constant SSSchreyerSyzygyNF
typelist(def(def(vector(vectorreturntype))))
constant SSComputeSyzygy
typedef(defreturntype)
constant SSstep
typereturntype
constant SScontinue
typeintreturntype
constant SSsyz
typedefreturntype
constant SSres
typeint(defreturntype)
constant SRES_betti2
typedef(SRESreturntype)
constant SRES_betti1
typeSRESreturntype
constant SRES_print
typeSRESreturntype
constant SRES_minres
typeSRESreturntype
constant SRES_list
typedefreturntype
constant mod_init
typereturntype
constant testallSexamples
typereturntype
constant testallSSexamples
typereturntype
constant StartResTesting
typelistreturntype
constant StopResTesting
typereturntype
constant StartAddResTest
typestring(stringreturntype)
constant StopAddResTest
typeint(int(intmat(defreturntype)))
constant SCheck
typedefreturntype
constant TestSSres
typedefreturntype
constant s_res
typeint(defreturntype)
constant s_res_bm
typedefreturntype
constant s_syz
typedefreturntype
constant TestSSSres
typedefreturntype
constant TestSres
typedefreturntype
constant Testsres
typedefreturntype
constant Testlres
typedefreturntype
constant Testnres
typedefreturntype
constant TestSSresAttribs
typelist(defreturntype)
constant TestSSresAttribs2tr
typelist(defreturntype)
constant testSimple
typelistreturntype
constant testAGR
typelistreturntype
constant testAGRhard
typelistreturntype