On Tue, 26 Aug 2008 00:40:22 -0700 (PDT) Michel <[EMAIL PROTECTED]> wrote:
> > An assumption framework is non-trivial as it is basically > computational > real algebraic geometry. > > Recenty there was a post about QEPCAD (http://www.cs.usna.edu/~qepcad/ > B/QEPCAD.html). > Perhaps this might fit the bill? AFAIK, MMA indeed uses cylindrical algebraic decomposition (CAD) for this, and it would be great to have an efficient CAD implementation in Sage. I am not an expert on this issue, but from what I have heard, qepcad has its advantages (more flexible?) and disadvantages (slow?) compared to the CAD implementation in MMA. qepcad relies on an aging library saclib for the algebraic data structures. It would be a worthwhile project to implement CAD/port qepcad so that it is modular, and can work with more recent/better libraries. Maybe someone (Carl Witty?) will take this on (or already has?). :) Cheers, Burcin --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
