From cd6d9812b718c1f7d4f75c6303395e5417fa2e1d Mon Sep 17 00:00:00 2001 From: schillic Date: Sat, 4 Aug 2018 13:49:37 +0200 Subject: [PATCH] update docs --- docs/src/index.md | 2 +- docs/src/lib/operations.md | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/docs/src/index.md b/docs/src/index.md index b48fa5d314..190702188d 100644 --- a/docs/src/index.md +++ b/docs/src/index.md @@ -95,7 +95,7 @@ formulation: ```jldoctest index_label julia> typeof(Y) -LazySets.ConvexHull{Float64,LazySets.MinkowskiSum{Float64,LazySets.ExponentialMap{Float64,LazySets.Ball2{Float64}},LazySets.LinearMap{Float64,Float64}},LazySets.Ball2{Float64}} +LazySets.ConvexHull{Float64,LazySets.MinkowskiSum{Float64,LazySets.ExponentialMap{Float64,LazySets.Ball2{Float64}},LazySets.LinearMap{Float64,LazySets.BallInf{Float64},Float64,Array{Float64,2}}},LazySets.Ball2{Float64}} ``` Now suppose that we are interested in observing the projection of $\mathcal{Y}$ diff --git a/docs/src/lib/operations.md b/docs/src/lib/operations.md index 13807d1be5..7a16457905 100644 --- a/docs/src/lib/operations.md +++ b/docs/src/lib/operations.md @@ -172,11 +172,11 @@ Inherited from [`LazySet`](@ref): ```@docs LinearMap -*(::AbstractMatrix, ::LazySet) -*(::Real, ::LazySet) +*(::AbstractMatrix{Real}, ::LazySet{Real}) +*(::Real, ::LazySet{Real}) dim(::LinearMap) -σ(::AbstractVector{Real}, ::LinearMap{Real, Real}) -∈(::AbstractVector{Real}, ::LinearMap{Real, Real}) +σ(::AbstractVector{Real}, ::LinearMap{Real, LazySet{Real}, Real, Matrix{Real}}) +∈(::AbstractVector{Real}, ::LinearMap{Real, LazySet{Real}, Real, Matrix{Real}}) an_element(::LinearMap) ``` Inherited from [`LazySet`](@ref):