GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
#! @BeginChunk NmzCone example #! @BeginExample cone := NmzCone(["integral_closure",[[2,1],[1,3]]]); #! <a Normaliz cone> #! @EndExample #! @EndChunk #! @BeginChunk NmzHasConeProperty example #! @BeginExample NmzHasConeProperty(cone, "ExtremeRays"); #! false #! @EndExample #! @EndChunk #! @BeginChunk NmzKnownConeProperties example #! @BeginExample NmzKnownConeProperties(cone); #! [ "Generators", "OriginalMonoidGenerators", "Sublattice" ] #! @EndExample #! @EndChunk #! @BeginChunk NmzCompute example #! @BeginExample NmzKnownConeProperties(cone); #! [ "Generators", "OriginalMonoidGenerators", "Sublattice" ] NmzCompute(cone, ["SupportHyperplanes", "IsPointed"]); #! true NmzKnownConeProperties(cone); #! [ "Generators", "ExtremeRays", "SupportHyperplanes", "IsPointed", #! "IsDeg1ExtremeRays", "OriginalMonoidGenerators", "Sublattice", #! "MaximalSubspace" ] NmzCompute(cone); #! true NmzKnownConeProperties(cone); #! [ "Generators", "ExtremeRays", "SupportHyperplanes", "TriangulationSize", #! "TriangulationDetSum", "HilbertBasis", "IsPointed", "IsDeg1ExtremeRays", #! "IsIntegrallyClosed", "OriginalMonoidGenerators", "Sublattice", #! "ClassGroup", "MaximalSubspace"] #! @EndExample #! @EndChunk