Native sparse relabelling with exported function tabulation.
Equations
- Hex.GraphIso.Nauty.Sparse.Literal.relabel G p = Hex.SparseGraph.ofRows (Hex.Vector.ofFn' fun (i : Fin n) => Hex.SparseGraph.Builder.mapRow (G.nbrs (p.get i)) p.inv.get) ⋯ ⋯ ⋯
Instances For
def
Hex.GraphIso.Nauty.Sparse.Literal.leaf
{n : Nat}
(G : SparseGraph n)
(B : Key n)
(l : SpecLeaf n)
:
Compare an actual leaf using native sparse rows and the exported relabelling operations.
Equations
- One or more equations did not get rendered due to their size.