Recurrence / CONCEPT
Lucas Companion Traces and Dyadic Zeros
Companion traces, equality of periods when two is a unit, and the dyadic positive-zero criterion; Questions 5.3 and 5.4 remain outside this module's scope.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES6
PROOF DEPTH1
DOCUMENT LINKS1
The shape of every integer companion power
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- Even Lucas Periodstruth-dependency · Closed
- Fibonacci Power Strong Divisibilitytruth-dependency · Closed
- Finite Fibonacci Sampling Smith Defecttruth-dependency · Closed
- Lucas Vertical Slicestruth-dependency · Closed
- The Number of Zeros in a Period Is Not Confined to Twotruth-dependency · Closed
- Trureturingtruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Even Lucas Periodsstructural-affinity · Closed
- Fibonacci Power Strong Divisibilitystructural-affinity · Closed
- Finite Fibonacci Sampling Smith Defectstructural-affinity · Closed
- Finite Integral Column Normalizationstructural-affinity · Closed
- Lucas Descent for Even Modulistructural-affinity · Closed
- Lucas Vertical Slicesstructural-affinity · Closed
- The Number of Zeros in a Period Is Not Confined to Twostructural-affinity · Closed
- Trureturingstructural-affinity · Closed
- Vajda's Fibonacci Identitystructural-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