Examples

See the examples directory in the source repository/distribution.

digits.cxt

B

10
7

0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
g
X.XXXXX
.....XX
XXX.XX.
XXX..XX
.X.X.XX
XXXX..X
.XXXX.X
X....XX
XXXXXXX
XX.X.XX
from concepts import Context

d = Context.fromfile('examples/digits.cxt')

d.lattice.graphviz(view=True)
_images/digits.svg

relations.csv

,relation,transitive,symmetric,antisymmetric,reflexive,irreflexive,asymmetric,neg. trans.,connected,total,trichotomous
irrefl.,X,,,,,X,,,,,
tolerance,X,,X,,X,,,,,,
equivalence,X,X,X,,X,,,,,,
preorder,X,X,,,X,,,,,,
partial order,X,X,,X,X,,,,,,
total order,X,X,,X,X,,,X,X,X,
strict partial order,X,X,,X,,X,X,,,,
strict weak order,X,X,,X,,X,X,X,,,
strict total order,X,X,,X,,X,X,X,X,,X
R = X = {},X,X,X,X,X,X,X,X,X,X,X
from concepts import Context

r = Context.fromfile('examples/relations.csv', frmat='csv')

r.lattice.graphviz(view=True)
_images/relations.svg