Singular Manual: lpMaxIdeal

| ##### 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)

User manual for Singular version 4-1-1p3, 2018, generated by texi2html.