FoxDifferential.Completed.FiniteStage.Stage.Fundamental

2 sections | 2 files | 9 declarations

Finite quotient stages are used to compare completed Fox boundaries, derivatives, and relation modules with explicit finite group-algebra calculations.

Derivative

1 files | 6 declarations | 5 Theorem | 1 Definition

Linear extension of a descended finite-stage Fox derivative coordinate to the source group algebra.

Formula

1 files | 3 declarations | 3 Theorem

Finite-stage Fox fundamental formula on a source quotient basis element after mapping to the target group algebra.