Changeset 8ce461b in git
- Timestamp:
- Dec 9, 2020, 6:41:55 PM (3 years ago)
- Branches:
- (u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'fc741b6502fd8a97288eaa3eba6e5220f3c3df87')
- Children:
- 60d4dfdfcbedb391f475ccbd19b68d6aff1551db
- Parents:
- b65621c94c09d93d9ae2a321fed053dcf9ee4641
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/stanleyreisner.lib
rb65621 r8ce461b 21 21 T1(ideal) compute first order deformations 22 22 T2(ideal) compute second order deformations 23 makePoly(poly) creat a Poly24 fPiece(ideal,poly,poly) creata FirstOrderDeformation25 sPiece(ideal,poly,poly) creata SecondOrderDeformation26 makeLinks(ideal,poly,poly) creat a FirstOrderDeformation of the links23 makePoly(poly) create a Poly 24 fPiece(ideal,poly,poly) create a FirstOrderDeformation 25 sPiece(ideal,poly,poly) create a SecondOrderDeformation 26 makeLinks(ideal,poly,poly) create a FirstOrderDeformation of the links 27 27 28 28 "; … … 61 61 ideal source=phi.source; 62 62 setring Rcurrent; 63 //string(phi.source) + " -> "+ string (phi.rule);63 string(phi.source) + " -> "+ string (phi.rule); 64 64 nameof(phi)+".source" +" -> "+ nameof(phi)+".over"+" / "+ nameof(phi)+".source"; 65 65 //nameof(phi.source) +" -> "+ nameof(phi.rule)+ " / " nameof(phi.source); … … 69 69 example 70 70 { 71 "EXAMPLE:"; 71 "EXAMPLE:"; echo=2; 72 72 ring R=0,(x1,x2,x3,x4,x5),lp; 73 73 ideal I = x1*x2,x2*x3,x3*x4,x4*x5,x5*x1; 74 74 list L = T1(I); 75 75 L[1]; 76 L; 76 77 } 77 78 … … 91 92 example 92 93 { 93 "EXAMPLE:"; 94 "EXAMPLE:"; echo=2; 94 95 ring R=0,(x1,x2,x3,x4,x5),lp; 95 96 ideal I = x1*x2,x2*x3,x3*x4,x4*x5,x5*x1; 96 97 list L = T2(I); 97 98 L[1]; 99 L; 98 100 } 99 101 … … 117 119 example 118 120 { 119 "EXAMPLE:"; 121 "EXAMPLE:"; echo=2; 120 122 ring R=0,(x(1..4)),lp; 121 123 ideal i=x(2)*x(3); … … 142 144 example 143 145 { 144 "EXAMPLE:"; 146 "EXAMPLE:"; echo=2; 145 147 ring r=0,(x,y,z),lp; 146 148 ideal i=xy; … … 170 172 example 171 173 { 172 "EXAMPLE:"; 174 "EXAMPLE:"; echo=2; 173 175 ring r=0,(x,y,z),lp; 174 176 ideal i=xy; … … 204 206 example 205 207 { 206 "EXAMPLE:"; 208 "EXAMPLE:"; echo=2; 207 209 ring R=0,(x(1..4)),lp; 208 210 ideal i=x(2)*x(3); 209 211 LinksDeformation L=makeLinks(i,x(4)^2,x(1)*x(0)); 212 L; 210 213 } 211 214 … … 236 239 example 237 240 { 238 "EXAMPLE:"; 241 "EXAMPLE:";echo=2; 239 242 ring R=0,(x(1..4)),lp; 240 243 ideal i=x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3); 241 FirstOrderDeformation phi=fPiece(i,x(4)^2,x(1)*x(0)); 244 FirstOrderDeformation phi=fPiece(i,x(4)^2,x(1)*x(2)); 245 phi; 242 246 } 243 247 … … 267 271 example 268 272 { 269 "EXAMPLE:"; 273 "EXAMPLE:"; echo=2; 270 274 ring R=0,(x(1..4)),lp; 271 275 ideal i=x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3); 272 276 SecondOrderDeformation psi=sPiece(i,x(4)^2,x(1)*x(0)); 277 psi; 273 278 } 274 279 … … 310 315 example 311 316 { 312 "EXAMPLE:"; 317 "EXAMPLE:"; echo=2; 313 318 ring R=0,(x(1..4)),lp; 314 319 ideal i=x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3); 315 320 list L=T1(i); 321 L; 316 322 } 317 323 … … 354 360 example 355 361 { 356 "EXAMPLE:"; 362 "EXAMPLE:"; echo=2; 357 363 ring R=0,(x(1..4)),lp; 358 364 ideal i=x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3); 359 365 list L=T2(i); 366 L; 360 367 } 361 368 … … 383 390 example 384 391 { 385 "EXAMPLE:"; 392 "EXAMPLE:"; echo=2; 386 393 ring R=0,(x(1..4)),lp; 387 394 ideal i=x(1),x(2),x(3),x(4),x(1)*x(4),x(2)*x(4),x(1)*x(3),x(2)*x(3); 388 395 LinksDeformation L=makeLinks(i,x(4)^2,x(1)*x(0)); 396 L; 389 397 } 390 398
Note: See TracChangeset
for help on using the changeset viewer.