1 | (setf fl (parse-string-to-sorted-alist
|
---|
2 | "[a^2*x^2*y+b*x^2*y+a^3*b*x*y+a^3*c*x*y,c^2*a*x^2+c^2*b*x^2+b*y+4]"
|
---|
3 | '(x y a b c)))
|
---|
4 | (setf cfl (make-colored-poly-list fl 2))
|
---|
5 | (determine cfl)
|
---|
6 | (cond-system-print * '(x y) '(a b c))
|
---|
7 |
|
---|
8 | Condition:
|
---|
9 | Green list: [ ]
|
---|
10 | Red list: [ A^2 + B, A * C^2 + B * C^2 ]
|
---|
11 | Basis: [ (A^2 + B) * X^2 * Y + (A^3 * B + A^3 * C) * X * Y, (A * C^2 + B * C^2) * X^2 + (B) * Y + (4) ]
|
---|
12 | Condition:
|
---|
13 | Green list: [ A^2 + B ]
|
---|
14 | Red list: [ - A * B^2 - A * B * C, A * C^2 + B * C^2 ]
|
---|
15 | Basis: [ (A^3 * B + A^3 * C) * X * Y, (A * C^2 + B * C^2) * X^2 + (B) * Y + (4) ]
|
---|
16 | Condition:
|
---|
17 | Green list: [ A^2 + B, B + C ]
|
---|
18 | Red list: [ A * C^2 + B * C^2 ]
|
---|
19 | Basis: [ 0, (A * C^2 + B * C^2) * X^2 + (B) * Y + (4) ]
|
---|
20 | Condition:
|
---|
21 | Green list: [ A * C^2 + B * C^2 ]
|
---|
22 | Red list: [ A^2 + B, B ]
|
---|
23 | Basis: [ (A^2 + B) * X^2 * Y + (A^3 * B + A^3 * C) * X * Y, (B) * Y + (4) ]
|
---|
24 | Condition:
|
---|
25 | Green list: [ A^2 + B, A * C^2 + B * C^2, B * C^2 + C^2 ]
|
---|
26 | Red list: [ - A * B - A * C, B ]
|
---|
27 | Basis: [ (A^3 * B + A^3 * C) * X * Y, (B) * Y + (4) ]
|
---|
28 | Condition:
|
---|
29 | Green list: [ B + C, - C + 1, - A + 1 ]
|
---|
30 | Red list: [ B ]
|
---|
31 | Basis: [ 0, (B) * Y + (4) ]
|
---|
32 | Condition:
|
---|
33 | Green list: [ B, C^2 ]
|
---|
34 | Red list: [ A^2 ]
|
---|
35 | Basis: [ (A^2 + B) * X^2 * Y + (A^3 * B + A^3 * C) * X * Y, (4) ]
|
---|
36 | Condition:
|
---|
37 | Green list: [ A^2, B, A * C^2 + B * C^2 ]
|
---|
38 | Red list: [ ]
|
---|
39 | Basis: [ 0, (4) ]
|
---|