https://123dok.org/document/dzx9nedz-isomorphism-problem-directed-acyclic-graphs-application-multivector-fields.html