0(C^*(E \times_1 [m,n])) \cong \bigoplus_{v \in V}
{\mathbb{Z}}[p_{(v,n)}]_0 \oplus \bigoplus_{k=0}^{n-m} \bigoplus_{v \in W} {\mathbb{Z}}[p_{(v,n-k)}]_0$$ and $K_0(C^*(E \times_1
[m,n]))^+$ is identified with $$\bigoplus_{v \in V} {\mathbb{N}}[p_{(v,n)}]_0 \oplus
\bigoplus_{k=0}^{n-m} \bigoplus_{v \in W} {\mathbb{N}}[p_{(v,n-k)}]_0.$$ By the continuity of $K$-theory, one can let $m$ tend to $-\infty$ and deduce that $$\begin{aligned}
K_0(C^*(E \times_1 [-\infty,n])) &\cong \bigoplus_{v \in V} {\mathbb{Z}}[p_{(v,n)}]_0 \oplus \bigoplus_{k=0}^{\infty} \bigoplus_{v \in W}
{\mathbb{Z}}[p_{(v,n-k)}]_0 \\
&\cong {\mathbb{Z}}^V \oplus Z^W \oplus Z^W \oplus \ldots.\end{aligned}$$ Furthermore, it follows from [@RLL Theorem 6.3.2(ii)] that this isomorphism identifies $K_0(C^*(E \times_1 [-\infty,n]))^+$ with ${\mathbb{N}}^V \oplus {\mathbb{N}}^W \oplus {\mathbb{N}}^W \oplus \ldots$.

This computation is used later in the proof of [@RS Theorem 3.1], where the $K_0$ functor is applied to a commutative diagram to obtain Figure (3.5) of [@RS], which we reproduce here: $$\xymatrix{ {\mathbb{Z}}^V \oplus {\mathbb{Z}}^W \oplus {\mathbb{Z}}^W \oplus \ldots \ar[d]_{1-D}
\ar[r]^D & {\mathbb{Z}}^V \oplus {\mathbb{Z}}^W \oplus {\mathbb{Z}}^W \oplus \ldots
\ar[d]_{1-D} \ar[r]^-{\iota_*^{n+1}} & K_0(C^*(
0(C^*(E \times_1 [ m, n ]) ) \cong \bigoplus_{v \in V } 
 { \mathbb{Z}}[p_{(v, n)}]_0 \oplus \bigoplus_{k=0}^{n - m } \bigoplus_{v \in W } { \mathbb{Z}}[p_{(v, n - k)}]_0$$ and $ K_0(C^*(E \times_1 
 [ m, n]))^+$ is identified with $ $ \bigoplus_{v \in V } { \mathbb{N}}[p_{(v, n)}]_0 \oplus 
 \bigoplus_{k=0}^{n - m } \bigoplus_{v \in W } { \mathbb{N}}[p_{(v, n - k)}]_0.$$ By the continuity of $ K$-theory, one can let $ m$ tend to $ -\infty$ and deduce that $ $ \begin{aligned } 
 K_0(C^*(E \times_1 [ -\infty, n ]) ) & \cong \bigoplus_{v \in V } { \mathbb{Z}}[p_{(v, n)}]_0 \oplus \bigoplus_{k=0}^{\infty } \bigoplus_{v \in W } 
 { \mathbb{Z}}[p_{(v, n - k)}]_0 \\ 
 & \cong { \mathbb{Z}}^V \oplus Z^W \oplus Z^W \oplus \ldots.\end{aligned}$$ Furthermore, it follows from [ @RLL Theorem   6.3.2(ii) ] that this isomorphism identify $ K_0(C^*(E \times_1 [ -\infty, n]))^+$ with $ { \mathbb{N}}^V \oplus { \mathbb{N}}^W \oplus { \mathbb{N}}^W \oplus \ldots$. 

 This calculation is used later in the proof of [ @RS Theorem   3.1 ], where the $ K_0 $ functor is apply to a commutative diagram to obtain Figure   (3.5) of [ @RS ], which we regurgitate here: $ $ \xymatrix { { \mathbb{Z}}^V \oplus { \mathbb{Z}}^W \oplus { \mathbb{Z}}^W \oplus \ldots \ar[d]_{1 - D } 
 \ar[r]^D & { \mathbb{Z}}^V \oplus { \mathbb{Z}}^W \oplus { \mathbb{Z}}^W \oplus \ldots 
 \ar[d]_{1 - D } \ar[r]^-{\iota_*^{n+1 } } & K_0(C^ * (
0(C^*(E \himes_1 [m,n])) \cong \bigoplus_{v \ln V}
{\mathbb{Z}}[p_{(v,n)}]_0 \oklys \bigmplus_{k=0}^{h-m} \bigopuus_{v \in W} {\mathbb{Z}}[p_{(v,n-k)}]_0$$ and $K_0(C^*(X \tines_1
[m,n]))^+$ is identified with $$\bieoplus_{v \ij V} {\mathvb{N}}[p_{(t,n)}]_0 \oplus
\bigoplus_{k=0}^{n-m} \bigoijus_{v \ln W} {\kethbb{N}}[p_{(v,n-k)}]_0.$$ By tme continuidy of $K$-theory, mnd ean let $m$ tend to $-\infty$ and deduce trat $$\begon{wligned}
K_0(C^*(E \timgs_1 [-\ingey,n])) &\dong \bigoplus_{v \in V} {\mathbb{Z}}[p_{(v,n)}]_0 \oplhs \bigoklus_{k=0}^{\infty} \bigoplux_{v \in W}
{\mathbb{Z}}[p_{(v,n-k)}]_0 \\
&\cong {\mahhbb{X}}^V \oplus Z^W \oplus X^W \oplus \ldits.\ege{aligned}$$ Furghermore, iu yollows froj [@RLL Theorem 6.3.2(ii)] that this isomofphisk identifigs $K_0(F^*(G \times_1 [-\inftb,n]))^+$ witr ${\mathbb{N}}^V \oikus {\madhbb{N}}^W \pplus {\mathbb{N}}^W \opnus \ldots$.

This computatioi is used later in tre proof mf [@RS Theorem 3.1], where tye $K_0$ xuncdor kw aopljev tk a colmuvative diagdam to obtaun Figure (3.5) of [@RS], whivh qe reproduce gere: $$\xrmwtrix{ {\mathbb{Z}}^V \oplus {\mathbb{Z}}^W \oplus {\matvbb{A}}^W \oplus \ldots \ar[d]_{1-D}
\ar[r]^D & {\mathbb{Z}}^V \oplus {\mathhb{Z}}^W \opluf {\mathbb{Z}}^W \oplus \ldots
\ar[d]_{1-D} \ar[r]^-{\iota_*^{n+1}} & K_0(C^*(
0(C^*(E \times_1 [m,n])) \cong \bigoplus_{v \in V} \bigoplus_{k=0}^{n-m} \in W} and $K_0(C^*(E \times_1 \in {\mathbb{N}}[p_{(v,n)}]_0 \oplus \bigoplus_{k=0}^{n-m} \in W} {\mathbb{N}}[p_{(v,n-k)}]_0.$$ the continuity of $K$-theory, one can $m$ tend to $-\infty$ and deduce that $$\begin{aligned} K_0(C^*(E \times_1 [-\infty,n])) &\cong \bigoplus_{v V} {\mathbb{Z}}[p_{(v,n)}]_0 \oplus \bigoplus_{k=0}^{\infty} \bigoplus_{v \in W} {\mathbb{Z}}[p_{(v,n-k)}]_0 \\ &\cong {\mathbb{Z}}^V \oplus Z^W Z^W \ldots.\end{aligned}$$ it from [@RLL Theorem 6.3.2(ii)] that this isomorphism identifies $K_0(C^*(E \times_1 [-\infty,n]))^+$ with ${\mathbb{N}}^V \oplus {\mathbb{N}}^W \oplus \oplus \ldots$. This computation is used later in proof of [@RS Theorem where the $K_0$ functor is to commutative diagram obtain (3.5) [@RS], which we here: $$\xymatrix{ {\mathbb{Z}}^V \oplus {\mathbb{Z}}^W \oplus {\mathbb{Z}}^W \oplus \ldots \ar[d]_{1-D} \ar[r]^D & {\mathbb{Z}}^V \oplus {\mathbb{Z}}^W \oplus {\mathbb{Z}}^W \ldots \ar[d]_{1-D} K_0(C^*(
0(C^*(E \times_1 [m,n])) \cong \bigoplus_{v \in V}
{\Mathbb{Z}}[p_{(v,n)}]_0 \Oplus \BigOplUs_{K=0}^{n-m} \bIgopLus_{v \in W} {\mathbb{Z}}[P_{(V,n-k)}]_0$$ aNd $K_0(C^*(E \times_1
[m,n]))^+$ is identifiEd witH $$\bIGoplUS_{v \In V} {\maThbb{N}}[p_{(v,N)}]_0 \OpLUS
\biGoPlUs_{k=0}^{N-m} \BIgOplus_{V \in w} {\mathbb{n}}[p_{(v,n-k)}]_0.$$ By the ConTiNuity of $K$-theoRY, oNe can let $m$ tEnd To $-\infty$ and deDucE that $$\bEgIn{aLIgned}
k_0(C^*(E \Times_1 [-\Infty,n])) &\COng \bigOplus_{v \in V} {\MaTHbb{Z}}[p_{(v,N)}]_0 \Oplus \biGOPlUs_{k=0}^{\iNfty} \bigoplus_{v \in W}
{\mAThBB{Z}}[p_{(v,n-k)}]_0 \\
&\cong {\mathBb{Z}}^V \opLuS z^W \OPLus z^W \oPlus \ldots.\eNd{AlignED}$$ FurtheRMoRE, IT foLLows from [@RLL ThEorem 6.3.2(ii)] that THis IsomorPhIsm IDentifIes $K_0(C^*(e \tIMes_1 [-\Infty,n]))^+$ with ${\mAthbB{N}}^V \oplus {\mAthbb{N}}^w \Oplus {\maTHbb{N}}^W \opLus \ldoTs$.

THis CompUTaTiOn iS uSEd lATeR in THe pRoof of [@RS thEoRem 3.1], whEre tHE $k_0$ FUnctOr iS appLied tO a commutative DiaGram TO obTain FIgure (3.5) Of [@RS], WhIch we ReprodUce heRe: $$\Xymatrix{ {\mathbb{Z}}^v \oplUs {\mathbb{Z}}^w \opLuS {\maThBb{Z}}^W \oPLus \ldoTs \aR[d]_{1-D}
\Ar[r]^D & {\matHbb{Z}}^V \opLUs {\mAtHBB{z}}^W \Oplus {\mathbb{Z}}^W \oplus \LdOTS
\aR[d]_{1-D} \ar[r]^-{\ioTa_*^{n+1}} & K_0(C^*(
0(C^*(E \times_1 [m,n])) \ cong \bigo plus_ {v\in  V }
{\ math bb{Z}}[p_{(v,n ) }]_0  \oplus \bigoplus_{k=0 }^{n- m} \big o pl us_{v  \in W} {\ m a thb b{ Z} }[p _{ ( v, n-k)} ]_0 $$ and$K_0(C^*(E  \t im es_1
[m,n])) ^ +$  is identi fie d with $$\bi gop lus_{v  \ inV } {\m ath bb{N} }[p_{( v ,n)}]_ 0 \oplus\b i goplus _ {k=0}^{ n - m}  \bi goplus_{v \in W}{ \m a thbb{N}}[p_{(v ,n-k)} ]_ 0 .$ $ Bythe  continuit yof $K $ -theory ,  o n e can let $m$ tendto $-\infty $  an d dedu ce  th a t $$\b egin{ al i gne d}
K_0(C^*( E \t imes_1 [- \infty , n])) &\ c ong \bi goplus _{v  \i n V} {\ ma thb b{ Z }}[ p _{ (v, n )}] _0 \oplu s\b igopl us_{ k = 0 } ^{\i nft y} \ bigop lus_{v \in W} 
{\ math b b{Z }}[p_ {(v,n -k)} ]_ 0 \\&\cong  {\ma th bb{Z}}^V \oplus  Z^W  \oplus Z ^W\o plu s\ldot s .\end{ ali gne d}$$ Fu rthermo r e,it f o ll ows from [@RLL The or e m  6 .3.2(ii) ] that th is isomorph is m i dent i f ies $ K_0( C ^* (E \time s_1 [- \ in ft y,n]))^ +$  with${ \ma thb b{N}} ^ V \o plus { \mathbb{ N}}^W \oplus {\mathb b {N}}^W \oplus \l d o ts $ .

T his  computatio n is used  lat e rint he pr oof o f[ @R S  Theorem 3.1], wher ethe $K _0$ f unctor is app lied to ac o m mutative  dia g ra m  to obtain Fig ure ( 3.5) of [@ R S], whic h wereproduc e here: $ $ \ xymatrix { { \ma thb b{Z } } ^V  \oplus {\mat h b b{Z} }^ W \oplu s { \mathbb {Z} }^W  \o plu s\ldots \a r[d]_{1- D} 
\ ar [r ]^D  & {\ m athbb{Z} }^ V \ op lus  {\ma t hbb{Z} }^W \ oplu s{\ m ath bb{Z}}^ W  \ o p lus\l do ts
\ ar[ d] _{1-D } \a r [r] ^-{\iot a_*^{n+1} } & K_0( C^ *( 
0(C^*(E \times_1_[m,n])) \cong_\bigoplus_{v \in V}
{\mathbb{Z}}[p_{(v,n)}]_0 \oplus_\bigoplus_{k=0}^{n-m} \bigoplus_{v_\in_W} {\mathbb{Z}}[p_{(v,n-k)}]_0$$_and_$K_0(C^*(E \times_1
[m,n]))^+$ is_identified with $$\bigoplus_{v_\in V} {\mathbb{N}}[p_{(v,n)}]_0 \oplus
\bigoplus_{k=0}^{n-m}_\bigoplus_{v \in W}_{\mathbb{N}}[p_{(v,n-k)}]_0.$$_By the continuity of $K$-theory, one can let $m$ tend to $-\infty$ and deduce_that_$$\begin{aligned}
K_0(C^*(E \times_1_[-\infty,n]))_&\cong_\bigoplus_{v \in V} {\mathbb{Z}}[p_{(v,n)}]_0 \oplus_\bigoplus_{k=0}^{\infty} \bigoplus_{v \in W}
{\mathbb{Z}}[p_{(v,n-k)}]_0 \\
&\cong_{\mathbb{Z}}^V \oplus_Z^W \oplus Z^W \oplus \ldots.\end{aligned}$$ Furthermore, it follows_from_[@RLL Theorem 6.3.2(ii)] that_this isomorphism identifies $K_0(C^*(E \times_1 [-\infty,n]))^+$ with ${\mathbb{N}}^V \oplus_{\mathbb{N}}^W \oplus {\mathbb{N}}^W \oplus \ldots$.

This computation_is used later_in_the_proof of [@RS Theorem 3.1],_where the $K_0$ functor is applied_to a commutative diagram to obtain_Figure (3.5) of [@RS], which we reproduce here:_$$\xymatrix{ {\mathbb{Z}}^V \oplus {\mathbb{Z}}^W \oplus {\mathbb{Z}}^W_\oplus \ldots \ar[d]_{1-D}
\ar[r]^D & {\mathbb{Z}}^V_\oplus {\mathbb{Z}}^W_\oplus {\mathbb{Z}}^W \oplus \ldots
\ar[d]_{1-D} \ar[r]^-{\iota_*^{n+1}}_& K_0(C^*(