examples/demo.py crash
bernecky opened this issue · 4 comments
bernecky commented
I am running islpy-2018.1 and demo.py crashes around line 13 of the above file.
Adding ",context=ctx" to that fixes the problem:
bset2 = isl.BasicSet("{[x, y] : x >= 0 and x < 5 and y >= 0 and y < x+4 }",
context=ctx)
Robert
inducer commented
What error message are you seeing? If it's a segfault, could you provide a backtrace through gdb? What version of islpy? Did you build with the shipped version of isl? If not, what build options? What type of machine?
bernecky commented
Hi,
I am sorry to be been sloppy on that bug report...
I ran into the fault while looking at examples/demo.py vs. the shorter
version of that code
here, at "sit back and watch":
https://documen.tician.de/islpy/
The former has no reference to "context=ctx" in the line that defines bset2.
The latter does.
I downloaded and installed islpy yesterday, here:
sac@rattler:~/islpy/islpy-2018.1/examples$ ls -l
total 4
-rw-r--r-- 1 sac sac 2569 Dec 31 2016 demo.py
Here is the failure mode on my Ubuntu16.04LTS system:
sac@rattler:~/islpy/islpy-2018.1/examples$ python demo.py
set 1 { [x, y] : 0 < x <= 5 and 0 < y <= 5 }:
set 2: { [x, y] : 0 <= x <= 4 and 0 <= y <= 3 + x }
Traceback (most recent call last):
File "demo.py", line 17, in <module>
bset.union(bset2).convex_hull().foreach_basic_set(bsets_in_union.append)
File "build/bdist.linux-x86_64/egg/islpy/__init__.py", line 878, in
wrapper
File "build/bdist.linux-x86_64/egg/islpy/__init__.py", line 878, in
wrapper
File "build/bdist.linux-x86_64/egg/islpy/_isl.py", line 47258, in union
islpy._isl.Error: mismatched context in bset2
Now, I patch demo.py (as crud.py) to match (up to bset2) the code in the
islpy web page:
sac@rattler:~/islpy/islpy-2018.1/examples$ cp demo.py crud.py
sac@rattler:~/islpy/islpy-2018.1/examples$ vi crud.py
sac@rattler:~/islpy/islpy-2018.1/examples$ python crud.py
set 1 { [x, y] : 0 < x <= 5 and 0 < y <= 5 }:
set 2: { [x, y] : 0 <= x <= 4 and 0 <= y <= 3 + x }
[BasicSet("{ [x, y] : 0 <= x <= 5 and y >= -4 + x and 0 <= y <= 15 - 2x
and y <= 3 + 2x and 3y <= 13 + 2x }")]
union: { [x, y] : 0 <= x <= 5 and y >= -4 + x and 0 <= y <= 15 - 2x and
y <= 3 + 2x and 3y <= 13 + 2x }
Traceback (most recent call last):
File "crud.py", line 24, in <module>
import matplotlib.pyplot as pt
ImportError: No module named matplotlib.pyplot
sac@rattler:~/islpy/islpy-2018.1/examples$ diff demo.py crud.py
13c13,14
< bset2 = isl.BasicSet("{[x, y] : x >= 0 and x < 5 and y >= 0 and y <
x+4 }")
---
bset2 = isl.BasicSet("{[x, y] : x >= 0 and x < 5 and y >= 0 and y <
x+4 }",
context=ctx)
I am running this version of python:
sac@rattler:~/islpy/islpy-2018.1/examples$ python --version
Python 2.7.12
So, demo.py still fails, but that's my problem with pyplot. It does
print the BasicSet and the union.
I may have a stale python/islpy or other rubbish kicking around on this
system, though.
I have not looked for them...
I built islpy with defaults, as I recall, so if it uses my previously
installed version of isl, that's
what I have. If it uses the version of isl that ships with islpy, then
that's what came with
the package. There is, of course, some chance that we are ending up with
a mix of whatever
version of isl is in islpy and my installed version of isl, which I
think is isl-0.17.
Robert
…On 2018-05-29 07:47 AM, Andreas Klöckner wrote:
What error message are you seeing? If it's a segfault, could you
provide a backtrace through |gdb|? What version of islpy? Did you
build with the shipped version of isl? If not, what build options?
What type of machine?
—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub
<#16 (comment)>,
or mute the thread
<https://github.com/notifications/unsubscribe-auth/AWawLozepLefnD9lqTBYsgvxknrkgyhgks5t3TU1gaJpZM4UQlSK>.
--
Robert Bernecky
Snake Island Research Inc
18 Fifth Street
Ward's Island
Toronto, Ontario M5J 2B9
bernecky@snakeisland.com
tel: +1 416 203 0854
text/cell: +1 416 996 4286
inducer commented
The former has no reference to "context=ctx" in the line that defines bset2. The latter does.
You're right, that was broken. Thanks for the report, fixed in 9a414b1. Docs should auto-update in a bit.
This:
ImportError: No module named matplotlib.pyplot
just means you need to install matplotlib to see the plot.
As a side note, it's good practice to enclose listings in triple backquotes: https://guides.github.com/features/mastering-markdown/#GitHub-flavored-markdown
bernecky commented
Thanks on all counts!
Robert
…On 2018-05-29 12:39 PM, Andreas Klöckner wrote:
The former has no reference to "context=ctx" in the line that
defines bset2. The latter does.
You're right, that was broken. Thanks for the report, fixed in 9a414b1
<9a414b1>.
Docs should auto-update in a bit.
This:
|ImportError: No module named matplotlib.pyplot |
just means you need to install matplotlib to see the plot.
As a side note, it's good practice to enclose listings in triple
backquotes:
https://guides.github.com/features/mastering-markdown/#GitHub-flavored-markdown
—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub
<#16 (comment)>,
or mute the thread
<https://github.com/notifications/unsubscribe-auth/AWawLgnm0HDyhNlzypqDF5BZYEBHHEZYks5t3XnWgaJpZM4UQlSK>.
--
Robert Bernecky
Snake Island Research Inc
18 Fifth Street
Ward's Island
Toronto, Ontario M5J 2B9
bernecky@snakeisland.com
tel: +1 416 203 0854
text/cell: +1 416 996 4286