GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
// The usual Header.1#include "loadgap.h"2#include "polymake_data.h"34#include <polymake/Main.h>5#include <polymake/Matrix.h>6#include <polymake/Rational.h>78#include <iostream>9#include <map>10#include <utility>1112using std::cerr;13using std::endl;14using std::string;15using std::map;16using std::pair;171819Obj REAL_CREATE_POLYTOPE_BY_POINTS( Polymake_Data* , Obj );202122Obj REAL_VERTICES_OF_POLYTOPE( Polymake_Data* , Obj );232425Obj REAL_CREATE_POLYTOPE_BY_INEQUALITIES( Polymake_Data*, Obj );262728Obj REAL_LATTICE_POINTS_OF_POLYTOPE( Polymake_Data*, Obj );293031Obj REAL_FACET_INEQUALITIES_OF_POLYTOPE( Polymake_Data*, Obj );323334Obj REAL_EQUALITIES_OF_POLYTOPE( Polymake_Data*, Obj );353637Obj REAL_INTERIOR_LATTICE_POINTS( Polymake_Data*, Obj );3839// New40Obj REAL_CREATE_POLYTOPE_BY_HOMOGENEOUS_POINTS( Polymake_Data*, Obj );414243Obj REAL_HOMOGENEOUS_POINTS_OF_POLYTOPE( Polymake_Data*, Obj );444546Obj REAL_TAIL_CONE_OF_POLYTOPE( Polymake_Data*, Obj );474849Obj REAL_MINKOWSKI_SUM( Polymake_Data*, Obj, Obj );505152Obj REAL_MULTIPLY_POLYTOPE_WITH_SCALAR( Polymake_Data*, Obj, Obj );535455Obj REAL_MINKOWSKI_SUM_WITH_COEFFICIENTS( Polymake_Data*, Obj, Obj, Obj, Obj );565758Obj REAL_LATTICE_POINTS_GENERATORS( Polymake_Data*, Obj );596061Obj REAL_INTERSECTION_OF_POLYTOPES( Polymake_Data*, Obj, Obj);6263