{"app": "polytope", "embed": "wythoff.cc",
 "inst": [
  {"args": ["QuadraticExtension<Rational>"], "func": "tetrahedron", "include": ["polymake/QuadraticExtension.h", "polymake/Rational.h"], "sig": "tetrahedron:T1", "tp": "1"},
 null ],
"version": 3}
