v2.8.0

LazySets v2.8.0

Diff since v2.7.6

Announcements

Contributors for this release:

• Marcelo Forets (@mforets)
• Christian Schilling (@schillic)
• Frederik Baymler Mathiesen (@Zinoex)
• Peng Yu (@yupbank)

Features

• Add linear_map and affine_map for Ellipsoid (#3323)
• Add support vector and support function for Polygon (#3325)
• Add some scale and scale! methods (#3326)
• Add inclusion check for nonconvex sets and zonotopic sets in a polyhedron (#3328)
• Add tohrep/tovrep for general polyhedral sets (#3329)
• Add isfeasible check for a list of linear constraints (#3338)

Enhancements

• Do not use GLPK's presolver for removing redundant vertices (printed expected warnings about infeasibility) (#3333)
• Faster disjointness check between zonotopic sets and polyhedra (#3334)
• Added generic overapproximate by falling back to convert (#3335)
• Overhaul usage of LP solver (cache default LP model, allow to pass a JuMP model directly, faster constraint generation) (#3340)
• Support additional LP-solver status and throw ArgumentError for infeasible LP (#3344)

Bug fixes

• Fix special cases in linear_map_inverse (#3348)

Internal changes

• Simplify code in 2D minkowski_sum (#3327)
• 2D zonotope vertex enumeration with linear complexity (currently unused) (#2288)
• Example for ExponentialProjectionMap docs (#3330)
• Code polishing related to one/ones (#3339)

---

Closed issues:

• Use SingleEntryVector type (#538)
• Add an example in the ExponentialProjectionMap type (#960)
• Add function to check the feasibility of a list of linear constraints (#1057)
• Fallback tovrep implementation (#1134)
• Generic overapproximate by falling back to convert (#1229)
• Fast disjointness test for zonotope and half-space (#1286)
• Add more methods for scale (#2610)
• Simplify code in 2D minkowski_sum (after Julia error gets fixed) (#2778)
• glp_simplex warning in remove_redundant_vertices (#3226)
• Use autoformatter? (#3251)
• Support vector of Polygon (#3324)
• Caching the JuMP model in linprog (#3336)

Merged pull requests:

• General 2d Zonotope vertex enumeration with linear complexity (#2288) (@yupbank)
• Add linear_map and affine_map for Ellipsoid (#3323) (@schillic)
• #3324 - Support vector/function for Polygon (#3325) (@schillic)
• #2610 - Add scale and scale! methods (#3326) (@schillic)
• #2778 - Simplify code in 2D minkowski_sum (#3327) (@schillic)
• Inclusion check for nonconvex sets and zonotopic sets in polyhedron (#3328) (@schillic)
• #1134 - tohrep/tovrep for general polyhedral sets (#3329) (@schillic)
• #960 - Add example to ExponentialProjectionMap docs (#3330) (@schillic)
• Do not use GLPK's presolver for removing redundant vertices (#3333) (@schillic)
• Specialized disjointness check between zonotope and polyhedron (#3334) (@schillic)
• #1229 - Generic overapproximate by falling back to convert (#3335) (@schillic)
• Auto-format script (#3337) (@schillic)
• #1057 - Feasibility test for a list of linear constraints (#3338) (@schillic)
• Minor code polishing (#3339) (@schillic)
• #3336 - Cache default LP model (#3340) (@Zinoex)
• Add package bounds to test/Project.toml (#3343) (@schillic)
• Support additional solver status and throw ArgumentError (#3344) (@schillic)
• Format and rearrange code (#3346) (@schillic)
• Fix special cases in linear_map_inverse (#3348) (@schillic)
• Update Project.toml (#3349) (@mforets)