Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add parallelotope #1014

Closed
mforets opened this issue Jan 16, 2019 · 2 comments · Fixed by #1632
Closed

Add parallelotope #1014

mforets opened this issue Jan 16, 2019 · 2 comments · Fixed by #1632
Assignees
@SebastianGuadalupe
Labels
feature ➕ A new feature set representation
Projects
Zonotope Approximation Methods

Comments

@mforets
Copy link
Member

mforets commented Jan 16, 2019 •
edited

For background and use cases see:
@mforets mforets self-assigned this Aug 20, 2019
@mforets mforets mentioned this issue Aug 22, 2019
Closed
@SebastianGuadalupe SebastianGuadalupe mentioned this issue Aug 22, 2019
Merged
@SebastianGuadalupe SebastianGuadalupe mentioned this issue Aug 23, 2019
Merged
@IssueHuntBot
Copy link

@mforets has funded $20.00 to this issue.

@IssueHuntBot
Copy link

@mforets has rewarded $18.00 to @sebastianguadalupe. See it on IssueHunt

  • 💰 Total deposit: $20.00
  • 🎉 Repository reward(0%): $0.00
  • 🔧 Service fee(10%): $2.00

mforets added a commit that referenced this issue Jul 22, 2020
@SebastianGuadalupe @mforets @schillic
#1014 - Add parallelotope in constraint form (#1632)
57105e6 
* add HParallelotope

* Update runtests.jl

* update docs, various fixes

* Update src/Sets/HParallelotope.jl

Co-Authored-By: Christian Schilling <schillic@informatik.uni-freiburg.de>

* Update src/Sets/HParallelotope.jl

Co-Authored-By: Christian Schilling <schillic@informatik.uni-freiburg.de>

* Update test/unit_HParallelotope.jl

Co-Authored-By: Christian Schilling <schillic@informatik.uni-freiburg.de>

* Update src/Sets/HParallelotope.jl

Co-Authored-By: Christian Schilling <schillic@informatik.uni-freiburg.de>

* Update src/Sets/HParallelotope.jl

Co-Authored-By: Christian Schilling <schillic@informatik.uni-freiburg.de>

* Update src/Sets/HParallelotope.jl

Co-Authored-By: Christian Schilling <schillic@informatik.uni-freiburg.de>

* Update src/Sets/HParallelotope.jl

Co-Authored-By: Christian Schilling <schillic@informatik.uni-freiburg.de>

* Update src/Sets/HParallelotope.jl

Co-Authored-By: Christian Schilling <schillic@informatik.uni-freiburg.de>

* Update src/Sets/HParallelotope.jl

Co-Authored-By: Christian Schilling <schillic@informatik.uni-freiburg.de>

* Update src/Sets/HParallelotope.jl

Co-Authored-By: Christian Schilling <schillic@informatik.uni-freiburg.de>

* Update src/Sets/HParallelotope.jl

Co-Authored-By: Christian Schilling <schillic@informatik.uni-freiburg.de>

* Update src/Sets/HParallelotope.jl

Co-Authored-By: Christian Schilling <schillic@informatik.uni-freiburg.de>

* Update src/Sets/HParallelotope.jl

Co-Authored-By: Christian Schilling <schillic@informatik.uni-freiburg.de>

* Update src/Sets/HParallelotope.jl

Co-Authored-By: Christian Schilling <schillic@informatik.uni-freiburg.de>

* solve problem in genmat

* move Type-specific separator

* optimize extremal_vertices

* concrete type of vector in constraints list

* docs

* use type of D in constraints list

* add HParallelotope to docs

* remove `where {N<:Real}`

* use `view` in `base_vertex`

* add `where N` in `constraints_list`

* Update HParallelotope.jl

* Update docs/src/lib/sets/HParallelotope.md

* Update src/Sets/HParallelotope.jl

* Update src/Sets/HParallelotope.jl

* Update src/Sets/HParallelotope.jl

* Update docs/src/lib/sets/HParallelotope.md

* Update HParallelotope.jl

* Update HParallelotope.md

* restore type annotation on N

* clarify description of `base_vertex`

* solve rebase artifact

* update `length(concrete_subtypes)`

* fix bug

* add tests

* move `generators()` to only Float64 loop

* fix tests

Co-authored-by: Marcelo Forets <mforets@gmail.com>
Co-authored-by: Christian Schilling <schillic@informatik.uni-freiburg.de>
@schillic schillic moved this from Features to Done in Zonotope Approximation Methods Nov 26, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@SebastianGuadalupe SebastianGuadalupe

Labels
feature ➕ A new feature set representation
Projects
No open projects
Zonotope Approximation Methods
Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

#1014 - Add parallelotope in constraint form JuliaReach/LazySets.jl
3 participants
@mforets @IssueHuntBot @SebastianGuadalupe