test output

469330-ppl.tst (text/plain), 1.63 KB, created by Jeroen Roovers (RETIRED) on 2013-05-17 13:25:01 UTC

=== test01 ===
*** ph.affine_form_image(B, 3) ***
C = 0,
A = -2,
-B >= -3,
B >= 3.
*** know_result ***
C = 0,
A = -2,
B = 3.

=== test02 ===
*** ph.affine_form_image(A, A + B + 1) ***
B >= 0,
A - 2*B >= 1,
-A + B >= -4.
*** known_result ***
A - 2*B >= 1,
B >= 0,
-A + B >= -4.

=== test03 ===
*** ph.affine_form_image(A, (A + 1) / 2) ***
2*A >= 1,
B >= 0.
*** known_result ***
2*A >= 1,
B >= 0.

=== test04 ===
*** ph.affine_form_image(A, (B + 2) / (-3)) ***
0 = 1.
*** known_result ***
B = 0,
3*A = -2.

=== test05 ===
*** ph.affine_form_image(B, (A - B + 2) / (-3)) ***
0 = 1.
*** known_result ***
A >= 2,
A + 3*B >= -1,
-A >= -3,
A - 3*B >= 2.

=== test06 ===
*** ph.affine_form_image(A, (-A - 1) / (-1)) ***
A >= 1,
B >= 0,
-A >= -2,
-B >= -1.
*** known_result ***
A >= 1,
B >= 0,
-A >= -2,
-B >= -1.

=== test07 ===
*** p1.affine_form_image(B, A) ***
A - B >= 0,
-A > 0,
-A + B >= 0.
*** known_result1 ***
A - B >= 0,
-A > 0,
-A + B >= 0.
*** p2.affine_form_image(B, A + 2) ***
A >= 0,
A - B >= -2,
-A + B >= 2.
*** known_result2 ***
A >= 0,
A - B >= -2,
-A + B >= 2.

=== test01 ===
incompatible dimensions.

=== test02 ===
*** A <= [57, 57] ***
-A >= -57.
*** known_result ***
-A >= -57.

=== test03 ===
*** ph ***
-A >= -2,
B >= 1,
A >= 0,
-C >= 0,
C >= 0.
*** known_result ***
A >= 0,
-A >= -2,
B >= 1,
C = 0.

=== test04 ===
*** ph ***
0 = 1.
*** known_result1 ***
3*A >= 1,
-3*A >= -2,
B >= 0,
-3*B >= -1.
*** FP_Interval_Abstract_Store ***
A = []
B = []

=== test05 ===
*** ph ***
-A >= -1,
-B >= -1,
A >= -1,
B >= -1,
-A - B >= 2.
*** known_result1 ***
-2*A + 4*B >= -3,
A >= -1,
-A >= -1,
B >= -1,
-B >= -1.
*** FP_Interval_Abstract_Store ***
A = -1
B = -1