Skip to content

Functions_finished_so_far

Jump to bottom Edit New page
Mahrud Sayrafi edited this page Mar 12, 2021 · 1 revision

title: Functions finished so far permalink: wiki/Functions_finished_so_far/ layout: wiki

So far we have finished

  • Defining new type "Poset", a hash table indexed by a GroundSet and CRelations (short for "covering relations", although we can accept more relations than in the base covering set)
  • Defined "FullRelationMatrix", a function that inputs a poset and outputs a matrix with a non-zero entry in position (i,j) if i<j is in our full set of relations.
  • Defined "RelationMatrix" a function that inputs a poset (or a FullRelationMatrix of a poset) and outputs a matrix with 1 in position (i,j) if i<j is in our full set of relations.
  • Defined "compare" a function that inputs a poset and a potential relation and tests whether that relation is in our poset.
  • "indexElement" fn that given an element in the poset, it says which index it has in the ground set
  • "nonnull" which gets rid of null elements in lists (usually obtained from using if then's in apply)
  • "OrderIdeal" and "Filter"
Add a custom footer
Clone this wiki locally