Combinatorics / CONCEPT
Left composition of the coupled repaired digit maps
The coupled repaired digit construction has bounded forward digits and recovers both original permutations under the first front and back bounds.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH1
DOCUMENT LINKS1
Recovery of the original pair
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Constructive southeast Bruhat factorsstructural-affinity · Closed
- Exact cell cardinalitystructural-affinity · Closed
- Explicit factors and scalar fibersstructural-affinity · Closed
- List Inversions and Local Replacement Boundsstructural-affinity · Closed
- Ordered low-subword recoverystructural-affinity · Closed
- Ordinary contraction of forbidden countsstructural-affinity · Closed
- Scalar fiber actionstructural-affinity · Closed
- The repaired integer weightstructural-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