[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Partial Orderings
- To: common-lisp-object-system@SAIL.STANFORD.EDU
- Subject: Partial Orderings
- From: Dick Gabriel <RPG@SAIL.STANFORD.EDU>
- Date: 28 Jul 87 2126 PDT
You can define a partial ordering based on irreflexive relations
by using the `antirelation' and NOT. For example, instead of less than
or equal, you can use greater than and NOT. If you don't believe me,
believe Knuth Volume 1.
-rpg-