Requirements

Pyrel works on Ubuntu and macOS. It has not been tested on other systems but it is possible it could work, perhaps with some modification.

C Library Dependencies:

• glib-2.0

• gmp

If you are missing these libraries just install them with your package manager.

Pyrel includes a modified version of Kure and its dependency Cudd-2.5.1 (Colorado University Decision Diagram) as source. As long as the aforementioned dependencies are installed in standard locations on your system, Kure will be built automatically during installation.

Creating relations

import pyrel

# create a pyrel context
context = pyrel.PyrelContext()

# create a new 3x3 empty relation
rel = context.new(3,3)
print(rel)

...
...
...

Setting bits

# a list of ordered pairs
bits = [(0,0),(0,1),(0,2)]
rel = context.new(3,3)
rel.set_bits(bits)
print(rel)

# set bits at random
rel.random()
print(rel)

# unsets all bits
rel.clear()
print(rel)

XXX
...
...

.X.
..X
X.X

...
...
...

# set bits at creation
bits = [(0,0),(0,1),(0,2)]
rel = context.new(3,3,bits)
print(rel)

# set single bit
rel.set_bit(2,2)
print(rel)

# unset bit
rel.set_bit(0,1,yesno=False)
print(rel)

# unset bits
rel.set_bits([(0,0),(2,2)],yesno=False)
print(rel)

XXX
...
...

XXX
...
..X

X.X
...
..X

..X
...
...

Operations

rel = context.new(3,3).identity()
print(rel)

r = context.new(3,3, [(0,0),(0,1),(0,2)])
print(r)

s = r.transpose()
print(s)

m = r1.meet(r2)
print(m)

j = r1.join(r2)
print(j)

X..
.X.
..X

XXX
...
...

X..
X..
X..

X..
...
...

XXX
X..
X..

r = context.new(3,3, [(0,1),(0,2),(2,1)])
print(r)

s = context.new(3,3, [(1,1),(2,2)])
print(s)

g = r.composition(s)
print(g)

g.isSubset(g.universal())

.XX
...
.X.

...
.X.
..X

.XX
...
.X.

>>> True

Vectors

A vector is a row constant relation. All columns are identical. It represents a subset.

rel = new(5,5)
rel.vector(2) # row 2 (0-indexed)
print(rel)
rel.vector_next()
print(rel)

.....
.....
XXXXX
.....
.....

.....
.....
.....
XXXXX
.....

Possible Future Work

• import relations from a file

• export relations to a file

• extend support for more relation operations