|
7.7.10.0. lpPrint
Procedure from library freegb.lib (see freegb_lib).
- Usage:
- lpPrint(I, r); I an ideal, r a ring
- Return:
- list of strings
- Purpose:
- represent Letterplace ideal in the form of words
- Assume:
- - basering is a Letterplace ring, r is the commutative ring
from which basering has been built
Example:
| LIB "freegb.lib";
ring r = (0,a,b,g),(x,y),Dp;
def R = makeLetterplaceRing(4); // constructs a Letterplace ring
setring R; // downup algebra A
ideal J = x(1)*x(2)*y(3)-a*x(1)*y(2)*x(3) - b*y(1)*x(2)*x(3) - g*x(1),
x(1)*y(2)*y(3)-a*y(1)*x(2)*y(3) - b*y(1)*y(2)*x(3) - g*y(1);
list L = lpPrint(J,r);
L;
==> [1]:
==> x*x*y+(-a)*x*y*x+(-b)*y*x*x+(-g)*x
==> [2]:
==> x*y*y+(-a)*y*x*y+(-b)*y*y*x+(-g)*y
|
|