![]() |
#include "kernel/mod2.h"
#include "misc/mylimits.h"
#include "omalloc/omalloc.h"
#include "misc/options.h"
#include "misc/intvec.h"
#include "coeffs/numbers.h"
#include "polys/monomials/ring.h"
#include "polys/kbuckets.h"
#include "polys/prCopy.h"
#include "kernel/polys.h"
#include "kernel/GBEngine/kstd1.h"
#include "kernel/GBEngine/kutil.h"
#include "kernel/combinatorics/stairc.h"
#include "kernel/ideals.h"
#include "kernel/GBEngine/syz.h"
Go to the source code of this file.
Functions | |
void | p_Setm_Syz (poly p, ring r, int *Components, long *ShiftedComponents) |
void | syDeletePair (SObject *so) |
void | syInitializePair (SObject *so) |
void | syCopyPair (SObject *argso, SObject *imso) |
void | syCompactifyPairSet (SSet sPairs, int sPlength, int first) |
void | syCompactify1 (SSet sPairs, int *sPlength, int first) |
poly | syRedtail (poly p, syStrategy syzstr, int index) |
static int | syChMin (intvec *iv) |
SRes | syInitRes (ideal arg, int *length, intvec *Tl, intvec *cw) |
long | syReorderShiftedComponents (long *sc, int n) |
static void | pResetSetm (poly p) |
void | syResetShiftedComponents (syStrategy syzstr, int index, int hilb) |
static BOOLEAN | syOrder (poly p, syStrategy syzstr, int index, int realcomp) |
static intvec * | syLinStrat (SSet nextPairs, syStrategy syzstr, int howmuch, int index) |
void | syEnlargeFields (syStrategy syzstr, int index) |
static void | syRedNextPairs (SSet nextPairs, syStrategy syzstr, int howmuch, int index) |
static void | syRedGenerOfCurrDeg (syStrategy syzstr, int deg, int index) |
void | syEnterPair (SSet sPairs, SObject *so, int *sPlength, int) |
void | syEnterPair (syStrategy syzstr, SObject *so, int *sPlength, int index) |
static void | syCreateNewPairs (syStrategy syzstr, int index, int newEl) |
static SSet | syChosePairsPutIn (syStrategy syzstr, int *index, int *howmuch, int *actdeg, int an, int en) |
SSet | syChosePairs (syStrategy syzstr, int *index, int *howmuch, int *actdeg) |
int | syInitSyzMod (syStrategy syzstr, int index, int init) |
void | syKillComputation (syStrategy syzstr, ring r) |
resolvente | syReorder (resolvente res, int length, syStrategy syzstr, BOOLEAN toCopy, resolvente totake) |
intvec * | syBettiOfComputation (syStrategy syzstr, BOOLEAN minim, int *row_shift, intvec *weights) |
int | sySize (syStrategy syzstr) |
int | syDim (syStrategy syzstr) |
syStrategy | syCopy (syStrategy syzstr) |
static void | syPrintEmptySpaces (int i) |
static void | syPrintEmptySpaces1 (int i) |
static int | syLengthInt (int i) |
void | syPrint (syStrategy syzstr, const char *sn) |
static poly | syStripOutCopy (poly p, intvec *toStrip) |
static poly | syMinimizeP1 (int toMin, syStrategy syzstr, intvec *ordn, int index, intvec *toStrip) |
void | syKillEmptyEntres (resolvente res, int length) |
static intvec * | syToStrip (syStrategy syzstr, int index) |
static intvec * | syOrdPairs (SSet sPairs, int length) |
static resolvente | syReadOutMinimalRes (syStrategy syzstr, BOOLEAN computeStd=FALSE) |
syStrategy | syMinimize (syStrategy syzstr) |
syStrategy | syLaScala3 (ideal arg, int *length) |
syStrategy | syLaScala (ideal arg, int &maxlength, intvec *weights) |
Variables | |
int * | currcomponents =NULL |
long * | currShiftedComponents =NULL |
void p_Setm_Syz | ( | poly | p, |
ring | r, | ||
int * | Components, | ||
long * | ShiftedComponents | ||
) |
Definition at line 523 of file p_polys.cc.
intvec* syBettiOfComputation | ( | syStrategy | syzstr, |
BOOLEAN | minim, | ||
int * | row_shift, | ||
intvec * | weights | ||
) |
Don't change the syzstr???
Definition at line 1756 of file syz1.cc.
SSet syChosePairs | ( | syStrategy | syzstr, |
int * | index, | ||
int * | howmuch, | ||
int * | actdeg | ||
) |
Definition at line 1289 of file syz1.cc.
|
static |
Definition at line 1182 of file syz1.cc.
void syCompactify1 | ( | SSet | sPairs, |
int * | sPlength, | ||
int | first | ||
) |
Definition at line 133 of file syz1.cc.
void syCompactifyPairSet | ( | SSet | sPairs, |
int | sPlength, | ||
int | first | ||
) |
Definition at line 105 of file syz1.cc.
syStrategy syCopy | ( | syStrategy | syzstr | ) |
|
static |
Definition at line 1070 of file syz1.cc.
int syDim | ( | syStrategy | syzstr | ) |
void syEnlargeFields | ( | syStrategy | syzstr, |
int | index | ||
) |
void syEnterPair | ( | SSet | sPairs, |
SObject * | so, | ||
int * | sPlength, | ||
int | |||
) |
void syEnterPair | ( | syStrategy | syzstr, |
SObject * | so, | ||
int * | sPlength, | ||
int | index | ||
) |
Definition at line 1036 of file syz1.cc.
Definition at line 294 of file syz1.cc.
int syInitSyzMod | ( | syStrategy | syzstr, |
int | index, | ||
int | init | ||
) |
void syKillComputation | ( | syStrategy | syzstr, |
ring | r | ||
) |
Definition at line 1496 of file syz1.cc.
void syKillEmptyEntres | ( | resolvente | res, |
int | length | ||
) |
Definition at line 2201 of file syz1.cc.
syStrategy syLaScala | ( | ideal | arg, |
int & | maxlength, | ||
intvec * | weights | ||
) |
Definition at line 2560 of file syz1.cc.
syStrategy syLaScala3 | ( | ideal | arg, |
int * | length | ||
) |
Definition at line 2434 of file syz1.cc.
|
static |
|
static |
Definition at line 650 of file syz1.cc.
syStrategy syMinimize | ( | syStrategy | syzstr | ) |
Definition at line 2395 of file syz1.cc.
|
static |
Definition at line 2152 of file syz1.cc.
|
static |
Definition at line 2276 of file syz1.cc.
void syPrint | ( | syStrategy | syzstr, |
const char * | sn | ||
) |
Definition at line 1935 of file syz1.cc.
|
static |
Definition at line 2314 of file syz1.cc.
|
static |
Definition at line 916 of file syz1.cc.
|
static |
Definition at line 769 of file syz1.cc.
poly syRedtail | ( | poly | p, |
syStrategy | syzstr, | ||
int | index | ||
) |
Definition at line 227 of file syz1.cc.
resolvente syReorder | ( | resolvente | res, |
int | length, | ||
syStrategy | syzstr, | ||
BOOLEAN | toCopy, | ||
resolvente | totake | ||
) |
Definition at line 1642 of file syz1.cc.
void syResetShiftedComponents | ( | syStrategy | syzstr, |
int | index, | ||
int | hilb | ||
) |
Definition at line 410 of file syz1.cc.
int sySize | ( | syStrategy | syzstr | ) |
|
static |
Definition at line 2067 of file syz1.cc.
|
static |
Definition at line 2254 of file syz1.cc.