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

ce60 is not defined? #637

Closed jaritaes99 closed 3 years ago

jaritaes99 commented 3 years ago

The code shows

CE to independence_number(x) >= -1/2*diameter(x) + lovasz_theta(x)

$MxF|ADGGMBW`ANVIKw??DRkY\KOCW??P?ExJDSAg') ce60.name(new = "ce60") add_to_lists(ce60, graph_objects, counter_examples, all_graphs)

and there is no definition of it? is $MxF|ADGGMBW`ANVIKw??DRkY\KOCW??P?ExJDSAg') the g6 string?

thenealon commented 3 years ago

' and ) are not g6 characters (g6 strings contain ascii codes 63-126), so this looks like the truncated end of a g6 string call used to construct the graph, i.e., it is probably Graph('....Ag'). Not tons of hope for recovering the graph from only that info, although we could probably try to find another counterexample to the same conjecture.

On Wed, Jul 14, 2021 at 7:55 PM jaritaes99 @.***> wrote:

The code shows CE to independence_number(x) >= -1/2*diameter(x) + lovasz_theta(x)

$MxF|ADGGMBW`ANVIKw??DRkY\KOCW??P?ExJDSAg') ce60.name(new = "ce60") add_to_lists(ce60, graph_objects, counter_examples, all_graphs)

and there is no definition of it? is $MxF|ADGGMBW`ANVIKw??DRkY\KOCW??P?ExJDSAg') the g6 string?

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/math1um/objects-invariants-properties/issues/637, or unsubscribe https://github.com/notifications/unsubscribe-auth/AA55ZQYMLBHBBRNNO4HBNTLTXYPVPANCNFSM5AMN4QQA .

jaritaes99 commented 3 years ago

I just double checked and it was a $ at the beginning, meaning I had to scroll to the beginning of the line, it is defined properly