Changeset 62de185 in git for Singular/LIB/chern.lib


Ignore:
Timestamp:
Jul 26, 2021, 8:06:31 PM (3 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'dce4ad324f6e216ae93a99713959b505fb6213d3')
Children:
82e5a3b518fd95e1024da96ee968381dad771057
Parents:
6d87348193c790c56af231f160493a7df1fb0641
Message:
more ringlsit -> ring_list
File:
1 edited

Legend:

Unmodified
Added
Removed

  • Singular/LIB/chern.lib

    r6d8734 r62de185  
    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(ring_list(basering)[1], l2, "dp", "no_minpoly");
    203203  ideal V=fetch(br@,V);
    204204  poly f=fetch(br@,f);
    … …  
    703703     l3[size(l3)+1] = "a@("+string(ii)+")";
    704704    }
    705     ring r@ = create_ring(ringlist(basering)[1], l3, "lp", "no_minpoly");
     705    ring r@ = create_ring(ring_list(basering)[1], l3, "lp", "no_minpoly");
    706706    execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
    707707    list c=F(c); // embed c in the bigger ring
    … …  
    10441044   l4[size(l4)+1] = "b@("+string(ii)+")";
    10451045  }
    1046   ring r@ = create_ring(ringlist(basering)[1], l4, "lp", "no_minpoly");
     1046  ring r@ = create_ring(ring_list(basering)[1], l4, "lp", "no_minpoly");
    10471047  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
    10481048  list c=F(c); // embed c in the bigger ring
    … …  
    11381138   l5[size(l5)+1] = "C@("+string(ii)+")";
    11391139  }
    1140   ring r@ = create_ring(ringlist(basering)[1], l5, "dp", "no_minpoly");
     1140  ring r@ = create_ring(ring_list(basering)[1], l5, "dp", "no_minpoly");
    11411141  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
    11421142  list c, C;
    … …  
    12831283   l6[size(l6)+1] = "C@("+string(ii)+")";
    12841284  }
    1285   ring r@ = create_ring(ringlist(basering)[1], l6, "dp", "no_minpoly");
     1285  ring r@ = create_ring(ring_list(basering)[1], l6, "dp", "no_minpoly");
    12861286  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
    12871287  list c, C;
    … …  
    16261626   l7[size(l7)+1] = "a@("+string(ii)+")";
    16271627  }
    1628   ring r@ = create_ring(ringlist(basering)[1], l7, "lp", "no_minpoly");
     1628  ring r@ = create_ring(ring_list(basering)[1], l7, "lp", "no_minpoly");
    16291629  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
    16301630  list c=F(c); // embed c into the bigger ring
    … …  
    17581758   l8[size(l8)+1] = "c@("+string(ii)+")";
    17591759  }
    1760   ring r@ = create_ring(ringlist(basering)[1], l8, "dp", "no_minpoly");
     1760  ring r@ = create_ring(ring_list(basering)[1], l8, "dp", "no_minpoly");
    17611761  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
    17621762  list c;
    … …  
    19301930   l9[size(l9)+1] = "a@("+string(ii)+")";
    19311931  }
    1932   ring r@ = create_ring(ringlist(basering)[1], l9, "lp", "no_minpoly");
     1932  ring r@ = create_ring(ring_list(basering)[1], l9, "lp", "no_minpoly");
    19331933  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
    19341934  list c = F(c); // embed c into the bigger ring
    … …  
    20642064   l10[size(l10)+1] = "c@("+string(ii)+")";
    20652065  }
    2066   ring r@ = create_ring(ringlist(basering)[1], l10, "dp", "no_minpoly");
     2066  ring r@ = create_ring(ring_list(basering)[1], l10, "dp", "no_minpoly");
    20672067  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
    20682068  list c;
    … …  
    21922192     l11[size(l11)+1] = "c@("+string(ii)+")";
    21932193    }
    2194     ring r@ = create_ring(ringlist(basering)[1], l11, "dp", "no_minpoly");
     2194    ring r@ = create_ring(ring_list(basering)[1], l11, "dp", "no_minpoly");
    21952195    execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
    21962196    list c=F(c); // embed c into the bigger ring
    … …  
    22802280     l12[size(l12)+1] = "a@("+string(ii)+")";
    22812281    }
    2282     ring r@ = create_ring(ringlist(basering)[1], l12, "lp", "no_minpoly");
     2282    ring r@ = create_ring(ring_list(basering)[1], l12, "lp", "no_minpoly");
    22832283    execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
    22842284    list c=F(c); // embed c into the bigger ring
    … …  
    31673167  }
    31683168  l13[size(l13)+1] = "u@";
    3169   ring r@ = create_ring(ringlist(basering)[1], l13, "dp", "no_minpoly");
     3169  ring r@ = create_ring(ring_list(basering)[1], l13, "dp", "no_minpoly");
    31703170  ideal I=fetch(br@,I); // the ideal generated by I in the new ring
    31713171  ideal J(0..n); // define n+1 ideals J(0), ... , J(n)
    … …  
    32663266  }
    32673267  l14[size(l14)+1] = "u@";
    3268   ring r@ = create_ring(ringlist(basering)[1], l14, "dp", "no_minpoly");
     3268  ring r@ = create_ring(ring_list(basering)[1], l14, "dp", "no_minpoly");
    32693269  ideal I=fetch(br@,I); // the ideal generated by I in the new ring
    32703270  ideal J(0..n); // define n+1 ideals J(0), ... , J(n)
    … …  
    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(ring_list(basering)[1],"("+varstr(basering)+",homvar@)","dp","no_minpoly");
    34033403  ideal I=fetch(br@,I);
    34043404  ideal J=homog(I, homvar@);
    … …  
    39833983  }
    39843984  l15[size(l15)+1] = "u@";
    3985   ring r@ = create_ring(ringlist(basering)[1], l15, "dp", "no_minpoly");
     3985  ring r@ = create_ring(ring_list(basering)[1], l15, "dp", "no_minpoly");
    39863986  ideal I=fetch(br@,I);
    39873987  ideal J(0..n);
Note: See TracChangeset for help on using the changeset viewer.