fox_derivative#

fox_derivative(relator: FreeGroupElement, variable, abelize=True)#

∂x_j/∂x_i = 1 if i == j else 0 ∂e/∂x_i = 0 ∂(uv)/∂x_i = ∂u/∂x_i + u * ∂v/∂x_i ∂(u**-1)/∂x_i = - u**-1 * ∂u/∂x_i

Exanmple: d(x * y * x * y**-1 * x**-1 * y**-1)/dx = 1 + xy - xyxy^-1 x^-1 Args: