fourier_elim does not always return empty set as emptyset

• Subject: fourier_elim does not always return empty set as emptyset
• From: Cary Cherng
• Date: Tue, 5 Mar 2013 17:19:45 -0800

(%i1) load(fourier_elim);
(%i2) fourier_elim([x^2 < y , x^2 > y],[x,y]);
                                  2            2
(%o2)                    [- (y - x ) > 0, y - x  > 0]

The empty set should be displayed as emptset not  [- (y - x ) > 0, y - x  >
0].

Is this a bug in fourier_elim or a limitation in the underlying algorithm?

• Prev by Date: Diff and Taylor to return expressions in terms of partial derivatives?
• Next by Date: Progress on if-then-else
• Previous by thread: fourier_elim does not always return empty set as emptyset
• Next by thread: fourier_elim does not always return empty set as emptyset
• Index(es):
  • Date
  • Thread