MacaulayPosets : Index

• AllOrders -- whether to return all orders instead of at most one order
• getMons -- calculates the monomials of a ring
• getMons(...,MaxDegree=>...) -- the maximum degree of a monomial to calculate
• getMons(Ideal) -- calculates the monomials of a ring
• getMons(PolynomialRing) -- calculates the monomials of a ring
• getMons(PolynomialRing,Ideal) -- calculates the monomials of a ring
• getMons(QuotientRing) -- calculates the monomials of a ring
• getPoset -- calculates the monomial poset of a ring
• getPoset(...,MaxDegree=>...) -- the maximum degree of a monomial to calculate
• getPoset(Ideal) -- calculates the monomial poset of a ring
• getPoset(PolynomialRing) -- calculates the monomial poset of a ring
• getPoset(PolynomialRing,Ideal) -- calculates the monomial poset of a ring
• getPoset(QuotientRing) -- calculates the monomial poset of a ring
• image(PosetMap) -- the image of a poset map
• image(PosetMap,List) -- the image of a poset map
• isAdditive -- whether a poset is additive
• isAdditive(Poset) -- whether a poset is additive
• isInjective(PosetMap)
• isMacaulay -- whether a poset or ring is Macaulay
• isMacaulay(...,TikZ=>...) -- whether to print TikZ code
• isMacaulay(...,Visual=>...) -- whether to visualize the Macaulay orders
• isMacaulay(Ideal) -- whether a poset or ring is Macaulay
• isMacaulay(Poset) -- whether a poset or ring is Macaulay
• isMacaulay(QuotientRing) -- whether a poset or ring is Macaulay
• isRankPreserving -- whether a poset map is rank-preserving
• isRankPreserving(PosetMap) -- whether a poset map is rank-preserving
• isSurjective(PosetMap)
• lowerShadow -- the lower shadow of a subset of a poset
• lowerShadow(Poset,List) -- the lower shadow of a subset of a poset
• macaulayOrders -- finds all orders with respect to which the poset is Macaulay
• macaulayOrders(...,AllOrders=>...) -- whether to return all orders instead of at most one order
• macaulayOrders(...,TikZ=>...) -- whether to print TikZ code
• macaulayOrders(...,Visual=>...) -- whether to visualize the Macaulay orders
• macaulayOrders(Ideal) -- finds all orders with respect to which the poset is Macaulay
• macaulayOrders(Poset) -- finds all orders with respect to which the poset is Macaulay
• macaulayOrders(QuotientRing) -- finds all orders with respect to which the poset is Macaulay
• MacaulayPosets -- a package for working with Macaulay posets and Macaulay rings
• map(Poset,Poset,HashTable) -- make a poset map
• 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
• posetClosedProduct(List) -- constructs the closed product of several posets
• posetClosedProduct(Poset,Poset) -- constructs the closed product of several posets
• posetConnectedSum -- constructs the connected sum of several posets
• posetConnectedSum(List) -- constructs the connected sum of several posets
• posetConnectedSum(PosetMap,PosetMap) -- constructs the connected sum of several posets
• posetFiberProduct -- constructs the fiber product of several posets
• posetFiberProduct(List) -- constructs the fiber product of several posets
• posetFiberProduct(PosetMap,PosetMap) -- 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
• posetWedgeProduct(List) -- constructs the wedge product of several posets
• posetWedgeProduct(Poset,Poset) -- constructs the wedge product of several posets
• ringConnectedSum -- constructs the connected sum of several rings
• ringConnectedSum(Ideal,Ideal) -- constructs the connected sum of several rings
• ringConnectedSum(List) -- constructs the connected sum of several rings
• ringConnectedSum(QuotientRing,QuotientRing) -- constructs the connected sum of several rings
• ringConnectedSum(Sequence) -- constructs the connected sum of several rings
• ringFiberProduct -- constructs the fiber product of several rings
• ringFiberProduct(Ideal,Ideal) -- constructs the fiber product of several rings
• ringFiberProduct(List) -- constructs the fiber product of several rings
• ringFiberProduct(QuotientRing,QuotientRing) -- constructs the fiber product of several rings
• ringFiberProduct(Sequence) -- 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
• upperShadow(Poset,List) -- the upper shadow of a subset of a poset
• Visual -- whether to visualize the Macaulay orders