#17464: Computing the automorphism group of a graph with Bliss
-------------------------+-------------------------------------------------
Reporter: azi | Owner:
Type: | Status: needs_review
enhancement | Milestone: sage-6.5
Priority: major | Resolution:
Component: graph | Merged in:
theory | Reviewers: Nathann Cohen
Keywords: | Work issues:
Authors: | Commit:
Jernej Azarija | b270ce66315ccc8c87b97a4e6bc6a754d11c941d
Report Upstream: N/A | Stopgaps:
Branch: |
public/bliss |
Dependencies: |
#17552 |
-------------------------+-------------------------------------------------
Comment (by ncohen):
Hello Volker,
> Which bug do you mean? There are clearly multiple ones. I'll be happy to
look if you don't have any obvious bugs open any more.
Well, the 'main' bug that we had was this 'undefined heuristic' poblem
which caused crashes. As I reported above, running a 'make distclean' and
reinstalling everything solves it, and now this branch passes all tests on
my computer.
I would be tempted to switch it to 'positive review', but that would
produce errors on everybody's computer unless they *also* run this make
distclean! If you say that this would be solved by changing the version
number, then let us do that and switch it to 'positive review'
What worries me is that I do not understand why changing the version
number would have any effect that forcing a reinstall through 'sage -f
bliss' did not have. I tried it, long before trying 'make distclean', and
it had no effect.
What do you think we should do ?
Nathann
--
Ticket URL: <http://trac.sagemath.org/ticket/17464#comment:126>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
