|
7.7.7.0. ivMaxIdeal
Procedure from library fpadim.lib (see fpadim_lib).
- Usage:
- lpMaxIdeal(l, lonly); l an integer, lonly an integer
RETURN: list
PURPOSE: computes a list of free monomials in intvec presentation
with length <= l
if donly <> 0, only monomials of degree d are returned
ASSUME: - basering is a Letterplace ring.
NOTE: see also lpMaxIdeal()
Example:
| LIB "fpadim.lib";
ring r = 0,(a,b,c),dp;
def R = makeLetterplaceRing(7); setring R;
ivMaxIdeal(1,0);
==> [1]:
==> 3
==> [2]:
==> 2
==> [3]:
==> 1
ivMaxIdeal(2,0);
==> [1]:
==> 3
==> [2]:
==> 2
==> [3]:
==> 1
==> [4]:
==> 1,3
==> [5]:
==> 1,2
==> [6]:
==> 1,1
==> [7]:
==> 2,3
==> [8]:
==> 2,2
==> [9]:
==> 2,1
==> [10]:
==> 3,3
==> [11]:
==> 3,2
==> [12]:
==> 3,1
ivMaxIdeal(2,1);
==> [1]:
==> 1,3
==> [2]:
==> 1,2
==> [3]:
==> 1,1
==> [4]:
==> 2,3
==> [5]:
==> 2,2
==> [6]:
==> 2,1
==> [7]:
==> 3,3
==> [8]:
==> 3,2
==> [9]:
==> 3,1
|
|