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

DataCite XML Export

<?xml version='1.0' encoding='utf-8'?>
<resource xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://datacite.org/schema/kernel-4" xsi:schemaLocation="http://datacite.org/schema/kernel-4 http://schema.datacite.org/meta/kernel-4.1/metadata.xsd">
  <identifier identifierType="DOI">10.5281/zenodo.7671635</identifier>
  <creators>
    <creator>
      <creatorName>Christian Schilling</creatorName>
      <affiliation>Aalborg University</affiliation>
    </creator>
    <creator>
      <creatorName>Marcelo Forets</creatorName>
      <affiliation>Universidad de la República</affiliation>
    </creator>
    <creator>
      <creatorName>Luca Ferranti</creatorName>
      <affiliation>University of Vaasa</affiliation>
    </creator>
    <creator>
      <creatorName>Sebastián Guadalupe</creatorName>
    </creator>
    <creator>
      <creatorName>kpotomkin</creatorName>
    </creator>
    <creator>
      <creatorName>Mauricio Vanzulli</creatorName>
      <affiliation>Facultad de Ingeniería UdelaR</affiliation>
    </creator>
    <creator>
      <creatorName>ueliwechsler</creatorName>
    </creator>
    <creator>
      <creatorName>Bruno Garate</creatorName>
      <affiliation>Urudata Software</affiliation>
    </creator>
    <creator>
      <creatorName>tomerarnon</creatorName>
    </creator>
    <creator>
      <creatorName>Daniel Freire Caporale</creatorName>
    </creator>
    <creator>
      <creatorName>Ryan Birmingham</creatorName>
    </creator>
    <creator>
      <creatorName>nikos-kekatos</creatorName>
    </creator>
    <creator>
      <creatorName>Frederik Baymler Mathiesen</creatorName>
      <affiliation>TU Delft</affiliation>
    </creator>
    <creator>
      <creatorName>Lasse Peters</creatorName>
      <affiliation>Delft University of Technology</affiliation>
    </creator>
    <creator>
      <creatorName>Aadesh Deshmukh</creatorName>
      <affiliation>University of Utah</affiliation>
    </creator>
    <creator>
      <creatorName>David Reguera</creatorName>
    </creator>
    <creator>
      <creatorName>Gustavo Goretkin</creatorName>
    </creator>
    <creator>
      <creatorName>Julia TagBot</creatorName>
    </creator>
    <creator>
      <creatorName>Morten Piibeleht</creatorName>
      <affiliation>@JuliaComputing</affiliation>
    </creator>
    <creator>
      <creatorName>Peng Yu</creatorName>
      <affiliation>@Shopify</affiliation>
    </creator>
    <creator>
      <creatorName>viryfrederic</creatorName>
    </creator>
  </creators>
  <titles>
    <title>JuliaReach/LazySets.jl: v2.6.0</title>
  </titles>
  <publisher>Zenodo</publisher>
  <publicationYear>2023</publicationYear>
  <dates>
    <date dateType="Issued">2023-02-23</date>
  </dates>
  <resourceType resourceTypeGeneral="Software"/>
  <alternateIdentifiers>
    <alternateIdentifier alternateIdentifierType="url">https://zenodo.org/record/7671635</alternateIdentifier>
  </alternateIdentifiers>
  <relatedIdentifiers>
    <relatedIdentifier relatedIdentifierType="URL" relationType="IsSupplementTo">https://github.com/JuliaReach/LazySets.jl/tree/v2.6.0</relatedIdentifier>
    <relatedIdentifier relatedIdentifierType="DOI" relationType="IsVersionOf">10.5281/zenodo.1161710</relatedIdentifier>
  </relatedIdentifiers>
  <version>v2.6.0</version>
  <rightsList>
    <rights rightsURI="info:eu-repo/semantics/openAccess">Open Access</rights>
  </rightsList>
  <descriptions>
    <description descriptionType="Abstract">LazySets v2.6.0
&lt;p&gt;&lt;a href="https://github.com/JuliaReach/LazySets.jl/compare/v2.5.0...v2.6.0"&gt;Diff since v2.5.0&lt;/a&gt;&lt;/p&gt;
&lt;p&gt;&lt;strong&gt;Closed issues:&lt;/strong&gt;&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;Concrete Minkowski difference for zonotopes (#586)&lt;/li&gt;
&lt;li&gt;HPolygon's addconstraint! should ignore/replace constraints with same normal direction (#653)&lt;/li&gt;
&lt;li&gt;HPolytope's removehredundancy! removes non-redundant constraints (#754)&lt;/li&gt;
&lt;li&gt;Iterative refinement of HPolygon with redundant constraint adds unexpected constraint (#895)&lt;/li&gt;
&lt;li&gt;tohrep(::VPolytope) results in unbounded polytope (#1234)&lt;/li&gt;
&lt;li&gt;Overapproximation of zonotope with polyhedron in constraint representation (#1328)&lt;/li&gt;
&lt;li&gt;Different result for intersection using HPolyhedron or HPolytope (#1348)&lt;/li&gt;
&lt;li&gt;HPolygon should not reorder already-sorted constraints (#1393)&lt;/li&gt;
&lt;li&gt;Convert AbstractPolyhedron to Polyhedra.polyhedron (#1505)&lt;/li&gt;
&lt;li&gt;Docstrings with kwargs (#1650)&lt;/li&gt;
&lt;li&gt;Faster support function for CPA and canonical vectors (#1758)&lt;/li&gt;
&lt;li&gt;Add test for MiniQhull optional dependency (#2077)&lt;/li&gt;
&lt;li&gt;Documentation redefinition in require blocks (#2080)&lt;/li&gt;
&lt;li&gt;Fix warnings with Polyhedra (#2162)&lt;/li&gt;
&lt;li&gt;addconstraint! for HPolygon differs with linear_search option (#2426)&lt;/li&gt;
&lt;li&gt;Error when passing LP solver to Polyhedra (#2542)&lt;/li&gt;
&lt;li&gt;AssertionError in is_tighter_same_dir_2D (#2582)&lt;/li&gt;
&lt;li&gt;Checking equality of Complements Unexpected Behavior. (#2686)&lt;/li&gt;
&lt;li&gt;Fix links in documentation (#2721)&lt;/li&gt;
&lt;li&gt;Undefined LP in remove_redundant_constraints (#2732)&lt;/li&gt;
&lt;li&gt;Overapproximation with zonotope and PolarDirections (CPA algorithm) crashes (#2833)&lt;/li&gt;
&lt;li&gt;MethodError in eps close approx of Bloating (#2894)&lt;/li&gt;
&lt;li&gt;&lt;code&gt;rand&lt;/code&gt; doesn't work with &lt;code&gt;Rational{Int}&lt;/code&gt; (#3019)&lt;/li&gt;
&lt;li&gt;isdisjoint of flat zonotope with polyhedron returns wrong answer (#3038)&lt;/li&gt;
&lt;li&gt;Generalize &lt;code&gt;polyhedron&lt;/code&gt; to &lt;code&gt;AbstractPolyhedron&lt;/code&gt; (#3060)&lt;/li&gt;
&lt;li&gt;EmptySet is not quite the absorbing operation for CartesianProduct (#3078)&lt;/li&gt;
&lt;li&gt;Support vector of Ball2 in zero direction (#3198)&lt;/li&gt;
&lt;li&gt;constraints_list of flat zonotopes is wrong (#3209)&lt;/li&gt;
&lt;li&gt;Depend on &lt;code&gt;MathOptInterface&lt;/code&gt; directly instead of referencing the internal variable of &lt;code&gt;JuMP&lt;/code&gt; (#3238)&lt;/li&gt;
&lt;/ul&gt;
&lt;p&gt;&lt;strong&gt;Merged pull requests:&lt;/strong&gt;&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;Update publications (#3197) (@schillic)&lt;/li&gt;
&lt;li&gt;#1758 - faster support function/vector for CartesianProduct/CartesianProductArray (#3199) (@schillic)&lt;/li&gt;
&lt;li&gt;#3198 - Fix support vector of Ball2 in zero direction (#3200) (@schillic)&lt;/li&gt;
&lt;li&gt;Overapproximation for intersection of zonotope and hyperplane (#3201) (@schillic)&lt;/li&gt;
&lt;li&gt;Add reference (#3202) (@schillic)&lt;/li&gt;
&lt;li&gt;Add volume method for HParallelotope (#3204) (@schillic)&lt;/li&gt;
&lt;li&gt;Add order-reduction method with parallelotope (#3205) (@schillic)&lt;/li&gt;
&lt;li&gt;#586 - Concrete Minkowski difference for zonotopes (#3206) (@schillic)&lt;/li&gt;
&lt;li&gt;Fix vrep_chull algorithm and simplify code (#3207) (@schillic)&lt;/li&gt;
&lt;li&gt;#3078 - Fix CartesianProduct constructor with EmptySet (#3208) (@schillic)&lt;/li&gt;
&lt;li&gt;#3209 - Fix constraints_list of flat zonotopes (#3210) (@schillic)&lt;/li&gt;
&lt;li&gt;#2833 - Fix automatic generation of template-direction instances (#3211) (@schillic)&lt;/li&gt;
&lt;li&gt;#2426 - Fix binary search in addconstraint! for polygons (#3213) (@schillic)&lt;/li&gt;
&lt;li&gt;#1348 - Improved bound for line search (#3214) (@schillic)&lt;/li&gt;
&lt;li&gt;#2077 - Add test for MiniQhull (#3216) (@schillic)&lt;/li&gt;
&lt;li&gt;#2080 - Pull out documentation from requires blocks (#3217) (@schillic)&lt;/li&gt;
&lt;li&gt;#2732 - Simplify remove_redundant_constraints! code (#3218) (@schillic)&lt;/li&gt;
&lt;li&gt;Use newer version of Makie in tests (#3220) (@schillic)&lt;/li&gt;
&lt;li&gt;Add publications (#3222) (@schillic)&lt;/li&gt;
&lt;li&gt;#3060 - Generalize polyhedron to LazySet (#3223) (@schillic)&lt;/li&gt;
&lt;li&gt;Use rng in all rand calls (#3224) (@schillic)&lt;/li&gt;
&lt;li&gt;#2162 - Fix warning with Polyhedra (#3225) (@schillic)&lt;/li&gt;
&lt;li&gt;Fix check for elimination algorithm type in _minkowski_sum_hrep (#3227) (@Zinoex)&lt;/li&gt;
&lt;li&gt;Fix variable naming error in overapproximate to HPolyhedron (#3228) (@Zinoex)&lt;/li&gt;
&lt;li&gt;Make names dir/dirs consistent (#3229) (@schillic)&lt;/li&gt;
&lt;li&gt;Add test for #3227 (_minkowski_sum_hrep with algorithm given) (#3230) (@schillic)&lt;/li&gt;
&lt;li&gt;Update Symbolics in tests (#3232) (@schillic)&lt;/li&gt;
&lt;li&gt;Remove invoke calls (#3233) (@schillic)&lt;/li&gt;
&lt;li&gt;Fix support vector of unbounded HPolyhedron (#3234) (@schillic)&lt;/li&gt;
&lt;li&gt;Fix #3238 -- MathOptInterface -&amp;gt; MOI (#3239) (@lassepe)&lt;/li&gt;
&lt;li&gt;Update Project.toml (#3240) (@schillic)&lt;/li&gt;
&lt;/ul&gt;</description>
  </descriptions>
</resource>