Skip to content
Snippets Groups Projects
Commit 9a414b1e authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Fix context management in demo.py (closes #16 on github)

parent cdbd5c66
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 2 deletions
examples/demo.py
+ 1
− 2
View file @ 9a414b1e
import islpy as isl import islpy as isl
ctx = isl.Context() space = isl.Space.create_from_names(isl.DEFAULT_CONTEXT, set=["x", "y"])
space = isl.Space.create_from_names(ctx, set=["x", "y"])
bset = (isl.BasicSet.universe(space) bset = (isl.BasicSet.universe(space)
.add_constraint(isl.Constraint.ineq_from_names(space, {1: -1, "x": 1})) .add_constraint(isl.Constraint.ineq_from_names(space, {1: -1, "x": 1}))
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment