Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • Apr 04 07:44
    AsForMe starred JuliaReach/LazySets.jl
  • Apr 03 12:57
    mforets assigned #2058
  • Apr 03 12:12
    mforets opened #2096
  • Apr 03 12:11
    mforets commented #2058
  • Apr 03 12:08
    mforets commented #2058
  • Apr 03 11:54
    schillic commented #2058
  • Apr 03 11:30
    schillic commented #2058
  • Apr 02 18:23
    mforets labeled #83
  • Apr 02 18:23
    mforets opened #83
  • Apr 02 18:13

    mforets on gh-pages

    build based on 79d62a8 (compare)

  • Apr 02 18:05

    mforets on 79

    (compare)

  • Apr 02 18:05

    mforets on master

    add tests Merge pull request #80 from Jul… (compare)

  • Apr 02 18:05
    mforets closed #80
  • Apr 02 18:05
    mforets closed #79
  • Apr 02 17:01

    mforets on gh-pages

    build based on 6b92be0 (compare)

  • Apr 02 17:00
    mforets labeled #82
  • Apr 02 17:00
    mforets transferred #146
  • Apr 02 17:00
    mforets opened #82
  • Apr 02 16:55
    mforets labeled #81
  • Apr 02 16:55
    mforets opened #81
Marcelo Forets
@mforets
by "boundless" you mean "unbounded" ?
Marcelo Forets
@mforets
but, remove_redundant_constrains and remove_redundant_constraints! do apply to an HPolyhedron, bounded or not
remove_redundant_constraints(P) is out-of-place
and remove_redundant_constraints!(P) in-place
the latter returns true if the operation is successful and false otherwise
Cloud Johnson
@Student2Pro
The warning says unbunded.
Marcelo Forets
@mforets
can you paste the example here?
Cloud Johnson
@Student2Pro
HullReachNV.jl: Error During Test at C:\Users\24539\.juliapro\JuliaPro_v1.2.0-2\dev\HullReachNV\test\runtests_BR.jl:5
  Got exception outside of a @test
  LP is not optimal; the status of the LP is Unbounded
  Stacktrace:
   [1] error(::String) at .\error.jl:33
   [2] #remove_redundant_constraints!#26(::GLPKMathProgInterface.GLPKInterfaceLP.GLPKSolverLP, ::typeof(remove_redundant_constraints!), ::Array{HalfSpace{Float64,Array{Float64,1}},1}) at C:\Users\24539\.juliapro\JuliaPro_v1.2.0-2\packages\LazySets\7ewxc\src\Interfaces\AbstractPolyhedron_functions.jl:228
   [3] remove_redundant_constraints!(::Array{HalfSpace{Float64,Array{Float64,1}},1}) at C:\Users\24539\.juliapro\JuliaPro_v1.2.0-2\packages\LazySets\7ewxc\src\Interfaces\AbstractPolyhedron_functions.jl:203
This is the error. I use Inf as LinearConstraint.b, could it cause this?
Christian Schilling
@schillic
please paste the example/input. the error alone does not help
Inf is certainly not a valid input. what should be the meaning of such a constraint?
Cloud Johnson
@Student2Pro
The problem is that I could find the input. It happened when I run my code for test. Inf is just for a unified form, Thank you.
Marcelo Forets
@mforets
you can try printing the polyhedron before the error happens, or if it is too huge, save it to a file in binary format so you can open later
Cloud Johnson
@Student2Pro
Thanks, I'll try it tomorrow, good night!
Marcelo Forets
@mforets
:thumbsup: cu
Marcelo Forets
@mforets
i think that the links are now fixed in https://github.com/JuliaReach/ReachabilityAnalysis.jl
please report if you find broken links
Marcelo Forets
@mforets
@schillic about RA: it purposedly only works with julia v1.3 and v1.4
Christian Schilling
@schillic
i read that
Marcelo Forets
@mforets
okay
Christian Schilling
@schillic
but i can only run v1.2
so i cannot use the package
Marcelo Forets
@mforets
how is that?
Christian Schilling
@schillic
because they have a bug in the linux version
Marcelo Forets
@mforets
hmm?
i use linux, many (most?) julia devs use linux
what is your system? you may find help by posting on discourse or slack
Christian Schilling
@schillic
no, it's a known bug
Marcelo Forets
@mforets
with some package?
Christian Schilling
@schillic
with julia
i explained this several months ago already
Marcelo Forets
@mforets
i was checking JuliaReach/LazySets.jl#2058, and we only use very basic functions from the Distributions package, which can be easily built with rand and randn from Base
so i think that we should remove this dependency
Christian Schilling
@schillic
cool, that would also resolve JuliaReach/LazySets.jl#2079
but i think the idea is that you can pass a different distribution object
Marcelo Forets
@mforets
then, about the issue itself to dispatch on sample but the way that is built
there is a wrapper
_sample!(D, sampler(X); rng=rng, seed=seed)
and the type of the set is then a parameter in sample
one way is to dispatch on
the sampler
Christian Schilling
@schillic
i don't follow
Marcelo Forets
@mforets
so we would have to write something like
function _sample!(D, UniformSampler{<:AbstractHyperrectangle, <:UniformDistribution};..)
do you man other than uniform or normal distributions?
Christian Schilling
@schillic
i still don't understand the proposal, sorry
Marcelo Forets
@mforets
ok i'll think about it and send a PR
Christian Schilling
@schillic
:+1:
it's good if we don't need the dependency to use sample, but it would be good if you can still use it (although this has no high priority for me because i don't use other distributions)
Marcelo Forets
@mforets
:thumbsup: