We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
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
# wrong HPolytope{N}() where {N<:Real} = HPolytope{N}(Vector{N}(0)) # right HPolytope{N}() where {N<:Real} = HPolytope{N}(Vector{LinearConstraint{N}}(0))
The old code works, probably because Julia internally converts, but needs one more allocation.
# wrong julia> @time h = HPolytope{Int}() 0.000064 seconds (7 allocations: 336 bytes) LazySets.HPolytope{Int64}(LazySets.HalfSpace{Int64}[]) # right julia> @time h = HPolytope{Int}() 0.000064 seconds (6 allocations: 256 bytes) LazySets.HPolytope{Int64}(LazySets.HalfSpace{Int64}[])
The text was updated successfully, but these errors were encountered:
Merge pull request #320 from JuliaReach/schillic/319
3b87093
#319 - Wrong creation of empty polygon/polytope
schillic
No branches or pull requests
The old code works, probably because Julia internally converts, but needs one more allocation.
The text was updated successfully, but these errors were encountered: