aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Add big docstring in module to discuss terminologyNao Pross2024-03-142-2/+105
* Change every __repr__ to __str__ to be consistent with python data modelNao Pross2024-03-142-21/+21
* Add stubs for testingNao Pross2024-03-105-0/+125
* Fix PolyIndex.__contains__Nao Pross2024-03-101-2/+7
* Fix bug in PolyPartialDiff and add PolyRingExpr.diff(wrt)Nao Pross2024-03-102-7/+19
* Fix PolyRingExpr.__neg__Nao Pross2024-03-101-1/+2
* Add PolyIndex.as_multi_index for Newton polytope and minor cleanupNao Pross2024-03-101-27/+61
* Fix PolyPartialDiff.replaceNao Pross2024-03-101-2/+14
* Add dependencies CVXOPT for SOS and PrettyPrintTree for visualizationNao Pross2024-03-092-1/+93
* Miscellaneous fixes, mostly docstringsNao Pross2024-03-092-36/+30
* Improve type signature of Expr.to_reprNao Pross2024-03-092-22/+32
* Pass shape parameter to Repr constructorNao Pross2024-03-083-16/+20
* Fix typos in docstringNao Pross2024-03-081-4/+4
* Implement MatScalarMul.to_reprNao Pross2024-03-081-3/+7
* Add tree rotations to ExprNao Pross2024-03-081-0/+21
* Fix missing edge case in Expr.childrenNao Pross2024-03-081-0/+2
* Replace hash() with hashlib.sha256() for robustness to collisionNao Pross2024-03-081-8/+17
* Fix bug that breaks PolyRingExpr.shape & cleanupNao Pross2024-03-081-12/+12
* Make Expr a Merkle binary tree to allow subtree comparisonNao Pross2024-03-081-11/+12
* Create directory for examplesNao Pross2024-03-081-0/+43
* Update READMENao Pross2024-03-071-1/+1
* Fix regression in State.from_indexNao Pross2024-03-071-4/+3
* Finish incomplete implementation of MatVar.to_reprNao Pross2024-03-071-7/+8
* Delete mdpoly.leaves make Var, Param, Const ABCsNao Pross2024-03-076-198/+297
* Minor changesNao Pross2024-03-072-5/+8
* Make new constructors Variable.from_powers and Variable.make_combinationsNao Pross2024-03-071-14/+59
* Comments & minor changesNao Pross2024-03-071-6/+14
* Relax dependenciesNao Pross2024-03-071-6/+6
* Fix regression of algebra checkNao Pross2024-03-076-23/+131
* Add missing docstringsNao Pross2024-03-061-10/+44
* Fix out of date docstringsNao Pross2024-03-062-13/+13
* Fix missing case for PolyIndex.differentiateNao Pross2024-03-061-0/+6
* Move to_repr to Expr.to_repr necessary by removing duck typing HasReprNao Pross2024-03-064-50/+83
* Nuke duck typing and replace with OOP to make type checker happyNao Pross2024-03-064-293/+265
* Move algebra into abc.ExprNao Pross2024-03-061-1/+12
* Rename mdpoly.types to mdpoly.index as it only contains index typesNao Pross2024-03-067-11/+12
* Replace Protocols with ABC in mdpoly.abcNao Pross2024-03-062-10/+15
* Improve docstringNao Pross2024-03-051-1/+4
* Implement more shape checksNao Pross2024-03-052-5/+44
* Temporary fix to get rid of weird errorsNao Pross2024-03-041-2/+5
* Remove useless unimplemented methods in representationsNao Pross2024-03-041-36/+1
* Remove children() and __iter__ from Leaf because it messes with typecheckNao Pross2024-03-041-12/+0
* Get rid of algebra.ExprWithReprNao Pross2024-03-041-9/+7
* Add VizTracer to development dependencies to analyze perfNao Pross2024-03-042-1/+62
* Fix __mro__ problem in inheritanceNao Pross2024-03-041-5/+5
* Fix types (or, make mypy happier)Nao Pross2024-03-045-78/+85
* Add shape check for MatScalarMulNao Pross2024-03-041-8/+41
* Add shape checks for PolyRingAlgebraNao Pross2024-03-042-15/+35
* Improve docstringsNao Pross2024-03-041-3/+22
* Add stub for rational algebraNao Pross2024-03-041-0/+11