Changeset d5fcba in git
 Timestamp:
 Feb 9, 2019, 11:48:22 AM (5 years ago)
 Branches:
 (u'fiekerDuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'd25190065115c859833252500a64cfb7b11e3a50')
 Children:
 e7ba75b3c38508e0d686d4edb02c3fac3c0bdf63
 Parents:
 4a09a00824de7610f143ceef2fb951bf850bb427
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

Singular/LIB/freegb.lib
r4a09a00 rd5fcba 23 23 24 24 PROCEDURES: 25 freeAlgebra(r, d); creates a Letterplace ring out of given data26 25 isFreeAlgebra(r); check whether r is a letterplace ring (free algebra) 27 26 lpDegBound(R); returns the degree bound of a letterplace ring … … 36 35 isOrderingShiftInvariant(i); tests shiftinvariance of the monomial ordering 37 36 isVar(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 p41 37 42 38 makeLetterplaceRing(d); (deprecated, use freeAlgebra) creates a Letterplace ring out of given data … … 81 77 example lpPrint; 82 78 example isVar; 83 84 example lpLmDivides;85 example lpVarAt;86 79 87 80 example ivL2lpI; … … 376 369 poly i = 1; 377 370 isVar(i); 378 }379 380 proc lpLmDivides(ideal I, poly p)381 "USAGE: lpLmDivides(I); I an ideal382 RETURN: boolean383 ASSUME: basering is a Letterplace ring384 PURPOSE: tests if there is a polynomial q in I with LM(q)LM(p)385 EXAMPLE: example lpLmDivides; shows examples386 "387 {388 ERROR(" freealgebra.so not loaded");389 }390 example391 {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 int404 RETURN: poly405 ASSUME: basering is a Letterplace ring406 PURPOSE: returns the variable (as a poly) at position pos of the poly p407 EXAMPLE: example lpVarAt; shows examples408 "409 {410 ERROR(" freealgebra.so not loaded");411 }412 example413 {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);420 371 } 421 372 … … 1052 1003 def R = freeAlgebra(r, 7); 1053 1004 isFreeAlgebra(R); 1054 }1055 1056 proc freeAlgebra(def r, int d)1057 "USAGE: freeAlgebra(r, d); r a ring, d an integer1058 RETURN: ring1059 PURPOSE: creates a letterplace ring with the ordering of r1060 EXAMPLE: example freeAlgebra; shows examples1061 "1062 {1063 ERROR(" freealgebra.so not loaded");1064 }1065 example1066 {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;1074 1005 } 1075 1006
Note: See TracChangeset
for help on using the changeset viewer.