MacaulayPosets : Table of Contents

• MacaulayPosets -- a package for working with Macaulay posets and Macaulay rings
• AllOrders -- whether to return all orders instead of at most one order
• getMons -- calculates the monomials of a ring
• getPoset -- calculates the monomial poset of a ring
• image(PosetMap,List) -- the image of a poset map
• isAdditive -- whether a poset is additive
• isInjective(PosetMap)
• isMacaulay -- whether a poset or ring is Macaulay
• isRankPreserving -- whether a poset map is rank-preserving
• isSurjective(PosetMap)
• lowerShadow -- the lower shadow of a subset of a poset
• macaulayOrders -- finds all orders with respect to which the poset is Macaulay
• map(Poset,Poset,List) -- make a poset map
• MaxDegree -- the maximum degree of a monomial to calculate
• posetClosedProduct -- constructs the closed product of several posets
• posetConnectedSum -- constructs the connected sum of several posets
• posetFiberProduct -- constructs the fiber product of several posets
• PosetMap -- the class of all morphisms between posets
• PosetMap * PosetMap -- composition of poset maps
• PosetMap == PosetMap -- whether two poset maps are equal
• PosetMap Thing -- applies a poset map to a poset element
• posetWedgeProduct -- constructs the wedge product of several posets
• ringConnectedSum -- constructs the connected sum of several rings
• ringFiberProduct -- constructs the fiber product of several rings
• source(PosetMap)
• target(PosetMap)
• TikZ -- whether to print TikZ code
• upperShadow -- the upper shadow of a subset of a poset
• Visual -- whether to visualize the Macaulay orders