VertexAlgebra / CONCEPT
LocalResidues
Signed local residues for the complete middle Taylor equality
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES2
PROOF DEPTH27
DOCUMENT LINKS0
finite_forward_outer_taylor
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
- ActualReadoutstructural-affinity · Closed
- BinaryLaurentEvaluationstructural-affinity · Closed
- Homogeneous slice quotient compatibilitystructural-affinity · Closed
- LatticeHalfFockABOuterTaylorstructural-affinity · Closed
- LatticeHalfFockFirstOuterTaylorstructural-affinity · Closed
- LatticeHalfFockOuterTaylorEvaluationstructural-affinity · Closed
- Supported complete nested residue readoutsstructural-affinity · Closed
- The rational inner field and its ordered coefficientsstructural-affinity · Closed
- The rational inner field and its two supported ordersstructural-affinity · Closed
- Weighted local extraction for the actual two branchesstructural-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