Broken Pipe Bug
grantmolnar opened this issue · comments
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)
in ()
----> 1 conjecture(objects, invariants, Integer(1))
/home/grant/Programs/conjecturing-0.12/sage/conjecturing.py in conjecture(objects, invariants, mainInvariant, variableName, time, debug, verbose, upperBound, operators, theory, precomputed)
447 stdin.write('{}\n'.format(float(get_value(invariantsDict[invariant], o))))
448 except:
--> 449 stdin.write('NaN\n')
450
451 if debug:
IOError: [Errno 32] Broken pipe
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:
Found local metadata for conjecturing-0.12
Using cached file /home/grant/SageMath/upstream/conjecturing-0.12.tar.gz
conjecturing-0.12
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.
OK, good to know. I'll reopen it, and also test it for the newer versions of Sage I have running at the moment.