Changeset aa3379 in git


Ignore:
Timestamp:
Jul 23, 2021, 8:16:18 PM (3 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')
Children:
56975f735fc92ade2b197542c56412fa80857c7d
Parents:
0f1f7991503b92c41f5baf8a7d5849f866e7617d
Message:
standard.lib: ringlist -> ring_lst
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/standard.lib

    r0f1f79 raa3379  
    7474    if (sQ!=0 )
    7575    {
    76       ring Rfglm = create_ring(ringlist(P)[1], "("+varstr(P)+")", os, "no_minpoly");
     76      ring Rfglm = create_ring(ring_list(P)[1], "("+varstr(P)+")", os, "no_minpoly");
    7777      ideal Qideal = fetch(P,Qideal);
    7878      qring Pfglm = groebner(Qideal,"std","slimgb");
     
    8080    else
    8181    {
    82       ring Pfglm = create_ring(ringlist(P)[1], "("+varstr(P)+")", os, "no_minpoly");
     82      ring Pfglm = create_ring(ring_list(P)[1], "("+varstr(P)+")", os, "no_minpoly");
    8383    }
    8484    if ( sM!=0 )
     
    8989  else
    9090  {
    91     list BRlist = ringlist(P);
     91    list BRlist = ring_list(P);
    9292    int nvarP = nvars(P);
    9393    intvec w;                       //for ringweights of basering P
     
    191191
    192192  // save ordering of basering P for later use
    193   list ord_P = ringlist(P)[3];     //ordering of basering in ringlist
     193  list ord_P = ring_list(P)[3];    //ordering of basering in ringlist
    194194  string ordstr_P = ordstr(P);     //ordering of basering as string
    195195  int nvarP = nvars(P);
     
    318318  //a quotient ideal from P is added to the input
    319319
    320   list BRlist = ringlist(Philb);
     320  list BRlist = ring_list(Philb);
    321321  BRlist[3] = list();
    322322  int so = size(ord_P);
     
    451451   ideal i = y+u2+uv3, z+uv3;            //i is an lp-SB but not a dp_SB
    452452   qring Q = std(i);
    453    list LQ = ringlist(Q);
     453   list LQ = ring_list(Q);
    454454   LQ[3][1][1]="dp";
    455455   def Q1 = ring(quotientList(LQ));
     
    594594    int is_qring =1;
    595595  }
    596   list BRlist = ringlist(P);
     596  list BRlist = ring_list(P);
    597597  BRlist[4] = ideal(0);      //kill quotient ideal in BRlist
    598598
     
    753753  //delete the quotient ideal and add it to i
    754754
    755   list BRlist = ringlist(P);
     755  list BRlist = ring_list(P);
    756756  BRlist[4] = ideal(0);
    757757  def Phelp = ring(BRlist);
     
    915915     //is_homog = homog(Qideal); //remembers if Qideal was homog (homog(0)=1)
    916916  }
    917   list BRlist = ringlist(P);     //ringlist of basering
     917  list BRlist = ring_list(P);     //ringlist of basering
    918918
    919919  // save ordering of basering P for later use
     
    13111311   }
    13121312
    1313    if( (size(ideal(basering)) > 0) || (size(ringlist(P)) > 4) )
     1313   if( (size(ideal(basering)) > 0) || (size(ring_list(P)) > 4) )
    13141314   {
    13151315     // the quick hack for qrings - seems to fit most needs
     
    15811581{
    15821582  def @newP=basering;
    1583   ring @newr = create_ring(ringlist(basering)[1], "("+varstr(basering)+", @t, @w)", "dp", "no_minpoly");
     1583  ring @newr = create_ring(ring_list(basering)[1], "("+varstr(basering)+", @t, @w)", "dp", "no_minpoly");
    15841584  module b=imap(@newP,b);
    15851585  module a=imap(@newP,a);
     
    16021602{
    16031603  def @newP=basering;
    1604   ring @newr = create_ring(ringlist(basering)[1], "("+varstr(basering)+", @t)", "dp", "no_minpoly");
     1604  ring @newr = create_ring(ring_list(basering)[1], "("+varstr(basering)+", @t)", "dp", "no_minpoly");
    16051605  module b=imap(@newP,b);
    16061606  module a=imap(@newP,a);
     
    16241624{
    16251625  def @newP=basering;
    1626   ring @newr = create_ring(ringlist(basering)[1], "("+varstr(basering)+", @t)", "dp", "no_minpoly");
     1626  ring @newr = create_ring(ring_list(basering)[1], "("+varstr(basering)+", @t)", "dp", "no_minpoly");
    16271627  module b=imap(@newP,b);
    16281628  module a=imap(@newP,a);
     
    16421642{
    16431643  def R=basering;
    1644   ring gnir = create_ring(ringlist(basering)[1], "("+varstr(basering)+",@t)", "(C,dp)", "no_minpoly");
     1644  ring gnir = create_ring(ring_list(basering)[1], "("+varstr(basering)+",@t)", "(C,dp)", "no_minpoly");
    16451645  ideal i=var(nvars(basering))*imap(R,i)+(var(nvars(basering))-1)*imap(R,j);
    16461646  ideal j=eliminate(i,var(nvars(basering)));
     
    25542554  {
    25552555    int i = int(v[5,size(v)-5]);
    2556     v = ringlist(basering)[2][i];
     2556    v = ring_list(basering)[2][i];
    25572557  }
    25582558  return(v);
     
    26512651         l1 int or list, l2 list or string, l3 list or string, l4 ideal
    26522652RETURN:  ring(list(l1, l2, l3, l4))
    2653 NOTE:    l1, l2, l3, l4 are assumed to be the four entries of ringlist(R)
     2653NOTE:    l1, l2, l3, l4 are assumed to be the four entries of ring_list(R)
    26542654         where R is the ring to be returned.
    26552655         @* Optional arguments: If l4 is not given, it is assumend to be
     
    27552755  "EXAMPLE:"; echo = 2;
    27562756  ring R = (0,a), x, lp;
    2757   ringlist(R);
     2757  ring_list(R);
    27582758  minpoly = a^2+1;
    27592759  qring Q = ideal(x^3-2);
    2760   ring S = create_ring(ringlist(Q)[1], "(x,y,t)", "dp", "no_minpoly");
     2760  ring S = create_ring(ring_list(Q)[1], "(x,y,t)", "dp", "no_minpoly");
    27612761  basering;
    27622762}
Note: See TracChangeset for help on using the changeset viewer.