Changeset 15d8e0 in git


Ignore:
Timestamp:
Jun 29, 2021, 2:07:33 PM (3 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '98550b669234b32be762076c32b3be2c35188ac4')
Children:
3f2486bd6cf447242cb3181ef7188859e30f15e0
Parents:
c5ebc03def5fa7082c00ea3066b913257f581e429a349340bc50bed4f8319ccb908f1dcfd3ac747b
git-author:
Hans Schoenemann <hannes@mathematik.uni-kl.de>2021-06-29 14:07:33+02:00
git-committer:
GitHub <noreply@github.com>2021-06-29 14:07:33+02:00
Message:
Merge pull request #1103 from ssalone/spielwiese

Libraries formal checker problems
Location:
Singular/LIB
Files:
3 edited

Legend:

Unmodified
Added
Removed

  • Singular/LIB/chern.lib

    rc5ebc0 r15d8e0  
    11////////////////////////////////////////////////////////////////
    2 version = "version chern.lib 4.1.3.0 Apr_2020 ";  // $Id$
     2version = "version chern.lib 4.1.3.0 Apr_2020 "; // $Id$
    33category = "Chern classes";
    44info="
    … …  
    200200   l2[size(l2)+1] = "A@("+string(ii)+")";
    201201  }
    202   ring r@ = create_ring(ringlist(basering)[1], l2, "dp", "no_minpoly"); 
     202  ring r@ = create_ring(ringlist(basering)[1], l2, "dp", "no_minpoly");
    203203  ideal V=fetch(br@,V);
    204204  poly f=fetch(br@,f);
    … …  
    11281128  // add  additional variables to the base ring
    11291129  int ii;
    1130   list l5 = ringlist(basering)[2]; 
     1130  list l5 = ringlist(basering)[2];
    11311131  l5[size(l5)+1] = "t@";
    11321132  for (ii = 1; ii <= r; ii++)
    … …  
    12731273  // add  additional variables to the base ring
    12741274  int ii;
    1275   list l6 = ringlist(basering)[2]; 
     1275  list l6 = ringlist(basering)[2];
    12761276  l6[size(l6)+1] = "t@";
    12771277  for (ii = 1; ii <= r; ii++)
    … …  
    17521752  def br@=basering; // remember the base ring
    17531753  // add  additional variables to the base ring
    1754   list l8 = ringlist(basering)[2]; 
     1754  list l8 = ringlist(basering)[2];
    17551755  l8[size(l8)+1] = "t@";
    17561756  for (int ii = 1; ii <= r; ii++)
    … …  
    20582058  def br@=basering; // remember the base ring
    20592059  // add  additional variables to the base ring
    2060   list l10 = ringlist(basering)[2]; 
     2060  list l10 = ringlist(basering)[2];
    20612061  l10[size(l10)+1] = "t@";
    20622062  for (int ii = 1; ii <= r; ii++)
    … …  
    21862186    def br@=basering; // remember the base ring
    21872187    // add  additional variables to the base ring
    2188     list l11 = ringlist(basering)[2]; 
     2188    list l11 = ringlist(basering)[2];
    21892189    l11[size(l11)+1] = "a@";
    21902190    for (int ii = 1; ii <= n; ii++)
    … …  
    34003400  int n=nvars(basering);
    34013401  def br@=basering; // remember the base ring
    3402   ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+",homvar@)", "dp", "no_minpoly");
     3402  ring r@ = create_ring(ringlist(basering)[1],"("+varstr(basering)+",homvar@)","dp","no_minpoly");
    34033403  ideal I=fetch(br@,I);
    34043404  ideal J=homog(I, homvar@);

  • Singular/LIB/goettsche.lib

    rc5ebc0 r15d8e0  
    11////////////////////////////////////////////////////////////////
    2 version = "version goettsche.lib 0.931 Feb_2019 ";      //$Id$
     2version = "version goettsche.lib 0.931 Feb_2019"; //$Id$
    33info="
    44LIBRARY:  goettsche.lib     Drezet's formula for the Betti numbers of the moduli space
    … …  
    4545                            of Kronecker modules N (q; m, n)
    4646
    47 KEYWORDS:  Betty number; Goettsche's formula; Macdonald's formula; Kronecker module; Hilbert scheme; Quot-scheme; framed sheaves; symmetric product
     47KEYWORDS:                   Betty number; Goettsche's formula; Macdonald's formula;
     48                            Kronecker module; Hilbert scheme; Quot-scheme;
     49                            framed sheaves; symmetric product
    4850";
    4951//----------------------------------------------------------
    … …  
    8183  def br@=basering; // remember the base ring
    8284  // add additional variables z@, t@ to the base ring
    83   ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+", z@, t@)", "dp", "no_minpoly");
     85  ring r@ = create_ring(ringlist(basering)[1],"("+varstr(basering)+", z@, t@)","dp","no_minpoly");
    8486  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
    8587  // compute the generating function by the Goettsche's formula up to degree n in t@
    … …  
    144146  def br@=basering; // remember the base ring
    145147  // add additional variables z@, t@ to the base ring
    146   ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+", z@, t@)", "dp", "no_minpoly");
     148  ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+",z@, t@)","dp","no_minpoly");
    147149  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
    148150  // compute the generating function by the Goettsche's formula up to degree n in t@
    … …  
    208210  def br@=basering; // remember the base ring
    209211  // add additional variables z@, t@ to the base ring
    210   ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+", z@, t@)", "dp", "no_minpoly");
     212  ring r@ = create_ring(ringlist(basering)[1],"("+varstr(basering)+", z@, t@)","dp","no_minpoly");
    211213  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
    212214  poly rez=1;
    … …  
    267269  def br@=basering; // remember the base ring
    268270  // add additional variables z@, t@ to the base ring
    269   ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+", z@, t@)", "dp", "no_minpoly");
     271  ring r@ = create_ring(ringlist(basering)[1],"("+varstr(basering)+", z@, t@)","dp","no_minpoly");
    270272  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
    271273  // compute the generating function by the Nakajima-Yoshioka formula up to degree n in t@
    … …  
    322324  def br@=basering; // remember the base ring
    323325  // add additional variables z@, t@ to the base ring
    324   ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+", z@, t@)", "dp", "no_minpoly");
     326  ring r@ = create_ring(ringlist(basering)[1],"("+varstr(basering)+", z@, t@)","dp","no_minpoly");
    325327  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
    326328  // compute the generating function by the Nakajima-Yoshioka formula up to degree n in t@
    … …  
    377379  def br@=basering; // remember the base ring
    378380  // add additional variables z@, t@ to the base ring
    379   ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+", z@, t@)", "dp", "no_minpoly");
     381  ring r@ = create_ring(ringlist(basering)[1],"("+varstr(basering)+", z@, t@)","dp","no_minpoly");
    380382  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
    381383  poly rez=1;
    … …  
    434436  def br@=basering; // remember the base ring
    435437  // add additional variables z@, t@ to the base ring
    436   ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+", z@, t@)", "dp", "no_minpoly");
     438  ring r@ = create_ring(ringlist(basering)[1],"("+varstr(basering)+", z@, t@)","dp","no_minpoly");
    437439  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
    438440  poly rez=1;
    … …  
    485487  def br@=basering; // remember the base ring
    486488  // add additional variables z@, t@ to the base ring
    487   ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+", z@, t@)", "dp", "no_minpoly");
     489  ring r@ = create_ring(ringlist(basering)[1],"("+varstr(basering)+", z@, t@)","dp","no_minpoly");
    488490  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
    489491  poly rez=1;
    … …  
    536538  def br@=basering; // remember the base ring
    537539  // add additional variables z@, t@ to the base ring
    538   ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+", z@, t@)", "dp", "no_minpoly");
     540  ring r@ = create_ring(ringlist(basering)[1],"("+varstr(basering)+", z@, t@)","dp","no_minpoly");
    539541  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
    540542  poly rez=1;

  • Singular/LIB/lrcalc.lib

    rc5ebc0 r15d8e0  
    11////////////////////////////////////////////////////////////////
    2 version="version lrcalc.lib 4.1.2.0 Feb_2019 ";      //$Id$
     2version="version lrcalc.lib 4.1.2.0 Feb_2019 ";   //$Id$
    33category="Littlewood-Richardson coefficients";
    44info="
    55LIBRARY:  lrcalc.lib    An interface to the Littlewood-Richardson Calculator by Anders Buch
    66
    7 AUTHOR:  Oleksandr Iena,      oleksandr.iena@uni.lu,  yena@mathematik.uni-kl.de
     7AUTHOR:  Oleksandr Iena,      o.g.yena@gmail.com
    88
    99OVERVIEW:
Note: See TracChangeset for help on using the changeset viewer.