ProCGroups.FoxDifferential.Discrete.Jacobian

3 sections | 3 files | 31 declarations

This aggregate re-exports the following parts of the Fox differential API:

Discrete.Jacobian.Automorphism

import

ProCGroups.FoxDifferential.Discrete.Jacobian.Automorphism

Imported by

ProCGroups.FoxDifferential.Discrete

Automorphism

1 file | 7 declarations | 6 Theorems | 1 Definition

The principal declarations in this module are: - `freeGroupAutomorphismFoxJacobianMatrixInverse` The named inverse matrix for the Fox Jacobian of a free-group automorphism. For ...

Basic

1 file | 14 declarations | 10 Theorems | 4 Definitions

The principal declarations in this module are: - `freeGroupHomFoxJacobian` The relative Fox Jacobian of \(\varphi : \mathrm{FreeGroup}(X) \to \mathrm{FreeGroup}(Y)\), with coeff...

ChainRule

1 file | 10 declarations | 9 Theorems | 1 Definition

The principal declarations in this module are: - `relativeFreeGroupFoxHom_comp` The composed derivative \(w \mapsto D(\varphi(w))\) is a crossed differential. - `relativeFreeGro...