>(load "apollonius")
Loading apollonius.lisp
Warning: Test 6 - Circle of Apollonius
Condition:
  Green list: [ U1, U2 ]
  Red list: [  ]
 Basis: [ (2) * X1, (2) * X2, (2) * X3, (2) * X4, ( - 4) * X6^2 + (8) * X6 * X8, (4) * S * X5^2 + ( - 8) * S * X5 * X7 + ( - 4) ]
Condition:
  Green list: [ U2 ]
  Red list: [ U1 ]
 Basis: [ ( - 4 * U1^3) ]
Condition:
  Green list: [ U1 ]
  Red list: [ U2 ]
 Basis: [ (4 * U2^2) ]
Condition:
  Green list: [  ]
  Red list: [  - U1^2 - U2^2,  - U1^2 + U2^2, U1, U2 ]
 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) ]
Condition:
  Green list: [  - U1^2 - U2^2 ]
  Red list: [  - U2^2, U1, U2 ]
 Basis: [ (U2^3) ]
Condition:
  Green list: [  - U1^2 + U2^2 ]
  Red list: [ U1, U2 ]
 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) ]
Finished loading apollonius.lisp
T