Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • 19:00

    mforets on gh-pages

    build based on 4e3dc166 (compare)

  • 18:47

    schillic on problem

    example notebook (compare)

  • 18:45

    mforets on gh-pages

    build based on 6816816 (compare)

  • 18:38

    mforets on gh-pages

    build based on 38a8e10d (compare)

  • 18:31

    mforets on master

    Update VertCAS.jl (compare)

  • 18:16
    schillic edited #1895
  • 18:15
    schillic closed #1837
  • 18:15
    schillic assigned #1837
  • 18:15
    schillic assigned #1837
  • 18:15
    schillic edited #1837
  • 18:14
    schillic updated the wiki
  • 18:14
    schillic closed #2692
  • 18:14

    schillic on 1837_UnionSet

    (compare)

  • 18:14

    schillic on master

    tweaks for UnionSet Merge pull request #2692 from J… (compare)

  • 18:14
    schillic synchronize #2692
  • 18:14

    schillic on 1837_UnionSet

    tweaks for UnionSet (compare)

  • 18:13

    schillic on 1837_convexity

    (compare)

  • 18:13

    schillic on master

    add information about convexity… Merge pull request #2698 from J… (compare)

  • 18:13
    schillic closed #2698
  • 18:12
    schillic synchronize #2698
Christian Schilling
@schillic
no no
is there a reason why we don't have it in LazySets?
Marcelo Forets
@mforets
it should be
2) delete .travis.yml
that was it iirc
Christian Schilling
@schillic
:)
maybe let's first try github actions :)
Marcelo Forets
@mforets
yes
:)
that build_private script
i dont know how to implement it in the github action script
Christian Schilling
@schillic
ah :(
we will remove it once we pass to v1.6 only
Christian Schilling
@schillic
true
Marcelo Forets
@mforets
we can wait until then :)
Christian Schilling
@schillic
good :)
Marcelo Forets
@mforets
postponing things is a good tactic :laughing:
Christian Schilling
@schillic
^^
Marcelo Forets
@mforets
i think we should just bump the minimum julia version to 1.5 in the LazySets CI
Christian Schilling
@schillic
Marcelo Forets
@mforets
:thumbsup:
Marcelo Forets
@mforets
FYI we've started to (google) meet regularly on mondays and thursday afternoons with @sebastianguadualupe to work on the packages
... and we're starting with a new webpage
Marcelo Forets
@mforets
a CFP on set based methods for differential equations
Benoît Legat
@blegat
Would Box constraints be useful for you ? jump-dev/MathOptInterface.jl#1233
Marcelo Forets
@mforets
hi! i think the short answer is no because in LazySets the support functions and support vectors of boxes use known analytic expressions -- we use optimization for sets which do not have such simple structure
that said, the idea of being able to directly model "Box" constrants in MOI sound good to me :) for the simple reason that if a new solver X is specialized for box constraints there is 0 overhead in the conversion
Marcelo Forets
@mforets
@schillic how can i apply https://github.com/JuliaReach/LazySets.jl/issues/2503#issuecomment-772856193 do all files under ../LazySets/src ?
Benoît Legat
@blegat
Ok, thanks :)
Christian Schilling
@schillic
@mforets i updated the script
you would put that script in the src folder and run it
Marcelo Forets
@mforets
got it, thanks. i'll try it out
Christian Schilling
@schillic
it should work for the standard cases but of course nesting is complicated so there may be errors. the hope is that it fixes 95% and only adds 5% additional work :)
the first case in the script is exactly meant for nested Vectors because i had that in my example file
Marcelo Forets
@mforets
nice! it works
the print statements now also use spaces :)
it's
julia> convert(Hyperrectangle, Interval(0.0, 1.0))
Hyperrectangle{Float64, Vector{Float64}, Vector{Float64}}([0.5], [0.5])
 ```jldoctest
 julia> convert(Hyperrectangle, Interval(0.0, 1.0))
-Hyperrectangle{Float64,Array{Float64,1},Array{Float64,1}}([0.5], [0.5])
+Hyperrectangle{Float64,Vector{Float64},Vector{Float64}}([0.5], [0.5])
space between Float64 and Vector{Float64}. i can edit your comment
Christian Schilling
@schillic
hm, that is not so easy
because you don't want to always add a space
Marcelo Forets
@mforets
ah true
Christian Schilling
@schillic
maybe the best is to run a second script in a second round that replaces ,Vector by , Vector