Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Activity
  • Feb 24 20:27

    mforets on mforets-patch-3

    (compare)

  • Feb 24 20:27

    mforets on master

    Update Project.toml Update Project.toml Merge pull request #24 from Jul… (compare)

  • Feb 24 20:27
    mforets closed #24
  • Feb 24 20:22

    mforets on mforets-patch-3

    Update Project.toml (compare)

  • Feb 24 20:22
    mforets synchronize #24
  • Feb 24 20:17

    mforets on mforets-patch-2

    Update .travis.yml Co-Authored… (compare)

  • Feb 24 20:17
    mforets synchronize #23
  • Feb 24 20:16
    mforets synchronize #23
  • Feb 24 20:16
    mforets synchronize #23
  • Feb 24 20:16

    mforets on mforets-patch-2

    Update .travis.yml Co-Authored… (compare)

  • Feb 24 20:16
    schillic review_requested #13
  • Feb 24 20:16
    schillic opened #13
  • Feb 24 20:15

    schillic on actions

    add CompatHelper and TagBot (compare)

  • Feb 24 20:14

    schillic on actions

    (compare)

  • Feb 24 20:13

    schillic on actions

    add CompatHelper and TagBot (compare)

  • Feb 24 19:48
    mforets assigned #2002
  • Feb 24 19:48
    mforets opened #2002
  • Feb 24 17:07

    mforets on update_project

    (compare)

  • Feb 24 17:07

    mforets on master

    remove REQUIRE update tests add compat for julia 1.0 and 1 more (compare)

  • Feb 24 17:07
    mforets closed #19
Marcelo Forets
@mforets
you know S and S_inv
can't we use the information to quickly compute the action of the linear map to the HPOlytope
i think we had an open issue for this
@schillic this was your idea ?
ueliwechsler
@ueliwechsler
For example, for the minkowski_difference I know that I solve #constraint linear programs (therefore, it is linear in the number of constraints) and I was surprised, that the linear_map does take significantly more time than the minkowski_differnence and now, I try to figure out why exactly.
Or does it make totally sense, that the linear_map takes more time?
Marcelo Forets
@mforets
well it depends
they are very fast if the sets are zonotopic
since then linear maps are just the action over the generators
Christian Schilling
@schillic
@schillic this was your idea?
yes, to have an option to pass the inverted matrix
Marcelo Forets
@mforets
but if the output of your minkowski_difference is not zonotopic (if it is a general HPolytope) then you have to transform one by one the constraints
if the matrix is invertible then the linear map can be computed without passing to the vrep
it is easy, just see how it transforms each constraints
in the general case (the matrix is not invertible) you have to pass to the vertex representation and this can be expensive
Christian Schilling
@schillic
matrix inversion is i think cubic
Marcelo Forets
@mforets
yes, but it is computed only once in his function
Christian Schilling
@schillic
no
linear_map inverts again
there should be an option to pass S directly
Marcelo Forets
@mforets
no? i would pass S to linear_map
Christian Schilling
@schillic
but that's a different problem statement
and still
Marcelo Forets
@mforets
certainly, i wanted to say that there seems to be room for improvement
if we pass S to linear_map
Christian Schilling
@schillic
isn't that what i said?
there should be an option to pass S directly
maybe our messages crossed
Marcelo Forets
@mforets

yes, but it is computed only once in his function

it is needed to be computed only once in his function, this is what i meant

Christian Schilling
@schillic
i think we agree that there should be an option to pass the inverted matrix
Marcelo Forets
@mforets
:thumbsup:
Christian Schilling
@schillic
actually it is not needed at all
because you just pass it to linear_map but would not use it
because you know it's invertible and the inverse is S
Marcelo Forets
@mforets
indeed
Christian Schilling
@schillic
maybe there should be a new function linear_map_inverse?
Marcelo Forets
@mforets
hmm optionally passing the extra stuff to linear_map seems better imo
Christian Schilling
@schillic
@ueliwechsler: sorry that this drifted. do you still follow? :)
Marcelo Forets
@mforets
@ueliwechsler congratulations you earned an issue! :p
hmm this is related but not the same?
we didn't speak about passing the inverse matrix there
Christian Schilling
@schillic
true, we want to do sth even faster
where you already know the inverse
Marcelo Forets
@mforets
yup
Christian Schilling
@schillic
but it's definitely related
Marcelo Forets
@mforets
ok we may want to include the optional inverse in this issue as well
this issue was some logic (my logic) broken
Christian Schilling
@schillic
ok
Marcelo Forets
@mforets
let me add a comment about this discussion.. then i'll head for lunch
Christian Schilling
@schillic
:+1: