ternary¶
util/ternary
provides utility functions for working with 3-arity Multirelations. All functions return either an element in the relation or a new transformed relation.
f |
f[a -> b -> c] |
---|---|
dom |
a |
mid |
b |
ran |
c |
select12 |
a -> b |
select13 |
a -> c |
select23 |
b -> c |
flip12 |
b -> a -> c |
flip13 |
c -> b -> a |
flip23 |
a -> c -> b |