iFR-ACSO / casos

CaΣoS is a nonlinear optimization-oriented sum-of-squares toolbox based on the symbolic framework of CasADi.
GNU General Public License v3.0
5 stars 0 forks source link

New polynomial operations #42

Closed tcunis closed 7 months ago

tcunis commented 8 months ago

This PR adds the operations int and cleanpoly to class casos.PS as well as extending the jacobian method.

tcunis commented 8 months ago

@JOlucak : Please check in particular the cleanpoly method.

tcunis commented 7 months ago
* cleanpoly throws an error e.g. cleanpoly(Vsol,1e-6) where Vsol is a solution from a VS iteration. The error occurs in line 9 (The same syntax worked before)

* jacobian(f,x) should distinguish between gram and gram-like variables. Otherwise an error is thrown.

Both cleanpoly and jacobian have been updated. Also, pnorm2 from #50 has been added.

JOlucak commented 7 months ago

Can be merged from my side.