Last change
on this file since 1 was 1, checked in by Marek Rychlik, 15 years ago |
First import of a version circa 1997.
|
File size:
1.3 KB
|
Rev | Line | |
---|
[1] | 1 | >(load "apollonius")
|
---|
| 2 | Loading apollonius.lisp
|
---|
| 3 | Warning: Test 6 - Circle of Apollonius
|
---|
| 4 | Condition:
|
---|
| 5 | Green list: [ U1, U2 ]
|
---|
| 6 | Red list: [ ]
|
---|
| 7 | Basis: [ (2) * X1, (2) * X2, (2) * X3, (2) * X4, ( - 4) * X6^2 + (8) * X6 * X8, (4) * S * X5^2 + ( - 8) * S * X5 * X7 + ( - 4) ]
|
---|
| 8 | Condition:
|
---|
| 9 | Green list: [ U2 ]
|
---|
| 10 | Red list: [ U1 ]
|
---|
| 11 | Basis: [ ( - 4 * U1^3) ]
|
---|
| 12 | Condition:
|
---|
| 13 | Green list: [ U1 ]
|
---|
| 14 | Red list: [ U2 ]
|
---|
| 15 | Basis: [ (4 * U2^2) ]
|
---|
| 16 | Condition:
|
---|
| 17 | Green list: [ ]
|
---|
| 18 | Red list: [ - U1^2 - U2^2, - U1^2 + U2^2, U1, U2 ]
|
---|
| 19 | Basis: [ ( - U1^2 - U2^2) * X6 + (U1^2 * U2), (4 * U1^4 * U2 - 4 * U2^5) * X8 + ( - 3 * U1^4 * U2^2 + 2 * U1^2 * U2^4 + U2^6), (2 * U1^6 * U2^2 - 2 * U1^4 * U2^4) * S + (4 * U1^6 - 4 * U1^2 * U2^4), (2) * X1 + ( - U1), (2) * X2 + ( - U2), (2) * X3 + ( - U1), (2) * X4 + ( - U2), ( - U1^2 * U2 - U2^3) * X5 + (U1 * U2^3), ( - 4 * U1^5 + 4 * U1 * U2^4) * X7 + (U1^6 + 2 * U1^4 * U2^2 - 3 * U1^2 * U2^4) ]
|
---|
| 20 | Condition:
|
---|
| 21 | Green list: [ - U1^2 - U2^2 ]
|
---|
| 22 | Red list: [ - U2^2, U1, U2 ]
|
---|
| 23 | Basis: [ (U2^3) ]
|
---|
| 24 | Condition:
|
---|
| 25 | Green list: [ - U1^2 + U2^2 ]
|
---|
| 26 | Red list: [ U1, U2 ]
|
---|
| 27 | Basis: [ (4 * U1) * X7 + ( - 4 * U2) * X8, ( - 4 * U2^3) * S * X8 + (U2^4) * S + (4 * U2^2), (2 * U2^2) * X6 + ( - U2^3), (2) * X1 + ( - U1), (2) * X2 + ( - U2), (2) * X3 + ( - U1), (2) * X4 + ( - U2), (2 * U2^3) * X5 + (U1 * U2^3) ]
|
---|
| 28 | Finished loading apollonius.lisp
|
---|
| 29 | T
|
---|
Note:
See
TracBrowser
for help on using the repository browser.