15#define SYZ_SHIFT_MAX_NEW_COMP_ESTIMATE 8
17#define SYZ_SHIFT_BASE_LOG (BIT_SIZEOF_LONG - 1 - SYZ_SHIFT_MAX_NEW_COMP_ESTIMATE)
18#define SYZ_SHIFT_BASE (1L << SYZ_SHIFT_BASE_LOG)
103 const bool use_cache =
true,
const bool use_tensor_trick =
false);
122void syCopyPair(SObject * argso, SObject * imso);
132void syGaussForOne(ideal arg,
int gen,
int ModComp,
int from=-1,
int till=0);
poly initial(const poly p, const ring r, const gfan::ZVector &w)
Returns the initial form of p with respect to w.
static BOOLEAN length(leftv result, leftv arg)
static int index(p_Length length, p_Ord ord)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
void syCopyPair(SObject *argso, SObject *imso)
resolvente syResolvente(ideal arg, int maxlength, int *length, intvec ***weights, BOOLEAN minim)
syStrategy syHilb(ideal arg, int *length)
resolvente sySchreyerResolvente(ideal arg, int maxlength, int *length, BOOLEAN isMonomial=FALSE, BOOLEAN notReplace=FALSE)
syStrategy sySchreyer(ideal arg, int maxlength)
int syDim(syStrategy syzstr)
syStrategy syMinimize(syStrategy syzstr)
syStrategy syCopy(syStrategy syzstr)
syStrategy syResolution(ideal arg, int maxlength, intvec *w, BOOLEAN minim)
syStrategy syKosz(ideal arg, int *length)
void syKillComputation(syStrategy syzstr, ring r=currRing)
void sySchreyersSyzygiesM(polyset F, int Fmax, polyset *Shdl, int *Smax, BOOLEAN noSort)
resolvente syReorder(resolvente res, int length, syStrategy syzstr, BOOLEAN toCopy=TRUE, resolvente totake=NULL)
intvec * syBettiOfComputation(syStrategy syzstr, BOOLEAN minim=TRUE, int *row_shift=NULL, intvec *weights=NULL)
void syCompactifyPairSet(SSet sPairs, int sPlength, int first)
SRes syInitRes(ideal arg, int *length, intvec *Tl, intvec *cw=NULL)
EXTERN_VAR long * currShiftedComponents
resolvente syLaScala1(ideal arg, int *length)
int sySize(syStrategy syzstr)
void syCompactify1(SSet sPairs, int *sPlength, int first)
syStrategy syLaScala(ideal arg, int &maxlength, intvec *weights=NULL)
EXTERN_VAR int * currcomponents
void syResetShiftedComponents(syStrategy syzstr, int index, int hilb=0)
void syKillEmptyEntres(resolvente res, int length)
void syEnlargeFields(syStrategy syzstr, int index)
void sySchreyersSyzygiesB(polyset F, int Fmax, polyset *Shdl, int *Smax, BOOLEAN noSort)
void syEnterPair(syStrategy syzstr, SObject *so, int *sPlength, int index)
ideal syMinBase(ideal arg)
void syInitializePair(SObject *so)
void syReOrderResolventFB(resolvente res, int length, int initial=1)
long syReorderShiftedComponents(long *sc, int n)
BOOLEAN syTestOrder(ideal i)
intvec * syBetti(resolvente res, int length, int *regularity, intvec *weights=NULL, BOOLEAN tomin=TRUE, int *row_shift=NULL)
void syPrint(syStrategy syzstr, const char *currRingName)
SSet syChosePairs(syStrategy syzstr, int *index, int *howmuch, int *actdeg)
void syGaussForOne(ideal arg, int gen, int ModComp, int from=-1, int till=0)
long ** ShiftedComponents
void syDeletePair(SObject *so)
syStrategy syFrank(const ideal arg, const int length, const char *method, const bool use_cache=true, const bool use_tensor_trick=false)
void syMinimizeResolvente(resolvente res, int length, int first)
syStrategy syLaScala3(ideal arg, int *length)
int syInitSyzMod(syStrategy syzstr, int index, int init=17)