Posets : Index
- atoms -- returns the atoms of a poset
- atoms(Poset) -- returns the atoms of a poset
- closedInterval -- returns the closed interval in the poset between two elements
- closedInterval(Poset,Thing,Thing) -- returns the closed interval in the poset between two elements
- compare -- returns boolean value for whether an element is less than another
- compare(Poset,Thing,Thing) -- returns boolean value for whether an element is less than another
- coveringRelations -- returns a list of all relations (a < b) with no intermediates
- coveringRelations(Poset) -- returns a list of all relations (a < b) with no intermediates
- divisorPoset -- returns the poset of all divisors of a given monomial
- divisorPoset(RingElement) -- returns the poset of all divisors of a given monomial
- dropElements -- returns the poset obtained by removing a list of elements
- dropElements(Poset,Function) -- returns the poset obtained by removing a list of elements
- dropElements(Poset,List) -- returns the poset obtained by removing a list of elements
- filter -- returns a principal filter generated by the given element
- filter(Poset,Thing) -- returns a principal filter generated by the given element
- GroundSet -- underlying set of a poset
- hasseDiagram -- returns Hasse diagram for the poset
- hasseDiagram(Poset) -- returns Hasse diagram for the poset
- isAntichain -- checks whether a subposet is an anti-chain
- isAntichain(Poset,List) -- checks whether a subposet is an anti-chain
- isLattice -- determines if a poset is a lattice
- isLattice(Poset) -- determines if a poset is a lattice
- joinExists -- determines if the join exists
- joinExists(Poset,Thing,Thing) -- determines if the join exists
- lcmLattice -- returns the LCM lattice of an ideal
- lcmLattice(Ideal) -- returns the LCM lattice of an ideal
- lcmLattice(MonomialIdeal) -- returns the LCM lattice of an ideal
- maximalChains -- returns all maximal chains of a poset
- maximalChains(Poset) -- returns all maximal chains of a poset
- maximalElements -- returns all maximal elements of a poset
- maximalElements(Poset) -- returns all maximal elements of a poset
- meetExists -- determines if the meet exists
- meetExists(Poset,Thing,Thing) -- determines if the meet exists
- meetIrreducibles -- returns the meet-irreducibles of a poset
- meetIrreducibles(Poset) -- returns the meet-irreducibles of a poset
- minimalElements -- returns all minimal elements of a poset
- minimalElements(Poset) -- returns all minimal elements of a poset
- moebiusFunction -- returns Moebius function values
- moebiusFunction(Poset) -- returns the Moebius function values for the unique minimal element to each element of the poset
- moebiusFunction(Poset,Thing,Thing) -- returns the Moebius function values for the minimal element of a closed interval to each element of the interval
- openInterval -- returns the open interval in the poset between two elements
- openInterval(Poset,Thing,Thing) -- returns the open interval in the poset between two elements
- orderComplex -- returns the simplicial complex with faces given by chains
- orderComplex(Poset) -- returns the simplicial complex with faces given by chains
- orderIdeal -- returns a principal order ideal generated by the given element
- orderIdeal(Poset,Thing) -- returns a principal order ideal generated by the given element
- Poset -- a class for partially ordered sets (posets)
- poset -- creating a poset
- poset(List,List) -- creating a poset
- poset(List,List,Matrix) -- creating a poset
- posetJoin -- returns the join of two elements
- posetJoin(Poset,Thing,Thing) -- returns the join of two elements
- posetMeet -- returns the meet of two elements
- posetMeet(Poset,Thing,Thing) -- returns the meet of two elements
- Posets -- a package for working with posets
- RelationMatrix -- the matrix expressing all of the relations between elements in a Poset
- Relations -- a set of relations in the poset that generates all other relations
- subPoset -- returns the subposet supported on elements in a given list
- subPoset(Poset,List) -- returns the subposet supported on elements in a given list
- transitiveClosure -- computes the transitive closure of a given set of relations.
- transitiveClosure(List,List) -- computes the transitive closure of a given set of relations.
- VariableName (missing documentation)