Changeset d5fcba in git


Ignore:
Timestamp:
Feb 9, 2019, 11:48:22 AM (5 years ago)
Author:
Karim Abou Zeid <karim23697@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'd25190065115c859833252500a64cfb7b11e3a50')
Children:
e7ba75b3c38508e0d686d4edb02c3fac3c0bdf63
Parents:
4a09a00824de7610f143ceef2fb951bf850bb427
Message:
Remove from freegb.lib that has been moved to freealgebra.so
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/freegb.lib

    r4a09a00 rd5fcba  
    2323
    2424PROCEDURES:
    25 freeAlgebra(r, d);               creates a Letterplace ring out of given data
    2625isFreeAlgebra(r);                check whether r is a letterplace ring (free algebra)
    2726lpDegBound(R);                   returns the degree bound of a letterplace ring
     
    3635isOrderingShiftInvariant(i);     tests shift-invariance of the monomial ordering
    3736isVar(p);                        check whether p is a power of a single variable
    38 
    39 lpLmDivides(ideal I, poly p);    tests whether there exists q in I, such that LM(q)|LM(p)
    40 lpVarAt(poly p, int pos);        returns the variable (as a poly) at position pos of the poly p
    4137
    4238makeLetterplaceRing(d);          (deprecated, use freeAlgebra) creates a Letterplace ring out of given data
     
    8177  example lpPrint;
    8278  example isVar;
    83 
    84   example lpLmDivides;
    85   example lpVarAt;
    8679
    8780  example ivL2lpI;
     
    376369  poly i = 1;
    377370  isVar(i);
    378 }
    379 
    380 proc lpLmDivides(ideal I, poly p)
    381 "USAGE: lpLmDivides(I); I an ideal
    382 RETURN: boolean
    383 ASSUME: basering is a Letterplace ring
    384 PURPOSE: tests if there is a polynomial q in I with LM(q)|LM(p)
    385 EXAMPLE: example lpLmDivides; shows examples
    386 "
    387 {
    388   ERROR(" freealgebra.so not loaded");
    389 }
    390 example
    391 {
    392   "EXAMPLE:"; echo = 2;
    393   ring r = 0,(x,y),dp;
    394   def R = freeAlgebra(r, 5);
    395   setring R;
    396   poly p = x*y*y;
    397   lpLmDivides(y*y, p);
    398   lpLmDivides(y*x, p);
    399   lpLmDivides(ideal(y*y, y*x), p);
    400 }
    401 
    402 proc lpVarAt(poly p, int pos)
    403 "USAGE: lpVarAt(p, pos); p a poly, pos an int
    404 RETURN: poly
    405 ASSUME: basering is a Letterplace ring
    406 PURPOSE: returns the variable (as a poly) at position pos of the poly p
    407 EXAMPLE: example lpVarAt; shows examples
    408 "
    409 {
    410   ERROR(" freealgebra.so not loaded");
    411 }
    412 example
    413 {
    414   "EXAMPLE:"; echo = 2;
    415   ring r = 0,(x,y),dp;
    416   def R = freeAlgebra(r, 5);
    417   setring R;
    418   poly p = y*y*x;
    419   lpVarAt(p, 3);
    420371}
    421372
     
    10521003  def R = freeAlgebra(r, 7);
    10531004  isFreeAlgebra(R);
    1054 }
    1055 
    1056 proc freeAlgebra(def r, int d)
    1057 "USAGE:  freeAlgebra(r, d); r a ring, d an integer
    1058 RETURN:  ring
    1059 PURPOSE: creates a letterplace ring with the ordering of r
    1060 EXAMPLE: example freeAlgebra; shows examples
    1061 "
    1062 {
    1063   ERROR(" freealgebra.so not loaded");
    1064 }
    1065 example
    1066 {
    1067   "EXAMPLE:"; echo = 2;
    1068   ring r = 0,(x,y,z),dp;
    1069   def R = freeAlgebra(r, 7);
    1070   R;
    1071   ring r2 = 0,(x,y,z),lp;
    1072   def R2 = freeAlgebra(r2, 7);
    1073   R2;
    10741005}
    10751006
Note: See TracChangeset for help on using the changeset viewer.