source: CGBLisp/examples/alt2.result@ 1

>(load "alt2")
Loading alt2.lisp
------------------- CASE 1 -------------------
Condition:
  Green list: [  ]
  Red list: [  ]
 Basis: [ ( - 1) * X * V1 + (1) * X * Y1 + (1) * Y * U1 + ( - 1) * Y * X1 + ( - 1) * U1 * Y1 + (1) * V1 * X1, ( - 1) * X * V2 + (1) * X * Y2 + (1) * Y * U2 + ( - 1) * Y * X2 + ( - 1) * U2 * Y2 + (1) * V2 * X2, ( - 1) * X * V3 + (Y3) * X + (1) * Y * U3 + ( - X3) * Y + ( - Y3) * U3 + (X3) * V3, ( - 1) * U1 * X2 + (X3) * U1 + ( - 1) * V1 * Y2 + (Y3) * V1 + (1) * X1 * X2 + ( - X3) * X1 + (1) * Y1 * Y2 + ( - Y3) * Y1, ( - 1) * U2 * X1 + (X3) * U2 + ( - 1) * V2 * Y1 + (Y3) * V2 + (1) * X1 * X2 + (1) * Y1 * Y2 + ( - X3) * X2 + ( - Y3) * Y2, ( - 1) * U3 * X1 + (1) * U3 * X2 + ( - 1) * V3 * Y1 + (1) * V3 * Y2 + (X3) * X1 + (Y3) * Y1 + ( - X3) * X2 + ( - Y3) * Y2, ( - 1) * U2 * U3 * X2 + (X3) * U2 * U3 + (1) * U2 * V3 * Y1 + ( - 1) * U2 * V3 * Y2 + ( - Y3) * U2 * Y1 + (X3) * U2 * X2 + (Y3) * U2 * Y2 + ( - X3^2) * U2 + ( - 1) * V2 * U3 * Y1 + (Y3) * V2 * U3 + (X3) * V2 * Y1 + ( - X3 * Y3) * V2 + (1) * U3 * Y1 * Y2 + (1) * U3 * X2^2 + ( - X3) * U3 * X2 + ( - Y3) * U3 * Y2 + ( - 1) * V3 * Y1 * X2 + (1) * V3 * X2 * Y2 + (Y3) * Y1 * X2 + ( - X3) * Y1 * Y2 + ( - X3) * X2^2 + ( - Y3) * X2 * Y2 + (X3^2) * X2 + (X3 * Y3) * Y2, (1) * Y * U2 * V3 + ( - Y3) * Y * U2 + ( - 1) * Y * V2 * U3 + (X3) * Y * V2 + (1) * Y * U3 * Y2 + ( - 1) * Y * V3 * X2 + (Y3) * Y * X2 + ( - X3) * Y * Y2 + ( - 1) * U2 * V3 * Y2 + (Y3) * U2 * Y2 + (Y3) * V2 * U3 + (1) * V2 * V3 * X2 + ( - X3) * V2 * V3 + ( - Y3) * V2 * X2 + ( - Y3) * U3 * Y2 + (X3) * V3 * Y2, (1) * Y * U1 * V3 + ( - Y3) * Y * U1 + ( - 1) * Y * V1 * U3 + (X3) * Y * V1 + (1) * Y * U3 * Y1 + ( - 1) * Y * V3 * X1 + (Y3) * Y * X1 + ( - X3) * Y * Y1 + ( - 1) * U1 * V3 * Y1 + (Y3) * U1 * Y1 + (Y3) * V1 * U3 + (1) * V1 * V3 * X1 + ( - X3) * V1 * V3 + ( - Y3) * V1 * X1 + ( - Y3) * U3 * Y1 + (X3) * V3 * Y1, (1) * Y * U1 * V2 + ( - 1) * Y * U1 * Y2 + ( - 1) * Y * V1 * U2 + (1) * Y * V1 * X2 + (1) * Y * U2 * Y1 + ( - 1) * Y * V2 * X1 + (1) * Y * X1 * Y2 + ( - 1) * Y * Y1 * X2 + ( - 1) * U1 * V2 * Y1 + (1) * U1 * Y1 * Y2 + (1) * V1 * U2 * Y2 + (1) * V1 * V2 * X1 + ( - 1) * V1 * V2 * X2 + ( - 1) * V1 * X1 * Y2 + ( - 1) * U2 * Y1 * Y2 + (1) * V2 * Y1 * X2, ( - 1) * U1 * U2 * V3 * Y1 + (1) * U1 * U2 * V3 * Y2 + (Y3) * U1 * U2 * Y1 + ( - Y3) * U1 * U2 * Y2 + (1) * U1 * V2 * U3 * Y1 + ( - Y3) * U1 * V2 * U3 + ( - X3) * U1 * V2 * Y1 + (X3 * Y3) * U1 * V2 + ( - 1) * U1 * U3 * Y1 * Y2 + (Y3) * U1 * U3 * Y2 + (X3) * U1 * V3 * Y1 + ( - X3) * U1 * V3 * Y2 + (X3) * U1 * Y1 * Y2 + ( - X3 * Y3) * U1 * Y1 + ( - 1) * V1 * U2 * U3 * Y2 + (Y3) * V1 * U2 * U3 + (X3) * V1 * U2 * Y2 + ( - X3 * Y3) * V1 * U2 + (1) * V1 * U3 * X2 * Y2 + ( - Y3) * V1 * U3 * X2 + ( - 1) * V1 * V3 * Y1 * Y2 + (Y3) * V1 * V3 * Y1 + (1) * V1 * V3 * Y2^2 + ( - Y3) * V1 * V3 * Y2 + (Y3) * V1 * Y1 * Y2 + ( - Y3^2) * V1 * Y1 + ( - X3) * V1 * X2 * Y2 + (X3 * Y3) * V1 * X2 + ( - Y3) * V1 * Y2^2 + (Y3^2) * V1 * Y2 + (1) * U2 * U3 * Y1 * Y2 + ( - Y3) * U2 * U3 * Y1 + (X3) * U2 * V3 * Y1 + ( - X3) * U2 * V3 * Y2 + ( - X3) * U2 * Y1 * Y2 + (X3 * Y3) * U2 * Y2 + ( - 1) * V2 * U3 * Y1 * X2 + (Y3) * V2 * U3 * X2 + (X3) * V2 * Y1 * X2 + ( - X3 * Y3) * V2 * X2 + (Y3) * U3 * Y1 * X2 + ( - Y3) * U3 * X2 * Y2 + (1) * V3 * X1 * Y1 * X2 + ( - X3) * V3 * X1 * Y1 + ( - 1) * V3 * X1 * X2 * Y2 + (X3) * V3 * X1 * Y2 + (1) * V3 * Y1^2 * Y2 + ( - Y3) * V3 * Y1^2 + ( - X3) * V3 * Y1 * X2 + ( - 1) * V3 * Y1 * Y2^2 + (Y3) * V3 * Y1 * Y2 + (X3) * V3 * X2 * Y2 + ( - Y3) * X1 * Y1 * X2 + (X3 * Y3) * X1 * Y1 + (Y3) * X1 * X2 * Y2 + ( - X3 * Y3) * X1 * Y2 + ( - Y3) * Y1^2 * Y2 + (Y3^2) * Y1^2 + (Y3) * Y1 * Y2^2 + ( - Y3^2) * Y1 * Y2, (1) * Y * V2 * U3 * X2 + ( - X3) * Y * V2 * U3 + (1) * Y * V2 * V3 * Y2 + ( - Y3) * Y * V2 * V3 + ( - X3) * Y * V2 * X2 + ( - Y3) * Y * V2 * Y2 + (X3^2 + Y3^2) * Y * V2 + ( - 1) * Y * U3 * X2 * Y2 + (X3) * Y * U3 * Y2 + ( - 1) * Y * V3 * Y2^2 + (Y3) * Y * V3 * Y2 + (X3) * Y * X2 * Y2 + (Y3) * Y * Y2^2 + ( - X3^2 - Y3^2) * Y * Y2 + ( - Y3) * V2 * U3 * X2 + (X3 * Y3) * V2 * U3 + ( - 1) * V2 * V3 * X1 * X2 + (X3) * V2 * V3 * X1 + ( - 1) * V2 * V3 * Y1 * Y2 + (Y3) * V2 * V3 * Y1 + (X3) * V2 * V3 * X2 + ( - X3^2) * V2 * V3 + (Y3) * V2 * X1 * X2 + ( - X3 * Y3) * V2 * X1 + (Y3) * V2 * Y1 * Y2 + ( - Y3^2) * V2 * Y1 + (Y3) * U3 * X2 * Y2 + ( - X3 * Y3) * U3 * Y2 + (1) * V3 * X1 * X2 * Y2 + ( - X3) * V3 * X1 * Y2 + (1) * V3 * Y1 * Y2^2 + ( - Y3) * V3 * Y1 * Y2 + ( - X3) * V3 * X2 * Y2 + (X3^2) * V3 * Y2 + ( - Y3) * X1 * X2 * Y2 + (X3 * Y3) * X1 * Y2 + ( - Y3) * Y1 * Y2^2 + (Y3^2) * Y1 * Y2, ( - 1) * Y * V1 * U3 * X2 + (X3) * Y * V1 * U3 + ( - 1) * Y * V1 * V3 * Y2 + (Y3) * Y * V1 * V3 + (X3) * Y * V1 * X2 + (Y3) * Y * V1 * Y2 + ( - X3^2 - Y3^2) * Y * V1 + (1) * Y * U3 * Y1 * X2 + ( - X3) * Y * U3 * Y1 + (1) * Y * V3 * Y1 * Y2 + ( - Y3) * Y * V3 * Y1 + ( - X3) * Y * Y1 * X2 + ( - Y3) * Y * Y1 * Y2 + (X3^2 + Y3^2) * Y * Y1 + (Y3) * V1 * U3 * X2 + ( - X3 * Y3) * V1 * U3 + (1) * V1 * V3 * X1 * X2 + ( - X3) * V1 * V3 * X1 + (1) * V1 * V3 * Y1 * Y2 + ( - Y3) * V1 * V3 * Y1 + ( - X3) * V1 * V3 * X2 + (X3^2) * V1 * V3 + ( - Y3) * V1 * X1 * X2 + (X3 * Y3) * V1 * X1 + ( - Y3) * V1 * Y1 * Y2 + (Y3^2) * V1 * Y1 + ( - Y3) * U3 * Y1 * X2 + (X3 * Y3) * U3 * Y1 + ( - 1) * V3 * X1 * Y1 * X2 + (X3) * V3 * X1 * Y1 + ( - 1) * V3 * Y1^2 * Y2 + (Y3) * V3 * Y1^2 + (X3) * V3 * Y1 * X2 + ( - X3^2) * V3 * Y1 + (Y3) * X1 * Y1 * X2 + ( - X3 * Y3) * X1 * Y1 + (Y3) * Y1^2 * Y2 + ( - Y3^2) * Y1^2, ( - 1) * Y * V1 * U2 * X2 + (X3) * Y * V1 * U2 + ( - 1) * Y * V1 * V2 * Y2 + (Y3) * Y * V1 * V2 + (1) * Y * V1 * X2^2 + ( - X3) * Y * V1 * X2 + (1) * Y * V1 * Y2^2 + ( - Y3) * Y * V1 * Y2 + (1) * Y * U2 * Y1 * X2 + ( - X3) * Y * U2 * Y1 + (1) * Y * V2 * Y1 * Y2 + ( - Y3) * Y * V2 * Y1 + ( - 1) * Y * Y1 * X2^2 + (X3) * Y * Y1 * X2 + ( - 1) * Y * Y1 * Y2^2 + (Y3) * Y * Y1 * Y2 + (1) * V1 * U2 * X2 * Y2 + ( - X3) * V1 * U2 * Y2 + (1) * V1 * V2 * X1 * X2 + ( - X3) * V1 * V2 * X1 + (1) * V1 * V2 * Y1 * Y2 + ( - Y3) * V1 * V2 * Y1 + ( - 1) * V1 * V2 * X2^2 + (X3) * V1 * V2 * X2 + ( - 1) * V1 * X1 * X2 * Y2 + (X3) * V1 * X1 * Y2 + ( - 1) * V1 * Y1 * Y2^2 + (Y3) * V1 * Y1 * Y2 + ( - 1) * U2 * Y1 * X2 * Y2 + (X3) * U2 * Y1 * Y2 + ( - 1) * V2 * X1 * Y1 * X2 + (X3) * V2 * X1 * Y1 + ( - 1) * V2 * Y1^2 * Y2 + (Y3) * V2 * Y1^2 + (1) * V2 * Y1 * X2^2 + ( - X3) * V2 * Y1 * X2 + (1) * X1 * Y1 * X2 * Y2 + ( - X3) * X1 * Y1 * Y2 + (1) * Y1^2 * Y2^2 + ( - Y3) * Y1^2 * Y2, ( - 1) * Y * V2 * V3 * X1 * Y2 + (Y3) * Y * V2 * V3 * X1 + (1) * Y * V2 * V3 * Y1 * X2 + ( - X3) * Y * V2 * V3 * Y1 + ( - Y3) * Y * V2 * V3 * X2 + (X3) * Y * V2 * V3 * Y2 + (Y3) * Y * V2 * X1 * Y2 + ( - Y3^2) * Y * V2 * X1 + ( - Y3) * Y * V2 * Y1 * X2 + (X3 * Y3) * Y * V2 * Y1 + (Y3^2) * Y * V2 * X2 + ( - X3 * Y3) * Y * V2 * Y2 + (1) * Y * V3 * X1 * Y2^2 + ( - Y3) * Y * V3 * X1 * Y2 + ( - 1) * Y * V3 * Y1 * X2 * Y2 + (X3) * Y * V3 * Y1 * Y2 + (Y3) * Y * V3 * X2 * Y2 + ( - X3) * Y * V3 * Y2^2 + ( - Y3) * Y * X1 * Y2^2 + (Y3^2) * Y * X1 * Y2 + (Y3) * Y * Y1 * X2 * Y2 + ( - X3 * Y3) * Y * Y1 * Y2 + ( - Y3^2) * Y * X2 * Y2 + (X3 * Y3) * Y * Y2^2 + (1) * V2 * V3 * X1^2 * X2 + ( - X3) * V2 * V3 * X1^2 + (1) * V2 * V3 * X1 * Y1 * Y2 + ( - Y3) * V2 * V3 * X1 * Y1 + ( - 1) * V2 * V3 * X1 * X2^2 + (X3^2) * V2 * V3 * X1 + ( - 1) * V2 * V3 * Y1 * X2 * Y2 + (X3 * Y3) * V2 * V3 * Y1 + (X3) * V2 * V3 * X2^2 + (Y3) * V2 * V3 * X2 * Y2 + ( - X3^2) * V2 * V3 * X2 + ( - X3 * Y3) * V2 * V3 * Y2 + ( - Y3) * V2 * X1^2 * X2 + (X3 * Y3) * V2 * X1^2 + ( - Y3) * V2 * X1 * Y1 * Y2 + (Y3^2) * V2 * X1 * Y1 + (Y3) * V2 * X1 * X2^2 + ( - X3^2 * Y3) * V2 * X1 + (Y3) * V2 * Y1 * X2 * Y2 + ( - X3 * Y3^2) * V2 * Y1 + ( - X3 * Y3) * V2 * X2^2 + ( - Y3^2) * V2 * X2 * Y2 + (X3^2 * Y3) * V2 * X2 + (X3 * Y3^2) * V2 * Y2 + ( - 1) * V3 * X1^2 * X2 * Y2 + (X3) * V3 * X1^2 * Y2 + ( - 1) * V3 * X1 * Y1 * Y2^2 + (Y3) * V3 * X1 * Y1 * Y2 + (1) * V3 * X1 * X2^2 * Y2 + ( - X3^2) * V3 * X1 * Y2 + (1) * V3 * Y1 * X2 * Y2^2 + ( - X3 * Y3) * V3 * Y1 * Y2 + ( - X3) * V3 * X2^2 * Y2 + ( - Y3) * V3 * X2 * Y2^2 + (X3^2) * V3 * X2 * Y2 + (X3 * Y3) * V3 * Y2^2 + (Y3) * X1^2 * X2 * Y2 + ( - X3 * Y3) * X1^2 * Y2 + (Y3) * X1 * Y1 * Y2^2 + ( - Y3^2) * X1 * Y1 * Y2 + ( - Y3) * X1 * X2^2 * Y2 + (X3^2 * Y3) * X1 * Y2 + ( - Y3) * Y1 * X2 * Y2^2 + (X3 * Y3^2) * Y1 * Y2 + (X3 * Y3) * X2^2 * Y2 + (Y3^2) * X2 * Y2^2 + ( - X3^2 * Y3) * X2 * Y2 + ( - X3 * Y3^2) * Y2^2, ( - 1) * Y * V1 * V3 * X1 * Y2 + (Y3) * Y * V1 * V3 * X1 + (1) * Y * V1 * V3 * Y1 * X2 + ( - X3) * Y * V1 * V3 * Y1 + ( - Y3) * Y * V1 * V3 * X2 + (X3) * Y * V1 * V3 * Y2 + (Y3) * Y * V1 * X1 * Y2 + ( - Y3^2) * Y * V1 * X1 + ( - Y3) * Y * V1 * Y1 * X2 + (X3 * Y3) * Y * V1 * Y1 + (Y3^2) * Y * V1 * X2 + ( - X3 * Y3) * Y * V1 * Y2 + (1) * Y * V3 * X1 * Y1 * Y2 + ( - Y3) * Y * V3 * X1 * Y1 + ( - 1) * Y * V3 * Y1^2 * X2 + (X3) * Y * V3 * Y1^2 + (Y3) * Y * V3 * Y1 * X2 + ( - X3) * Y * V3 * Y1 * Y2 + ( - Y3) * Y * X1 * Y1 * Y2 + (Y3^2) * Y * X1 * Y1 + (Y3) * Y * Y1^2 * X2 + ( - X3 * Y3) * Y * Y1^2 + ( - Y3^2) * Y * Y1 * X2 + (X3 * Y3) * Y * Y1 * Y2 + (1) * V1 * V3 * X1^2 * X2 + ( - X3) * V1 * V3 * X1^2 + (1) * V1 * V3 * X1 * Y1 * Y2 + ( - Y3) * V1 * V3 * X1 * Y1 + ( - 1) * V1 * V3 * X1 * X2^2 + (X3^2) * V1 * V3 * X1 + ( - 1) * V1 * V3 * Y1 * X2 * Y2 + (X3 * Y3) * V1 * V3 * Y1 + (X3) * V1 * V3 * X2^2 + (Y3) * V1 * V3 * X2 * Y2 + ( - X3^2) * V1 * V3 * X2 + ( - X3 * Y3) * V1 * V3 * Y2 + ( - Y3) * V1 * X1^2 * X2 + (X3 * Y3) * V1 * X1^2 + ( - Y3) * V1 * X1 * Y1 * Y2 + (Y3^2) * V1 * X1 * Y1 + (Y3) * V1 * X1 * X2^2 + ( - X3^2 * Y3) * V1 * X1 + (Y3) * V1 * Y1 * X2 * Y2 + ( - X3 * Y3^2) * V1 * Y1 + ( - X3 * Y3) * V1 * X2^2 + ( - Y3^2) * V1 * X2 * Y2 + (X3^2 * Y3) * V1 * X2 + (X3 * Y3^2) * V1 * Y2 + ( - 1) * V3 * X1^2 * Y1 * X2 + (X3) * V3 * X1^2 * Y1 + ( - 1) * V3 * X1 * Y1^2 * Y2 + (Y3) * V3 * X1 * Y1^2 + (1) * V3 * X1 * Y1 * X2^2 + ( - X3^2) * V3 * X1 * Y1 + (1) * V3 * Y1^2 * X2 * Y2 + ( - X3 * Y3) * V3 * Y1^2 + ( - X3) * V3 * Y1 * X2^2 + ( - Y3) * V3 * Y1 * X2 * Y2 + (X3^2) * V3 * Y1 * X2 + (X3 * Y3) * V3 * Y1 * Y2 + (Y3) * X1^2 * Y1 * X2 + ( - X3 * Y3) * X1^2 * Y1 + (Y3) * X1 * Y1^2 * Y2 + ( - Y3^2) * X1 * Y1^2 + ( - Y3) * X1 * Y1 * X2^2 + (X3^2 * Y3) * X1 * Y1 + ( - Y3) * Y1^2 * X2 * Y2 + (X3 * Y3^2) * Y1^2 + (X3 * Y3) * Y1 * X2^2 + (Y3^2) * Y1 * X2 * Y2 + ( - X3^2 * Y3) * Y1 * X2 + ( - X3 * Y3^2) * Y1 * Y2, ( - 1) * Y * V1 * V2 * X1 * Y2 + (Y3) * Y * V1 * V2 * X1 + (1) * Y * V1 * V2 * Y1 * X2 + ( - X3) * Y * V1 * V2 * Y1 + ( - Y3) * Y * V1 * V2 * X2 + (X3) * Y * V1 * V2 * Y2 + (1) * Y * V1 * X1 * Y2^2 + ( - Y3) * Y * V1 * X1 * Y2 + ( - 1) * Y * V1 * Y1 * X2 * Y2 + (X3) * Y * V1 * Y1 * Y2 + (Y3) * Y * V1 * X2 * Y2 + ( - X3) * Y * V1 * Y2^2 + (1) * Y * V2 * X1 * Y1 * Y2 + ( - Y3) * Y * V2 * X1 * Y1 + ( - 1) * Y * V2 * Y1^2 * X2 + (X3) * Y * V2 * Y1^2 + (Y3) * Y * V2 * Y1 * X2 + ( - X3) * Y * V2 * Y1 * Y2 + ( - 1) * Y * X1 * Y1 * Y2^2 + (Y3) * Y * X1 * Y1 * Y2 + (1) * Y * Y1^2 * X2 * Y2 + ( - X3) * Y * Y1^2 * Y2 + ( - Y3) * Y * Y1 * X2 * Y2 + (X3) * Y * Y1 * Y2^2 + (1) * V1 * V2 * X1^2 * X2 + ( - X3) * V1 * V2 * X1^2 + (1) * V1 * V2 * X1 * Y1 * Y2 + ( - Y3) * V1 * V2 * X1 * Y1 + ( - 1) * V1 * V2 * X1 * X2^2 + (X3^2) * V1 * V2 * X1 + ( - 1) * V1 * V2 * Y1 * X2 * Y2 + (X3 * Y3) * V1 * V2 * Y1 + (X3) * V1 * V2 * X2^2 + (Y3) * V1 * V2 * X2 * Y2 + ( - X3^2) * V1 * V2 * X2 + ( - X3 * Y3) * V1 * V2 * Y2 + ( - 1) * V1 * X1^2 * X2 * Y2 + (X3) * V1 * X1^2 * Y2 + ( - 1) * V1 * X1 * Y1 * Y2^2 + (Y3) * V1 * X1 * Y1 * Y2 + (1) * V1 * X1 * X2^2 * Y2 + ( - X3^2) * V1 * X1 * Y2 + (1) * V1 * Y1 * X2 * Y2^2 + ( - X3 * Y3) * V1 * Y1 * Y2 + ( - X3) * V1 * X2^2 * Y2 + ( - Y3) * V1 * X2 * Y2^2 + (X3^2) * V1 * X2 * Y2 + (X3 * Y3) * V1 * Y2^2 + ( - 1) * V2 * X1^2 * Y1 * X2 + (X3) * V2 * X1^2 * Y1 + ( - 1) * V2 * X1 * Y1^2 * Y2 + (Y3) * V2 * X1 * Y1^2 + (1) * V2 * X1 * Y1 * X2^2 + ( - X3^2) * V2 * X1 * Y1 + (1) * V2 * Y1^2 * X2 * Y2 + ( - X3 * Y3) * V2 * Y1^2 + ( - X3) * V2 * Y1 * X2^2 + ( - Y3) * V2 * Y1 * X2 * Y2 + (X3^2) * V2 * Y1 * X2 + (X3 * Y3) * V2 * Y1 * Y2 + (1) * X1^2 * Y1 * X2 * Y2 + ( - X3) * X1^2 * Y1 * Y2 + (1) * X1 * Y1^2 * Y2^2 + ( - Y3) * X1 * Y1^2 * Y2 + ( - 1) * X1 * Y1 * X2^2 * Y2 + (X3^2) * X1 * Y1 * Y2 + ( - 1) * Y1^2 * X2 * Y2^2 + (X3 * Y3) * Y1^2 * Y2 + (X3) * Y1 * X2^2 * Y2 + (Y3) * Y1 * X2 * Y2^2 + ( - X3^2) * Y1 * X2 * Y2 + ( - X3 * Y3) * Y1 * Y2^2 ]
Finished loading alt2.lisp
T

>