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

Fix update database async #538

Closed yirkajk closed 6 years ago

yirkajk commented 6 years ago

@nvcleemp can you take a look at this? If you're happy with it, I can repeat the changes for the invariants methods. Issue #509

nvcleemp commented 6 years ago

Looks OK to me. The initial value for result is not really needed, since a function which returns nothing actually returns None. However, I think the initial value might be better style.

yirkajk commented 6 years ago

Great, thanks. I'll make the changes to the rest of the database methods.