{
"DOI": "10.5281/zenodo.7671635",
"abstract": "LazySets v2.6.0\nDiff since v2.5.0\n\nClosed issues:\n\n\n\nConcrete Minkowski difference for zonotopes (#586)\n\nHPolygon's addconstraint! should ignore/replace constraints with same normal direction (#653)\n\nHPolytope's removehredundancy! removes non-redundant constraints (#754)\n\nIterative refinement of HPolygon with redundant constraint adds unexpected constraint (#895)\n\ntohrep(::VPolytope) results in unbounded polytope (#1234)\n\nOverapproximation of zonotope with polyhedron in constraint representation (#1328)\n\nDifferent result for intersection using HPolyhedron or HPolytope (#1348)\n\nHPolygon should not reorder already-sorted constraints (#1393)\n\nConvert AbstractPolyhedron to Polyhedra.polyhedron (#1505)\n\nDocstrings with kwargs (#1650)\n\nFaster support function for CPA and canonical vectors (#1758)\n\nAdd test for MiniQhull optional dependency (#2077)\n\nDocumentation redefinition in require blocks (#2080)\n\nFix warnings with Polyhedra (#2162)\n\naddconstraint! for HPolygon differs with linear_search option (#2426)\n\nError when passing LP solver to Polyhedra (#2542)\n\nAssertionError in is_tighter_same_dir_2D (#2582)\n\nChecking equality of Complements Unexpected Behavior. (#2686)\n\nFix links in documentation (#2721)\n\nUndefined LP in remove_redundant_constraints (#2732)\n\nOverapproximation with zonotope and PolarDirections (CPA algorithm) crashes (#2833)\n\nMethodError in eps close approx of Bloating (#2894)\n\nrand doesn't work with Rational{Int} (#3019)\n\nisdisjoint of flat zonotope with polyhedron returns wrong answer (#3038)\n\nGeneralize polyhedron to AbstractPolyhedron (#3060)\n\nEmptySet is not quite the absorbing operation for CartesianProduct (#3078)\n\nSupport vector of Ball2 in zero direction (#3198)\n\nconstraints_list of flat zonotopes is wrong (#3209)\n\nDepend on MathOptInterface directly instead of referencing the internal variable of JuMP (#3238)\n\n\nMerged pull requests:\n\n\n\nUpdate publications (#3197) (@schillic)\n\n#1758 - faster support function/vector for CartesianProduct/CartesianProductArray (#3199) (@schillic)\n\n#3198 - Fix support vector of Ball2 in zero direction (#3200) (@schillic)\n\nOverapproximation for intersection of zonotope and hyperplane (#3201) (@schillic)\n\nAdd reference (#3202) (@schillic)\n\nAdd volume method for HParallelotope (#3204) (@schillic)\n\nAdd order-reduction method with parallelotope (#3205) (@schillic)\n\n#586 - Concrete Minkowski difference for zonotopes (#3206) (@schillic)\n\nFix vrep_chull algorithm and simplify code (#3207) (@schillic)\n\n#3078 - Fix CartesianProduct constructor with EmptySet (#3208) (@schillic)\n\n#3209 - Fix constraints_list of flat zonotopes (#3210) (@schillic)\n\n#2833 - Fix automatic generation of template-direction instances (#3211) (@schillic)\n\n#2426 - Fix binary search in addconstraint! for polygons (#3213) (@schillic)\n\n#1348 - Improved bound for line search (#3214) (@schillic)\n\n#2077 - Add test for MiniQhull (#3216) (@schillic)\n\n#2080 - Pull out documentation from requires blocks (#3217) (@schillic)\n\n#2732 - Simplify remove_redundant_constraints! code (#3218) (@schillic)\n\nUse newer version of Makie in tests (#3220) (@schillic)\n\nAdd publications (#3222) (@schillic)\n\n#3060 - Generalize polyhedron to LazySet (#3223) (@schillic)\n\nUse rng in all rand calls (#3224) (@schillic)\n\n#2162 - Fix warning with Polyhedra (#3225) (@schillic)\n\nFix check for elimination algorithm type in _minkowski_sum_hrep (#3227) (@Zinoex)\n\nFix variable naming error in overapproximate to HPolyhedron (#3228) (@Zinoex)\n\nMake names dir/dirs consistent (#3229) (@schillic)\n\nAdd test for #3227 (_minkowski_sum_hrep with algorithm given) (#3230) (@schillic)\n\nUpdate Symbolics in tests (#3232) (@schillic)\n\nRemove invoke calls (#3233) (@schillic)\n\nFix support vector of unbounded HPolyhedron (#3234) (@schillic)\n\nFix #3238 -- MathOptInterface -> MOI (#3239) (@lassepe)\n\nUpdate Project.toml (#3240) (@schillic)",
"author": [
{
"family": "Christian Schilling"
},
{
"family": "Marcelo Forets"
},
{
"family": "Luca Ferranti"
},
{
"family": "Sebasti\u00e1n Guadalupe"
},
{
"family": "kpotomkin"
},
{
"family": "Mauricio Vanzulli"
},
{
"family": "ueliwechsler"
},
{
"family": "Bruno Garate"
},
{
"family": "tomerarnon"
},
{
"family": "Daniel Freire Caporale"
},
{
"family": "Ryan Birmingham"
},
{
"family": "nikos-kekatos"
},
{
"family": "Frederik Baymler Mathiesen"
},
{
"family": "Lasse Peters"
},
{
"family": "Aadesh Deshmukh"
},
{
"family": "David Reguera"
},
{
"family": "Gustavo Goretkin"
},
{
"family": "Julia TagBot"
},
{
"family": "Morten Piibeleht"
},
{
"family": "Peng Yu"
},
{
"family": "viryfrederic"
}
],
"id": "7671635",
"issued": {
"date-parts": [
[
"2023",
"02",
"23"
]
]
},
"publisher": "Zenodo",
"title": "JuliaReach/LazySets.jl: v2.6.0",
"type": "software",
"version": "v2.6.0"
}