124     assume( p_GetExp(p, x, R) == 1 );  in TestGBEngine()
125     assume( p_GetExp(p, z, R) == 1 );  in TestGBEngine()
126     assume( p_GetExp(p, w, R) == 0 );  in TestGBEngine()
127     assume( p_GetExp(p, y, R) == 0 );  in TestGBEngine()
134     assume( p_GetExp(lp, w, R) == 2 );  in TestGBEngine()
135     assume( p_GetExp(lp, x, R) == 0 );  in TestGBEngine()
136     assume( p_GetExp(lp, y, R) == 0 );  in TestGBEngine()
137     assume( p_GetExp(lp, z, R) == 0 );  in TestGBEngine()
150     assume( p_GetExp(p, y, R) == 1 );  in TestGBEngine()
151     assume( p_GetExp(p, z, R) == 1 );  in TestGBEngine()
152     assume( p_GetExp(p, w, R) == 0 );  in TestGBEngine()
153     assume( p_GetExp(p, x, R) == 0 );  in TestGBEngine()
161     assume( p_GetExp(lp, w, R) == 1 );  in TestGBEngine()
162     assume( p_GetExp(lp, x, R) == 1 );  in TestGBEngine()
163     assume( p_GetExp(lp, y, R) == 0 );  in TestGBEngine()
164     assume( p_GetExp(lp, z, R) == 0 );  in TestGBEngine()
178     assume( p_GetExp(p, y, R) == 1 );  in TestGBEngine()
179     assume( p_GetExp(p, w, R) == 1 );  in TestGBEngine()
180     assume( p_GetExp(p, z, R) == 0 );  in TestGBEngine()
181     assume( p_GetExp(p, x, R) == 0 );  in TestGBEngine()
188     assume( p_GetExp(lp, w, R) == 0 );  in TestGBEngine()
189     assume( p_GetExp(lp, x, R) == 2 );  in TestGBEngine()
190     assume( p_GetExp(lp, y, R) == 0 );  in TestGBEngine()
191     assume( p_GetExp(lp, z, R) == 0 );  in TestGBEngine()
204     assume( p_GetExp(p, y, R) == 0 );  in TestGBEngine()
205     assume( p_GetExp(p, w, R) == 0 );  in TestGBEngine()
206     assume( p_GetExp(p, z, R) == 2 );  in TestGBEngine()
207     assume( p_GetExp(p, x, R) == 0 );  in TestGBEngine()
215     assume( p_GetExp(lp, w, R) == 0 );  in TestGBEngine()
216     assume( p_GetExp(lp, x, R) == 1 );  in TestGBEngine()
217     assume( p_GetExp(lp, y, R) == 1 );  in TestGBEngine()
218     assume( p_GetExp(lp, z, R) == 0 );  in TestGBEngine()
232     assume( p_GetExp(p, y, R) == 0 );  in TestGBEngine()
233     assume( p_GetExp(p, w, R) == 1 );  in TestGBEngine()
234     assume( p_GetExp(p, z, R) == 1 );  in TestGBEngine()
235     assume( p_GetExp(p, x, R) == 0 );  in TestGBEngine()
242     assume( p_GetExp(lp, w, R) == 0 );  in TestGBEngine()
243     assume( p_GetExp(lp, x, R) == 0 );  in TestGBEngine()
244     assume( p_GetExp(lp, y, R) == 2 );  in TestGBEngine()
245     assume( p_GetExp(lp, z, R) == 0 );  in TestGBEngine()
291   assume( p_GetExp(p,1, R) == 1 );  in TestSimpleRingArithmetcs()
295 …PrintS("p: "); p_Write0(p, R); Print(", deg(p): %ld", p_Totaldegree(p, R)); assume( 1 == p_Totalde…  in TestSimpleRingArithmetcs()
297 …PrintS("; p*p : "); p_Write0(pp, R); Print("deg(pp): %ld\n", p_Totaldegree(pp, R)); assume( 2 == p…  in TestSimpleRingArithmetcs()
302   assume( p_GetExp(pp,1, R) == 2 );  in TestSimpleRingArithmetcs()
339   assume( sizeof(long) == SIZEOF_LONG );  in main()