(* ========================================================================== *)
(* FLYSPECK - BOOK FORMALIZATION *)
(* *)
(* Lemma: Main Linear Programs *)
(* Chapter: *)
(* Author: Thomas C. Hales *)
(* Date: 2010-06-14 *)
(* ========================================================================== *)
(*
This file contains definitions related to the main linear programming model.
*)
(*
changes
delta0 -> sol0
*)
(* The model has a hypermap (D,e,n,f) with
set of nodes V, edges E, faces F,
std_faces_not_super : set of faces.
super8 : set of faces.
superduperq : set of faces.
....
declare a type for decorated hypermaps.
Each standard fan gives a decorated hypermap.
*)