revise docs

JuliaReach · Aug 30, 2018 · 9ba47d6 · 9ba47d6
1 parent 919ab96
commit 9ba47d6
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/docs/src/lib/representations.md b/docs/src/lib/representations.md
@@ -349,7 +349,6 @@ dim(::HPolytope)
 addconstraint!(::HPolytope{Real}, ::LinearConstraint{Real})
 constraints_list(::HPolytope)
 tosimplehrep(::HPolytope)
-intersection(::HPolytope, ::HPolytope)
 ```
 Inherited from [`LazySet`](@ref):
 * [`norm`](@ref norm(::LazySet, ::Real))
@@ -367,7 +366,6 @@ VPolytope
 dim(::VPolytope)
 σ(::AbstractVector{Real}, ::VPolytope{Real})
 vertices_list(::VPolytope)
-intersection(::VPolytope, ::VPolytope)
 ```
 Inherited from [`LazySet`](@ref):
 * [`norm`](@ref norm(::LazySet, ::Real))

diff --git a/docs/src/man/concrete_polyhedra.md b/docs/src/man/concrete_polyhedra.md
@@ -96,8 +96,8 @@ product.
 The dual representation as a list of vertices can be obtained with the
 `vertices_list` function.
 
-For example, the intersection of two polytopes is performed with the `intersect`
-method.
+For example, the concrete intersection of two polytopes is performed with the
+`intersection` method.
 
 ```@example concrete_polyhedra
 E = Ellipsoid(ones(2), diagm([2.0, 0.5]))
@@ -108,7 +108,7 @@ polyoverapprox(x) = HPolytope(overapproximate(x, 1e-3).constraints)
 
 Epoly = polyoverapprox(E)
 Bpoly = polyoverapprox(B)
-X = intersecttion(Epoly, Bpoly)
+X = intersection(Epoly, Bpoly)
 
 plot(E, 1e-3, aspectratio=1, alpha=0.4)
 plot!(B, 1e-3, alpha=0.4)