Arith / CONCEPT
Full CRT Blind Count and Distance
The full product range has maximal blind-coordinate count one below its length and exact distance one.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH3
DOCUMENT LINKS1
Full CRT range has no coordinate-error margin
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- Arbitrary Coordinate Erasure Criterionstructural-affinity · Closed
- Arbitrary Error Correction Capacitystructural-affinity · Closed
- Dynamic Range and Minimum Distance of Residue Codesstructural-affinity · Closed
- Exact Residue-Code Minimum Distancestructural-affinity · Closed
- Full CRT Dynamic Range Has No Correction Marginstructural-affinity · Closed
- Prime Observation Depth and Geometrystructural-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