File: line2

package info (click to toggle)
polylib 5.22.5-3%2Bdfsg
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd, stretch, wheezy
  • size: 14,444 kB
  • ctags: 52,958
  • sloc: ansic: 16,342; sh: 10,134; makefile: 560
file content (12 lines) | stat: -rw-r--r-- 181 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
 
# This test is a line at X=1 in (X,N) space.
1 4
0 -1 0 1	X=1
1 3
1  1 0		N>=0
---------------------------------------
Domain :
         P  >= 0
          1 >= 0
 
Vertices :
[ 1 ]