forked from ooovi/Polyhedral
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathExperimental.lean
More file actions
25 lines (25 loc) · 957 Bytes
/
Experimental.lean
File metadata and controls
25 lines (25 loc) · 957 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
import Experimental.AbstractPolytope
import Experimental.Closure
import Experimental.DualTopology
import Experimental.Dual_Generic
import Experimental.Dual_WeakBilin
import Experimental.Duality
import Experimental.FG_experiments
import Experimental.Line
import Experimental.OfRank
import Experimental.PointedCone.Face.Faces2
import Experimental.PointedCone.Face.FaciallyExposed
import Experimental.PointedCone.Face.Lattice2
import Experimental.PointedCone.Face.Lineal
import Experimental.PointedCone.Face.SemiExposed
import Experimental.PointedCone.Relint
import Experimental.PointedCone._CoFG
import Experimental.PointedCone._FG
import Experimental.PointedCone._Field
import Experimental.PointedCone.«MinkowskiWeyl-2»
import Experimental.PointedCone.«MinkowskiWeyl-3»
import Experimental.Ray
import Experimental.Submodule'
import Experimental.Submodule.Exposed
import Experimental.Submodule.Restrict_RestrictScalars
import Experimental.Submodule._CoFG