#9930: Additional test in is_even_hole_free
-----------------------------+----------------------------------------------
Reporter: ncohen | Owner: jason, ncohen, rlm
Type: defect | Status: needs_info
Priority: major | Milestone: sage-4.6
Component: graph theory | Keywords:
Author: Nathann Cohen | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-----------------------------+----------------------------------------------
Comment(by ncohen):
> unless there is a probabilistic argument that with high probability we
run into the cases we are interested in testing here,
> this won't fly... Random tests don't prove much otherwise. And here you
don't even know what to look for, right?
Well, there is a practical argument saying that the mistake appeared with
a probability of 1%, as my comments on #9925 indicated (and which I tried
on even longer sequences of tests). Besides, the graph I create from its
sparse6_string is known to create a mistake on the current version of
Sage. What do you think we could do besides that ?
Nathann
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/9930#comment:5>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
