(setf fl (parse-string-to-sorted-alist 
	  "[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]"
	  '(x y a b c)))
(setf cfl (make-colored-poly-list fl 2))
(determine cfl)
(cond-system-print * '(x y) '(a b c))

Condition:
  Green list: [  ]
  Red list: [ A^2 + B, A * C^2 + B * C^2 ]
 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) ]
Condition:
  Green list: [ A^2 + B ]
  Red list: [  - A * B^2 - A * B * C, A * C^2 + B * C^2 ]
 Basis: [ (A^3 * B + A^3 * C) * X * Y, (A * C^2 + B * C^2) * X^2 + (B) * Y + (4) ]
Condition:
  Green list: [ A^2 + B, B + C ]
  Red list: [ A * C^2 + B * C^2 ]
 Basis: [ 0, (A * C^2 + B * C^2) * X^2 + (B) * Y + (4) ]
Condition:
  Green list: [ A * C^2 + B * C^2 ]
  Red list: [ A^2 + B, B ]
 Basis: [ (A^2 + B) * X^2 * Y + (A^3 * B + A^3 * C) * X * Y, (B) * Y + (4) ]
Condition:
  Green list: [ A^2 + B, A * C^2 + B * C^2, B * C^2 + C^2 ]
  Red list: [  - A * B - A * C, B ]
 Basis: [ (A^3 * B + A^3 * C) * X * Y, (B) * Y + (4) ]
Condition:
  Green list: [ B + C,  - C + 1,  - A + 1 ]
  Red list: [ B ]
 Basis: [ 0, (B) * Y + (4) ]
Condition:
  Green list: [ B, C^2 ]
  Red list: [ A^2 ]
 Basis: [ (A^2 + B) * X^2 * Y + (A^3 * B + A^3 * C) * X * Y, (4) ]
Condition:
  Green list: [ A^2, B, A * C^2 + B * C^2 ]
  Red list: [  ]
 Basis: [ 0, (4) ]