Changeset 3f6c35 in git


Ignore:
Timestamp:
Jan 28, 2019, 9:32:27 AM (5 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')
Children:
2ed68582915c3ebdf7071e1d330bde6db4bd689e
Parents:
b99f73ecc394b70f6e4b6dbfbf7c63e4a88e7a71fceb4ea7b7aadeaaa573c66a74f3f94116bbf7b2
git-author:
Hans Schoenemann <hannes@mathematik.uni-kl.de>2019-01-28 09:32:27+01:00
git-committer:
GitHub <noreply@github.com>2019-01-28 09:32:27+01:00
Message:
Merge pull request #907 from kabouzeid/develop

Replace makeLetterplaceRing() with freeAlgebra() in LIBs
Location:
Singular/LIB
Files:
4 edited

Legend:

Unmodified
Added
Removed

  • Singular/LIB/fpadim.lib

    rb99f73 r3f6c35  
    10131013  "EXAMPLE:"; echo = 2;
    10141014  ring r = 0,(x,y),dp;
    1015   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     1015  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    10161016  R;
    10171017  setring R; // sets basering to Letterplace ring
    … …  
    10641064  "EXAMPLE:"; echo = 2;
    10651065  ring r = 0,(x,y),dp;
    1066   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     1066  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    10671067  R;
    10681068  setring R; // sets basering to Letterplace ring
    … …  
    11191119  "EXAMPLE:"; echo = 2;
    11201120  ring r = 0,(x,y),dp;
    1121   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     1121  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    11221122  R;
    11231123  setring R; // sets basering to Letterplace ring
    … …  
    12031203  "EXAMPLE:"; echo = 2;
    12041204  ring r = 0,(x,y),dp;
    1205   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     1205  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    12061206  R;
    12071207  setring R; // sets basering to Letterplace ring
    … …  
    12861286  "EXAMPLE:"; echo = 2;
    12871287  ring r = 0,(x,y),dp;
    1288   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     1288  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    12891289  R;
    12901290  setring R; // sets basering to Letterplace ring
    … …  
    13461346  "EXAMPLE:"; echo = 2;
    13471347  ring r = 0,(x,y),dp;
    1348   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     1348  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    13491349  R;
    13501350  setring R; // sets basering to Letterplace ring
    … …  
    13831383  "EXAMPLE:"; echo = 2;
    13841384  ring r = 0,(x,y),dp;
    1385   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     1385  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    13861386  R;
    13871387  setring R; // sets basering to Letterplace ring
    … …  
    14101410  "EXAMPLE:"; echo = 2;
    14111411  ring r = 0,(x,y),dp;
    1412   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     1412  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    14131413  setring R; // sets basering to Letterplace ring
    14141414  intvec i1 = 1,2,1; intvec i2 = 2,2,1; intvec i3 = 1,1; intvec i4 = 2,1,1,1;
    … …  
    14831483  "EXAMPLE:"; echo = 2;
    14841484  ring r = 0,(x,y),dp;
    1485   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     1485  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    14861486  setring R; // sets basering to Letterplace ring
    14871487  //some intmats, which contain monomials in intvec representation as rows
    … …  
    15701570  "EXAMPLE:"; echo = 2;
    15711571  ring r = 0,(x,y),dp;
    1572   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     1572  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    15731573  setring R; // sets basering to Letterplace ring
    15741574  //some intmats, which contain monomials in intvec representation as rows
    … …  
    16571657  "EXAMPLE:"; echo = 2;
    16581658  ring r = 0,(x,y),dp;
    1659   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     1659  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    16601660  setring R; // sets basering to Letterplace ring
    16611661  //some intmats, which contain monomials in intvec representation as rows
    … …  
    17021702  "EXAMPLE:"; echo = 2;
    17031703  ring r = 0,(x,y),dp;
    1704   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     1704  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    17051705  setring R; // sets basering to Letterplace ring
    17061706  ideal G = x*x, y*y,x*y*x; // ideal G contains a
    … …  
    17461746  "EXAMPLE:"; echo = 2;
    17471747  ring r = 0,(x,y),dp;
    1748   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     1748  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    17491749  setring R; // sets basering to Letterplace ring
    17501750  ideal G = x*x, y*y,x*y*x; // ideal G contains a
    … …  
    17891789  "EXAMPLE:"; echo = 2;
    17901790  ring r = 0,(x,y),dp;
    1791   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     1791  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    17921792  setring R; // sets basering to Letterplace ring
    17931793  ideal G = y*y,x*y*x; // G is a Groebner basis
    … …  
    18201820  "EXAMPLE:"; echo = 2;
    18211821  ring r = 0,(x,y),dp;
    1822   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     1822  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    18231823  setring R; // sets basering to Letterplace ring
    18241824  ideal G = x*x, y*y,x*y*x;
    … …  
    18551855  "EXAMPLE:"; echo = 2;
    18561856  ring r = 0,(x,y),dp;
    1857   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     1857  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    18581858  setring R; // sets basering to Letterplace ring
    18591859  ideal G = x*x, y*y,x*y*x;
    … …  
    18821882  "EXAMPLE:"; echo = 2;
    18831883  ring r = 0,(x,y),dp;
    1884   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     1884  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    18851885  setring R; // sets basering to Letterplace ring
    18861886  ideal L = x*y,y*x*y;
    … …  
    19061906  "EXAMPLE:"; echo = 2;
    19071907  ring r = 0,(x,y),dp;
    1908   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     1908  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    19091909  setring R; // sets basering to Letterplace ring
    19101910  ideal L = x*y,y*x*y;
    … …  
    19271927  "EXAMPLE:"; echo = 2;
    19281928  ring r = 0,(x,y),dp;
    1929   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     1929  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    19301930  setring R; // sets basering to Letterplace ring
    19311931  ideal M = x*y*x, y*y*x, x*x, y*x*x*x;
    … …  
    19621962  "EXAMPLE:"; echo = 2;
    19631963  ring r = 0,(x,y),dp;
    1964   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     1964  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    19651965  setring R; // sets basering to Letterplace ring
    19661966  ideal G = x*x, y*y,x*y*x; // ideal G contains a
    … …  
    20012001  "EXAMPLE:"; echo = 2;
    20022002  ring r = 0,(x,y),dp;
    2003   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     2003  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    20042004  setring R; // sets basering to Letterplace ring
    20052005  ideal G = x*x, y*y,x*y*x; // G is a monomial Groebner basis
    … …  
    20412041  "EXAMPLE:"; echo = 2;
    20422042  ring r = 0,(x,y),dp;
    2043   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     2043  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    20442044  setring R; // sets basering to Letterplace ring
    20452045  ideal G = x*x, y*y,x*y*x; // ideal G contains a
    … …  
    21052105  "EXAMPLE:"; echo = 2;
    21062106  ring r = 0,(x,y),dp;
    2107   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     2107  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    21082108  setring R; // sets basering to Letterplace ring
    21092109  ideal G = x*x, y*y,x*y*x;
    … …  
    21472147  "EXAMPLE:"; echo = 2;
    21482148  ring r = 0,(x,y),dp;
    2149   def R = makeLetterplaceRing(7); setring R;
     2149  def R = freeAlgebra(r, 7); setring R;
    21502150  ideal J = x*y*x - y*x*y;
    21512151  option(redSB); option(redTail);
    … …  
    21712171   ring r = 0,(x,y,z),dp;
    21722172   int d =10; // degree
    2173    def R = makeLetterplaceRing(d);
     2173   def R = freeAlgebra(r, d);
    21742174   setring R;
    21752175   ideal I = y*x*y - z*y*z, x*y*x - z*x*y,
    … …  
    21872187   ring r = 0,(x,y,z),dp;
    21882188   int d =11; // degree
    2189    def R = makeLetterplaceRing(d);
     2189   def R = freeAlgebra(r, d);
    21902190   setring R;
    21912191   ideal I = y*x*y - z*y*z, x*y*z - z*x*y,
    … …  
    22032203   ring r = 0,(x,y,z),dp;
    22042204   int d  = 6; // degree
    2205    def R  = makeLetterplaceRing(d);
     2205   def R  = freeAlgebra(r, d);
    22062206   setring R;
    22072207   ideal I = y*x*y - z*y*z, x*y*x - z*x*y,
    … …  
    22212221ring r = 0,(x,y,z),dp;
    22222222int d =10; // degree
    2223 def R = makeLetterplaceRing(d);
     2223def R = freeAlgebra(r, d);
    22242224setring R;
    22252225ideal I =
    … …  
    22352235ring r = 0,(x,y,z),dp;
    22362236int d =10; // degree
    2237 def R = makeLetterplaceRing(d);
     2237def R = freeAlgebra(r, d);
    22382238setring R;
    22392239ideal I = x*y + y*z, x*x + x*y - y*x - y*y;
    … …  
    22632263   }
    22642264   ring r = 0,(d(1..n),x(1..n),e(1..n)),dp;
    2265    def R = makeLetterplaceRing(d);
     2265   def R = freeAlgebra(r, d);
    22662266   setring R;
    22672267   ideal I; int i,j;
    … …  
    23202320{
    23212321  ring r = (0,q),(z,x,y),(dp(2),dp(2));
    2322   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     2322  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    23232323  R; setring R; // sets basering to Letterplace ring
    23242324  ideal I;
    … …  
    23312331
    23322332  ring r = 0,(y,x,z),dp;
    2333   def R = makeLetterplaceRing(10); // constructs a Letterplace ring
     2333  def R = freeAlgebra(r, 10); // constructs a Letterplace ring
    23342334  R; setring R; // sets basering to Letterplace ring
    23352335  ideal I;
    … …  
    23412341  // with inverse of z
    23422342  ring r = 0,(iz,z,x,y),dp;
    2343   def R = makeLetterplaceRing(11); // constructs a Letterplace ring
     2343  def R = freeAlgebra(r, 11); // constructs a Letterplace ring
    23442344  R; setring R; // sets basering to Letterplace ring
    23452345  ideal I;
    … …  
    23482348  I = letplaceGBasis(I); //
    23492349  setring r;
    2350   def R2 = makeLetterplaceRing(23); // constructs a Letterplace ring
     2350  def R2 = freeAlgebra(r, 23); // constructs a Letterplace ring
    23512351  setring R2; // sets basering to Letterplace ring
    23522352  ideal I = imap(R,I);
    … …  
    23552355
    23562356  ring r = 0,(t,z,x,y),(dp,dp);
    2357   def R = makeLetterplaceRing(20); // constructs a Letterplace ring
     2357  def R = freeAlgebra(r, 20); // constructs a Letterplace ring
    23582358  R; setring R; // sets basering to Letterplace ring
    23592359  ideal I;
    … …  
    23742374
    23752375  ring r2 = 0,(x,y),dp;
    2376   def R2 = makeLetterplaceRing(50); // constructs a Letterplace ring
     2376  def R2 = freeAlgebra(r2, 50); // constructs a Letterplace ring
    23772377  setring R2;
    23782378  ideal J = x*y*y*x-y*x*x*y;
    … …  
    23862386LIB "fpadim.lib";
    23872387ring r = (0,a,b,g),(x,y),Dp;
    2388 def R = makeLetterplaceRing(6); // constructs a Letterplace ring
     2388def R = freeAlgebra(r, 6); // constructs a Letterplace ring
    23892389setring R;
    23902390poly F1 = g*x;
    … …  
    23982398LIB "fpadim.lib";
    23992399ring r = (0,a,b,g, p(1..7),q(1..7)),(x,y),Dp;
    2400 def R = makeLetterplaceRing(6); // constructs a Letterplace ring
     2400def R = freeAlgebra(r, 6); // constructs a Letterplace ring
    24012401setring R;
    24022402ideal imn = 1, y*y*y, x*y, y*x, x*x, y*y, x, y;

  • Singular/LIB/fpalgebras.lib

    rb99f73 r3f6c35  
    129129  ring r = 0,(f1,f2,f3),dp;
    130130  int uptodeg = 5;
    131   def R = makeLetterplaceRing(uptodeg);
     131  def R = freeAlgebra(r, uptodeg);
    132132  setring R;
    133133  ideal I = serreRelations(A,1); I = simplify(I,1+2+8);
    … …  
    194194  /* rNegative: */
    195195  list L = ringlist(save);
    196   def LPsave = makeLetterplaceRing(uptodeg); setring save;
     196  def LPsave = freeAlgebra(basering, uptodeg); setring save;
    197197  list LNEG = L; list tmp;
    198198  /* L[1] field as is; L[2] vars: a subset; L[3] ordering: dp, L[4] as is */
    … …  
    203203  LNEG[2] = tmp; LNEG[3] = list(list("dp",intvec(1:size(iNeg))), list("C",0));
    204204  def RNEG = ring(LNEG); setring RNEG;
    205   def RRNEG = makeLetterplaceRing(uptodeg);
     205  def RRNEG = freeAlgebra(basering, uptodeg);
    206206  setring RRNEG;
    207207  ideal I = serreRelations(A,1); I = simplify(I,1+2+8);
    … …  
    221221  LPOS[2] = tmp; LPOS[3] = list(list("dp",intvec(1:size(iPos))), list("C",0));
    222222  def RPOS = ring(LPOS); setring RPOS;
    223   def RRPOS = makeLetterplaceRing(uptodeg);
     223  def RRPOS = freeAlgebra(basering, uptodeg);
    224224  setring RRPOS;
    225225  ideal I = serreRelations(A,1); I = simplify(I,1+2+8);
    … …  
    468468  if (a == "integrodiff3") {
    469469    ring r = 0,(D,II,x),dp;
    470     def R = makeLetterplaceRing(d);
     470    def R = freeAlgebra(r, d);
    471471    setring(R);
    472472    ideal I = D*x-x*D-1,
    … …  
    476476  if (a == "toeplitz") {
    477477    ring r = 0,(y,x),dp;
    478     def R = makeLetterplaceRing(d);
     478    def R = freeAlgebra(r, d);
    479479    setring(R);
    480480    ideal I = y*x-1;
    … …  
    482482  if (a == "weyl1") {
    483483    ring r = 0,(D,x),dp;
    484     def R = makeLetterplaceRing(d);
     484    def R = freeAlgebra(r, d);
    485485    setring(R);
    486486    ideal I = D*x-x*D-1;
    … …  
    488488  if (a == "usl2") {
    489489    ring r = 0,(h,f,e),dp;
    490     def R = makeLetterplaceRing(d);
     490    def R = freeAlgebra(r, d);
    491491    setring(R);
    492492    ideal I = f*e-e*f+h,
    … …  
    496496  if (a == "usl2h") {
    497497    ring r = 0,(H,h,f,e),dp;
    498     def R = makeLetterplaceRing(d);
     498    def R = freeAlgebra(r, d);
    499499    setring(R);
    500500    ideal I = f*e-e*f+h*H,
    … …  
    507507  if (a == "shift1inverse") {
    508508    ring r = 0,(D,x,t),dp;
    509     def R = makeLetterplaceRing(d);
     509    def R = freeAlgebra(r, d);
    510510    setring(R);
    511511    ideal I = D*x-x*D-D,
    … …  
    515515  if (a == "exterior2") {
    516516    ring r = 0,(y,x),dp;
    517     def R = makeLetterplaceRing(d);
     517    def R = freeAlgebra(r, d);
    518518    setring(R);
    519519    ideal I = y*x+x*y,
    … …  
    523523  if (a == "quadrowmm") {
    524524    ring r = 0,(y,x),dp;
    525     def R = makeLetterplaceRing(d);
     525    def R = freeAlgebra(r, d);
    526526    setring(R);
    527527    ideal I = y*x-x*y,
    … …  
    531531  if (a == "shift1") {
    532532    ring r = 0,(s,x),dp;
    533     def R = makeLetterplaceRing(d);
     533    def R = freeAlgebra(r, d);
    534534    setring(R);
    535535    ideal I = s*x-x*s-s;
    … …  
    537537  if (a == "weyl1inverse") {
    538538    ring r = 0,(D,x,t),dp;
    539     def R = makeLetterplaceRing(d);
     539    def R = freeAlgebra(r, d);
    540540    setring(R);
    541541    ideal I = D*x-x*D-1,
    … …  
    589589   int i;
    590590   ring mr = 0,(a,b),Dp;
    591    def Mr = makeLetterplaceRing(d);
     591   def Mr = freeAlgebra(mr, d);
    592592   setring Mr;
    593593   poly p,q;
    … …  
    620620   if (d < 1 || d < absValue(m) || d < absValue(n)) {ERROR("Degree bound must be positiv and greater then |m|,|n|!");}
    621621   ring gr = 0,(a,b,A,B),Dp;
    622    def Gr = makeLetterplaceRing(d);
     622   def Gr = freeAlgebra(gr, d);
    623623   setring Gr;
    624624   poly p,q;
    … …  
    676676 int i;
    677677 ring r = 0,(a,b),dp;
    678  def R = makeLetterplaceRing(d);
     678 def R = freeAlgebra(r, d);
    679679 setring R;
    680680 poly p,q;
    … …  
    716716 }
    717717 ring r = 2,(x,y,X,Y),dp;
    718  def R = makeLetterplaceRing(d);
     718 def R = freeAlgebra(r, d);
    719719 setring R;
    720720 ideal I = x*y-y*x-1, X*x-1, x*X-1, y*Y-1, Y*y-1;
    … …  
    748748/*  } */
    749749/*  ring r = 2,(x,y,r,X,Y),dp; */
    750 /*  def R = makeLetterplaceRing(d); */
     750/*  def R = freeAlgebra(r, d); */
    751751/*  setring R; */
    752752/*  ideal I = x*y-y*x-1, x*y-y*x-r*r, r*r-1, r*x*r-X, r*y*r-Y,x*X-1, */
    … …  
    776776 }
    777777 ring r = 2,(x,y,m,X,Y),dp;
    778  def R = makeLetterplaceRing(d);
     778 def R = freeAlgebra(r, d);
    779779 setring R;
    780780 ideal I = x*y-y*x-1, x*y-y*x-m*m, m*m-1, m*x*m-x, m*y*m-Y,x*X-1,
    … …  
    810810 }
    811811 ring r = 2,(x,y,t,X,Y,T),dp;
    812  def R = makeLetterplaceRing(d);
     812 def R = freeAlgebra(r, d);
    813813 setring R;
    814814 ideal I = x*y-y*x-1, t*t - x, T*y*t-Y, X*x-1, x*X-1,
    … …  
    845845 }
    846846 ring r = 2,(x,y,p,q,X,Y),dp;
    847  def R = makeLetterplaceRing(d);
     847 def R = freeAlgebra(r, d);
    848848 setring R;
    849849 ideal I = x*y-y*x-1, p*q-q*p-1, p*p - 1, q*q - 1, p*y*p-Y, p*x*p-x,
    … …  
    880880 }
    881881 ring r = 2,(x,y,m,t,X,Y,M),dp;
    882  def R = makeLetterplaceRing(d);
     882 def R = freeAlgebra(r, d);
    883883 setring R;
    884884 ideal I = x*y-y*x-1, x*y-y*x-t*t, m*m-y, t*t - 1, t*x*t-x,
    … …  
    915915 }
    916916 ring r = 2,(x,y,u,v,X,Y,U,V),dp;
    917  def R = makeLetterplaceRing(d);
     917 def R = freeAlgebra(r, d);
    918918 setring R;
    919919 ideal I = x*y-y*x-1, x*y-y*x-u*v*u*v, u*v*u*v-1, u*u-x, v*v - y,
    … …  
    950950 }
    951951 ring r = 2,(x,y,t,X,Y),dp;
    952  def R = makeLetterplaceRing(d);
     952 def R = freeAlgebra(r, d);
    953953 setring R;
    954954 ideal I = x*y-y*x-1, x*y-y*x-t*t, t*t-1,
    … …  
    985985 }
    986986 ring rr = 2,(x,y,m,r,X,Y),dp;
    987  def R = makeLetterplaceRing(d);
     987 def R = freeAlgebra(rr, d);
    988988 setring R;
    989989 ideal I = x*y-y*x-1, x*y-y*x-m*m, x*y-y*x-r*r, m*m-1,  r*r-1,
    … …  
    10201020 }
    10211021 ring rr = 2,(x,y,r,X,Y),dp;
    1022  def R = makeLetterplaceRing(d);
     1022 def R = freeAlgebra(rr, d);
    10231023 setring R;
    10241024 ideal I = x*y-y*x-1, x*y-y*x-r*r*r*r, r*r*r*r-1,
    … …  
    10551055 }
    10561056 ring rr = 2,(x,y,r,m,X,Y),dp;
    1057  def R = makeLetterplaceRing(d);
     1057 def R = freeAlgebra(rr, d);
    10581058 setring R;
    10591059 ideal I = x*y-y*x-1, x*y-y*x-r*r*r*r,  r*r*r*r-1,
    … …  
    10901090 }
    10911091 ring rr = 2,(x,y,r,t,X,Y),dp;
    1092  def R = makeLetterplaceRing(d);
     1092 def R = freeAlgebra(rr, d);
    10931093 setring R;
    10941094 ideal I = x*y-y*x-1, x*y-y*x-r*r*r*r,  r*r*r*r-1, x*y-y*x-t*t,
    … …  
    11251125 }
    11261126 ring rr = 2,(x,y,r,X,Y),dp;
    1127  def R = makeLetterplaceRing(d);
     1127 def R = freeAlgebra(rr, d);
    11281128 setring R;
    11291129 ideal I = x*y-y*x-1, x*y-y*x-r*r*r,  r*r*r-1,
    … …  
    11591159 }
    11601160 ring rr = 2,(x,y,r,t,X,Y),dp;
    1161  def R = makeLetterplaceRing(d);
     1161 def R = freeAlgebra(rr, d);
    11621162 setring R;
    11631163 ideal I = x*y-y*x-1, x*y-y*x-r*r, x*y-y*x-t*t, r*r-1, t*t-1,
    … …  
    11961196 }
    11971197 ring rr = 2,(x,y,r,m,X,Y),dp;
    1198  def R = makeLetterplaceRing(d);
     1198 def R = freeAlgebra(rr, d);
    11991199 setring R;
    12001200 ideal I = x*y-y*x-1, x*y-y*x-r*r*r, x*y-y*x-m*m, r*r*r-1, m*m-1,
    … …  
    12311231 }
    12321232 ring rr = 2,(x,y,r,X,Y),dp;
    1233  def R = makeLetterplaceRing(d);
     1233 def R = freeAlgebra(rr, d);
    12341234 setring R;
    12351235 ideal I = x*y-y*x-1, x*y-y*x-r*r*r*r*r*r, r*r*r*r*r*r-1,
    … …  
    12661266 }
    12671267 ring rr = 2,(x,y,r,m,X,Y),dp;
    1268  def R = makeLetterplaceRing(d);
     1268 def R = freeAlgebra(rr, d);
    12691269 setring R;
    12701270 ideal I = x*y-y*x-1, x*y-y*x-r*r*r*r*r*r, r*r*r*r*r*r-1,
    … …  
    13121312 }
    13131313 ring r = 2,(x(1..n),Y(1..n)),dp;
    1314  def R = makeLetterplaceRing(d);
     1314 def R = freeAlgebra(r, d);
    13151315 setring R;
    13161316 ideal I; poly p,q;
    … …  
    13631363 }
    13641364 ring r = 2,(x(1..n),Y(1..n)),dp;
    1365  def R = makeLetterplaceRing(d);
     1365 def R = freeAlgebra(r, d);
    13661366 setring R;
    13671367 ideal I; poly p;
    … …  
    14171417 }
    14181418 ring r = 2,x(1..n),dp;
    1419  def R = makeLetterplaceRing(d);
     1419 def R = freeAlgebra(r, d);
    14201420 setring R;
    14211421 ideal I; poly p;
    … …  
    14691469 }
    14701470 ring r = 2,(x(1..m),Y(1..m)),dp;
    1471  def R = makeLetterplaceRing(d);
     1471 def R = freeAlgebra(r, d);
    14721472 setring R;
    14731473 ideal I; poly p;
    … …  
    15281528 }
    15291529 ring r = 2,(x,y,z),dp;
    1530  def R = makeLetterplaceRing(d);
     1530 def R = freeAlgebra(r, d);
    15311531 setring R;
    15321532 ideal I;
    … …  
    15921592 }
    15931593 ring r = 2,(a,b),dp;
    1594  def R = makeLetterplaceRing(d);
     1594 def R = freeAlgebra(r, d);
    15951595 setring R;
    15961596 ideal I;

  • Singular/LIB/fpaprops.lib

    rb99f73 r3f6c35  
    161161  "EXAMPLE:"; echo = 2;
    162162  ring r = 0,(x,y),dp;
    163   def R = makeLetterplaceRing(5);
     163  def R = freeAlgebra(r, 5);
    164164  setring R;
    165165  ideal G = x*x, y*x; // K<x,y>/<xx,yx> is right noetherian
    … …  
    340340  "EXAMPLE:"; echo = 2;
    341341  ring r = 0,(x1,x2),dp;
    342   def R = makeLetterplaceRing(5);
     342  def R = freeAlgebra(r, 5);
    343343  setring R;
    344344  ideal G = x1*x2, x2*x1; // K<x1,x2>/<x1*x2,x2*x1> is semi prime
    … …  
    461461  "EXAMPLE:"; echo = 2;
    462462  ring r = 0,(x,y),dp;
    463   def R = makeLetterplaceRing(5);
     463  def R = freeAlgebra(r, 5);
    464464  setring R;
    465465  ideal G = x*x, y*y; // K<x,y>/<xx,yy> is prime
    … …  
    788788  "EXAMPLE:"; echo = 2;
    789789  ring r = 0,(x,y,z),dp;
    790   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     790  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    791791  setring R; // sets basering to Letterplace ring
    792792  ideal I = x*y, x*z, z*y, z*z;
    … …  
    957957  "EXAMPLE:"; echo = 2;
    958958  ring r = 0,(x,y,z),dp;
    959   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     959  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    960960  R;
    961961  setring R; // sets basering to Letterplace ring
    … …  
    10611061  "EXAMPLE:"; echo = 2;
    10621062  ring r = 0,(x,y),dp;
    1063   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     1063  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    10641064  setring R; // sets basering to Letterplace ring
    10651065  ideal G = x*x, y*y,x*y*x; // it is a monomial Groebner basis
    … …  
    12051205  "EXAMPLE:"; echo = 2;
    12061206  ring r = 0,(x,y,z),dp;
    1207   def R = makeLetterplaceRing(4);
     1207  def R = freeAlgebra(r, 4);
    12081208  setring R;
    12091209  ideal G = x*y; // optional
    … …  
    12151215  minDegBound; // thus the bound needs to be increased
    12161216  setring r; // back to original r
    1217   def R1 = makeLetterplaceRing(minDegBound);
     1217  def R1 = freeAlgebra(r, minDegBound);
    12181218  setring R1;
    12191219  lpSubstitute(imap(R,f), imap(R,s1), imap(R,s2));
    … …  
    12271227  //////// EXAMPLE B ////////
    12281228  ring r = 0,(x,y,z),dp;
    1229   def R = makeLetterplaceRing(4);
     1229  def R = freeAlgebra(r, 4);
    12301230  setring R;
    12311231
    … …  
    12391239  int minDegBound = lpCalcSubstDegBound(I,s1,s2);
    12401240  setring r;
    1241   def R1 = makeLetterplaceRing(minDegBound);
     1241  def R1 = freeAlgebra(r, minDegBound);
    12421242  setring R1;
    12431243
    … …  
    13331333  "EXAMPLE:"; echo = 2;
    13341334  ring r = 0,(x,y,z),dp;
    1335   def R = makeLetterplaceRing(4);
     1335  def R = freeAlgebra(r, 4);
    13361336  setring R;
    13371337  ideal I = 3*x*x+y*x, x*y*x - z;
    … …  
    14271427/*   "EXAMPLE:"; echo = 2; */
    14281428/*   ring r = 0,(x,y,z),dp; */
    1429 /*   def A = makeLetterplaceRing(3); */
     1429/*   def A = freeAlgebra(r, 3); */
    14301430/*   setring A; A; */
    14311431/*   def R = lpDelVar(2); setring R; R; */

  • Singular/LIB/freegb.lib

    rb99f73 r3f6c35  
    394394  "EXAMPLE:"; echo = 2;
    395395  ring r = 0,(x,y),dp;
    396   def R = makeLetterplaceRing(5);
     396  def R = freeAlgebra(r, 5);
    397397  setring R;
    398398  poly p = x*y*y;
    … …  
    416416  "EXAMPLE:"; echo = 2;
    417417  ring r = 0,(x,y),dp;
    418   def R = makeLetterplaceRing(5);
     418  def R = freeAlgebra(r, 5);
    419419  setring R;
    420420  poly p = y*y*x;
    … …  
    441441  ring r = 0,(x,y,z),Dp;
    442442  int degree_bound = 5;
    443   def R = makeLetterplaceRing(5);
     443  def R = freeAlgebra(r, 5);
    444444  setring R;
    445445  ideal I = -x*y-7*y*y+3*x*x, x*y*x-y*x*y;
    … …  
    503503  "EXAMPLE:"; echo = 2;
    504504  ring r = 0,(x,y),dp;
    505   def R = makeLetterplaceRing(4,2); // R with letterplace structure
     505  def R = freeAlgebra(r, 4,2); // R with letterplace structure
    506506  setring R;
    507507  poly a = x*y; poly b = y;
    … …  
    536536 "EXAMPLE:"; echo = 2;
    537537 ring r = (0,a,b,g),(x,y),Dp;
    538  def R = makeLetterplaceRing(4); // constructs a Letterplace ring
     538 def R = freeAlgebra(r, 4); // constructs a Letterplace ring
    539539 setring R; // downup algebra A
    540540 ideal J = x*x*y-a*x*y*x - b*y*x*x - g*x,
    … …  
    15211521  ring r =0,(x,y,z),dp;
    15221522  int d = 5;
    1523   def R = makeLetterplaceRing(d);
     1523  def R = freeAlgebra(r, d);
    15241524  setring R;
    15251525  poly p1 = x(1)*y(2)*z(3);
    … …  
    19541954  ring r = 0,(x,y),Dp;
    19551955  int d = 10; // degree
    1956   def R = makeLetterplaceRing(d);
     1956  def R = freeAlgebra(r, d);
    19571957  setring R;
    19581958  ideal I = x(1)*x(2) - y(1)*y(2);
    … …  
    19681968  ring r = 0,(x,y),Dp;
    19691969  int d = 10; // degree
    1970   def R = makeLetterplaceRing(d);
     1970  def R = freeAlgebra(r, d);
    19711971  setring R;
    19721972  ideal I = x(1)*x(2) - x(1)*y(2);
    … …  
    19821982  ring r = 0,(x,y,z),dp;
    19831983  int d =5; // degree
    1984   def R = makeLetterplaceRing(d);
     1984  def R = freeAlgebra(r, d);
    19851985  setring R;
    19861986  ideal I = x(1)*y(2), y(1)*x(2)+z(1)*z(2);
    … …  
    24452445  ring r = 0,(x,y,z),dp;
    24462446  int uptodeg = 5; int lV = 3;
    2447   def R = makeLetterplaceRing(uptodeg);
     2447  def R = freeAlgebra(r, uptodeg);
    24482448  setring R;
    24492449  poly f = x*z*y - 2*z*y + 3*x;
    … …  
    24722472  ring r = 0,(x,y,z),dp;
    24732473  int uptodeg = 5;
    2474   def R = makeLetterplaceRing(uptodeg);
     2474  def R = freeAlgebra(r, uptodeg);
    24752475  setring R;
    24762476  poly f = x*z*y - 2*z*y + 3*x;
    … …  
    24832483  ring r = 0,(a,b),dp;
    24842484  int d =5;
    2485   def R = makeLetterplaceRing(d);
     2485  def R = freeAlgebra(r, d);
    24862486  setring R;
    24872487  int uptodeg = d;
    … …  
    26042604  intmat A[2][2] = 2, -1, -1, 2; // sl_3 == A_2
    26052605  ring r = 0,(f1,f2),dp;
    2606   def R = makeLetterplaceRing(3);
     2606  def R = freeAlgebra(r, 3);
    26072607  setring R;
    26082608  ideal I = serreRelations(A,1);
    … …  
    26432643  "EXAMPLE:"; echo = 2;
    26442644  ring r =0,(x,y,z,t),Dp;
    2645   def A = makeLetterplaceRing(4);
     2645  def A = freeAlgebra(r, 4);
    26462646  setring A;
    26472647  string t = "-2*y*z*y*z + y*t*z*z - z*x*x*y  + 2*z*y*z*y";
    … …  
    27032703  "EXAMPLE:"; echo = 2;
    27042704  ring r =0,(x,y,z,t),dp;
    2705   def A = makeLetterplaceRing(4);
     2705  def A = freeAlgebra(r, 4);
    27062706  setring A;
    27072707  string fn = "myfile";
    … …  
    27212721  ring r =0,(x,y,z,t),dp;
    27222722  int d = 10;
    2723   def A = makeLetterplaceRing(d);
     2723  def A = freeAlgebra(r, d);
    27242724  setring A;
    27252725  ideal I = file2lplace("./ls3nilp.bg");
    … …  
    28592859  // define a ring in letterplace form as follows:
    28602860  ring r = 0,(x,y),dp;
    2861   def R = makeLetterplaceRing(4,2); // supply R with letterplace structure
     2861  def R = freeAlgebra(r, 4,2); // supply R with letterplace structure
    28622862  setring R;
    28632863  poly a = x*y + y; poly b = y - 1;
    … …  
    28892889  "EXAMPLE:"; echo = 2;
    28902890  ring r = 0,(x,y),dp;
    2891   def R = makeLetterplaceRing(4); setring R;
     2891  def R = freeAlgebra(r, 4); setring R;
    28922892  ideal I = x*x + y*y - 1; // 2D sphere
    28932893  ideal J = letplaceGBasis(I); // compute a Letterplace Groebner basis
    … …  
    29032903ring r = 0,(x,y,z),dp;
    29042904int d =5; // degree
    2905 def R = makeLetterplaceRing(d);
     2905def R = freeAlgebra(r, d);
    29062906setring R;
    29072907ideal I = y*x*y - z*y*z, x*y*x - z*x*y, z*x*z - y*z*x, x*x*x + y*y*y + z*z*z + x*y*z;
    … …  
    29912991  "EXAMPLE:"; echo = 2;
    29922992  ring r = 0,(x,y),dp;
    2993   def R = makeLetterplaceRing(4); setring R;
     2993  def R = freeAlgebra(r, 4); setring R;
    29942994  ideal I = x*x + y*y - 1; // 2D sphere
    29952995  ideal J = letplaceGBasis(I); // compute a Letterplace Groebner basis
    … …  
    30203020  "EXAMPLE:"; echo = 2;
    30213021  ring r = 0,(x,y),dp;
    3022   def R = makeLetterplaceRing(4); setring R;
     3022  def R = freeAlgebra(r, 4); setring R;
    30233023  ideal I = x*x + y*y - 1; // 2D sphere
    30243024  ideal J = letplaceGBasis(I); // compute a Letterplace Groebner basis
    … …  
    32743274  "EXAMPLE:"; echo = 2;
    32753275  ring r = 0,(x,y,z),dp;
    3276   def R = makeLetterplaceRing(5);
     3276  def R = freeAlgebra(r, 5);
    32773277  setring R;
    32783278  isOrderingShiftInvariant(0);// should be 1
    32793279
    32803280  ring r = 0,(x,y,z),dp;
    3281   def R = makeLetterplaceRing(5);
     3281  def R = freeAlgebra(r, 5);
    32823282  list RL = ringlist(R);
    32833283  RL[3][1][1] = "wp";
    … …  
    36163616//   LIB "freegb.lib";
    36173617//   ring r=0,(a,b),dp;
    3618 //   def R = makeLetterplaceRing(5);
     3618//   def R = freeAlgebra(r, 5);
    36193619//   setring R;
    36203620//   poly p = a(1);
    … …  
    36293629//   LIB "freegb.lib";
    36303630//   ring r=0,(a,b,c,d,p,q,r,s,t,u,v,w),(a(7,1,1,7),dp);
    3631 //   def R=makeLetterplaceRing(20,1);
     3631//   def R=freeAlgebra(r, 20,1);
    36323632//   setring R;
    36333633//   option(redSB); option(redTail);
    … …  
    36763676  "EXAMPLE:"; echo = 2;
    36773677  ring r = 0,(x,y,z),dp;
    3678   def R = makeLetterplaceRing(5);// constructs a Letterplace ring
     3678  def R = freeAlgebra(r, 5);// constructs a Letterplace ring
    36793679  setring R; //sets basering to Letterplace ring
    36803680  intvec u = 1,1,2; intvec v = 2,1,3; intvec w = 3,1,1;
    … …  
    37043704  "EXAMPLE:"; echo = 2;
    37053705  ring r = 0,(x,y,z),dp;
    3706   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     3706  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    37073707  setring R; //sets basering to Letterplace ring
    37083708  // u = x^2y, v = yxz, w = zx^2 in intvec representation
    … …  
    37333733  "EXAMPLE:"; echo = 2;
    37343734  ring r = 0,(x,y,z),dp;
    3735   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     3735  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    37363736  setring R; // sets basering to Letterplace ring
    37373737  intmat u[3][1] = 1,1,2; intmat v[1][3] = 2,1,3; intmat w[2][3] = 3,1,1,2,3,1;
    … …  
    37683768  "EXAMPLE:"; echo = 2;
    37693769  ring r = 0,(x,y,z),dp;
    3770   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     3770  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    37713771  setring R; // sets basering to Letterplace ring
    37723772  intmat u[3][1] = 1,1,2; intmat v[1][3] = 2,1,3; intmat w[2][3] = 3,1,1,2,3,1;
    … …  
    37963796  "EXAMPLE:"; echo = 2;
    37973797  ring r = 0,(x,y),dp;
    3798   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     3798  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    37993799  setring R; // sets basering to Letterplace ring
    38003800  ideal L = x*x,y*y,x*y*x;
    … …  
    38333833  "EXAMPLE:"; echo = 2;
    38343834  ring r = 0,(x,y,z),dp;
    3835   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     3835  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    38363836  setring R; // sets basering to Letterplace ring
    38373837  poly p = x*x*z;
    … …  
    38733873  "EXAMPLE:"; echo = 2;
    38743874  ring r = 0,(x,y,z),dp;
    3875   def R = makeLetterplaceRing(5); // constructs a Letterplace ring
     3875  def R = freeAlgebra(r, 5); // constructs a Letterplace ring
    38763876  setring R; // sets basering to Letterplace ring
    38773877  poly p = x*x*z;
Note: See TracChangeset for help on using the changeset viewer.