^k(z)$, $1\leq k \leq r-1$, of degree at most $r-1$ are involved, enables the following. Let $a$ and $c$ be two polynomials such that $\deg a + \deg c = r-1$ in $\R[z]$, and let $b$ be of degree $n \geq r-2$ in $\R[z]$. Considering the highest degree part of $b$, and evaluating the lowest degree part at $z=1$, we define $b_H(z) = b_nz^{r-2} + \ldots + b_{n-r+2} \in \R[z]$ and $b_L = b_{n-r+1} + \ldots  +b_0 \in \R$. We then remark that $$\label{eq:lazyeval}
\begin{array}{ll}
\left( a(z)b(z)c(z) \bmod z^{n+1}\right)(1) &= \left( a(z)(b_H(z)z^{n-r+2} +b_L)c(z) \bmod z^{n+1}\right)(1), \\
 &= \left( a(z)b_H(z)c(z) \bmod z^{r-1}\right)(1) +  \left( a(z)b_Lc(z)\right)(1).
\end{array}$$ For modifying [step iv]{}$^*$, we follow the definition of $b_H$ and $b_L$, and first compute $\partial B_H(z) \in \R[z]^{n \times n}$ of degree $r-2$, and $\partial B_L \in \R^{n\times n}$. Applying (\[eq:lazyeval\]), the sum $\sum _{k=1}^r Z ^{r-k}(z) \cdot \partial B (z) \cdot Z^{k-1}(z)$ may then be evaluated at $z=1$ by the program $$\label{eq:modifstep4}
  \begin{array}{ll}
  \text{Modified {\sc step iv}}^*.~~ &   Z^* := \left( \sum _{k=1}^r Z ^{r-k}(z) \cdot \partial
^k(z)$, $ 1\leq k \leq r-1 $, of degree at most $ r-1 $ are involved, enables the pursuit. lease $ a$ and $ c$ be two polynomials such that $ \deg a + \deg c = r-1 $ in $ \R[z]$, and let $ b$ be of academic degree $ n \geq r-2 $ in $ \R[z]$. view the highest degree contribution of $ b$, and evaluating the lowest academic degree character at $ z=1 $, we define $ b_H(z) = b_nz^{r-2 } + \ldots + b_{n - r+2 } \in \R[z]$ and $ b_L = b_{n - r+1 } + \ldots   + b_0 \in \R$. We then comment that $ $ \label{eq: lazyeval } 
 \begin{array}{ll } 
 \left (a(z)b(z)c(z) \bmod z^{n+1}\right)(1) & = \left (a(z)(b_H(z)z^{n - r+2 } + b_L)c(z) \bmod z^{n+1}\right)(1), \\ 
  & = \left (a(z)b_H(z)c(z) \bmod z^{r-1}\right)(1) +   \left (a(z)b_Lc(z)\right)(1). 
 \end{array}$$ For modifying [ step iv]{}$^*$, we stick to the definition of $ b_H$ and $ b_L$, and foremost compute $ \partial B_H(z) \in \R[z]^{n \times n}$ of degree $ r-2 $, and $ \partial B_L \in \R^{n\times n}$. Applying   (\[eq: lazyeval\ ]), the kernel $ \sum _ { k=1}^r Z ^{r - k}(z) \cdot \partial B (z) \cdot Z^{k-1}(z)$ may then be evaluated at $ z=1 $ by the program $ $ \label{eq: modifstep4 } 
   \begin{array}{ll } 
   \text{Modified { \sc measure iv}}^*.~~ &    Z^ *: = \left (\sum _ { k=1}^r Z ^{r - k}(z) \cdot \partial
^k(z)$, $1\peq k \leq r-1$, of degree at most $r-1$ are involved, eiables fhe folluwing. Let $a$ and $c$ be two polbnomuals wuch that $\deg a + \deg c = r-1$ in $\R[z]$, and let $b$ bt of degree $n \geq r-2$ in $\R[z]$. Consiscring vhe highest degtee part of $t$, and evaluatitg tke lowest degree part at $z=1$, we define $b_H(z) = b_mz^{g-2} + \ldots + b_{n-r+2} \yn \R[e]$ agd $b_M = b_{n-r+1} + \ldots  +b_0 \in \R$. We then remadk that $$\label{eq:lazyefal}
\begin{array}{ll}
\left( a(z)b(z)c(z) \bmof z^{n+1}\right)(1) &= \left( a(z)(h_H(z)z^{n-r+2} +b_L)c(z) \bmoq z^{n+1}\right)(1), \\
 &= \ldft( a(z)b_H(z)c(e) \ymod z^{r-1}\righj)(1) +  \left( a(z)b_Lc(z)\right)(1).
\end{array}$$ For modiyying [step uv]{}$^*$, we xollow the vefininion of $b_H$ and $b_L$, and first vompute $\partiak B_I(z) \ib \R[z]^{n \times n}$ of degrxe $r-2$, and $\partial B_L \yn \R^{n\timev u}$. Applying (\[eq:lazyeval\]), rhw sum $\sum _{k=1}^r X ^{r-k}(x) \csov \pzrtial B (v) \cdot Z^{k-1}(z)$ jay then be evaluated at $z=1$ by uhe itogram $$\label{sq:modisseep4}
  \begin{array}{ll}
  \text{Modified {\sc step iv}}^*.~~ &   Z^* := \left( \sum _{k=1}^r Z ^{r-k}(z) \cdot \partial
^k(z)$, $1\leq k \leq r-1$, of degree $r-1$ involved, enables following. Let $a$ such $\deg a + c = r-1$ $\R[z]$, and let $b$ be of $n \geq r-2$ in $\R[z]$. Considering the highest degree part of $b$, and the lowest degree part at $z=1$, we define $b_H(z) = b_nz^{r-2} + \ldots b_{n-r+2} \R[z]$ $b_L b_{n-r+1} + \ldots +b_0 \in \R$. We then remark that $$\label{eq:lazyeval} \begin{array}{ll} \left( a(z)b(z)c(z) \bmod z^{n+1}\right)(1) \left( a(z)(b_H(z)z^{n-r+2} +b_L)c(z) \bmod z^{n+1}\right)(1), \\ &= \left( \bmod z^{r-1}\right)(1) + \left( \end{array}$$ For modifying [step iv]{}$^*$, follow definition of and and compute $\partial B_H(z) \R[z]^{n \times n}$ of degree $r-2$, and $\partial B_L \in \R^{n\times n}$. Applying (\[eq:lazyeval\]), the sum $\sum Z ^{r-k}(z) B (z) Z^{k-1}(z)$ then evaluated at $z=1$ program $$\label{eq:modifstep4} \begin{array}{ll} \text{Modified {\sc step := \left( \sum _{k=1}^r Z ^{r-k}(z) \cdot \partial
^k(z)$, $1\leq k \leq r-1$, of degree at most $r-1$ Are involveD, enabLes The FoLlowIng. LEt $a$ and $c$ be two poLYnomIals such that $\deg a + \deg c = r-1$ iN $\R[z]$, anD lET $b$ be OF dEgree $N \geq r-2$ in $\r[Z]$. CONSidErInG thE hIGhEst deGreE part of $B$, and evaluaTinG tHe lowest degrEE pArt at $z=1$, we deFinE $b_H(z) = b_nz^{r-2} + \ldotS + b_{n-R+2} \in \R[z]$ aNd $B_L = b_{N-R+1} + \ldotS  +b_0 \iN \R$. We tHen remARk that $$\Label{eq:laZyEVal}
\begIN{array}{lL}
\LEfT( a(z)b(Z)c(z) \bmod z^{n+1}\right)(1) &= \lefT( A(z)(B_h(z)z^{n-r+2} +b_L)c(z) \bmod z^{N+1}\right)(1), \\
 &= \LeFT( a(Z)B_h(z)c(Z) \bmOd z^{r-1}\right)(1) +  \lEfT( a(z)b_LC(Z)\right)(1).
\eND{aRRAY}$$ FoR Modifying [step Iv]{}$^*$, we follow tHE deFinitiOn Of $b_h$ And $b_L$, aNd firSt COmpUte $\partial B_h(z) \in \r[z]^{n \times n}$ Of degrEE $r-2$, and $\paRTial B_L \iN \R^{n\timEs n}$. appLyinG (\[Eq:LaZyeVaL\]), The SUm $\Sum _{K=1}^R Z ^{r-K}(z) \cdot \paRtIaL B (z) \cdOt Z^{k-1}(Z)$ MAY Then Be eValuAted aT $z=1$ by the prograM $$\laBel{eQ:ModIfsteP4}
  \begiN{arrAy}{Ll}
  \texT{ModifIed {\sc StEp iv}}^*.~~ &   Z^* := \left( \sum _{k=1}^r Z ^{R-k}(z) \cDot \partiaL
^k(z)$, $1\leq k \leq r-1$ , of degre e atmos t $ r- 1$ a re i nvolved, enabl e s th e following. Let $a$ a nd $c $b e tw o  p olyno mials s u ch t hat  $ \d ega+  \ deg c  =r-1$ in  $\R[z]$,and  l et $b$ be of de gree $n \g eqr-2$ in $\R[ z]$ . Cons id eri n g the  hi ghest  degre e  partof $b$, a nd evalua t ing the l ow estdegree part at $z = 1$ ,  we define $b_ H(z) =  b _ nz ^ { r-2 } +  \ldots +b_ {n-r+ 2 } \in \ R [z ] $ and $b_L = b_{n-r +1} + \ldot s   + b_0 \i n\R$ .  We th en re ma r k t hat $$\labe l{eq :lazyeval }
\beg i n{array } {ll}
\l eft( a (z) b(z )c(z )  \ bm odz^ { n+1 } \r igh t )(1 ) &= \le ft (a(z)( b_H( z ) z ^ {n-r +2}  +b_ L)c(z ) \bmod z^{n+ 1}\ righ t )(1 ), \\ 
 &=\lef t(  a(z) b_H(z) c(z)\b mod z^{r-1}\rig ht)( 1) +  \le ft(  a (z) b_ Lc(z) \ right) (1) .
\ end{arr ay}$$ F o r m od i f y in g [step iv]{}$^*$,  w e fo llow the  defin i ti on of $b_H$  a nd$b_L $ ,  andfirs t  c ompute $ \parti a lB_ H(z) \i n\R[z]^ {n  \t ime s n}$ of d egree$r-2$, a nd $\ p artial B_L \in \R^{n\times n } $. A pp l ying  (\ [eq:lazyeva l\]) ,  the  sum $\ sum _{k=1 }^r Z  ^ { r- k }(z) \cdot \partial  B  (z) \ cdotZ^{k-1}(z)$ m ay then be e v aluatedat $ z =1 $  by the progra m $$\ label{eq:m o difstep4 }
  \ begin{ar ray}{ll}\text{Mo dif ied  {\ scs t ep  iv}}^*.~~ &Z^*:=  \left(  \s um _{k= 1}^ r Z  ^{ r-k }( z) \cdot\partial 
^k(z)$, $1\leq_k \leq_r-1$, of degree at_most $r-1$_are_involved, enables_the_following. Let $a$_and $c$ be_two polynomials such that_$\deg a +_\deg_c = r-1$ in $\R[z]$, and let $b$ be of degree $n \geq r-2$_in_$\R[z]$. Considering_the_highest_degree part of $b$, and_evaluating the lowest degree part_at $z=1$,_we define $b_H(z) = b_nz^{r-2} + \ldots +_b_{n-r+2}_\in \R[z]$ and_$b_L = b_{n-r+1} + \ldots  +b_0 \in \R$._We then remark that $$\label{eq:lazyeval}
\begin{array}{ll}
\left( a(z)b(z)c(z)_\bmod z^{n+1}\right)(1) &=_\left(_a(z)(b_H(z)z^{n-r+2}_+b_L)c(z) \bmod z^{n+1}\right)(1), \\
_&= \left( a(z)b_H(z)c(z) \bmod z^{r-1}\right)(1) +_ \left( a(z)b_Lc(z)\right)(1).
\end{array}$$ For modifying [step_iv]{}$^*$, we follow the definition of $b_H$_and $b_L$, and first compute $\partial_B_H(z) \in \R[z]^{n \times n}$_of degree_$r-2$, and $\partial B_L \in_\R^{n\times n}$. Applying (\[eq:lazyeval\]),_the sum_$\sum _{k=1}^r Z_^{r-k}(z) \cdot \partial B (z) \cdot_Z^{k-1}(z)$ may then_be evaluated at $z=1$ by the_program_$$\label{eq:modifstep4}
  \begin{array}{ll}
__\text{Modified_{\sc step_iv}}^*.~~ & __Z^* :=_\left(_\sum _{k=1}^r Z ^{r-k}(z) \cdot \partial