Geometry / CONCEPT
The finite vertices of the same common body
The common six-length cut simplex is exactly the convex hull of twelve labeled endpoints.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES6
PROOF DEPTH4
DOCUMENT LINKS1
No additional extreme points
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- A cap support trace is an endpoint hulltruth-dependency · Closed
- Affine independence from two support tracestruth-dependency · Closed
- Barycenter support-ratio exittruth-dependency · Closed
- Convex hull of a common supporting tracetruth-dependency · Closed
- Original side traces, twenty-cell cover and null overlapstruth-dependency · Closed
- The original coefficient segment and every ambient between-pointtruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- A cap support trace is an endpoint hullstructural-affinity · Closed
- Affine independence from two support tracesstructural-affinity · Closed
- Barycenter support-ratio exitstructural-affinity · Closed
- Convex hull of a common supporting tracestructural-affinity · Closed
- Cyclic hyperbolic sector supportstructural-affinity · Closed
- Finite support ratio exitstructural-affinity · Closed
- Finite support regions in an actual hyperbolic planestructural-affinity · Closed
- Hausdorff density in each natural dimensionstructural-affinity · Closed
- Hyperbolic completenessstructural-affinity · Closed
- Hyperbolic topologystructural-affinity · Closed
- Hyperbolic upper half-space metricstructural-affinity · Closed
- Inverse-Gram Dual Metricstructural-affinity · Closed
- Inverse-Gram Dual Pairingstructural-affinity · Closed
- Native Hausdorff densitystructural-affinity · Closed
- Nondegeneracy of the twenty original coefficient cellsstructural-affinity · Closed
- One shared body from the actual length Gram matrixstructural-affinity · Closed
- Original side traces, twenty-cell cover and null overlapsstructural-affinity · Closed
- Positive Diagonal of the Inverse Length Gram Matrixstructural-affinity · Closed
- Radial Image as a Gram Halfspace Slicestructural-affinity · Closed
- The determinant of a Lorentz Gram matrixstructural-affinity · Closed
- The original coefficient segment and every ambient between-pointstructural-affinity · Closed
- Unit Normals from the Inverse-Gram Dual Basisstructural-affinity · Closed
- Unit tangent rays in the original hyperbolic metricstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance