digraph structures {
graph[ranksep=0.4 nodesep=0.15 margin=0 ratio="compress" size="100,100"];
node[shape=box style=rounded margin=.04 width=0 height=0];
edge[arrowsize=.4];
////////////////////////////////////////////////////////////////////////////////
"Equality"[label="eqType"];
"Choice"[label="choiceType"];
"Countable"[label="countType"];
"Finite"[label="finType"];
"Order.POrder"[label="porderType"];
"Order.Lattice"[label="latticeType"];
"Order.BLattice"[label="bLatticeType"];
"Order.TBLattice"[label="tbLatticeType"];
"Order.DistrLattice"[label="distrLatticeType"];
"Order.BDistrLattice"[label="bDistrLatticeType"];
"Order.TBDistrLattice"[label="tbDistrLatticeType"];
"Order.Total"[label="orderType"];
"Order.CBDistrLattice"[label="cbDistrLatticeType"];
"Order.CTBDistrLattice"[label="ctbDistrLatticeType"];
"Order.FinPOrder"[label="finPOrderType"];
"Order.FinLattice"[label="finLatticeType"];
"Order.FinDistrLattice"[label="finDistrLatticeType"];
"Order.FinTotal"[label="finOrderType"];
"Order.FinCDistrLattice"[label="finCDistrLatticeType"];
"GRing.Zmodule"[label="zmodType"];
"GRing.Ring"[label="ringType"];
"GRing.ComRing"[label="comRingType"];
"GRing.UnitRing"[label="unitRingType"];
"GRing.ComUnitRing"[label="comUnitRingType"];
"GRing.IntegralDomain"[label="idomainType"];
"GRing.Field"[label="fieldType"];
"GRing.DecidableField"[label="decFieldType"];
"GRing.ClosedField"[label="closedFieldType"];
"GRing.Lmodule"[label="lmodType"];
"GRing.Lalgebra"[label="lalgType"];
"GRing.Algebra"[label="algType"];
"GRing.ComAlgebra"[label="comAlgType"];
"GRing.UnitAlgebra"[label="unitAlgType"];
"GRing.ComUnitAlgebra"[label="comUnitAlgType"];
"FinGroup"[label="finGroupType"];
"Num.NormedZmodule"[label="normedZmodType"];
"Num.NumDomain"[label="numDomainType"];
"Num.NumField"[label="numFieldType"];
"Num.ClosedField"[label="closedFieldType"];
"Num.RealDomain"[label="realDomainType"];
"Num.RealField"[label="realFieldType"];
"Num.ArchimedeanField"[label="archiFieldType"];
"Num.RealClosedField"[label="rcfType"];
"Vector"[label="vectType"];
"Falgebra"[label="FalgType"];
"FieldExt"[label="fieldExtType"];
"SplittingField"[label="splittingFieldType"];
"Pointed"[label="pointedType"];
"Filtered"[label="filteredType"];
"Topological"[label="topologicalType"];
"Uniform"[label="uniformType"];
"PseudoMetric"[label="pseudoMetricType"];
"PseudoMetricNormedZmodule"[label="pseudoMetricNormedZmodType"];
"NormedModule"[label="normedModType"];
"Complete"[label="completeType"];
"CompletePseudoMetric"[label="completePseudoMetricType"];
"CompleteNormedModule"[label="completeNormedModType"];
"Real"[label="realType"];
////////////////////////////////////////////////////////////////////////////////
"Choice" -> "Countable"[color=blue];
"Choice" -> "GRing.Zmodule"[color=blue];
"Choice" -> "Order.POrder"[color=blue];
"Choice" -> "Pointed"[color=blue];
"Complete" -> "CompletePseudoMetric"[color=blue];
"CompletePseudoMetric" -> "CompleteNormedModule"[color=blue];
"Countable" -> "Finite"[color=blue];
"Equality" -> "Choice"[color=blue];
"Falgebra" -> "FieldExt"[color=blue];
"FieldExt" -> "Num.NumField"[color=blue];
"FieldExt" -> "SplittingField"[color=blue];
"Filtered" -> "Topological"[color=blue];
"Finite" -> "FinGroup"[color=blue];
"Finite" -> "Order.FinPOrder"[color=blue];
"GRing.Algebra" -> "GRing.ComAlgebra"[color=blue];
"GRing.Algebra" -> "GRing.UnitAlgebra"[color=blue];
"GRing.ClosedField" -> "Num.ClosedField"[color=blue];
"GRing.ComAlgebra" -> "GRing.ComUnitAlgebra"[color=blue];
"GRing.ComRing" -> "GRing.ComAlgebra"[color=blue];
"GRing.ComRing" -> "GRing.ComUnitRing"[color=blue];
"GRing.ComUnitAlgebra" -> "FieldExt"[color=blue];
"GRing.ComUnitRing" -> "GRing.ComUnitAlgebra"[color=blue];
"GRing.ComUnitRing" -> "GRing.IntegralDomain"[color=blue];
"GRing.DecidableField" -> "GRing.ClosedField"[color=blue];
"GRing.Field" -> "FieldExt"[color=blue];
"GRing.Field" -> "GRing.DecidableField"[color=blue];
"GRing.IntegralDomain" -> "GRing.Field"[color=blue];
"GRing.IntegralDomain" -> "Num.NumDomain"[color=blue];
"GRing.Lalgebra" -> "GRing.Algebra"[color=blue];
"GRing.Lmodule" -> "GRing.Lalgebra"[color=blue];
"GRing.Lmodule" -> "NormedModule"[color=blue];
"GRing.Lmodule" -> "Vector"[color=blue];
"GRing.Ring" -> "GRing.ComRing"[color=blue];
"GRing.Ring" -> "GRing.Lalgebra"[color=blue];
"GRing.Ring" -> "GRing.UnitRing"[color=blue];
"GRing.UnitAlgebra" -> "Falgebra"[color=blue];
"GRing.UnitAlgebra" -> "GRing.ComUnitAlgebra"[color=blue];
"GRing.UnitRing" -> "GRing.ComUnitRing"[color=blue];
"GRing.UnitRing" -> "GRing.UnitAlgebra"[color=blue];
"GRing.Zmodule" -> "GRing.Lmodule"[color=blue];
"GRing.Zmodule" -> "GRing.Ring"[color=blue];
"GRing.Zmodule" -> "Num.NormedZmodule"[color=blue];
"NormedModule" -> "CompleteNormedModule"[color=blue];
"NormedModule" -> "Num.NumField"[color=blue];
"Num.ArchimedeanField" -> "Real"[color=blue];
"Num.NormedZmodule" -> "Num.NumDomain"[color=blue];
"Num.NormedZmodule" -> "PseudoMetricNormedZmodule"[color=blue];
"Num.NumDomain" -> "Num.NumField"[color=blue];
"Num.NumDomain" -> "Num.RealDomain"[color=blue];
"Num.NumField" -> "Num.ClosedField"[color=blue];
"Num.NumField" -> "Num.RealField"[color=blue];
"Num.RealClosedField" -> "Real"[color=blue];
"Num.RealDomain" -> "Num.RealField"[color=blue];
"Num.RealField" -> "Num.ArchimedeanField"[color=blue];
"Num.RealField" -> "Num.RealClosedField"[color=blue];
"Order.BDistrLattice" -> "Order.CBDistrLattice"[color=blue];
"Order.BDistrLattice" -> "Order.TBDistrLattice"[color=blue];
"Order.BLattice" -> "Order.BDistrLattice"[color=blue];
"Order.BLattice" -> "Order.TBLattice"[color=blue];
"Order.CBDistrLattice" -> "Order.CTBDistrLattice"[color=blue];
"Order.CTBDistrLattice" -> "Order.FinCDistrLattice"[color=blue];
"Order.DistrLattice" -> "Order.BDistrLattice"[color=blue];
"Order.DistrLattice" -> "Order.Total"[color=blue];
"Order.FinDistrLattice" -> "Order.FinCDistrLattice"[color=blue];
"Order.FinDistrLattice" -> "Order.FinTotal"[color=blue];
"Order.FinLattice" -> "Order.FinDistrLattice"[color=blue];
"Order.FinPOrder" -> "Order.FinLattice"[color=blue];
"Order.Lattice" -> "Order.BLattice"[color=blue];
"Order.Lattice" -> "Order.DistrLattice"[color=blue];
"Order.POrder" -> "Num.NumDomain"[color=blue];
"Order.POrder" -> "Order.FinPOrder"[color=blue];
"Order.POrder" -> "Order.Lattice"[color=blue];
"Order.TBDistrLattice" -> "Order.CTBDistrLattice"[color=blue];
"Order.TBDistrLattice" -> "Order.FinDistrLattice"[color=blue];
"Order.TBLattice" -> "Order.FinLattice"[color=blue];
"Order.TBLattice" -> "Order.TBDistrLattice"[color=blue];
"Order.Total" -> "Num.RealDomain"[color=blue];
"Order.Total" -> "Order.FinTotal"[color=blue];
"Pointed" -> "Filtered"[color=blue];
"PseudoMetric" -> "CompletePseudoMetric"[color=blue];
"PseudoMetric" -> "PseudoMetricNormedZmodule"[color=blue];
"PseudoMetricNormedZmodule" -> "NormedModule"[color=blue];
"Topological" -> "Uniform"[color=blue];
"Uniform" -> "Complete"[color=blue];
"Uniform" -> "PseudoMetric"[color=blue];
"Vector" -> "Falgebra"[color=blue];
}