![]() |
#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.