fundamental_group#

Functions

alexander_fox_matrix(G)

Compute the Fox Jacobian of the finitely presented group G.

determinant(matrix)

Compute determinant of a square matrix recursively (Laplace expansion).

fox_derivative(relator, variable[, abelize])

∂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

fundamental_group(k)

Return a presentation of the fundamental group of the complement of k in S^3.

minor(matrix, row_indices, col_indices)

Extract submatrix given selected rows and columns.

minors(matrix)

multivariable_alexander_polynomial(k)

Return the multivariate Alexander polynomial of a knot or link.