Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/
These properties are supposed to be defined in terms of nonnegative/nonpositive eigenvalues. Right now, they're only the positive/negative eigenvalues.
Need to fix the properties, add doctests, and fix precomputed values.
It might be useful to add invariants card_nonnegative_eigenvalues(g) and card_nonpositive_eigenvalues(g).
These properties are supposed to be defined in terms of nonnegative/nonpositive eigenvalues. Right now, they're only the positive/negative eigenvalues. Need to fix the properties, add doctests, and fix precomputed values.
It might be useful to add invariants
card_nonnegative_eigenvalues(g)
andcard_nonpositive_eigenvalues(g)
.