# Changeset 500e4b in git

Ignore:
Timestamp:
Jun 23, 2015, 2:46:02 PM (8 years ago)
Branches:
(u'spielwiese', 'ec94ef7a30b928574c0c3daf41f6804dff5f6b69')
Children:
bbfc4a825e46a6bf0bdd30896d5189f16c4e4d99
Parents:
Message:
```Merge branch 'spielwiese' of github.com:Singular/Sources into spielwiese
update```
Files:
11 edited

Unmodified
Removed
• ## Singular/LIB/grwalk.lib

 r8968f10 } proc gwalk(ideal Go, list #) "SYNTAX: gwalk(ideal i); gwalk(ideal i, intvec v, intvec w); proc gwalk(ideal Go, int reduction,int printout, list #) "SYNTAX: gwalk(ideal i, int reduction, int printout); gwalk(ideal i, int reduction, int printout, intvec v, intvec w); TYPE:    ideal PURPOSE: compute the standard basis of the ideal, calculated via string ord_str =   OSCTW[2]; intvec curr_weight   =   OSCTW[3]; /* original weight vector */ intvec target_weight =   OSCTW[4]; /* terget weight vector */ intvec target_weight =   OSCTW[4]; /* target weight vector */ kill OSCTW; option(redSB); //print("//** help ring = " + string(basering)); ideal G = fetch(xR, Go); G = system("Mwalk", G, curr_weight, target_weight,basering); G = system("Mwalk", G, curr_weight, target_weight,basering,reduction,printout); setring xR; //** compute a Groebner basis of I w.r.t. lp. ring r = 32003,(z,y,x), lp; ideal I = y3+xyz+y2z+xz3, 3+xy+x2y+y2z; gwalk(I); ideal I = zy2+yx2+yx+3, z3x+y3+zyx-yx2-yx-3, z2yx3-y5+z2yx2+y3x2+y2x3+y3x+y2x2+3z2x+3y2+3yx, zyx5+y6-y4x2-y3x3+2zyx4-y4x-y3x2+zyx3-3z2yx+3zx3-3y3-3y2x+3zx2, yx7-y7+y5x2+y4x3+3yx6+y5x+y4x2+3yx5-6zyx3+yx4+3x5+3y4+3y3x-6zyx2+6x4+3x3-9zx; gwalk(I,0,1); } } proc fwalk(ideal Go, list #) "SYNTAX: fwalk(ideal i); fwalk(ideal i, intvec v, intvec w); proc fwalk(ideal Go, int reduction, int printout, list #) "SYNTAX: fwalk(ideal i,int reductioin); fwalk(ideal i, int reduction intvec v, intvec w); TYPE:    ideal PURPOSE: compute the standard basis of the ideal w.r.t. the ideal G = fetch(xR, Go); G = system("Mfwalk", G, curr_weight, target_weight); G = system("Mfwalk", G, curr_weight, target_weight, reduction, printout); setring xR; ring r = 32003,(z,y,x), lp; ideal I = y3+xyz+y2z+xz3, 3+xy+x2y+y2z; fwalk(I); int reduction = 1; int printout = 1; fwalk(I,reduction,printout); } } proc pwalk(ideal Go, int n1, int n2, list #) "SYNTAX: pwalk(int d, ideal i, int n1, int n2); pwalk(int d, ideal i, int n1, int n2, intvec v, intvec w); proc pwalk(ideal Go, int n1, int n2, int reduction, int printout, list #) "SYNTAX: pwalk(int d, ideal i, int n1, int n2, int reduction, int printout); pwalk(int d, ideal i, int n1, int n2, int reduction, int printout, intvec v, intvec w); TYPE:    ideal PURPOSE: compute the standard basis of the ideal, calculated via ideal G = fetch(xR, Go); G = system("Mpwalk", G, n1, n2, curr_weight, target_weight,nP); G = system("Mpwalk",G,n1,n2,curr_weight,target_weight,nP,reduction,printout); setring xR; //kill Go; //kill Go; //unused keepring basering; ring r = 32003,(z,y,x), lp; ideal I = y3+xyz+y2z+xz3, 3+xy+x2y+y2z; //I = std(I); //ring rr = 32003,(z,y,x),lp; //ideal I = fetch(r,I); pwalk(I,2,2); int reduction = 1; int printout = 2; pwalk(I,2,2,reduction,printout); }
• ## Singular/LIB/modwalk.lib

• Property mode changed from `100644` to `100755`
• ## Singular/LIB/primdec.lib

 r35aef3 if((size(sact)==1)&&(m==2)) { l[2*i]=l[2*i-1]; attrib(l[2*i],"isSB",1); l[2*i]=std(l[2*i-1],sact[1]); } if((size(sact)==1)&&(m>2))
• ## Singular/LIB/rwalk.lib

• Property mode changed from `100644` to `100755`
• Property mode changed from `100644` to `100755`
• Property mode changed from `100644` to `100755`