AlexanderPolynomial(K):: PureCubicalComplex --> Polynomial
AlexanderPolynomial(K):: PurePermComplex --> Polynomial
AlexanderPolynomial(G):: FpGroup --> Polynomial

Inputs a 3-dimensional pure cubical or pure permutahdral complex K representing a knot and returns the Alexander polynomial of the fundamental group G = \pi_1(\mathbb R^3\setminus K).

Inputs a finitely presented group G with infinite cyclic abelianization and returns its Alexander polynomial.