repo.or.cz
/
polylib.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Merge pull request #3 from skimo-openhub/skimo/pr/distclean
[polylib.git]
/
Test
/
old
/
line3
blob
9f634d96bb62900e0ddeb6b3a7e5c8b4099203a3
1
# This test is a line at X=N, N>=0 in (X,N) space.
2
1 4
3
0 -1 1 0 X=N
4
1 3
5
1 1 0 N>=0
6
---------------------------------------
7
Domain :
8
P >= 0
9
1 >= 0
10
11
Vertices :
12
[ P ]