Top
Back: ivMaxIdeal
Forward: monomialBasis
FastBack:
FastForward:
Up: fpadim_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
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)


Top Back: ivMaxIdeal Forward: monomialBasis FastBack: FastForward: Up: fpadim_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4-1-1p3, 2018, generated by texi2html.