Lab for Automated Reasoning and Analysis LARA

Non-Redundant Integer Cones of Dimension 5

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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