[GSoC 2014] Cylindrical algebraic decomposition - Introduction

[Dammina Sahabandu]

Hi All,

I'm Dammina Sahabandu, a Computer Engineering Undergraduate at University of Moratuwa, Sri Lanka. I went through the Sympy GSoC 2014 ideas page and found several interesting ideas. But I'm particularly  interester in the idea of implementing the CAD algorithm [1] . As I understood the expected out come of the project is an interface to solve systems of polynomial inequalities. If so, is it enough to implement a CAD algorithm to solve univariate polynomial inequalities or do I have to extend the CAD algorithm to solve multivariate polynomial inequalities?

-Thanks

Dammina

[1] https://github.com/sympy/sympy/wiki/gsoc-2014-ideas#wiki-cylindrical-algebraic-decomposition

[Avichal Dayal]

SymPy is able to solve univariate polynomial inequalities but it might need
more work on it.

Project involving CAD algorithm in my opinion will require you to solve multivariate
polynomial inequalities.

[someone]

Hi,

> Project involving CAD algorithm in my opinion will require you to
> solve multivariate
> polynomial inequalities.

Consider studying this presentation:

http://www.sfb013.uni-linz.ac.at/uploads/media/SymCompIneq.pdf

Also the article "HOW TO USE CYLINDRICAL ALGEBRAIC DECOMPOSITION"
by Manuel Kauers might be interesting.

[Aaron Meurer]

That's a great reference. Can you put that on the ideas page, if it
isn't there already?

Aaron Meurer

> --
> You received this message because you are subscribed to the Google Groups "sympy" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to sympy+un...@googlegroups.com.
> To post to this group, send email to sy...@googlegroups.com.
> Visit this group at http://groups.google.com/group/sympy.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/530e9007.42dc0e0a.21f7.5bc1SMTPIN_ADDED_BROKEN%40gmr-mx.google.com.
> For more options, visit https://groups.google.com/groups/opt_out.

[Tim Lahey]

I've added them.

Tim.

> https://groups.google.com/d/msgid/sympy/CAKgW%3D6KwxfzQuqgNGkzTexot91k5UuT1%3DtG14XvuEt3gioO1Jw%40mail.gmail.com.

[someone]

Hi,

> That's a great reference. Can you put that on the ideas page, if it
> isn't there already?

I'll add more stuff there. Sorry if I delay this again and again
but it's quite a busy time right now.