| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2022-08-09 | remove unused imports and polymatrix expressions | Michael Schneeberger | 1 | -12/+0 |
| 2022-07-30 | add polynomial operations for sos optimization | Michael Schneeberger | 1 | -3/+3 |
| 2022-05-03 | add statemonad syntax | Michael Schneeberger | 1 | -3/+3 |
| 2022-04-04 | implement polynomial matrix as an expression | Michael Schneeberger | 1 | -0/+12 |
 |
index : ethz/semproj/polymatrix | |
| Multivariate polynomial library | Linux User |
| summaryrefslogtreecommitdiffstats |