|
7.7.7.0. lpMaxIdeal
Procedure from library fpadim.lib (see fpadim_lib).
- Usage:
- lpMaxIdeal(d, donly); d an integer, donly an integer
RETURN: ideal
PURPOSE: computes a list of free monomials of degree at most d
if donly <> 0, only monomials of degree d are returned
ASSUME: - basering is a Letterplace ring.
- d <= attrib(basering,uptodeg) holds.
NOTE: analogous to maxideal(d) in the commutative case
Example:
| LIB "fpadim.lib";
ring r = 0,(a,b,c),dp;
def R = makeLetterplaceRing(7); setring R;
lpMaxIdeal(1,0);
==> _[1]=c(1)
==> _[2]=b(1)
==> _[3]=a(1)
lpMaxIdeal(2,0);
==> _[1]=c(1)
==> _[2]=b(1)
==> _[3]=a(1)
==> _[4]=a(1)*c(2)
==> _[5]=a(1)*b(2)
==> _[6]=a(1)*a(2)
==> _[7]=b(1)*c(2)
==> _[8]=b(1)*b(2)
==> _[9]=b(1)*a(2)
==> _[10]=c(1)*c(2)
==> _[11]=c(1)*b(2)
==> _[12]=c(1)*a(2)
lpMaxIdeal(2,1);
==> _[1]=a(1)*c(2)
==> _[2]=a(1)*b(2)
==> _[3]=a(1)*a(2)
==> _[4]=b(1)*c(2)
==> _[5]=b(1)*b(2)
==> _[6]=b(1)*a(2)
==> _[7]=c(1)*c(2)
==> _[8]=c(1)*b(2)
==> _[9]=c(1)*a(2)
|
|