Changeset d78356 in git for Singular/LIB/finvar.lib


Ignore:
Timestamp:
Jul 4, 2020, 3:13:10 PM (4 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '648d28f488f6ff08f5607ff229b9ad9e4a5b93c2')
Children:
89005e409e564feafbec751f5c65109638c47368
Parents:
7032db2a39319cc0c7a7814003e93cae02793c5e67e34d703a09cd2924973f990bf59c52ba5c4cd2
Message:
Merge branch 'execute' of https://github.com/sachinkm308/Sources into sachinkm308-execute
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/finvar.lib

    r7032db rd78356  
    717717      else
    718718      { chst=chst[i..size(chst)];
    719         execute
    720         ("ring newring=(0"+chst+"),("+varstr(br)+"),("+ordstr(br)+")");
     719        list rl=ringlist(br);
     720        if (typeof(rl[1]=="int"))
     721        {
     722          rl[1]=0;
     723        }
     724        else
     725        {
     726          rl[1][1]=0;
     727        } 
     728        def newring=ring(rl);
     729        setring newring;
    721730       
    722731      }
     
    726735      minp=minp[2..size(minp)-1];
    727736      chst=chst[i..size(chst)];
    728       execute("ring newring=(0"+chst+"),("+varstr(br)+"),("+ordstr(br)+")");
     737      list rl=ringlist(br);
     738      if (typeof(rl[1]=="int"))
     739      {
     740        rl[1]=0;
     741      }
     742      else
     743      {
     744        rl[1][1]=0;
     745      } 
     746      def newring=ring(rl);
     747      setring newring;
    729748      execute("minpoly="+minp);
    730749    }
     
    11121131    if (minpoly==0)
    11131132    { if (i>size(chst))
    1114       { execute("ring newring=0,("+varstr(br)+"),("+ordstr(br)+")");
     1133      {
     1134         ring newring = create_ring(0, "("+varstr(br)+")", "("+ordstr(br)+")");
    11151135      }
    11161136      else
    11171137      { chst=chst[i..size(chst)];
    1118         execute
    1119         ("ring newring=(0"+chst+"),("+varstr(br)+"),("+ordstr(br)+")");
     1138        list rl=ringlist(br);
     1139        if (typeof(rl[1]=="int"))
     1140        {
     1141          rl[1]=0;
     1142        }
     1143        else
     1144        {
     1145          rl[1][1]=0;
     1146        } 
     1147        def newring=ring(rl);
     1148        setring newring;
    11201149      }
    11211150    }
     
    11241153      minp=minp[2..size(minp)-1];
    11251154      chst=chst[i..size(chst)];
    1126       execute("ring newring=(0"+chst+"),("+varstr(br)+"),("+ordstr(br)+")");
     1155      list rl=ringlist(br);
     1156      if (typeof(rl[1]=="int"))
     1157      {
     1158        rl[1]=0;
     1159      }
     1160      else
     1161      {
     1162        rl[1][1]=0;
     1163      } 
     1164      def newring=ring(rl);
     1165      setring newring; 
    11271166      execute("minpoly="+minp);
    11281167    }
     
    71727211    { I[i]=I[i]-y(i); }
    71737212    I=elim(I,1..n);
    7174     execute("ring newring=("+charstr(br)+"),(y(1..m)),dp(m);");
     7213    list l3;
     7214    for (int zz = 1; zz <= m; zz++)
     7215    {
     7216      l3[zz] = "y("+string(zz)+")";
     7217    }
     7218    ring newring = create_ring(ringlist(br)[1], l3, "dp("+string(m)+")", "no_minpoly");
    71757219    if (mp!="0")
    71767220    { execute("minpoly=number("+mp+");"); }
     
    74177461    }
    74187462    G=compress(G);
    7419     execute("ring newring=("+charstr(br)+"),(y(1..m)),lp;");
     7463    list l4;
     7464    for (int zz = 1; zz <= m; zz++)
     7465    {
     7466      l4[zz] = "y("+string(zz)+")";
     7467    }
     7468    ring newring = create_ring(ringlist(br)[1], l4, "lp", "no_minpoly");
    74207469    if (mp!="0")
    74217470    { execute("minpoly=number("+mp+");"); }
Note: See TracChangeset for help on using the changeset viewer.