Avaldis 8: "A" left parenthesis, "x" , right parenthesis equals "r" left parenthesis, "x" , right parenthesis left parenthesis, "x" minus "l" left parenthesis, "x" , right parenthesis , right parenthesis plus Start sum from "k" equals 1 to floor left parenthesis, StartFraction, "x" minus "a" Over 0.2 , EndFraction , right parenthesis , end sum, "r" left parenthesis, "a" plus left parenthesis, "k" minus 1 , right parenthesis 0.2 , right parenthesis left parenthesis, 0.2 , right parenthesisAx=rxx−lx+floorx−a0.2∑k=1ra+k−10.20.2
8
Avaldis 9: Start sum from "k" equals 1 to 2, end sum, left parenthesis, "r" left parenthesis, "a" plus 0.2 times left parenthesis, "k" minus 1 , right parenthesis , right parenthesis times left parenthesis, 0.2 , right parenthesis , right parenthesis2∑k=1ra+0.2·k−1·0.2
equals=
0.40.4
9
Avaldis 10: left parenthesis, "r" left parenthesis, "a" plus 0.2 times left parenthesis, 1 minus 1 , right parenthesis , right parenthesis times left parenthesis, 0.2 , right parenthesis , right parenthesis plus left parenthesis, "r" left parenthesis, "a" plus 0.2 times left parenthesis, 1 minus 1 , right parenthesis , right parenthesis times left parenthesis, 0.2 , right parenthesis , right parenthesisra+0.2·1−1·0.2+ra+0.2·1−1·0.2
equals=
0.40.4
10
Avaldis 11: left parenthesis, "r" left parenthesis, "a" plus 0.2 times left parenthesis, 1 minus 1 , right parenthesis , right parenthesis times left parenthesis, 0.2 , right parenthesis , right parenthesis plus left parenthesis, "r" left parenthesis, "a" plus 0.2 times left parenthesis, 2 minus 1 , right parenthesis , right parenthesis times left parenthesis, 0.2 , right parenthesis , right parenthesisra+0.2·1−1·0.2+ra+0.2·2−1·0.2
equals=
0.6 1 2 80.6128
11
Avaldis 12: "y" equals "A" left parenthesis, "x" , right parenthesis left brace, "a" less than or equal to "x" less than or equal to "n" , right bracey=Axa≤x≤n
12
Avaldis 13: "y" equals "r" left parenthesis, negative 1 , right parenthesis left parenthesis, "x" minus left parenthesis, negative 1 , right parenthesis , right parenthesis left brace, negative 1 less than "x" less than negative 0.8 , right bracey=r−1x−−1−1<x<−0.8
13
Avaldis 14: "y" equals "r" left parenthesis, negative 0.8 , right parenthesis left parenthesis, "x" minus left parenthesis, negative 0.8 , right parenthesis , right parenthesis plus "r" left parenthesis, negative 1 , right parenthesis left parenthesis, 0.2 , right parenthesis left brace, negative 0.8 less than "x" less than negative 0.6 , right bracey=r−0.8x−−0.8+r−10.2−0.8<x<−0.6
14
Avaldis 15: "y" equals "r" left parenthesis, negative 0.6 , right parenthesis left parenthesis, "x" minus left parenthesis, negative 0.6 , right parenthesis , right parenthesis plus "r" left parenthesis, negative 1 , right parenthesis left parenthesis, 0.2 , right parenthesis plus "r" left parenthesis, negative 0.8 , right parenthesis left parenthesis, 0.2 , right parenthesis left brace, negative 0.6 less than "x" less than negative 0.4 , right bracey=r−0.6x−−0.6+r−10.2+r−0.80.2−0.6<x<−0.4
15
Avaldis 16: "y" equals "r" left parenthesis, negative 0.4 , right parenthesis left parenthesis, "x" minus left parenthesis, negative 0.4 , right parenthesis , right parenthesis plus "r" left parenthesis, negative 1 , right parenthesis left parenthesis, 0.2 , right parenthesis plus "r" left parenthesis, negative 0.8 , right parenthesis left parenthesis, 0.2 , right parenthesis plus "r" left parenthesis, negative 0.6 , right parenthesis left parenthesis, 0.2 , right parenthesis left brace, negative 0.4 less than "x" less than negative 0.2 , right bracey=r−0.4x−−0.4+r−10.2+r−0.80.2+r−0.60.2−0.4<x<−0.2
