AlexanderPolynomial.xml

<Verb>AlexanderPolynomial(K):: PureCubicalComplex --> Polynomial</Verb>
<Verb>AlexanderPolynomial(K):: PurePermComplex --> Polynomial</Verb>
<Verb>AlexanderPolynomial(G):: FpGroup --> Polynomial</Verb><P/>


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

<P/> Inputs a finitely presented group <M>G</M> with infinite cyclic abelianization and returns its Alexander polynomial.