{
   "descend": {
      "fan::PlanarNet": {
         "POLYTOPE": "polytope::Polytope"
      },
      "fan::PolyhedralFan": {
         "DUAL_GRAPH": "graph::Graph",
         "GRAPH": "graph::Graph",
         "HASSE_DIAGRAM": "graph::Lattice",
         "INTERSECTION_COMPLEX": "topaz::SimplicialComplex"
      },
      "fan::SubdivisionOfPoints": {
         "POLYHEDRAL_COMPLEX": "fan::PolyhedralComplex",
         "TIGHT_SPAN": "fan::PolyhedralComplex"
      },
      "fulton::CyclicQuotient": {
         "VERSAL_COMPONENT": "fulton::VersalComponent"
      },
      "fulton::NormalToricVariety": {
         "DIVISOR": "fulton::TDivisor",
         "EFFECTIVE_CONE": "polytope::Cone",
         "GENERATING_POLYTOPE": "polytope::Polytope",
         "MORI_CONE": "polytope::Cone",
         "NEF_CONE": "polytope::Cone",
         "RATIONAL_DIVISOR_CLASS_GROUP": "fulton::RationalDivisorClassGroup"
      },
      "fulton::TDivisor": {
         "SECTION_POLYTOPE": "polytope::Polytope"
      },
      "fulton::VersalComponent": {
         "N_GON_TRIANGULATION": "graph::Graph",
         "P_RESOLUTION": "fan::PolyhedralFan",
         "TOTAL_SPACE": "ideal::Ideal"
      },
      "group::Group": {
         "FACETS_ACTION": "group::PermutationAction",
         "HOMOGENEOUS_COORDINATE_ACTION": "group::PermutationAction",
         "IMPLICIT_SET_ACTION": "group::ImplicitActionOnSets",
         "INEQUALITIES_ACTION": "group::PermutationAction",
         "INPUT_RAYS_ACTION": "group::PermutationAction",
         "MAXIMAL_CONES_ACTION": "group::PermutationAction",
         "PERMUTATION_ACTION": "group::PermutationAction",
         "RAYS_ACTION": "group::PermutationAction",
         "SET_ACTION": "group::PermutationAction",
         "SYMMETRIZED_COCIRCUIT_EQUATIONS": "polytope::SymmetrizedCocircuitEquations",
         "VECTOR_ACTION": "group::PermutationAction"
      },
      "ideal::Groebner": {
         "INITIAL_IDEAL": "ideal::Ideal"
      },
      "ideal::Ideal": {
         "GROEBNER": "ideal::Groebner",
         "PRIMARY_DECOMPOSITION": "ideal::Ideal",
         "RADICAL": "ideal::Ideal"
      },
      "matroid::Matroid": {
         "AUTOMORPHISM_GROUP": "group::Group",
         "DUAL": "matroid::Matroid",
         "LATTICE_OF_CYCLIC_FLATS": "graph::Lattice",
         "LATTICE_OF_FLATS": "graph::Lattice",
         "POLYTOPE": "polytope::Polytope"
      },
      "polytope::Cone": {
         "DUAL_GRAPH": "graph::Graph",
         "GRAPH": "graph::Graph",
         "GROUP": [
            "group::Group",
            {
               "BITSET_ACTION": "group::ImplicitActionOnSets",
               "MATRIX_GROUP_ACTION": "group::MatrixGroupActionOnVectors"
            }
         ],
         "HASSE_DIAGRAM": "graph::Lattice",
         "TRIANGULATION": "topaz::GeometricSimplicialComplex"
      },
      "polytope::LinearProgram": {
         "DIRECTED_BOUNDED_GRAPH": "graph::Graph",
         "DIRECTED_GRAPH": "graph::Graph"
      },
      "polytope::PointConfiguration": {
         "CONVEX_HULL": "polytope::Polytope",
         "GRAPH": "graph::Graph",
         "POLYTOPAL_SUBDIVISION": "fan::SubdivisionOfPoints",
         "SPLIT_COMPATIBILITY_GRAPH": "graph::Graph",
         "TRIANGULATION": "topaz::GeometricSimplicialComplex"
      },
      "polytope::Polytope": {
         "BOUNDED_COMPLEX": "fan::PolyhedralComplex",
         "GROUP": [
            "group::Group",
            {
               "COORDINATE_ACTION": [
                  "group::PermutationAction",
                  {
                     "NOP_GRAPH": "graph::Graph"
                  }
               ]
            }
         ],
         "LP": "polytope::LinearProgram",
         "POLYTOPAL_SUBDIVISION": "fan::SubdivisionOfPoints",
         "QUOTIENT_SPACE": "polytope::QuotientSpace",
         "SCHLEGEL_DIAGRAM": "polytope::SchlegelDiagram",
         "SPLIT_COMPATIBILITY_GRAPH": "graph::Graph",
         "TILING_LATTICE": "polytope::AffineLattice"
      },
      "polytope::PropagatedPolytope": {
         "SUM_PRODUCT_GRAPH": "graph::Graph"
      },
      "polytope::QuotientSpace": {
         "IDENTIFICATION_ACTION": "group::PermutationAction",
         "SIMPLICIAL_COMPLEX": "topaz::SimplicialComplex",
         "SYMMETRY_GROUP": "group::Group"
      },
      "polytope::VectorConfiguration": {
         "GROUP": "group::Group"
      },
      "polytope::VoronoiDiagram": {
         "CRUST_GRAPH": "graph::Graph",
         "DELAUNAY_GRAPH": "graph::Graph",
         "ITERATED_DELAUNAY_GRAPH": "graph::Graph",
         "ITERATED_VORONOI_GRAPH": "graph::GeometricGraph",
         "NN_CRUST_GRAPH": "graph::Graph",
         "NN_GRAPH": "graph::Graph",
         "VORONOI_GRAPH": "graph::GeometricGraph"
      },
      "topaz::SimplicialComplex": {
         "BOUNDARY": "topaz::SimplicialComplex",
         "DUAL_GRAPH": "graph::Graph",
         "GRAPH": "graph::Graph",
         "GROUP": "group::Group",
         "HASSE_DIAGRAM": "graph::Lattice",
         "MIXED_GRAPH": "graph::Graph",
         "ODD_SUBCOMPLEX": "topaz::SimplicialComplex"
      },
      "tropical::Cycle": {
         "WEIGHT_CONE": "polytope::Cone"
      },
      "tropical::Hypersurface": {
         "DOME": "polytope::Polytope"
      },
      "tropical::LinesInCubic": {
         "CUBIC": "tropical::Cycle",
         "LIST_FAMILY_FIXED_EDGE": "tropical::Cycle",
         "LIST_FAMILY_FIXED_VERTEX": "tropical::Cycle",
         "LIST_FAMILY_MOVING_EDGE": "tropical::Cycle",
         "LIST_FAMILY_MOVING_VERTEX": "tropical::Cycle",
         "LIST_ISOLATED_EDGE": "tropical::Cycle",
         "LIST_ISOLATED_NO_EDGE": "tropical::Cycle"
      },
      "tropical::Morphism": {
         "DOMAIN": "tropical::Cycle"
      },
      "tropical::Polytope": {
         "DOME": "polytope::Polytope",
         "ENVELOPE": "polytope::Polytope",
         "POLYTOPE_COVECTOR_DECOMPOSITION": "tropical::CovectorLattice",
         "TORUS_COVECTOR_DECOMPOSITION": "tropical::CovectorLattice"
      },
      "tropical::RationalCurve": {
         "GRAPH": "graph::Graph"
      },
      "tropical::RationalFunction": {
         "DOMAIN": "tropical::Cycle"
      }
   },
   "super": {
      "fan::PlanarNet": [
         "fan::PolyhedralComplex",
         "fan::PolyhedralFan"
      ],
      "fan::PolyhedralComplex": [
         "fan::PolyhedralFan"
      ],
      "fan::SubdivisionOfPoints": [
         "fan::SubdivisionOfVectors"
      ],
      "fan::SymmetricFan": [
         "fan::PolyhedralFan"
      ],
      "fulton::BinomialIdeal": [
         "ideal::Ideal"
      ],
      "fulton::CyclicQuotient": [
         "fan::PolyhedralFan",
         "fulton::NormalToricVariety"
      ],
      "fulton::NormalToricVariety": [
         "fan::PolyhedralFan"
      ],
      "graph::GeometricGraph": [
         "graph::Graph"
      ],
      "graph::Lattice": [
         "graph::Graph"
      ],
      "group::ImplicitActionOnSets": [
         "group::Action",
         "group::PermutationAction"
      ],
      "group::MatrixGroupActionOnVectors": [
         "group::Action"
      ],
      "group::PermutationAction": [
         "group::Action"
      ],
      "group::PermutationActionOnSets": [
         "group::Action",
         "group::PermutationAction"
      ],
      "matroid::ValuatedMatroid": [
         "matroid::Matroid"
      ],
      "polytope::PointConfiguration": [
         "polytope::VectorConfiguration"
      ],
      "polytope::Polytope": [
         "polytope::Cone"
      ],
      "polytope::PropagatedPolytope": [
         "polytope::Cone",
         "polytope::Polytope"
      ],
      "polytope::VoronoiDiagram": [
         "polytope::Cone",
         "polytope::Polytope"
      ],
      "topaz::GeometricSimplicialComplex": [
         "topaz::SimplicialComplex"
      ],
      "tropical::CovectorLattice": [
         "graph::Graph",
         "graph::Lattice"
      ],
      "tropical::Cycle": [
         "fan::PolyhedralComplex",
         "fan::PolyhedralFan"
      ],
      "tropical::Hypersurface": [
         "fan::PolyhedralComplex",
         "fan::PolyhedralFan",
         "tropical::Cycle"
      ],
      "tropical::MatroidRingCycle": [
         "fan::PolyhedralComplex",
         "fan::PolyhedralFan",
         "tropical::Cycle"
      ]
   }
}
