VertexAlgebra / CONCEPT
The final inverse chart evaluates to its rational function
Absolute evaluation of the original final inverse Laurent coefficients for every finite complex polynomial numerator.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES0
PROOF DEPTH15
DOCUMENT LINKS0
Joint absolute convergence and the exact Laurent sum
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
- Balanced native collisionstructural-affinity · Closed
- Coefficients of the native inversestructural-affinity · Closed
- Finite inverse-binomial coefficient fibersstructural-affinity · Closed
- Signed native monomial multiplicationstructural-affinity · Closed
- Supported middle reconstructionstructural-affinity · Closed
- SupportedMiddleCollisionstructural-affinity · Closed
- The native chart and its unitstructural-affinity · Closed
- ThreeFieldPolynomialCovariancestructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance