Hi Maaz,
This sounds like an excellent addition to SymPy.
There was also a recent GitHub issue that discussed a more limited form of
CAD:
https://github.com/sympy/sympy/issues/26177
The implementations there are based on this paper by Strzebonski:
https://core.ac.uk/download/pdf/82649664.pdf
Th
On Tue, Jul 2, 2024 at 4:22 PM Maaz Muhammad wrote:
> Hi all! I'm a PhD student at the University of Toronto, working on
> polynomials (optimization, algorithms, and applications).
>
> As part of my work, I needed to solve systems of polynomials (inequalities
> and equalities), which SymPy curren
Hi all! I'm a PhD student at the University of Toronto, working on
polynomials (optimization, algorithms, and applications).
As part of my work, I needed to solve systems of polynomials (inequalities
and equalities), which SymPy currently lacks. I have therefore been working
on such a solver f