Module layer 

A Coffman-Graham-inspired layering algorithm.

Functions

converse

Compute the converse of an IndexedCoproduct thought of as a “multirelation”.

converse_iter

Given a FiniteFunction X → L, compute its converse, a relation r : L → X*, and return the result as an array of arrays, where r_i is the list of elements in X mapping to i.

indegree

Compute indegree of all nodes in a multigraph.

layer

Compute a layering of an OpenHypergraph: a mapping layer : X → K from operations to integers compatible with the partial ordering on X induced by hypergraph structure.

layered_operations

Given an OpenHypergraph, compute a layering of its operations as a finite function X → L, then return this as an array-of-arrays r.

operation_adjacency

Return the adjacency map for an OpenHypergraph f.