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