76 ideal Gw=
init64(G,currw64);
83 ideal newGw=
idrMoveR(Gw, oldRing, rnew);
153 ideal Gw=
init64(G,currw64);
255 int64 nexttvec0,nexttvec1;
257 nextt64(nextG,currw64,destVec64,nexttvec0,nexttvec1);
261 while (nexttvec0<=nexttvec1 )
267 delete currw64; currw64=tt; tt=
NULL;
282 nextt64(nextG,currw64,destVec64,nexttvec0,nexttvec1);
312 intvec* currMat, ring destRing,
313 BOOLEAN unperturbedStartVectorStrategy){
316 if(unperturbedStartVectorStrategy){
368 ideal Gw=
init64(G,currw64);
375 ideal newGw=
idrMoveR(Gw, oldRing,rnew);
381 ideal newStdGw=
idStd(newGw);
499 if( (tvec0==tvec1) && (level!=
iv64Size(w)) )
534 newGw=
idrMoveR(GwCp,oldRing,newring);
537 newStdGw=
idStd(newGw);
563 newGw=
idrMoveR(GwCp,oldRing,newring);
565 newStdGw=
idrMoveR(recG,temp,newring);
592 if(level==1) step=step+1;
615 ideal & destIdeal,
BOOLEAN sourceIsSB,
616 BOOLEAN unperturbedStartVectorStrategy)
629 G=
idStd(sourceIdeal);
646 unperturbedStartVectorStrategy);
void nextt64(ideal G, int64vec *currw64, int64vec *targw64, int64 &tvec0, int64 &tvec1)
void rCopyAndChangeA(int64vec *w)
#define idDelete(H)
delete an ideal
Compatiblity layer for legacy polynomial operations (over currRing)
int64vec * iv64Copy(int64vec *o)
WalkState walk64(ideal I, int64vec *currw64, ring destRing, int64vec *destVec64, ideal &destIdeal, BOOLEAN sourceIsSB)
ring rCopy0AndAddA(const ring r, int64vec *wv64, BOOLEAN copy_qideal, BOOLEAN copy_ordering)
int64vec * nextw64(int64vec *currw, int64vec *targw, int64 nexttvec0, int64 nexttvec1)
int64vec * getNthRow64(intvec *v, int n)
WalkState walkStep64(ideal &G, int64vec *currw64)
void show(int mat=0, int spaces=0)
int invEpsOk64(ideal I, intvec *targm, int pertdeg, int64 inveps64)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
#define SI_RESTORE_OPT(A, B)
WalkState fractalWalk64(ideal sourceIdeal, ring destRing, ideal &destIdeal, BOOLEAN sourceIsSB, BOOLEAN unperturbedStartVectorStrategy)
BOOLEAN rComplete(ring r, int force)
this needs to be called whenever a new ring is created: new fields in ring are created (like VarOffse...
ideal init64(ideal G, int64vec *currw64)
ring rCopy0(const ring r, BOOLEAN copy_qideal, BOOLEAN copy_ordering)
ideal idInterRed(ideal G)
void getTaun64(ideal G, intvec *targm, int pertdeg, int64vec **v64, int64 &i64)
ideal idrMoveR(ideal &id, ring src_r, ring dest_r)
WalkState firstFractalWalkStep64(ideal &G, int64vec *&currw64, intvec *currMat, ring destRing, BOOLEAN unperturbedStartVectorStrategy)
void PrintS(const char *s)
WalkState unperturbedFirstStep64(ideal &G, int64vec *currw64, ring destRing)
int iv64Size(int64vec *v)
matrix matIdLift(ideal Gomega, ideal M)
WalkState fractalRec64(ideal &G, int64vec *currw64, intvec *destMat, int level, int step)
void rChangeCurrRing(ring r)
matrix mpNew(int r, int c)
create a r x c zero-matrix
void rSetWeightVec(ring r, int64 *wv)
BOOLEAN noPolysWithMoreThanTwoTerms(ideal Gw)
matrix mp_Mult(matrix a, matrix b, const ring R)
void rDelete(ring r)
unconditionally deletes fields in r
BOOLEAN currwOnBorder64(ideal G, int64vec *currw64)
ideal idLiftStd(ideal h1, matrix *ma, tHomog hi, ideal *syz)
#define SI_SAVE_OPT(A, B)
int64vec * rGetGlobalOrderMatrix(ring r)
intvec * int64VecToIntVec(int64vec *source)
WalkState firstWalkStep64(ideal &G, int64vec *currw64, ring destRing)