Changeset 9ee858 in git
- Timestamp:
- Dec 10, 2020, 11:05:44 AM (3 years ago)
- Branches:
- (u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
- Children:
- e7fbce812e18b9843d8a305dfb7927846e3f3659
- Parents:
- e3cb5594049a95a6761e0f1503ff435e561bd326
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/stanleyreisner.lib
re3cb559 r9ee858 21 21 T1(ideal) compute first order deformations 22 22 T2(ideal) compute second order deformations 23 make Poly(poly) create aPoly23 makeQPoly(poly) create a QPoly 24 24 fPiece(ideal,poly,poly) create a FirstOrderDeformation 25 25 sPiece(ideal,poly,poly) create a SecondOrderDeformation … … 36 36 newstruct("FirstOrderDeformation","ideal source, ideal gens, ring over, list dgs, list rule, qring target "); 37 37 newstruct("SecondOrderDeformation","ideal source, list relations, list lamda, list dgs"); 38 newstruct(" Poly","poly value, qring over");38 newstruct("QPoly","poly value, qring over"); 39 39 newstruct("LinksDeformation","ideal links, poly a, FirstOrderDeformation FirstDeformation, SecondOrderDeformation SecondDeformation"); 40 40 system("install","FirstOrderDeformation","print",printFirstOrderDeformation,1); 41 41 system("install","SecondOrderDeformation","print",printSecondOrderDeformation,1); 42 42 system("install","LinksDeformation","print",printLinksDeformation,1); 43 system("install"," Poly","+",addPolys,2);44 system("install"," Poly","print",printPoly,1);43 system("install","QPoly","+",addQPolys,2); 44 system("install","QPoly","print",printQPoly,1); 45 45 } 46 46 … … 129 129 130 130 131 proc print Poly(Poly f)132 "USAGE: print Poly(f); f =Poly.131 proc printQPoly(QPoly f) 132 "USAGE: printQPoly(f); f = QPoly. 133 133 ASSUME: f is a polynomial in quotient ring. 134 134 RETURN: print the polynomial in the quotient ring. 135 KEYWORDS: Poly, quotient ring.136 EXAMPLE: example print Poly, shows an example"135 KEYWORDS: QPoly, quotient ring. 136 EXAMPLE: example printQPoly, shows an example" 137 137 { 138 138 def Rold = basering; … … 149 149 qring Q=std(i); 150 150 poly p=x*y+z; 151 Poly q=makePoly(p);151 QPoly q=makeQPoly(p); 152 152 q; 153 153 } … … 155 155 156 156 157 proc make Poly(poly p)158 "USAGE: make Poly(p); p = polynomial.157 proc makeQPoly(poly p) 158 "USAGE: makeQPoly(p); p = polynomial. 159 159 ASSUME: p is a polynomial in basering. 160 RETURN: a Poly which is in a quotient ring.160 RETURN: a QPoly which is in a quotient ring. 161 161 THEORY: The procedure will convert a polynomial in basering to a polynomial in a quotient ring. 162 KEYWORDS: Poly, quotient ring.163 EXAMPLE: example make Poly; shows an example"162 KEYWORDS: QPoly, quotient ring. 163 EXAMPLE: example makeQPoly; shows an example" 164 164 { 165 165 def rc=basering; 166 Poly P;166 QPoly P; 167 167 P.over=rc; 168 168 //option(redSB); … … 177 177 qring Q=std(i); 178 178 poly p=x*y+z; 179 Poly q=makePoly(p);179 QPoly q=makeQPoly(p); 180 180 q.over; 181 181 q.value; … … 184 184 185 185 186 proc add Polys(Poly f,Poly g)187 "USAGE: add Polys(f,g); f = Poly, g =Poly.186 proc addQPolys(QPoly f, QPoly g) 187 "USAGE: addQPolys(f,g); f = QPoly, g = QPoly. 188 188 ASSUME: f and g are the polynomials in a quotient ring. 189 189 RETURN: the sum of f and g in the quotient ring. 190 190 THEORY: The procedure will compute the normal form of f+g. 191 KEYWORDS: Poly192 EXAMPLE: example add Polys; shows an example"191 KEYWORDS: QPoly 192 EXAMPLE: example addQPolys; shows an example" 193 193 { 194 194 def Rold = basering; … … 198 198 poly gg = g.value; 199 199 poly ffplusgg = ff+gg; 200 Poly fplusg;200 QPoly fplusg; 201 201 fplusg.value = ffplusgg; 202 202 fplusg.over = Rcurrent;
Note: See TracChangeset
for help on using the changeset viewer.