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
|
Line | |
---|
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.