search

math1um / objects-invariants-properties

Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/
GNU General Public License v3.0
15 stars 6 forks source link

Typo in fractional_covering invariant: Verify stored invariant values #569

Closed math1um closed 6 years ago

math1um commented 6 years ago

The algorithm for the fractional_covering invariant had a crucial typo (and would return the order for every graph).

This was fixed and pushed. And doctest written.

All the values though in the precomputed database are almost certainly wrong. The verify_invariant_values function needs to be run.

yirkajk commented 6 years ago

Values have been recomputed. The issue should be automatically closed when the precomputing branch is merged into master.