# Changeset bbfc4a8 in git

Ignore:
Timestamp:
Jul 2, 2015, 7:32:53 PM (8 years ago)
Branches:
Children:
Parents:
500e4b69e2df574c6ae8023f32cbdfbdbd0d5e8ef34cd445520f5220554ca71a6324d2a0ecd2c7f6
Message:
update

Merge branch 'spielwiese' of github.com:Singular/Sources into spielwiese
Files:
14 edited

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

 rf34cd44 } 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/rwalk.lib

• Property mode changed from 100644 to 100755