William Stein wrote: > > > On Tue, Sep 1, 2009 at 6:44 PM, Minh Nguyen <[email protected] > <mailto:[email protected]>> wrote: > > > Hi Simon, > > On Tue, Sep 1, 2009 at 6:34 PM, Simon King<[email protected] > <mailto:[email protected]>> wrote: > > <SNIP> > > > I have no idea how one can solve inequalities, though. That's not my > > field of expertise. > > I'm based in a department with a research group in mathematical > inequalities and applications, but ironically I don't know anything > about solving inequalities apart from techniques from basic algebra. > > > I think Cylindrical Algebraic Decomposition (something Carl Witty was > working on) is relevant. >
You might look at the qepcad (which does CAD) interface Carl wrote too. sage: qepcad? sage: sage.interfaces.qepcad? Jason -- Jason Grout --~--~---------~--~----~------------~-------~--~----~ To post to this group, send an email to [email protected] To unsubscribe from this group, send an email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
