le{\operatorname{slope}}_{{\widetilde}R}R\le{\operatorname{Rate}}R+1=2$.

The last assertion of Proposition \[prop:canonical\] does not admit a converse. To demonstrate this we appeal to a family of graded algebras constructed by Roos [@Ro]. Recall that the formal power series $H_{M}(s)=\sum_{j\in{{\mathbb N}}}{\operatorname{rank}}_KM_js^j$ in ${{\mathbb Z}}[\![s]\!]$ is called the *Hilbert series* of $M$, and the formal Laurent series $P^{R}_k(s,t)=\sum_{i\in{{\mathbb N}},j\in{{\mathbb Z}}}\beta_{i,j}^R(M)\,s^jt^i $ in ${{\mathbb Z}}[s^{\pm1}][\![t]\!]$, where $\beta_{i,j}^R(M)={\operatorname{rank}}_k{\operatorname{Tor}_{i}^{R}(k,M){}}_j$, is known as its *graded Poincaré series*.

\[ch:roos\] Let $P=K[x_1,x_2,x_3,x_4,x_5,x_6]$ be a polynomial ring.

For each integer $a\ge2$ set $R{(a)}=P/I{(a)}$, where $I{(a)}$ is the ideal $$\big(\{x_i^2\}_{1\le i\le 6}\,,\,\{x_{i}x_{i+1}\}_{1\le i\le 5}\,,\,
x_1x_3+ax_3x_6-x_4x_6\,,\,x_1x_4+x_3x_6+(a-2)x_4x_6\big)\,.$$ When the characteristic of $K$ is zero, Roos [@Ro Thm.1$'$] proves the equalities $$H_{R(a)}(s)=1+6s+8s^2
  \quad\text{and}\quad
P^{R{(a)}}_k(s,t)=\frac1{H_{R(a)}(-st)-(st)^{a+1}(s+st)}\,.$$

For each $a\ge2$ the graded $K$-algebra $R{(a)}$ from \[ch:roos\] satisfies $${\operatorname{
le{\operatorname{slope}}_{{\widetilde}R}R\le{\operatorname{Rate}}R+1=2$. 

 The last assertion of Proposition \[prop: canonical\ ] does not admit a converse. To demonstrate this we attract to a syndicate of graded algebras constructed by Roos [ @Ro ]. hark back that the formal power serial $ H_{M}(s)=\sum_{j\in{{\mathbb N}}}{\operatorname{rank}}_KM_js^j$ in $ { { \mathbb Z}}[\![s]\!]$ is called the * Hilbert series * of $ M$, and the formal Laurent serial $ P^{R}_k(s, t)=\sum_{i\in{{\mathbb N}},j\in{{\mathbb Z}}}\beta_{i, j}^R(M)\,s^jt^i $ in $ { { \mathbb Z}}[s^{\pm1}][\![t]\!]$, where $ \beta_{i, j}^R(M)={\operatorname{rank}}_k{\operatorname{Tor}_{i}^{R}(k, M){}}_j$, is know as its * graded Poincaré serial *. 

 \[ch: roos\ ] Let $ P = K[x_1,x_2,x_3,x_4,x_5,x_6]$ be a polynomial ring. 

 For each integer $ a\ge2 $ set $ R{(a)}=P / I{(a)}$, where $ I{(a)}$ is the ideal $ $ \big(\{x_i^2\}_{1\le i\le 6}\,,\,\{x_{i}x_{i+1}\}_{1\le i\le 5}\,,\, 
 x_1x_3+ax_3x_6 - x_4x_6\,,\,x_1x_4+x_3x_6+(a-2)x_4x_6\big)\,.$$ When the feature of $ K$ is zero, Roos [ @Ro Thm.1$'$ ] proves the equalities $ $ H_{R(a)}(s)=1 + 6s+8s^2 
   \quad\text{and}\quad 
 P^{R{(a)}}_k(s, t)=\frac1{H_{R(a)}(-st)-(st)^{a+1}(s+st)}\,.$$ 

 For each $ a\ge2 $ the grade $ K$-algebra $ R{(a)}$ from \[ch: roos\ ] satisfies $ $ { \operatorname {
le{\ooeratorname{slope}}_{{\widetildt}R}R\le{\operatorname{Tare}}R+1=2$.

The last zssertiov of Proposition \[prop:canonicel\] dies nit admit a converse. To demonstrwte this we eppeal to a family of graded amnebrav constructed bi Roos [@Ro]. Rewall that the xofmcl power series $H_{M}(s)=\sum_{j\in{{\mathbb N}}}{\opewatornake{gank}}_KM_js^j$ in ${{\mwthbn Z}}[\![s]\!]$ js called the *Hilbert series* of $M$, znd the formal Lauremt series $P^{R}_k(s,t)=\sum_{i\in{{\mathbh N}},j\ln{{\mathbb Z}}}\beta_{i,j}^R(M)\,d^jt^i $ in ${{\majgbb Z}}[s^{\pm1}][\![t]\!]$, where $\ceta_{i,j}^R(M)={\optrctorname{rani}}_k{\operatorname{Tor}_{i}^{R}(k,M){}}_j$, is known as ics *graded Piibcagé series*.

\[ch:rois\] Len $P=K[x_1,x_2,x_3,x_4,x_5,x_6]$ be a polynmmial rong.

For each inbeger $a\gw2$ set $R{(a)}=P/I{(a)}$, where $I{(a)}$ ms the ideal $$\big(\{x_i^2\}_{1\le i\le 6}\,,\,\{x_{i}x_{i+1}\}_{1\ne i\le 5}\,,\,
x_1x_3+ax_3x_6-x_4x_6\,,\,x_1x_4+x_3x_6+(a-2)z_4x_6\vig)\,.$$ Wven dhe zyarxcttrixtjc of $N$ ia zero, Rooa [@Ro Thm.1$'$] prives the equalities $$H_{W(q)}(s)=1+6s+8s^2
  \quad\texf{and}\quwd
[^{R{(a)}}_k(s,t)=\frac1{H_{R(a)}(-st)-(st)^{a+1}(s+st)}\,.$$

For each $a\ge2$ the ggades $K$-algebra $R{(a)}$ from \[ch:rois\] satisfies $${\operatorjame{
le{\operatorname{slope}}_{{\widetilde}R}R\le{\operatorname{Rate}}R+1=2$. The last assertion of Proposition \[prop:canonical\] admit converse. To this we appeal algebras by Roos [@Ro]. that the formal series $H_{M}(s)=\sum_{j\in{{\mathbb N}}}{\operatorname{rank}}_KM_js^j$ in ${{\mathbb Z}}[\![s]\!]$ called the *Hilbert series* of $M$, and the formal Laurent series $P^{R}_k(s,t)=\sum_{i\in{{\mathbb N}},j\in{{\mathbb $ in ${{\mathbb Z}}[s^{\pm1}][\![t]\!]$, where $\beta_{i,j}^R(M)={\operatorname{rank}}_k{\operatorname{Tor}_{i}^{R}(k,M){}}_j$, is known as its *graded Poincaré series*. Let be polynomial For each integer $a\ge2$ set $R{(a)}=P/I{(a)}$, where $I{(a)}$ is the ideal $$\big(\{x_i^2\}_{1\le i\le 6}\,,\,\{x_{i}x_{i+1}\}_{1\le i\le 5}\,,\, When the characteristic of $K$ is zero, Roos Thm.1$'$] proves the equalities \quad\text{and}\quad P^{R{(a)}}_k(s,t)=\frac1{H_{R(a)}(-st)-(st)^{a+1}(s+st)}\,.$$ For each $a\ge2$ graded $R{(a)}$ from satisfies
le{\operatorname{slope}}_{{\widetiLde}R}R\le{\opeRatorNamE{RaTe}}r+1=2$.

The Last Assertion of ProPOsitIon \[prop:canonical\] does noT admiT a COnveRSe. to demOnstratE ThIS We aPpEaL to A fAMiLy of gRadEd algebRas construCteD bY Roos [@Ro]. RecalL ThAt the formaL poWer series $H_{M}(s)=\Sum_{J\in{{\matHbB N}}}{\oPEratoRnaMe{ranK}}_KM_js^j$ IN ${{\mathbB Z}}[\![s]\!]$ is callEd THe *HilbERt serieS* OF $M$, And tHe formal Laurent seRIeS $p^{R}_k(s,t)=\sum_{i\in{{\matHbb N}},j\iN{{\mAThBB z}}}\beTa_{i,J}^R(M)\,s^jt^i $ in ${{\mAtHbb Z}}[s^{\PM1}][\![t]\!]$, where $\BEtA_{I,J}^r(M)={\oPEratorname{ranK}}_k{\operatornAMe{TOr}_{i}^{R}(k,M){}}_J$, iS knOWn as itS *gradEd pOinCaré series*.

\[cH:rooS\] Let $P=K[x_1,x_2,x_3,X_4,x_5,x_6]$ be a POlynomiAL ring.

FoR each iNteGer $A\ge2$ sET $R{(A)}=P/i{(a)}$, wHeRE $I{(a)}$ IS tHe iDEal $$\Big(\{x_i^2\}_{1\le i\Le 6}\,,\,\{X_{i}X_{i+1}\}_{1\le i\Le 5}\,,\,
x_1x_3+AX_3X_6-X_4X_6\,,\,x_1x_4+x_3X_6+(a-2)x_4X_6\big)\,.$$ when tHe characterisTic Of $K$ iS ZerO, Roos [@ro Thm.1$'$] ProvEs The eqUalitiEs $$H_{R(a)}(S)=1+6s+8S^2
  \quad\text{and}\quaD
P^{R{(a)}}_K(s,t)=\frac1{H_{R(A)}(-st)-(St)^{A+1}(s+sT)}\,.$$

FOr eacH $A\ge2$ the GraDed $k$-algebrA $R{(a)}$ from \[CH:roOs\] SATIsFies $${\operatorname{
le{\operatorname{slope}}_{ {\widetild e}R}R \le {\o pe rato rnam e{Rate}}R+1=2$ . 

Th e last assertion of Pr oposi ti o n \[ p ro p:can onical\ ]  d o e s n ot  a dmi ta  c onver se.  To dem onstrate t his  w e appeal toa  f amily of g rad ed algebrascon struct ed  by Roos[@R o]. R ecallt hat th e formalpo w er ser i es $H_{ M } (s )=\s um_{j\in{{\mathbb N} } }{\operatornam e{rank }} _ KM _ j s^j $ i n ${{\math bb  Z}}[ \ ![s]\!] $  i s c all e d the *Hilber t series* o f  $M $, and  t hef ormalLaure nt ser ies $P^{R}_ k(s, t)=\sum_{ i\in{{ \ mathbbN }},j\in {{\mat hbb  Z} }}\b e ta _{ i,j }^ R (M) \ ,s ^jt ^ i $  in ${{\ ma th bb Z} }[s^ { \ p m 1}][ \![ t]\! ]$, w here $\beta_{ i,j }^R( M )={ \oper atorn ame{ ra nk}}_ k{\ope rator na me{Tor}_{i}^{R} (k,M ){}}_j$,iskn own  a s its *grade d P oin caré se ries*.\[c h: r o o s\ ] Let $P=K[x_1,x_2 ,x _ 3 ,x _4,x_5,x _6]$ b e  a  p o lynomial  r ing .

F o r  each  int e ge r $a\ge2 $ set$ R{ (a )}=P/I{ (a )}$, w he re$I{ (a)}$ is t he ide al $$\bi g(\{x _ i^2\}_{1\le i\ l e 6}\,,\,\{x_ { i} x _ {i + 1}\} _{1 \le i\le 5} \,,\ , 
x_1 x_3+ a x_ 3x_ 6 -x_4x _6\,, \, x _1 x _4+x_3x_6+(a-2)x_4x _6 \big)\ ,.$$When the char acteristic o f  $K$ iszero ,  R o os [@Ro Thm.1$ '$] p roves thee qualitie s $$H _{R(a)}( s)=1+6s+8 s ^ 2
  \qua d\t ext {an d}\ q u ad 
P^{R{(a)}}_k ( s ,t)= \f rac1{H_ {R( a)}(-st )-( st) ^{a +1} (s +st)}\,.$ $

For e ac h$a \g e2$  theg raded $K $- alg eb ra$R{(a ) }$ fro m \[c h:ro os \] sat isfies$ ${ \ o pera to rn ame{ 
le{\operatorname{slope}}_{{\widetilde}R}R\le{\operatorname{Rate}}R+1=2$.

The last_assertion of_Proposition \[prop:canonical\] does not_admit a_converse._To demonstrate_this_we appeal to_a family of_graded algebras constructed by_Roos [@Ro]. Recall_that_the formal power series $H_{M}(s)=\sum_{j\in{{\mathbb N}}}{\operatorname{rank}}_KM_js^j$ in ${{\mathbb Z}}[\![s]\!]$ is called the *Hilbert series*_of_$M$, and_the_formal_Laurent series $P^{R}_k(s,t)=\sum_{i\in{{\mathbb N}},j\in{{\mathbb Z}}}\beta_{i,j}^R(M)\,s^jt^i_$ in ${{\mathbb Z}}[s^{\pm1}][\![t]\!]$, where_$\beta_{i,j}^R(M)={\operatorname{rank}}_k{\operatorname{Tor}_{i}^{R}(k,M){}}_j$, is_known as its *graded Poincaré series*.

\[ch:roos\] Let $P=K[x_1,x_2,x_3,x_4,x_5,x_6]$_be_a polynomial ring.

For_each integer $a\ge2$ set $R{(a)}=P/I{(a)}$, where $I{(a)}$ is the_ideal $$\big(\{x_i^2\}_{1\le i\le 6}\,,\,\{x_{i}x_{i+1}\}_{1\le i\le 5}\,,\,
x_1x_3+ax_3x_6-x_4x_6\,,\,x_1x_4+x_3x_6+(a-2)x_4x_6\big)\,.$$_When the characteristic_of_$K$_is zero, Roos [@Ro_Thm.1$'$] proves the equalities $$H_{R(a)}(s)=1+6s+8s^2
 _\quad\text{and}\quad
P^{R{(a)}}_k(s,t)=\frac1{H_{R(a)}(-st)-(st)^{a+1}(s+st)}\,.$$

For each $a\ge2$ the graded $K$-algebra_$R{(a)}$ from \[ch:roos\] satisfies $${\operatorname{