Skip to content

Graph Theory v0.8
Compare
Choose a tag to compare
@chdoc chdoc released this 08 Dec 16:59
· 80 commits to master since this release
v0.8
ec5f2f3

The main changes in this release are:

  • New theory dom.v containing a proof of the Cockayne-Hedetniemi domination chain (with weighted parameters).
  • The monolithic labels structure for multigraphs has been split into a (commutative) monoid for vertex labels and an elabelType to deal with edge-flipping isomorphisms.
  • The aforementioned structures are now inferred automatically for the operations that require them, allowing multigraphs to be used without specifying structures.
  • telescopes (e.g. for 2p- and 2pdom-algebras) have been replaced with packaged structures generated using hierarchy-builder (new dependency)
  • added support for mathcomp-1.12.0
  • dropped support for coq-8.10
Assets 2
Loading