[][src]Function canonical_form::canonical_form

pub fn canonical_form<F>(g: &F) -> F where
    F: Canonize

Computes a normal form of a combinatorial object.

A normal form is a function that assigns to an object g (e.g. a graph) an object canonical_form(g) that is isomorphic to g such that if g1 and g2 are isomorphic then canonical_form(g)=canonical_form(g). The exact specification of this function does not matter.