︠6093ff32-6b19-4c34-b1d3-42fa906204b0s︠

T=vector([0,1,1,1,2,2,2,3]);
m1323=vector([0,1,1,1,1,2,2,2]); #13|23#
m1223=vector([0,1,1,1,2,2,2,2]); #12|23#
m1213=vector([0,1,1,1,2,1,2,2]); #12|13#
M13 = vector([0,1,0,1,1,1,2,2]); #13#
M23 = vector([0,0,1,1,1,2,1,2]); #23#
M12 = vector([0,1,1,0,2,1,1,2]); #12#
m123= vector([0,1,1,1,1,1,1,1]); #1|2|3#
m12 = vector([0,1,1,0,1,1,1,1]); #1|2#
m23 = vector([0,0,1,1,1,1,1,1]); #2|3#
m3 = vector([0,0,0,1,0,1,1,1]); #3#
m2 = vector([0,0,1,0,1,1,0,1]); #2#
m1 = vector([0,1,0,0,1,0,1,1]); #1#

#Politopos
p1323=Polyhedron(vertices = [[1,0,1], [0,1,1]]); #13|23
p1223=Polyhedron(vertices = [[1,1,0], [0,1,1],[1,0,1]]); #12|13|23
p1213=Polyhedron(vertices = [[1,1,0], [1,0,1]]); #12|13
P13=Polyhedron(vertices = [[1,0,1]]); #13
P23=Polyhedron(vertices = [[0,1,1]]); #23
P12=Polyhedron(vertices = [[1,1,0]]); #12
p123=Polyhedron(vertices = [[1,0,0],[0,1,0],[0,0,1]]); #1|2|3
p12=Polyhedron(vertices = [[1,0,0],[0,1,0]]); #1|2
p23=Polyhedron(vertices = [[0,1,0],[0,0,1]]); #2|3
p3=Polyhedron(vertices = [[0,0,1]]); #3
p2=Polyhedron(vertices = [[0,1,0]]); #2
p1=Polyhedron(vertices = [[1,0,0]]); #1
U=Polyhedron(vertices = [[1,1,1]]); #123

#Pban
F1=p123+p1323+U; #cociente1 1|2|3|<13|23#
F2=p12+p1323+U; #cociente2 1|2<13|23#
F3=p12+p1223+U; #cociente3 1|2<12|23#
F4=p3+p1323+U; #cociente4 3<13|23#
F5=p123+p1223+U; #cociente5 1|2|3<12|23#
F6=p23+p1223+U; #cociente6 2|3<12|23#
F7=p123+p1213+U; #cociente5 1|2|3<12|13#
F8=p23+p1213+U; #cociente5 2|3<12|13#
F9=p1+p1213+U; #cociente5 1<12|13#
F10=p3+P13+U; #cociente5 3<13#
F11=p1+P13+U; #cociente5 1<13#
F12=p3+P23+U; #cociente5 3<23#
F13=p23+P23+U; #cociente5 2|3<23#
F14=p2+P23+U; #cociente5 2<23#
F15=p12+P12+U; #cociente5 1|2<12#
F16=p2+P12+U; #cociente5 2<12#
F17=p1+P12+U; #cociente5 1<12#

#EhrhartP

#Politopos
p1323=Polyhedron(vertices = [[1,0,1], [0,1,1]]); #13|23
p1223=Polyhedron(vertices = [[1,1,0], [0,1,1],[1,0,1]]); #12|13|23
p1213=Polyhedron(vertices = [[1,1,0], [1,0,1]]); #12|13
P13=Polyhedron(vertices = [[1,0,1]]); #13
P23=Polyhedron(vertices = [[0,1,1]]); #23
P12=Polyhedron(vertices = [[1,1,0]]); #12
p123=Polyhedron(vertices = [[1,0,0],[0,1,0],[0,0,1]]); #1|2|3
p12=Polyhedron(vertices = [[1,0,0],[0,1,0]]); #1|2
p23=Polyhedron(vertices = [[0,1,0],[0,0,1]]); #2|3
p3=Polyhedron(vertices = [[0,0,1]]); #3
p2=Polyhedron(vertices = [[0,1,0]]); #2
p1=Polyhedron(vertices = [[1,0,0]]); #1
U=Polyhedron(vertices = [[1,1,1]]); #123

#Pban
F1=p123+p1323+U; #cociente1 1|2|3|<13|23#
F2=p12+p1323+U; #cociente2 1|2<13|23#
F3=p12+p1223+U; #cociente3 1|2<12|23#
F4=p3+p1323+U; #cociente4 3<13|23#
F5=p123+p1223+U; #cociente5 1|2|3<12|23#
F6=p23+p1223+U; #cociente6 2|3<12|23#
F7=p123+p1213+U; #cociente5 1|2|3<12|13#
F8=p23+p1213+U; #cociente5 2|3<12|13#
F9=p1+p1213+U; #cociente5 1<12|13#
F10=p3+P13+U; #cociente5 3<13#
F11=p1+P13+U; #cociente5 1<13#
F12=p3+P23+U; #cociente5 3<23#
F13=p23+P23+U; #cociente5 2|3<23#
F14=p2+P23+U; #cociente5 2<23#
F15=p12+P12+U; #cociente5 1|2<12#
F16=p2+P12+U; #cociente5 2<12#
F17=p1+P12+U; #cociente5 1<12#

#EhrhartP

Pol1=F1.ehrhart_polynomial()
print('Bandera1:',Pol1)
Pol2=F2.ehrhart_polynomial()
print('Bandera2:',Pol2)
Pol3=F3.ehrhart_polynomial()
print('Bandera3:',Pol3)
Pol4=F4.ehrhart_polynomial()
print('Bandera4:',Pol4)
Pol5=F5.ehrhart_polynomial()
print('Bandera5:',Pol5)
Pol6=F6.ehrhart_polynomial()
print('Bandera6:',Pol6)
Pol7=F7.ehrhart_polynomial()
print('Bandera7:',Pol7)
Pol8=F8.ehrhart_polynomial()
print('Bandera8:',Pol8)
Pol9=F9.ehrhart_polynomial()
print('Bandera9:',Pol9)
#Pol10=F10.ehrhart_polynomial()
print('Bandera10: es un punto')
#Pol11=F11.ehrhart_polynomial()
print('Bandera11: es un punto')
#Pol12=F12.ehrhart_polynomial()
print('Bandera12: es un punto')
Pol13=F13.ehrhart_polynomial()
print('Bandera13:',Pol13)
#Pol14=F14.ehrhart_polynomial()
print('Bandera14: es un punto')
Pol15=F15.ehrhart_polynomial()
print('Bandera15:',Pol15)
#Pol16=F16.ehrhart_polynomial()
print('Bandera16: es un punto')
#Pol17=F17.ehrhart_polynomial()
print('Bandera17: es un punto')