Comments (7)
.. still we can use is_contained
in the mathematical sense, as for #69
from lazysets.jl.
where x
is a point? for polygons we should check point in polygon algorithms.
agreed for overloading in
from lazysets.jl.
Yes, x
is a point. Should it be a Vector
or a Singleton
?
We can provide a convenience conversion function for the other combination.
from lazysets.jl.
we can implement it with sets, i.e. using Singleton
, and also provide the shortcut for x
being a Vector.
from lazysets.jl.
I thought about it and I think it is more efficient to unwrap a Singleton
(which is anyway what has to be done) in one case than to wrap a vector in a Singleton
in the other case.
So I want to implement it for AbstractVector
and provide a conversion function for Singleton
.
Where would we define the conversion function? Inside LazySets.jl
? Maybe we should create a new file for general LazySet
functions (we already have norm
/radius
/diameter
in box_approximations.jl
, so we could move them there as well).
from lazysets.jl.
for polygons we should check point in polygon algorithms.
Thanks for this pointer. I will implement the "dot product" solution from the bottom of the page.
The algorithms in this link work for nonconvex polygons, and at the bottom it is said "Simpler algorithms are possible for [...] convex polygons [...]."
We also already have an implementation for HPolygon
using support vectors. Not sure if this is "optimal", though.
We can always add better algorithms later, for now I just want one solution.
from lazysets.jl.
We are not 100% sure that the Zonotope implementation works in all cases, but keep it for now. @schillic expects it to fail for linearly dependent generators only.
Most types are now supported by #74. Eventually we can continue in #77 with the missing ones.
from lazysets.jl.
Related Issues (20)
- Problems when using minkowski_sum by parallel computation (Threads.@threads) HOT 8
- convert from Zonotope to VPolytope fails due to inconsistent argument name
- Support vector of Polygon HOT 2
- Use and document fast vertices_list for 2D zonotopes
- Caching the JuMP model in linprog HOT 9
- Update "How to cite" in manual
- Template polyhedron (TPolyhedron)
- vertices_list returns Float64 type for Float32 type input
- Containment check in a LinearMap can fail with SingularException
- Inclusion check of flat zonotope in equivalent line segment fails HOT 1
- convex_hull of two 1D points modifies points in-place
- Inclusion of zonotope without generators in polyhedron
- Faster extrema of HPolytope/HPolyhedron in 1D
- Unify switching logic for solvers
- Fix piracies
- Fix unbound args
- Convex hull algorithm in 2D sensitive to numeric precision HOT 1
- Convex hull algorithm from Polyhedra.jl produces invalid constraints HOT 2
- Plot recipe for lazy operations of unions
- Use only one interval instance for `zero_itv` / `sym_itv`
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from lazysets.jl.