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);
122 void syCopyPair(SObject * argso, SObject * imso);
132 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 syFrank(const ideal arg, const int length, const char *method, const bool use_cache=true, const bool use_tensor_trick=false)
syStrategy syLaScala(ideal arg, int &maxlength, intvec *weights=NULL)
resolvente syResolvente(ideal arg, int maxlength, int *length, intvec ***weights, BOOLEAN minim)
poly initial(const poly p, const ring r, const gfan::ZVector &w)
Returns the initial form of p with respect to w.
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)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
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)