1 | >(load "alt")
|
---|
2 | Loading alt.lisp
|
---|
3 | ------------------- CASE 1 -------------------
|
---|
4 | Condition:
|
---|
5 | Green list: [ X2, X3, Y3 ]
|
---|
6 | Red list: [ ]
|
---|
7 | Basis: [ ( - 1) * X * V1 + (1) * Y * U1, ( - 1) * X * V2 + (1) * Y * U2, ( - 1) * X * V3 + (1) * Y * U3, ( - 1) * Y * U2 * V3 + (1) * Y * V2 * U3, ( - 1) * Y * U1 * V3 + (1) * Y * V1 * U3, ( - 1) * Y * U1 * V2 + (1) * Y * V1 * U2 ]
|
---|
8 | ------------------- CASE 2 -------------------
|
---|
9 | Condition:
|
---|
10 | Green list: [ X2, X3 ]
|
---|
11 | Red list: [ Y3 ]
|
---|
12 | Basis: [ ( - 1) * X * V3 + (Y3) * X + (1) * Y * U3 + ( - Y3) * U3, (Y3) * V1, (Y3) * V2, (Y3) * Y * U2, ( - Y3) * Y * U1 ]
|
---|
13 | ------------------- CASE 3 -------------------
|
---|
14 | Condition:
|
---|
15 | Green list: [ X2 ]
|
---|
16 | Red list: [ X2 - X3, X3 ]
|
---|
17 | Basis: [ (X3) * X * V1 + (Y3) * Y * V1, ( - X3) * X * V2 + ( - Y3) * Y * V2, ( - 1) * X * V3 + (Y3) * X + (1) * Y * U3 + ( - X3) * Y + ( - Y3) * U3 + (X3) * V3, (X3) * U1 + (Y3) * V1, (X3) * U2 + (Y3) * V2, (X3) * Y * V2 * U3 + (Y3) * Y * V2 * V3 + ( - X3^2 - Y3^2) * Y * V2 + ( - X3 * Y3) * V2 * U3 + (X3^2) * V2 * V3, ( - X3) * Y * V1 * U3 + ( - Y3) * Y * V1 * V3 + (X3^2 + Y3^2) * Y * V1 + (X3 * Y3) * V1 * U3 + ( - X3^2) * V1 * V3 ]
|
---|
18 | ------------------- CASE 4 -------------------
|
---|
19 | Condition:
|
---|
20 | Green list: [ X3, Y3 ]
|
---|
21 | Red list: [ X2, X2 - X3 ]
|
---|
22 | Basis: [ ( - X2) * X * V1, ( - 1) * X * V2 + (1) * Y * U2 + ( - X2) * Y + (X2) * V2, (X2) * X * V3, ( - X2) * U1, (X2) * U3, (X2) * Y * U2 * V3 + ( - X2^2) * Y * V3 + (X2^2) * V2 * V3, ( - X2) * Y * V1 * U2 + (X2^2) * Y * V1 + ( - X2^2) * V1 * V2 ]
|
---|
23 | ------------------- CASE 5 -------------------
|
---|
24 | Condition:
|
---|
25 | Green list: [ X3 ]
|
---|
26 | Red list: [ Y3, X2, X2 - X3 ]
|
---|
27 | Basis: [ ( - X2) * X * V1 + (Y3) * Y * V1, (X2) * X * V3 + ( - X2 * Y3) * X, ( - X2) * U1 + (Y3) * V1, (Y3) * V2, (X2) * U3, (Y3) * Y * U2 + ( - X2 * Y3) * Y, (X2 * Y3) * Y * V1 * V3 + ( - X2 * Y3^2) * Y * V1 ]
|
---|
28 | ------------------- CASE 6 -------------------
|
---|
29 | Condition:
|
---|
30 | Green list: [ X2 - X3, Y3 ]
|
---|
31 | Red list: [ X3, X2 ]
|
---|
32 | Basis: [ ( - 1) * X * V1 + (1) * Y * U1, ( - X3) * X * V2 + (X3^2) * V2, (X3) * X * V3 + ( - X3^2) * V3, (X3) * U2 + ( - X3^2), (X3) * U3 + ( - X3^2), (X3) * Y * U1 * V3 + ( - X3^2) * V1 * V3, ( - X3) * Y * U1 * V2 + (X3^2) * V1 * V2 ]
|
---|
33 | ------------------- CASE 7 -------------------
|
---|
34 | Condition:
|
---|
35 | Green list: [ X2 - X3 ]
|
---|
36 | Red list: [ Y3, X2, X3 ]
|
---|
37 | Basis: [ ( - X3) * X * V2 + ( - Y3) * Y * V2 + (X3^2) * V2, (X3) * X * V3 + ( - X3 * Y3) * X + ( - X3^2) * V3 + (X3^2 * Y3), (Y3) * V1, (X3) * U2 + (Y3) * V2 + ( - X3^2), (X3) * U3 + ( - X3^2), ( - Y3) * Y * U1, ( - X3 * Y3) * Y * V2 * V3 + (X3 * Y3^2) * Y * V2 ]
|
---|
38 | ------------------- CASE 8 -------------------
|
---|
39 | Condition:
|
---|
40 | Green list: [ ]
|
---|
41 | Red list: [ X2, Y3, X3, X2 - X3 ]
|
---|
42 | Basis: [ ( - X2 + X3) * X * V1 + (Y3) * Y * V1, ( - X3) * X * V2 + ( - Y3) * Y * V2 + (X2 * X3) * V2, (X2) * X * V3 + ( - X2 * Y3) * X + ( - X2 * X3) * V3 + (X2 * X3 * Y3), ( - X2 + X3) * U1 + (Y3) * V1, (X3) * U2 + (Y3) * V2 + ( - X2 * X3), (X2) * U3 + ( - X2 * X3), ( - X2 * Y3) * Y * V2 * V3 + (X2 * Y3^2) * Y * V2 + (X2^2 * X3 - X2 * X3^2) * V2 * V3 + ( - X2^2 * X3 * Y3 + X2 * X3^2 * Y3) * V2, (X2 * Y3) * Y * V1 * V3 + ( - X2 * Y3^2) * Y * V1 + ( - X2^2 * X3 + X2 * X3^2) * V1 * V3 + (X2^2 * X3 * Y3 - X2 * X3^2 * Y3) * V1, ( - X2 * Y3) * Y * V1 * V2 + (X2^2 * X3 - X2 * X3^2) * V1 * V2 ]
|
---|
43 | ------------------- CASE 9 -------------------
|
---|
44 | Condition:
|
---|
45 | Green list: [ Y3 ]
|
---|
46 | Red list: [ X2, X3, X2 - X3 ]
|
---|
47 | Basis: [ ( - X2 + X3) * X * V1, ( - X3) * X * V2 + (X2 * X3) * V2, (X2) * X * V3 + ( - X2 * X3) * V3, ( - X2 + X3) * U1, (X3) * U2 + ( - X2 * X3), (X2) * U3 + ( - X2 * X3), (X2^2 * X3 - X2 * X3^2) * V2 * V3, ( - X2^2 * X3 + X2 * X3^2) * V1 * V3, (X2^2 * X3 - X2 * X3^2) * V1 * V2 ]
|
---|
48 | Finished loading alt.lisp
|
---|
49 | T
|
---|