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
14 stars 6 forks source link

GAP Error? #587

Open thenealon opened 6 years ago

thenealon commented 6 years ago

I haven't seen this before. It seems unlikely that the error is under our purview, but I'm posting it here for completeness.

screen shot 2018-07-20 at 11 33 04 am
yirkajk commented 6 years ago

How current is your copy of gt?

thenealon commented 6 years ago

This is running in the shared GBP folder; it looks like GT is ~1wk old.

math1um commented 6 years ago

We've had many problems with GAP, and worked on this a little when Nico was here. While GAP is long and actively developed, it seems like a big hack - in fact it runs interactively, and Sage accesses it by simulating an interactive session. It seems crazy to me...

thenealon commented 6 years ago

It seems to be a random error; it didn't appear on the rerun (although to be fair, my list of graphs is random, too, so a rerun is not actually a rerun). Anyway, it probably isn't impact my work.