Open grantmolnar opened 5 years ago
Thanks for the interest!
The broken pipe seems to suggest that there is something wrong with the external program that computes the conjectures. Did you get some errors while installing the Sage package for conjecturing? If you do not remember, could you please try to walk through the steps again: http://nvcleemp.github.io/conjecturing/#installing-in-sage ?
Here's the last bit of the code I got when I tried to run sage -i conjecturing:
[sagelib-8.6] Removing /home/grant/SageMath/local/lib/python2.7/site-packages/sage-8.6-py2.7.egg-info [sagelib-8.6] Writing /home/grant/SageMath/local/lib/python2.7/site-packages/sage-8.6-py2.7.egg-info [sagelib-8.6] Cleaning up stale installed files.... [sagelib-8.6] - cleaning /home/grant/SageMath/local/lib/python2.7/site-packages [sagelib-8.6] - cleaning build/lib.linux-x86_64-2.7 [sagelib-8.6] Finished cleaning, time: 0.28 seconds. [sagelib-8.6] if [ "$UNAME" = "CYGWIN" ]; then \ [sagelib-8.6] sage-rebase.sh "$SAGE_LOCAL" 2>/dev/null; \ [sagelib-8.6] fi [sagelib-8.6] make[2]: Leaving directory '/home/grant/SageMath/src' [sagelib-8.6] [sagelib-8.6] real 47m0.282s [sagelib-8.6] user 43m26.452s [sagelib-8.6] sys 1m23.837s cp /home/grant/SageMath/src/bin/sage-env-config /home/grant/SageMath/local/bin/sage-env-config sage-logger -p 'sage-spkg conjecturing-0.12' '/home/grant/SageMath/logs/pkgs/conjecturing-0.12.log' [conjecturing-0.12] Found local metadata for conjecturing-0.12 [conjecturing-0.12] Using cached file /home/grant/SageMath/upstream/conjecturing-0.12.tar.gz [conjecturing-0.12] conjecturing-0.12 [conjecturing-0.12] ==================================================== [conjecturing-0.12] Setting up build directory for conjecturing-0.12 [conjecturing-0.12] Finished extraction [conjecturing-0.12] No patch files found in ../patches [conjecturing-0.12] **** [conjecturing-0.12] spkg-install should not be marked executable in the build/pkgs directory [conjecturing-0.12] **** [conjecturing-0.12] Please email sage-devel (http://groups.google.com/group/sage-devel) [conjecturing-0.12] explaining the problem and including the log file [conjecturing-0.12] /home/grant/SageMath/logs/pkgs/conjecturing-0.12.log [conjecturing-0.12] Describe your computer, operating system, etc. [conjecturing-0.12] **** Makefile:2130: recipe for target '/home/grant/SageMath/local/var/lib/sage/installed/conjecturing-0.12' failed make[1]: *** [/home/grant/SageMath/local/var/lib/sage/installed/conjecturing-0.12] Error 1 make[1]: Leaving directory '/home/grant/SageMath/build/make'
real 47m6.393s user 43m28.368s sys 1m26.400s
Error building Sage.
The following package(s) may have failed to build (not necessarily during this run of 'make conjecturing'):
The build directory may contain configuration files and other potentially helpful information. WARNING: if you now run 'make' again, the build directory will, by default, be deleted. Set the environment variable conjecturing-0.12.log
SAGE_KEEP_BUILT_SPKGS to 'yes' to prevent this.
Makefile:31: recipe for target 'conjecturing' failed make: *** [conjecturing] Error 1 conjecturing-0.12.log
OK, thanks. I think I know how to solve this, but I just started a busy couple of days, so it might be until Wednesday before I can get around to fixing this. Sorry for the delay.
Just to be on the safe side: could you also post the content of /home/grant/SageMath/logs/pkgs/conjecturing-0.12.log? Just to be sure that there is not an additional problem.
No worries, and no hurry! Thank you for taking the time to help me with this. Here's the log:
Setting up build directory for conjecturing-0.12 Finished extraction No patch files found in ../patches
spkg-install should not be marked executable in the build/pkgs directory
Please email sage-devel (http://groups.google.com/group/sage-devel) explaining the problem and including the log file /home/grant/SageMath/logs/pkgs/conjecturing-0.12.log Describe your computer, operating system, etc.
You're running an old version of Sage, so I doubt any solution will be really helpful for future users. I will be contacting you separately via mail to try and resolve your specific situation.
I had the same issue in Sage 8.6. So it might be relevant.
On Wed, Mar 6, 2019 at 8:02 AM Nico Van Cleemput notifications@github.com wrote:
Closed #12 https://github.com/nvcleemp/conjecturing/issues/12.
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/nvcleemp/conjecturing/issues/12#event-2184053510, or mute the thread https://github.com/notifications/unsubscribe-auth/AXWafYt96vkr98CV7-z9LxDC68aIZ8H8ks5vT7x0gaJpZM4barAZ .
OK, good to know. I'll reopen it, and also test it for the newer versions of Sage I have running at the moment.
I've been on and off interested in this conjecturing software since Craig Larson gave a presentation on an earlier version of it at BYU in 2014. But when I try to run it, I get a "Broken Pipe" error. I am using
SageMath version 8.1, Release Date: 2017-12-07
installed on an Ubuntu 18.04.
When I try to run the toy example described in the README.md, I get the following error:
sage: attach("conjecturing.py") sage: attach("numbertheory.py") sage: objects = [5, 10] sage: conjecture(objects, invariants, 1)
IOError Traceback (most recent call last)