Macaulay2 » Documentation
Packages » MacaulayPosets :: TikZ
next | previous | forward | backward | up | index | toc

TikZ -- whether to print TikZ code

Description

Suppose the poset is Macaulay with respect to a total order $<$. If two vertices $p$ and $q$ have the same rank, then $p<q$ if and only if $p$ is to the left of $q$ in the Hasse diagram drawn with TikZ=>true. For macaulayOrders with AllOrders=>true, there is a Hasse diagram for each order. For isMacaulay and for macaulayOrders with AllOrders=>false, there is at most one Hasse diagram.

i1 : R = QQ[x,y]

o1 = R

o1 : PolynomialRing
 
i2 : I = monomialIdeal(x^3, x^2*y^2, y^3)

                     3   2 2   3
o2 = monomialIdeal (x , x y , y )

o2 : MonomialIdeal of R
 
i3 : macaulayOrders(standardMonomialPoset I, TikZ=>true)

        \draw (0) -- (1);
        \draw (0) -- (2);
        \draw (1) -- (4);
        \draw (1) -- (3);
        \draw (3) -- (6);
        \draw (4) -- (7);
        \draw (4) -- (6);
        \draw (2) -- (4);
        \draw (2) -- (5);
        \draw (5) -- (7);
\end{tikzpicture}

        \draw (0) -- (2);
        \draw (0) -- (1);
        \draw (2) -- (4);
        \draw (2) -- (5);
        \draw (5) -- (7);
        \draw (4) -- (6);
        \draw (4) -- (7);
        \draw (1) -- (4);
        \draw (1) -- (3);
        \draw (3) -- (6);
\end{tikzpicture}

                 2        2   2      2              2        2     2   2
o3 = {{1, x, y, x , x*y, y , x y, x*y }, {1, y, x, y , x*y, x , x*y , x y}}

o3 : List

See also

Functions with optional argument named TikZ:

  • isMacaulay(...,TikZ=>...)
  • macaulayOrders(...,TikZ=>...)

For the programmer

The object TikZ is a symbol.

The source of this document is in /build/reproducible-path/macaulay2-1.26.05+ds/M2/Macaulay2/packages/MacaulayPosets.m2:1624:0.