Poset Help - Entering Relations

  1. The list of relations MUST begin with a left curly brace, "{".

  2. You may then enter relations such as "1 < 3", "3 < 4", ...etc. Your relations may be separated by commas or spaces (or both, of course).

  3. The list of relations MUST end with a right curly brace, "}".

  4. For example, the input is { 1<2, 3<4 } for the poset shown below. [covers=1<2&3<4]

  5. Redundant relations are optional. For example, if your input includes 1 < 2 and 2 < 3, then the relation 1 < 3 may be omitted. In other words, only cover relations need be entered.

  6. What happens if you enter a cycle? We don't know!


[Error Opening Counter File -- Click for more info]