[−][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.