My Project
|
#include "misc/mylimits.h"
#include "kernel/structs.h"
#include "polys/monomials/ring.h"
#include "kernel/ideals.h"
Go to the source code of this file.
Data Structures | |
struct | SObject |
class | ssyStrategy |
Macros | |
#define | SYZ_SHIFT_MAX_NEW_COMP_ESTIMATE 8 |
#define | SYZ_SHIFT_BASE_LOG (BIT_SIZEOF_LONG - 1 - SYZ_SHIFT_MAX_NEW_COMP_ESTIMATE) |
#define | SYZ_SHIFT_BASE (1L << SYZ_SHIFT_BASE_LOG) |
Typedefs | |
typedef SObject * | SSet |
typedef SSet * | SRes |
typedef ssyStrategy * | syStrategy |
Functions | |
void | sySchreyersSyzygiesM (polyset F, int Fmax, polyset *Shdl, int *Smax, BOOLEAN noSort) |
void | sySchreyersSyzygiesB (polyset F, int Fmax, polyset *Shdl, int *Smax, BOOLEAN noSort) |
resolvente | sySchreyerResolvente (ideal arg, int maxlength, int *length, BOOLEAN isMonomial=FALSE, BOOLEAN notReplace=FALSE) |
syStrategy | sySchreyer (ideal arg, int maxlength) |
resolvente | syResolvente (ideal arg, int maxlength, int *length, intvec ***weights, BOOLEAN minim) |
syStrategy | syResolution (ideal arg, int maxlength, intvec *w, BOOLEAN minim) |
void | syMinimizeResolvente (resolvente res, int length, int first) |
intvec * | syBetti (resolvente res, int length, int *regularity, intvec *weights=NULL, BOOLEAN tomin=TRUE, int *row_shift=NULL) |
ideal | syMinBase (ideal arg) |
BOOLEAN | syTestOrder (ideal i) |
void | syReOrderResolventFB (resolvente res, int length, int initial=1) |
resolvente | syLaScala1 (ideal arg, int *length) |
syStrategy | syLaScala3 (ideal arg, int *length) |
syStrategy | syLaScala (ideal arg, int &maxlength, intvec *weights=NULL) |
syStrategy | syHilb (ideal arg, int *length) |
syStrategy | syKosz (ideal arg, int *length) |
syStrategy | syFrank (const ideal arg, const int length, const char *method, const bool use_cache=true, const bool use_tensor_trick=false) |
void | syKillComputation (syStrategy syzstr, ring r=currRing) |
intvec * | syBettiOfComputation (syStrategy syzstr, BOOLEAN minim=TRUE, int *row_shift=NULL, intvec *weights=NULL) |
int | sySize (syStrategy syzstr) |
int | syDim (syStrategy syzstr) |
syStrategy | syCopy (syStrategy syzstr) |
void | syPrint (syStrategy syzstr, const char *currRingName) |
syStrategy | syMinimize (syStrategy syzstr) |
void | syKillEmptyEntres (resolvente res, int length) |
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) |
SRes | syInitRes (ideal arg, int *length, intvec *Tl, intvec *cw=NULL) |
void | syResetShiftedComponents (syStrategy syzstr, int index, int hilb=0) |
void | syEnlargeFields (syStrategy syzstr, int index) |
void | syEnterPair (syStrategy syzstr, SObject *so, int *sPlength, int index) |
SSet | syChosePairs (syStrategy syzstr, int *index, int *howmuch, int *actdeg) |
int | syInitSyzMod (syStrategy syzstr, int index, int init=17) |
long | syReorderShiftedComponents (long *sc, int n) |
void | syGaussForOne (ideal arg, int gen, int ModComp, int from=-1, int till=0) |
void | syEnterPair (SSet sPairs, SObject *so, int *sPlength, int index) |
resolvente | syReorder (resolvente res, int length, syStrategy syzstr, BOOLEAN toCopy=TRUE, resolvente totake=NULL) |
Variables | |
EXTERN_VAR int * | currcomponents |
EXTERN_VAR long * | currShiftedComponents |
struct sSObject |
class ssyStrategy |
Data Fields | ||
---|---|---|
int ** | backcomponents | |
intvec * | betti | |
kBucket_pt | bucket | |
intvec * | cw | |
int ** | elemLength | |
int ** | Firstelem | |
resolvente | fullres | |
intvec ** | hilb_coeffs | |
int ** | Howmuch | |
int | length | |
short | list_length | |
resolvente | minres | |
resolvente | orderedRes | |
short | references | |
int | regularity | |
resolvente | res | |
intvec * | resolution | |
SRes | resPairs | |
unsigned long ** | sev | |
long ** | ShiftedComponents | |
ring | syRing | |
kBucket_pt | syz_bucket | |
intvec * | Tl | |
int ** | truecomponents | |
intvec ** | weights |
#define SYZ_SHIFT_BASE (1L << SYZ_SHIFT_BASE_LOG) |
#define SYZ_SHIFT_BASE_LOG (BIT_SIZEOF_LONG - 1 - SYZ_SHIFT_MAX_NEW_COMP_ESTIMATE) |
typedef ssyStrategy* syStrategy |
intvec * syBetti | ( | resolvente | res, |
int | length, | ||
int * | regularity, | ||
intvec * | weights = NULL , |
||
BOOLEAN | tomin = TRUE , |
||
int * | row_shift = NULL |
||
) |
Definition at line 770 of file syz.cc.
intvec * syBettiOfComputation | ( | syStrategy | syzstr, |
BOOLEAN | minim = TRUE , |
||
int * | row_shift = NULL , |
||
intvec * | weights = NULL |
||
) |
Don't change the syzstr???
Definition at line 1755 of file syz1.cc.
SSet syChosePairs | ( | syStrategy | syzstr, |
int * | index, | ||
int * | howmuch, | ||
int * | actdeg | ||
) |
Definition at line 1288 of file syz1.cc.
void syCompactify1 | ( | SSet | sPairs, |
int * | sPlength, | ||
int | first | ||
) |
Definition at line 132 of file syz1.cc.
void syCompactifyPairSet | ( | SSet | sPairs, |
int | sPlength, | ||
int | first | ||
) |
syStrategy syCopy | ( | syStrategy | syzstr | ) |
void syCopyPair | ( | SObject * | argso, |
SObject * | imso | ||
) |
Definition at line 82 of file syz1.cc.
void syDeletePair | ( | SObject * | so | ) |
int syDim | ( | syStrategy | syzstr | ) |
void syEnlargeFields | ( | syStrategy | syzstr, |
int | index | ||
) |
void syEnterPair | ( | SSet | sPairs, |
SObject * | so, | ||
int * | sPlength, | ||
int | index | ||
) |
Definition at line 985 of file syz1.cc.
void syEnterPair | ( | syStrategy | syzstr, |
SObject * | so, | ||
int * | sPlength, | ||
int | index | ||
) |
syStrategy syFrank | ( | const ideal | arg, |
const int | length, | ||
const char * | method, | ||
const bool | use_cache = true , |
||
const bool | use_tensor_trick = false |
||
) |
Definition at line 792 of file syz4.cc.
void syGaussForOne | ( | ideal | arg, |
int | gen, | ||
int | ModComp, | ||
int | from = -1 , |
||
int | till = 0 |
||
) |
Definition at line 218 of file syz.cc.
syStrategy syHilb | ( | ideal | arg, |
int * | length | ||
) |
Definition at line 950 of file syz2.cc.
void syInitializePair | ( | SObject * | so | ) |
int syInitSyzMod | ( | syStrategy | syzstr, |
int | index, | ||
int | init = 17 |
||
) |
void syKillComputation | ( | syStrategy | syzstr, |
ring | r = currRing |
||
) |
Definition at line 1495 of file syz1.cc.
void syKillEmptyEntres | ( | resolvente | res, |
int | length | ||
) |
Definition at line 2198 of file syz1.cc.
syStrategy syKosz | ( | ideal | arg, |
int * | length | ||
) |
Definition at line 1766 of file syz3.cc.
syStrategy syLaScala | ( | ideal | arg, |
int & | maxlength, | ||
intvec * | weights = NULL |
||
) |
Definition at line 2557 of file syz1.cc.
resolvente syLaScala1 | ( | ideal | arg, |
int * | length | ||
) |
syStrategy syLaScala3 | ( | ideal | arg, |
int * | length | ||
) |
Definition at line 2431 of file syz1.cc.
ideal syMinBase | ( | ideal | arg | ) |
Definition at line 1004 of file syz.cc.
syStrategy syMinimize | ( | syStrategy | syzstr | ) |
Definition at line 2392 of file syz1.cc.
void syMinimizeResolvente | ( | resolvente | res, |
int | length, | ||
int | first | ||
) |
Definition at line 355 of file syz.cc.
void syPrint | ( | syStrategy | syzstr, |
const char * | currRingName | ||
) |
Definition at line 1934 of file syz1.cc.
resolvente syReorder | ( | resolvente | res, |
int | length, | ||
syStrategy | syzstr, | ||
BOOLEAN | toCopy = TRUE , |
||
resolvente | totake = NULL |
||
) |
Definition at line 1641 of file syz1.cc.
void syReOrderResolventFB | ( | resolvente | res, |
int | length, | ||
int | initial = 1 |
||
) |
long syReorderShiftedComponents | ( | long * | sc, |
int | n | ||
) |
Definition at line 334 of file syz1.cc.
void syResetShiftedComponents | ( | syStrategy | syzstr, |
int | index, | ||
int | hilb = 0 |
||
) |
Definition at line 409 of file syz1.cc.
syStrategy syResolution | ( | ideal | arg, |
int | maxlength, | ||
intvec * | w, | ||
BOOLEAN | minim | ||
) |
Definition at line 613 of file syz.cc.
resolvente syResolvente | ( | ideal | arg, |
int | maxlength, | ||
int * | length, | ||
intvec *** | weights, | ||
BOOLEAN | minim | ||
) |
Definition at line 389 of file syz.cc.
syStrategy sySchreyer | ( | ideal | arg, |
int | maxlength | ||
) |
Definition at line 1018 of file syz0.cc.
resolvente sySchreyerResolvente | ( | ideal | arg, |
int | maxlength, | ||
int * | length, | ||
BOOLEAN | isMonomial = FALSE , |
||
BOOLEAN | notReplace = FALSE |
||
) |
Definition at line 855 of file syz0.cc.
int sySize | ( | syStrategy | syzstr | ) |
EXTERN_VAR int* currcomponents |
EXTERN_VAR long* currShiftedComponents |