![]() |
#include <kernel/mod2.h>#include <omalloc/omalloc.h>#include <misc/intvec.h>#include <misc/options.h>#include <coeffs/coeffs.h>#include <polys/PolyEnumerator.h>#include <polys/monomials/p_polys.h>#include <polys/monomials/ring.h>#include <polys/simpleideals.h>#include <kernel/GBEngine/kstd1.h>#include <kernel/polys.h>#include <kernel/GBEngine/syz.h>#include <Singular/tok.h>#include <Singular/ipid.h>#include <Singular/lists.h>#include <Singular/attrib.h>#include <Singular/ipshell.h>#include "singularxx_defs.h"#include "DebugPrint.h"#include "myNF.h"#include "syzextra.h"#include <Singular/mod_lib.h>#include <stdio.h>#include <stdlib.h>#include <string.h>Go to the source code of this file.
Macros | |
| #define | PRINT_pINTVECTOR(s, v) |
| #define | PRINT_RESOLUTION(s, v) |
| #define | PRINT_POINTER(s, v) Print("pointer '%17s': %p", #v, reinterpret_cast<const void*>((s)->v)); PrintLn(); |
| #define | ADD(C, D, E) psModulFunctions->iiAddCproc((currPack->libname? currPack->libname: ""), (char*)C, D, E); |
Functions | |
| USING_NAMESPACE (SINGULARXXNAME ::DEBUG) USING_NAMESPACE(SINGULARXXNAME | |
| static void | NoReturn (leftv &res) |
| static BOOLEAN | _ClearContent (leftv res, leftv h) |
| wrapper around n_ClearContent More... | |
| static BOOLEAN | _ClearDenominators (leftv res, leftv h) |
| wrapper around n_ClearDenominators More... | |
| static int | getOptionalInteger (const leftv &h, const int _n) |
| try to get an optional (simple) integer argument out of h or return the default value More... | |
| static BOOLEAN | noop (leftv __res, leftv) |
| static BOOLEAN | _ProfilerStart (leftv __res, leftv h) |
| static BOOLEAN | _ProfilerStop (leftv __res, leftv) |
| static number | jjLONG2N (long d) |
| static void | view (const intvec *v) |
| static BOOLEAN | DetailedPrint (leftv __res, leftv h) |
| static BOOLEAN | Tail (leftv res, leftv h) |
| wrapper around p_Tail and id_Tail More... | |
| static BOOLEAN | _ComputeLeadingSyzygyTerms (leftv res, leftv h) |
| static BOOLEAN | _Sort_c_ds (leftv res, leftv h) |
| sorting wrt <c,ds> & reversing... change the input inplace!!! More... | |
| static BOOLEAN | _Compute2LeadingSyzygyTerms (leftv res, leftv h) |
| static BOOLEAN | _FindReducer (leftv res, leftv h) |
| proc SSFindReducer(def product, def syzterm, def L, def T, list #) More... | |
| static BOOLEAN | _SchreyerSyzygyNF (leftv res, leftv h) |
| static BOOLEAN | _ReduceTerm (leftv res, leftv h) |
| proc SSReduceTerm(poly m, def t, def syzterm, def L, def T, list #) More... | |
| static BOOLEAN | _TraverseTail (leftv res, leftv h) |
| static BOOLEAN | _ComputeResolution (leftv res, leftv h) |
| static BOOLEAN | _ComputeSyzygy (leftv res, leftv h) |
| module (LL, TT) = SSComputeSyzygy(L, T); Compute Syz(L ++ T) = N = LL ++ TT More... | |
| static BOOLEAN | _leadmonom (leftv res, leftv h) |
| Get leading term without a module component. More... | |
| static BOOLEAN | leadcomp (leftv res, leftv h) |
| Get leading component. More... | |
| static BOOLEAN | leadrawexp (leftv res, leftv h) |
| Get raw leading exponent vector. More... | |
| static BOOLEAN | MakeSyzCompOrdering (leftv res, leftv) |
| Endowe the current ring with additional (leading) Syz-component ordering. More... | |
| static BOOLEAN | MakeInducedSchreyerOrdering (leftv res, leftv h) |
| Same for Induced Schreyer ordering (ordering on components is defined by sign!) More... | |
| static BOOLEAN | SetSyzComp (leftv res, leftv h) |
| Returns old SyzCompLimit, can set new limit. More... | |
| static BOOLEAN | GetInducedData (leftv res, leftv h) |
| ? More... | |
| static BOOLEAN | SetInducedReferrence (leftv res, leftv h) |
| Returns old SyzCompLimit, can set new limit. More... | |
| static BOOLEAN | ISUpdateComponents (leftv res, leftv h) |
| static BOOLEAN | reduce_syz (leftv res, leftv h) |
| NF using length. More... | |
| static BOOLEAN | idPrepare (leftv res, leftv h) |
| Get raw syzygies (idPrepare) More... | |
| static BOOLEAN | _p_Content (leftv res, leftv h) |
| Get raw syzygies (idPrepare) More... | |
| static BOOLEAN | _m2_end (leftv res, leftv h) |
| static BOOLEAN | _NumberStatsInit (leftv res, leftv h) |
| static BOOLEAN | _NumberStatsPrint (leftv res, leftv h) |
| END_NAMESPACE int SI_MOD_INIT() | syzextra (SModulFunctions *psModulFunctions) |
| #define ADD | ( | C, | |
| D, | |||
| E | |||
| ) | psModulFunctions->iiAddCproc((currPack->libname? currPack->libname: ""), (char*)C, D, E); |
| #define PRINT_POINTER | ( | s, | |
| v | |||
| ) | Print("pointer '%17s': %p", #v, reinterpret_cast<const void*>((s)->v)); PrintLn(); |
wrapper around n_ClearContent
Definition at line 97 of file mod_main.cc.
wrapper around n_ClearDenominators
Definition at line 143 of file mod_main.cc.
Definition at line 637 of file mod_main.cc.
Definition at line 525 of file mod_main.cc.
Definition at line 1143 of file mod_main.cc.
module (LL, TT) = SSComputeSyzygy(L, T); Compute Syz(L ++ T) = N = LL ++ TT
Definition at line 1291 of file mod_main.cc.
proc SSFindReducer(def product, def syzterm, def L, def T, list #)
Definition at line 687 of file mod_main.cc.
Get leading term without a module component.
Definition at line 1361 of file mod_main.cc.
Definition at line 1934 of file mod_main.cc.
Definition at line 1953 of file mod_main.cc.
Definition at line 1974 of file mod_main.cc.
Get raw syzygies (idPrepare)
Definition at line 1910 of file mod_main.cc.
Definition at line 212 of file mod_main.cc.
Definition at line 230 of file mod_main.cc.
proc SSReduceTerm(poly m, def t, def syzterm, def L, def T, list #)
Definition at line 893 of file mod_main.cc.
Definition at line 784 of file mod_main.cc.
sorting wrt <c,ds> & reversing... change the input inplace!!!
Definition at line 575 of file mod_main.cc.
Definition at line 1038 of file mod_main.cc.
Definition at line 269 of file mod_main.cc.
?
Definition at line 1522 of file mod_main.cc.
try to get an optional (simple) integer argument out of h or return the default value
Definition at line 191 of file mod_main.cc.
Get raw syzygies (idPrepare)
Definition at line 1818 of file mod_main.cc.
Definition at line 1743 of file mod_main.cc.
|
inlinestatic |
Definition at line 242 of file mod_main.cc.
Get leading component.
Definition at line 1381 of file mod_main.cc.
Get raw leading exponent vector.
Definition at line 1417 of file mod_main.cc.
Same for Induced Schreyer ordering (ordering on components is defined by sign!)
Definition at line 1468 of file mod_main.cc.
Endowe the current ring with additional (leading) Syz-component ordering.
Definition at line 1453 of file mod_main.cc.
Definition at line 206 of file mod_main.cc.
|
inlinestatic |
Definition at line 90 of file mod_main.cc.
NF using length.
Definition at line 1775 of file mod_main.cc.
Returns old SyzCompLimit, can set new limit.
Definition at line 1693 of file mod_main.cc.
Returns old SyzCompLimit, can set new limit.
Definition at line 1496 of file mod_main.cc.
| END_NAMESPACE int SI_MOD_INIT() syzextra | ( | SModulFunctions * | psModulFunctions | ) |
Definition at line 1995 of file mod_main.cc.
wrapper around p_Tail and id_Tail
Definition at line 485 of file mod_main.cc.
| USING_NAMESPACE | ( | SINGULARXXNAME ::DEBUG | ) |
Definition at line 57 of file mod_main.cc.