n$ is diagonalizing this matrix, which is possible since ${\mathbb{K}}_n[t^{\pm1}]$ is a PID. Since $c\neq1$ in $\pi_1({{\mathcal U}})/\pi_1({{\mathcal U}})^\prime$, it follows that $c \notin
\pi_1({{\mathcal U}})^{(n)}_r$ for all $n \geq 1$. Therefore $c\neq1$ in $\Gamma_n$ for all $n \geq 0$. Hence $1-c\neq0$ in ${\mathbb{Z}}\Gamma_n$ and is therefore invertible in ${\mathbb{K}}_n[t^{\pm1}]$. This allows us to multiply the last column in our presentation matrix by the unit $1-c$. Since our matrix is a presentation of a left module and since columns correspond to generators, we multiply columns on the right. The result of multiplying the last column (on the right) by the unit $1-c$ is the following: $$\left(
\begin{smallmatrix}
(aba^{-1}-baca^{-1})t+(1-b) & t-1 & (aba^{-1}-abaca^{-2})t^2+(baca^{-1}-b)t \\
(baca^{-1}-c)t+(b-c) & 1-ct^2 & (b-baca^{-1})t+(c-1) \\
\end{smallmatrix}
\right)$$ Next we add the first column times $1-t$ and the second column times $1-b$ to the last column. The result is the following: $$\left(
\begin{array}{ccc}
(aba^{-1}-baca^{-1})t+(1-b) & t-1 & 0 \\
(baca^{-1}-c)t+(b-c) & 1-ct^2 & 0 \\
\end{array}
\right)$$ This means that we have a free generator, which is expected since we are computing the homology relative to a basepoint.

Next we multiply the first row by $ct+c$ and add it to the second. Since our matrix is a presentation of a left module and since rows correspond to relations, we multiply rows on the left. The result of multiplying the first row (on the left) by $ct+c$ and adding it to the second is: $$\left(
n$ is diagonalizing this matrix, which is possible since $ { \mathbb{K}}_n[t^{\pm1}]$ is a PID. Since $ c\neq1 $ in $ \pi_1({{\mathcal U}})/\pi_1({{\mathcal U}})^\prime$, it follows that $ c \notin 
 \pi_1({{\mathcal U}})^{(n)}_r$ for all $ newton \geq 1$. consequently $ c\neq1 $ in $ \Gamma_n$ for all $ n \geq 0$. Hence $ 1 - c\neq0 $ in $ { \mathbb{Z}}\Gamma_n$ and is consequently invertible in $ { \mathbb{K}}_n[t^{\pm1}]$. This allows us to reproduce the last column in our presentation matrix by the unit of measurement $ 1 - c$. Since our matrix is a presentation of a left faculty and since column correspond to generators, we multiply columns on the right. The result of multiply the last column (on the right) by the unit $ 1 - c$ is the pursuit: $ $ \left (
 \begin{smallmatrix } 
 (aba^{-1}-baca^{-1})t+(1 - b) & t-1 & (aba^{-1}-abaca^{-2})t^2+(baca^{-1}-b)t \\ 
 (baca^{-1}-c)t+(b - c) & 1 - ct^2 & (b - baca^{-1})t+(c-1) \\ 
 \end{smallmatrix } 
 \right)$$ Next we add the first column times $ 1 - t$ and the second column times $ 1 - b$ to the concluding column. The result is the pursuit: $ $ \left (
 \begin{array}{ccc } 
 (aba^{-1}-baca^{-1})t+(1 - b) & t-1 & 0 \\ 
 (baca^{-1}-c)t+(b - c) & 1 - ct^2 & 0 \\ 
 \end{array } 
 \right)$$ This means that we consume a free generator, which is expected since we are computing the homology relative to a basepoint. 

 Next we breed the first row by $ ct+c$ and add it to the second. Since our matrix is a presentation of a left module and since rows correspond to relations, we multiply rows on the left. The result of multiplying the first row (on the left field) by $ ct+c$ and add it to the second is: $ $ \left (
n$ id diagonalizing this matvix, which is possible smnce ${\mafhbb{K}}_n[t^{\po1}]$ is a PID. Since $c\neq1$ in $\pi_1({{\methcql U}})/\pu_1({{\mathcal U}})^\prime$, it foluows that $c \notin
\pi_1({{\mauhcal U}})^{(n)}_r$ for all $n \geq 1$. Bkerefkve $c\nzq1$ in $\Gamma_n$ for all $n \geq 0$. Hence $1-c\neq0$ it ${\oachbb{Z}}\Gamma_n$ and is therefore invertifle in ${\kahhbb{K}}_n[t^{\pm1}]$. This allprs ua to multiply the last column in ohr prestntation matrix by the unit $1-c$. Since our matrlx id a presentation ov a left moeule qnd since couumns corrts'ond to gengrators, we multiply columns on tfe riyht. The resolf lx multiplyiig the last column (on the sight) bu the unit $1-c$ ix tie fillowing: $$\left(
\begin{smanlmatrix}
(aba^{-1}-baca^{-1})t+(1-b) & t-1 & (aba^{-1}-abdcc^{-2})t^2+(baca^{-1}-b)t \\
(baca^{-1}-c)t+(b-c) & 1-ct^2 & (v-baca^{-1})j+(c-1) \\
\eng{smauomagris}
\rmghf)$$ Next we add the fjrst column times $1-t$ and the sevoge column timea $1-b$ to tre last column. The result is the followpng: $$\meft(
\begin{array}{ccc}
(aba^{-1}-bacq^{-1})t+(1-b) & t-1 & 0 \\
(baca^{-1}-c)t+(b-c) & 1-ct^2 & 0 \\
\end{arrwy}
\right)$$ This means that we have a free generator, fhich ks txicctea slnce we are computing the homology relative tj a bssepoint.

Next wc multiply the firxt rpr by $ct+c$ and xdd it to the second. Since lur mattix is a presenuatiom of a left module and sincw rows correfpond to relations, ce multiply xows om the left. The result of mulciplyihg the firsh row (on ffe left) by $ct+c$ avd sdging it uu the second is: $$\lqft(
n$ is diagonalizing this matrix, which is ${\mathbb{K}}_n[t^{\pm1}]$ a PID. $c\neq1$ in $\pi_1({{\mathcal $c \pi_1({{\mathcal U}})^{(n)}_r$ for $n \geq 1$. $c\neq1$ in $\Gamma_n$ for all $n 0$. Hence $1-c\neq0$ in ${\mathbb{Z}}\Gamma_n$ and is therefore invertible in ${\mathbb{K}}_n[t^{\pm1}]$. This allows to multiply the last column in our presentation matrix by the unit $1-c$. our is presentation a left module and since columns correspond to generators, we multiply columns on the right. The of multiplying the last column (on the right) the unit $1-c$ is following: $$\left( \begin{smallmatrix} (aba^{-1}-baca^{-1})t+(1-b) & & \\ (baca^{-1}-c)t+(b-c) 1-ct^2 (b-baca^{-1})t+(c-1) \end{smallmatrix} \right)$$ Next add the first column times $1-t$ and the second column times $1-b$ to the last column. The is the \begin{array}{ccc} (aba^{-1}-baca^{-1})t+(1-b) t-1 0 (baca^{-1}-c)t+(b-c) & 1-ct^2 \\ \end{array} \right)$$ This means that free generator, which is expected since we are the homology to a basepoint. Next we multiply first row by $ct+c$ and add it to second. Since our matrix is a presentation of a left module and since rows correspond we multiply rows on left. The result multiplying first (on left) by and adding it to the second is: $$\left(
n$ is diagonalizing this matriX, which is poSsiblE siNce ${\MaThbb{k}}_n[t^{\pM1}]$ is a PID. Since $c\nEQ1$ in $\pI_1({{\mathcal U}})/\pi_1({{\mathcal U}})^\priMe$, it fOlLOws tHAt $C \notiN
\pi_1({{\mathCAl u}})^{(N)}_R$ foR aLl $N \geQ 1$. THErEfore $C\neQ1$ in $\GammA_n$ for all $n \gEq 0$. HEnCe $1-c\neq0$ in ${\mathBB{Z}}\gamma_n$ and iS thErefore inverTibLe in ${\maThBb{K}}_N[T^{\pm1}]$. ThIs aLlows Us to muLTiply tHe last colUmN In our pREsentatION mAtriX by the unit $1-c$. Since oUR mATrix is a presentAtion oF a LEfT MOduLe aNd since colUmNs corREspond tO GeNERAtoRS, we multiply coLumns on the rIGht. the resUlT of MUltiplYing tHe LAst Column (on the RighT) by the uniT $1-c$ is thE FollowiNG: $$\left(
\beGin{smaLlmAtrIx}
(abA^{-1}-BaCa^{-1})T+(1-b) & t-1 & (AbA^{-1}-AbaCA^{-2})t^2+(BacA^{-1}-B)t \\
(bAca^{-1}-c)t+(b-c) & 1-cT^2 & (b-BaCa^{-1})t+(c-1) \\
\eNd{smALLMAtriX}
\riGht)$$ NExt we Add the first coLumN timES $1-t$ aNd the SeconD colUmN timeS $1-b$ to thE last CoLumn. The result is The fOllowing: $$\lEft(
\BeGin{ArRay}{ccC}
(Aba^{-1}-bacA^{-1})t+(1-b) & T-1 & 0 \\
(baCa^{-1}-c)t+(b-c) & 1-cT^2 & 0 \\
\end{arrAY}
\riGhT)$$ tHIs Means that we have a frEe GENeRator, whiCh is exPEcTeD Since we aRe ComPutiNG The hoMoloGY rElative tO a basePOiNt.

next we mUlTiply tHe FirSt rOw by $cT+C$ and Add it tO the secoNd. SinCE our matrix is a pREsentation of a LEfT MOdULe anD siNce rows corrEspoND to rElatIOnS, we MUltipLy rowS oN ThE Left. The result of multIpLying tHe firSt row (on the lefT) by $ct+c$ and aDDINg it to thE secONd IS: $$\left(
n$ is diagonalizing this m atrix, whi ch is  po ssi bl e si nce${\mathbb{K}}_ n [t^{ \pm1}]$ is a PID. Sinc e $c\ ne q 1$ i n  $ \pi_1 ({{\mat h ca l U}} )/ \p i_1 ({ { \m athca l U }})^\pr ime$, it f oll ow s that $c \n o ti n
\pi_1({{ \ma thcal U}})^{ (n) }_r$ f or  al l  $n \ geq  1$.Theref o re $c\ neq1$ in$\ G amma_n $  for al l $n  \ge q 0$. Hence $1-c\ n eq 0 $ in ${\mathbb {Z}}\G am m a_ n $  an d i s therefor einver t ible in ${ \ m a thb b {K}}_n[t^{\pm 1}]$. Thisa llo ws usto  mu l tiplythe l as t  co lumn in our  pre sentation  matri x  by the unit $1 -c$. S inc e o ur m a tr ix  is  a pre s en tat i onof a lef tmo duleands i n c e co lum ns c orres pond to gener ato rs,w e m ultip ly co lumn son th e righ t. Th eresult of multi plyi ng the la stco lum n(on t h e righ t)bythe uni t $1-c$ isth e f ol lowing: $$\left(
\ be g i n{ smallmat rix}
( a ba ^{ - 1}-baca^ {- 1}) t+(1 - b ) & t -1 & (a ba^{-1}- abaca^ { -2 }) t^2+(ba ca ^{-1}- b) t \ \
( baca^ { -1}- c)t+(b -c) & 1- ct^2&  (b-baca^{-1}) t +(c-1) \\
\en d {s m a ll m atri x}\right)$$ N extw e ad d th e  f irs t  colu mn ti me s  $ 1 -t$ and the secondco lumn t imes$1-b$ to thelast colum n . The resu lt i s  t h e following: $ $\lef t(
\begin{ a rray}{cc c}
(a ba^{-1}- baca^{-1} ) t +(1-b) &  t- 1 &  0\\( b ac a^{-1}-c)t+(b - c ) &1- ct^2 &0 \ \
\end{ arr ay} 
\r igh t) $$ This m eans tha twe  h av e a  free generato r,  wh ic h i s exp e cted s incewe a re  c o mpu ting th e  h o m olog yre lati veto  a ba sepo i nt. 

Nextwe multip lyt he f ir st  row by  $ct+c$ and a dd  it to the  s eco nd. Si n c e our ma trix is a presentationo f a lef t m odule  and  since ro wscorres pon d  to re lation s, we  m ult i p ly ro w s  o n t he  left. The r esu lt of  m ulti plyingthe first row (ont heleft) by $ct+ c$anda d di ngi tt o t he sec o n d is: $$\left(
n$ is_diagonalizing this_matrix, which is possible_since ${\mathbb{K}}_n[t^{\pm1}]$_is_a PID._Since_$c\neq1$ in $\pi_1({{\mathcal_U}})/\pi_1({{\mathcal U}})^\prime$, it_follows that $c \notin
\pi_1({{\mathcal_U}})^{(n)}_r$ for all_$n_\geq 1$. Therefore $c\neq1$ in $\Gamma_n$ for all $n \geq 0$. Hence $1-c\neq0$ in_${\mathbb{Z}}\Gamma_n$_and is_therefore_invertible_in ${\mathbb{K}}_n[t^{\pm1}]$. This allows us_to multiply the last column_in our_presentation matrix by the unit $1-c$. Since our_matrix_is a presentation_of a left module and since columns correspond to_generators, we multiply columns on the_right. The result_of_multiplying_the last column (on_the right) by the unit $1-c$_is the following: $$\left(
\begin{smallmatrix}
(aba^{-1}-baca^{-1})t+(1-b) & t-1_& (aba^{-1}-abaca^{-2})t^2+(baca^{-1}-b)t \\
(baca^{-1}-c)t+(b-c) & 1-ct^2 & (b-baca^{-1})t+(c-1)_\\
\end{smallmatrix}
\right)$$ Next we add the first_column times $1-t$ and the_second column_times $1-b$ to the last_column. The result_is the_following: $$\left(
\begin{array}{ccc}
(aba^{-1}-baca^{-1})t+(1-b) &_t-1 & 0 \\
(baca^{-1}-c)t+(b-c) & 1-ct^2_& 0 \\
\end{array}
\right)$$_This means that we have a_free_generator, which is_expected_since_we are_computing the homology_relative_to a_basepoint.

Next_we multiply the first row by_$ct+c$_and add it to the second. Since_our matrix is a_presentation_of a left module_and since rows correspond to_relations, we multiply rows on the_left. The_result of_multiplying the first row (on the left) by $ct+c$ and adding_it to the second is: $$\left(