February 23, 2023 Software Open Access

Christian Schilling; Marcelo Forets; Luca Ferranti; Sebastián Guadalupe; kpotomkin; Mauricio Vanzulli; ueliwechsler; Bruno Garate; tomerarnon; Daniel Freire Caporale; Ryan Birmingham; nikos-kekatos; Frederik Baymler Mathiesen; Lasse Peters; Aadesh Deshmukh; David Reguera; Gustavo Goretkin; Julia TagBot; Morten Piibeleht; Peng Yu; viryfrederic

Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:creator>Christian Schilling</dc:creator>
  <dc:creator>Marcelo Forets</dc:creator>
  <dc:creator>Luca Ferranti</dc:creator>
  <dc:creator>Sebastián Guadalupe</dc:creator>
  <dc:creator>kpotomkin</dc:creator>
  <dc:creator>Mauricio Vanzulli</dc:creator>
  <dc:creator>ueliwechsler</dc:creator>
  <dc:creator>Bruno Garate</dc:creator>
  <dc:creator>tomerarnon</dc:creator>
  <dc:creator>Daniel Freire Caporale</dc:creator>
  <dc:creator>Ryan Birmingham</dc:creator>
  <dc:creator>nikos-kekatos</dc:creator>
  <dc:creator>Frederik Baymler Mathiesen</dc:creator>
  <dc:creator>Lasse Peters</dc:creator>
  <dc:creator>Aadesh Deshmukh</dc:creator>
  <dc:creator>David Reguera</dc:creator>
  <dc:creator>Gustavo Goretkin</dc:creator>
  <dc:creator>Julia TagBot</dc:creator>
  <dc:creator>Morten Piibeleht</dc:creator>
  <dc:creator>Peng Yu</dc:creator>
  <dc:creator>viryfrederic</dc:creator>
  <dc:date>2023-02-23</dc:date>
  <dc:description>LazySets v2.6.0
Diff since v2.5.0
Closed issues:

Concrete Minkowski difference for zonotopes (#586)
HPolygon's addconstraint! should ignore/replace constraints with same normal direction (#653)
HPolytope's removehredundancy! removes non-redundant constraints (#754)
Iterative refinement of HPolygon with redundant constraint adds unexpected constraint (#895)
tohrep(::VPolytope) results in unbounded polytope (#1234)
Overapproximation of zonotope with polyhedron in constraint representation (#1328)
Different result for intersection using HPolyhedron or HPolytope (#1348)
HPolygon should not reorder already-sorted constraints (#1393)
Convert AbstractPolyhedron to Polyhedra.polyhedron (#1505)
Docstrings with kwargs (#1650)
Faster support function for CPA and canonical vectors (#1758)
Add test for MiniQhull optional dependency (#2077)
Documentation redefinition in require blocks (#2080)
Fix warnings with Polyhedra (#2162)
addconstraint! for HPolygon differs with linear_search option (#2426)
Error when passing LP solver to Polyhedra (#2542)
AssertionError in is_tighter_same_dir_2D (#2582)
Checking equality of Complements Unexpected Behavior. (#2686)
Fix links in documentation (#2721)
Undefined LP in remove_redundant_constraints (#2732)
Overapproximation with zonotope and PolarDirections (CPA algorithm) crashes (#2833)
MethodError in eps close approx of Bloating (#2894)
rand doesn't work with Rational{Int} (#3019)
isdisjoint of flat zonotope with polyhedron returns wrong answer (#3038)
Generalize polyhedron to AbstractPolyhedron (#3060)
EmptySet is not quite the absorbing operation for CartesianProduct (#3078)
Support vector of Ball2 in zero direction (#3198)
constraints_list of flat zonotopes is wrong (#3209)
Depend on MathOptInterface directly instead of referencing the internal variable of JuMP (#3238)

Merged pull requests:

Update publications (#3197) (@schillic)
#1758 - faster support function/vector for CartesianProduct/CartesianProductArray (#3199) (@schillic)
#3198 - Fix support vector of Ball2 in zero direction (#3200) (@schillic)
Overapproximation for intersection of zonotope and hyperplane (#3201) (@schillic)
Add reference (#3202) (@schillic)
Add volume method for HParallelotope (#3204) (@schillic)
Add order-reduction method with parallelotope (#3205) (@schillic)
#586 - Concrete Minkowski difference for zonotopes (#3206) (@schillic)
Fix vrep_chull algorithm and simplify code (#3207) (@schillic)
#3078 - Fix CartesianProduct constructor with EmptySet (#3208) (@schillic)
#3209 - Fix constraints_list of flat zonotopes (#3210) (@schillic)
#2833 - Fix automatic generation of template-direction instances (#3211) (@schillic)
#2426 - Fix binary search in addconstraint! for polygons (#3213) (@schillic)
#1348 - Improved bound for line search (#3214) (@schillic)
#2077 - Add test for MiniQhull (#3216) (@schillic)
#2080 - Pull out documentation from requires blocks (#3217) (@schillic)
#2732 - Simplify remove_redundant_constraints! code (#3218) (@schillic)
Use newer version of Makie in tests (#3220) (@schillic)
Add publications (#3222) (@schillic)
#3060 - Generalize polyhedron to LazySet (#3223) (@schillic)
Use rng in all rand calls (#3224) (@schillic)
#2162 - Fix warning with Polyhedra (#3225) (@schillic)
Fix check for elimination algorithm type in _minkowski_sum_hrep (#3227) (@Zinoex)
Fix variable naming error in overapproximate to HPolyhedron (#3228) (@Zinoex)
Make names dir/dirs consistent (#3229) (@schillic)
Add test for #3227 (_minkowski_sum_hrep with algorithm given) (#3230) (@schillic)
Update Symbolics in tests (#3232) (@schillic)
Remove invoke calls (#3233) (@schillic)
Fix support vector of unbounded HPolyhedron (#3234) (@schillic)
Fix #3238 -- MathOptInterface -&gt; MOI (#3239) (@lassepe)
Update Project.toml (#3240) (@schillic)
</dc:description>
  <dc:identifier>https://zenodo.org/record/7671635</dc:identifier>
  <dc:identifier>10.5281/zenodo.7671635</dc:identifier>
  <dc:identifier>oai:zenodo.org:7671635</dc:identifier>
  <dc:relation>url:https://github.com/JuliaReach/LazySets.jl/tree/v2.6.0</dc:relation>
  <dc:relation>doi:10.5281/zenodo.1161710</dc:relation>
  <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
  <dc:title>JuliaReach/LazySets.jl: v2.6.0</dc:title>
  <dc:type>info:eu-repo/semantics/other</dc:type>
  <dc:type>software</dc:type>
</oai_dc:dc>