[1] | 1 | This output is correct; it says that if u1#0,u2#0,u1^2+u2^2#0 then
|
---|
| 2 | there is exactly one solution. In fact, we plug the Basis of second case
|
---|
| 3 | into macsyma and get the unique solution for this case:
|
---|
| 4 | ----------------------------------------------------------------
|
---|
| 5 | (C12) solve([ ( - 4 * U1) * X7 + (U1^2), ( - 4 * U2) * X8 + (U2^2), ( - U1^2 - U2^2) * X6 + (U1^2 * U2), (2) * X1 + ( - U1), (2) * X2 + ( - U2), (2) * X3 + ( - U1), (2) * X4 + ( - U2), ( - U1^2 * U2 - U2^3) * X5 + (U1 * U2^3) ],[x1,x2,x3,x4,x5,x6,x7,x8]);
|
---|
| 6 |
|
---|
| 7 | 2 2
|
---|
| 8 | U1 U2 U1 U2 U1 U2 U1 U2
|
---|
| 9 | (D12) [[X1 = --, X2 = --, X3 = --, X4 = --, X5 = ---------, X6 = ---------,
|
---|
| 10 | 2 2 2 2 2 2 2 2
|
---|
| 11 | U2 + U1 U2 + U1
|
---|
| 12 |
|
---|
| 13 | U1 U2
|
---|
| 14 | X7 = --, X8 = --]]
|
---|
| 15 | 4 4
|
---|
| 16 | (C13)
|
---|
| 17 | ----------------------------------------------------------------
|
---|
| 18 |
|
---|
| 19 | >(load "apollonius2.lisp")
|
---|
| 20 | Loading apollonius2.lisp
|
---|
| 21 | Condition:
|
---|
| 22 | Green list: [ ]
|
---|
| 23 | Red list: [ - U1^2 - U2^2, U1, U2 ]
|
---|
| 24 | Basis: [ ( - 4 * U1) * X7 + (U1^2), ( - 4 * U2) * X8 + (U2^2), ( - U1^2 - U2^2) * X6 + (U1^2 * U2), (2) * X1 + ( - U1), (2) * X2 + ( - U2), (2) * X3 + ( - U1), (2) * X4 + ( - U2), ( - U1^2 * U2 - U2^3) * X5 + (U1 * U2^3) ]
|
---|
| 25 | Condition:
|
---|
| 26 | Green list: [ - U1^2 - U2^2 ]
|
---|
| 27 | Red list: [ U1, U2 ]
|
---|
| 28 | Basis: [ (U2^3) ]
|
---|
| 29 | Finished loading apollonius2.lisp
|
---|
| 30 | T
|
---|