Lines Matching +refs:y +refs:end

8 \end{verbatim}
9 \indentrel{-3}\end{paste}\end{patch}
15 \end{paste}\end{patch}
20 \tab{5}\spadcommand{pr: poly := 2*x + 3*y-5\free{poly }\bound{pr }}
22 (2) - 5 + x 2 + y 3
24 \end{verbatim}
25 \indentrel{-3}\end{paste}\end{patch}
30 \tab{5}\spadcommand{pr: poly := 2*x + 3*y-5\free{poly }\bound{pr }}
31 \end{paste}\end{patch}
38 (3) 25 + x(- 20 + x 4 + y 6) + y(- 30 + x 6 + y 9)
40 \end{verbatim}
41 \indentrel{-3}\end{paste}\end{patch}
47 \end{paste}\end{patch}
54 (4) - 5 + 2 x + 3 y
56 \end{verbatim}
57 \indentrel{-3}\end{paste}\end{patch}
63 \end{paste}\end{patch}
71 (5) 25 - 20 x - 30 y + 4 x + 6 x y + 6 y x + 9 y
73 \end{verbatim}
74 \indentrel{-3}\end{paste}\end{patch}
80 \end{paste}\end{patch}
89 \end{verbatim}
90 \indentrel{-3}\end{paste}\end{patch}
96 \end{paste}\end{patch}
106 x(150 + x(- 60 + x 8 + y 12) + y(- 90 + x 12 + y 18))
108 y(225 + x(- 90 + x 12 + y 18) + y(- 135 + x 18 + y 27))
110 \end{verbatim}
111 \indentrel{-3}\end{paste}\end{patch}
117 \end{paste}\end{patch}
126 - 125 + 150 x + 225 y - 60 x - 90 x y - 90 y x
129 - 135 y + 8 x + 12 x y + 12 x y x + 18 x y
132 12 y x + 18 y x y + 18 y x + 27 y
134 \end{verbatim}
135 \indentrel{-3}\end{paste}\end{patch}
141 \end{paste}\end{patch}
150 - 125 + 150 x + 225 y - 60 x - 90 x y - 90 y x
153 - 135 y
155 \end{verbatim}
156 \indentrel{-3}\end{paste}\end{patch}
162 \end{paste}\end{patch}
170 - 125 + x(150 + x(- 60) + y(- 90))
172 y(225 + x(- 90) + y(- 135))
174 \end{verbatim}
175 \indentrel{-3}\end{paste}\end{patch}
181 \end{paste}\end{patch}
190 \end{verbatim}
191 \indentrel{-3}\end{paste}\end{patch}
197 \end{paste}\end{patch}
202 \tab{5}\spadcommand{w: Word := x*y^2\free{Word }\bound{w }}
205 (12) x y
207 \end{verbatim}
208 \indentrel{-3}\end{paste}\end{patch}
213 \tab{5}\spadcommand{w: Word := x*y^2\free{Word }\bound{w }}
214 \end{paste}\end{patch}
223 \end{verbatim}
224 \indentrel{-3}\end{paste}\end{patch}
230 \end{paste}\end{patch}
238 x(x y y 4 + y(x y 2 + y(- 5 + x 2 + y 9))) + y x y y 3
240 \end{verbatim}
241 \indentrel{-3}\end{paste}\end{patch}
247 \end{paste}\end{patch}