SD14PolytopeDemo
system:sage

{{{id=0|
m = matrix(ZZ, 3,10, [ZZ.random_element(-3,3) for i in (1..30)])
///
}}}

{{{id=1|
m
///
}}}

{{{id=2|
p = LatticePolytope(m)
///
}}}

{{{id=27|
p
///
}}}

{{{id=3|
p.vertices()
///
}}}

{{{id=4|
p.nvertices()
///
}}}

{{{id=5|
p.points()
///
}}}

{{{id=28|
p.npoints()
///
}}}

{{{id=6|
@interact
def f(fo=slider(0,1,0.1,default=1)):
    p.plot3d(facet_opacity=fo, show_pindices=False).show(frame=False)
///
}}}

{{{id=7|
p.is_reflexive()
///
}}}

{{{id=8|
p.nef_partitions()
///
}}}

{{{id=9|
p = ReflexivePolytope(3, 30)
///
}}}

{{{id=10|
p.is_reflexive()
///
}}}

{{{id=11|
p.plot3d().show(frame=False)
///
}}}

{{{id=12|
pp = p.polar()
pp
///
}}}

{{{id=13|
p.polar().plot3d().show(frame=False)
///
}}}

{{{id=14|
pp.index()
///
}}}

{{{id=15|
rp4250 = ReflexivePolytope(3, 4250)
rp4250.plot3d().show(frame=False)
///
}}}

{{{id=16|
rp4250.vertices()
///
}}}

{{{id=17|
pp.vertices()
///
}}}

{{{id=18|
pp.normal_form()
///
}}}

{{{id=19|
pp.faces(dim=1)
///
}}}

{{{id=20|
pp.faces(codim=2)
///
}}}

{{{id=21|
f = pp.faces(dim=1)[5]
///
}}}

{{{id=22|
f.points()
///
}}}

{{{id=30|
pp.points().matrix_from_columns(f.points())
///
}}}

{{{id=23|
f.ninterior_points()
///
}}}

{{{id=25|
p.nef_partitions()
///
}}}

{{{id=26|
np = p.nef_partitions()[0]
///
}}}

{{{id=31|
np.dual().polytope().plot3d()
///
}}}

{{{id=32|

///
}}}