Changeset 7161aca in git for Singular/LIB/goettsche.lib
- Timestamp:
- Aug 12, 2019, 11:10:44 AM (5 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- 8307d2d92aa305b1a9b4e0c9353dfc467f913461
- Parents:
- d4cec6ab781a81162945ff680935242fcccc952ab258e2adb78434353acc85388a6c40c626c4b5ee
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/goettsche.lib
rd4cec6a r7161aca 81 81 def br@=basering; // remember the base ring 82 82 // add additional variables z@, t@ to the base ring 83 execute("ring r@= (" + charstr(basering) + "),("+varstr(basering)+", z@, t@), dp;");83 ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+", z@, t@)", "dp", "no_minpoly"); 84 84 execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings 85 85 // compute the generating function by the Goettsche's formula up to degree n in t@ … … 144 144 def br@=basering; // remember the base ring 145 145 // add additional variables z@, t@ to the base ring 146 execute("ring r@= (" + charstr(basering) + "),("+varstr(basering)+", z@, t@), dp;");146 ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+", z@, t@)", "dp", "no_minpoly"); 147 147 execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings 148 148 // compute the generating function by the Goettsche's formula up to degree n in t@ … … 208 208 def br@=basering; // remember the base ring 209 209 // add additional variables z@, t@ to the base ring 210 execute("ring r@= (" + charstr(basering) + "),("+varstr(basering)+", z@, t@), dp;");210 ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+", z@, t@)", "dp", "no_minpoly"); 211 211 execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings 212 212 poly rez=1; … … 267 267 def br@=basering; // remember the base ring 268 268 // add additional variables z@, t@ to the base ring 269 execute("ring r@= (" + charstr(basering) + "),("+varstr(basering)+", z@, t@), dp;");269 ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+", z@, t@)", "dp", "no_minpoly"); 270 270 execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings 271 271 // compute the generating function by the Nakajima-Yoshioka formula up to degree n in t@ … … 322 322 def br@=basering; // remember the base ring 323 323 // add additional variables z@, t@ to the base ring 324 execute("ring r@= (" + charstr(basering) + "),("+varstr(basering)+", z@, t@), dp;");324 ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+", z@, t@)", "dp", "no_minpoly"); 325 325 execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings 326 326 // compute the generating function by the Nakajima-Yoshioka formula up to degree n in t@ … … 377 377 def br@=basering; // remember the base ring 378 378 // add additional variables z@, t@ to the base ring 379 execute("ring r@= (" + charstr(basering) + "),("+varstr(basering)+", z@, t@), dp;");379 ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+", z@, t@)", "dp", "no_minpoly"); 380 380 execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings 381 381 poly rez=1; … … 434 434 def br@=basering; // remember the base ring 435 435 // add additional variables z@, t@ to the base ring 436 execute("ring r@= (" + charstr(basering) + "),("+varstr(basering)+", z@, t@), dp;");436 ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+", z@, t@)", "dp", "no_minpoly"); 437 437 execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings 438 438 poly rez=1; … … 485 485 def br@=basering; // remember the base ring 486 486 // add additional variables z@, t@ to the base ring 487 execute("ring r@= (" + charstr(basering) + "),("+varstr(basering)+", z@, t@), dp;");487 ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+", z@, t@)", "dp", "no_minpoly"); 488 488 execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings 489 489 poly rez=1; … … 536 536 def br@=basering; // remember the base ring 537 537 // add additional variables z@, t@ to the base ring 538 execute("ring r@= (" + charstr(basering) + "),("+varstr(basering)+", z@, t@), dp;");538 ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+", z@, t@)", "dp", "no_minpoly"); 539 539 execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings 540 540 poly rez=1; … … 594 594 def br@=basering; // remember the base ring 595 595 // add additional variable t@ to the base ring 596 execute("ring r@= (" + charstr(basering) + "),("+varstr(basering)+", t@), dp;");596 ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+", t@)", "dp", "no_minpoly"); 597 597 execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings 598 598 poly rez=(1-t@^2)*PPolyW(q, m, n, t@, d); … … 637 637 def br@=basering; // remember the base ring 638 638 // add additional variable t@ to the base ring 639 execute("ring r@= (" + charstr(basering) + "),("+varstr(basering)+", t@), dp;");639 ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+", t@)", "dp", "no_minpoly"); 640 640 execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings 641 641 poly rez=(1-t@^2)*PPolyW(q, m, n, t@, d);
Note: See TracChangeset
for help on using the changeset viewer.