File: redtest.ine

package info (click to toggle)
lrslib 0.42c-1
  • links: PTS, VCS
  • area: main
  • in suites: squeeze, wheezy
  • size: 1,220 kB
  • ctags: 922
  • sloc: ansic: 7,531; xml: 555; makefile: 91
file content (17 lines) | stat: -rw-r--r-- 190 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
cube
*cube of side 2 centred at origin
linearity 4 1 2 5 6
H-representation
begin
9  4 rational
1 1 0 0
-1 -1 0 0
1 0 1 0
1 0 0 1
0 0 0 0
0 0 0 0
1 -1 0 0
1 0 -1 0
1 0 0 -1
end
printcobasis