JuliaReach/LazySets.jl

typos and spelling

spaette opened this issue · 0 comments

@schillic

noticed these but not intending to submit a pull request

$ grep -nr algorihm LazySets.jl
LazySets.jl/src/LazyOperations/ConvexHullArray.jl:145:This algorihm calculates the maximum over all ``ρ(d, X_i)``, where the
$ grep -nr behchmarking LazySets.jl
LazySets.jl/docs/src/man/parallel_approximations.md:82:(if you are not behchmarking, pass `n` to `symmetric_interval_hull`, as usual).
$ grep -nr dimentions LazySets.jl
LazySets.jl/test/ConcreteOperations/convex_hull.jl:53:    # four vertex case in 2 dimentions
$ grep -nr interace LazySets.jl
LazySets.jl/test/Interfaces/interfaces.jl:1:# check that all interace functions are provided
$ grep -nr modifing LazySets.jl
LazySets.jl/src/Sets/Zonotope.jl:293:Concrete scaling of a zonotope modifing `Z` in-place.
$ grep -nr optinal LazySets.jl
LazySets.jl/src/Sets/SimpleSparsePolynomialZonotope.jl:407:- `maxdeg`         -- (optinal, default: 3) maximum degree for each parameter
LazySets.jl/src/Sets/SparsePolynomialZonotope.jl:284:- `maxdeg`                     -- (optinal, default: 3) maximum degree for each
$ 

alternate spellings used here

$ grep -nr colinear LazySets.jl
LazySets.jl/test/Sets/LineSegment.jl:124:    # colinear shifted down
$ grep -nr collinear LazySets.jl
LazySets.jl/src/ConcreteOperations/convex_hull.jl:208:    # to 'turn'. For the cases where the points are collinear, we pass the
LazySets.jl/src/ConcreteOperations/convex_hull.jl:216:        # ABC are collinear
LazySets.jl/src/ConcreteOperations/convex_hull.jl:248:function _collinear_case!(points, A, B, C, D)
LazySets.jl/src/ConcreteOperations/convex_hull.jl:249:    # A, B and C collinear, D is the extra point
LazySets.jl/src/ConcreteOperations/convex_hull.jl:302:        return _collinear_case!(points, A, B, C, D)
LazySets.jl/src/ConcreteOperations/convex_hull.jl:304:        return _collinear_case!(points, A, B, D, C)
LazySets.jl/src/ConcreteOperations/convex_hull.jl:306:        return _collinear_case!(points, B, C, D, A)
LazySets.jl/src/ConcreteOperations/convex_hull.jl:308:        return _collinear_case!(points, C, A, D, B)
LazySets.jl/src/ConcreteOperations/isdisjoint.jl:457:collinear. In the latter case, we check membership of any of the end points in
LazySets.jl/src/ConcreteOperations/isdisjoint.jl:498:            # line segments are collinear
LazySets.jl/src/ConcreteOperations/isdisjoint.jl:513:            # line segments are parallel and not collinear
$