ce60 is not defined?

[jaritaes99]

The code shows

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

$MxF|ADGGMBW`ANV_IKw??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`ANV_IKw??DRkY\KOCW??P_?ExJDSAg') the g6 string?

[thenealon]

' 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`ANV_IKw??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`ANV_IKw??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 <#637>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AA55ZQYMLBHBBRNNO4HBNTLTXYPVPANCNFSM5AMN4QQA> .

[jaritaes99]

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