- [x] Type and constructor #3015 - [x] `dim` #3015 - [x] `ngens` (two methods for dependent and independent generators and one for the total numbers) #3015 - [x] `nparams` #3015 - [x] `order` #3015 - [x] `center` #3015 - [x] `genmat` (similar to `ngens`) #3015 - [x] `expmat` #3015 - [x] `indexvector` #3015 - [x] `uniqueID` #3015 (preliminary) - [x] `mergeID` #3027 - [x] `remove_redundant_generators` #3043 - [x] conversion Zonotope --> SPZ #3016 - [x] conversion SSPZ --> SPZ #3016 - [x] conversion SPZ --> SSPZ #3016 - [x] conversion TaylorModels --> SPZ #3447 - [x] conversion SPZ --> TaylorModels #3447 - [ ] conversion polytope --> SPZ - [x] zonotope overapproximation #3028 - [x] support function overapproximation - [x] polytope overapproximation #3821 - [ ] ellipsoid overapproximation - [x] `plot` - [x] `translate` #3058 - [x] linear map #3015 - [x] minkowski sum #3057 - [x] exact addition #3025 - [x] cartesian product #3438 - [x] linear combination #2979 - [x] convex hull #2979 - [x] quadratic map #3056 - [ ] inclusion check SPZ ⊆ SPZ - [ ] inclusion check interval ⊆ SPZ - [ ] intersection check - [x] order reduction #3069 - [ ] restructuring - [ ] subset extraction - [ ] splitting
diminitial implementation of SparsePolynomialZonotope #3015ngens(two methods for dependent and independent generators and one for the total numbers) initial implementation of SparsePolynomialZonotope #3015nparamsinitial implementation of SparsePolynomialZonotope #3015orderinitial implementation of SparsePolynomialZonotope #3015centerinitial implementation of SparsePolynomialZonotope #3015genmat(similar tongens) initial implementation of SparsePolynomialZonotope #3015expmatinitial implementation of SparsePolynomialZonotope #3015indexvectorinitial implementation of SparsePolynomialZonotope #3015uniqueIDinitial implementation of SparsePolynomialZonotope #3015 (preliminary)mergeIDadd mergeID #3027remove_redundant_generatorsadd remove_redundant_generators for SPZ #3043convertfrom SparsePolynomialZonotope to Taylor model #3447convertfrom SparsePolynomialZonotope to Taylor model #3447plottranslateAdd translate for SPZ #3058reduce_orderfor SPZ #3069