Lab for Automated Reasoning and Analysis LARA

Non-Redundant Integer Cones of Dimension 4

These are maximal NICGs of dimension 4, modulo column and row permutations. Each of them has 5 vectors of dimension 4.

0 0 0 1 1 
0 0 1 0 1 
0 1 1 1 0 
1 1 0 0 0 

0 0 0 1 1 
0 0 1 0 1 
0 1 1 1 0 
1 1 0 0 1 

0 0 0 1 1 
0 0 1 0 1 
0 1 1 1 0 
1 1 0 1 1 

0 0 1 1 1 
0 1 0 1 1 
0 1 1 0 1 
1 0 0 0 1 

0 0 0 1 1 
0 1 1 0 0 
1 0 1 0 1 
1 1 0 1 1 

0 0 0 1 1 
0 1 1 0 1 
1 0 1 0 1 
1 1 0 1 0 

0 0 0 1 1 
0 1 1 0 1 
1 0 1 1 1 
1 1 0 1 1 

0 0 0 1 1 
0 1 1 0 1 
1 0 1 0 1 
1 1 1 1 0 

0 0 0 1 1 
0 1 1 0 1 
1 0 1 1 1 
1 1 1 1 0 

0 0 1 1 1 
0 1 0 1 1 
1 0 0 1 1 
1 1 1 0 1 

0 0 1 1 1 
0 1 0 1 1 
1 1 1 0 1 
1 1 1 1 0 
 
bapa/nicg-four.txt · Last modified: 2011/02/10 23:25 by vkuncak
 
© EPFL 2018 - Legal notice