<Verb>IsAspherical(F,R):: FreeGroup, List --> Boolean</Verb><P/>

<P/> Inputs a free group  <M>F</M> and a list <M>R</M> of words in <M>F</M>. 
The function attempts to test if the quotient group 
<M>G=F/\langle R \rangle^F</M> is aspherical. If it succeeds it returns <M>true</M>. Otherwise the test is inconclusive and <M>fail</M> is returned.


