Changeset 3f6c35 in git for Singular/LIB/fpaprops.lib


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
File:
1 edited

Legend:

Unmodified
Added
Removed

  • 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; */
Note: See TracChangeset for help on using the changeset viewer.