Origin (ZeroSet)

ZeroSet{N} <: AbstractSingleton{N}

Type that represents the zero set, i.e., the set that only contains the origin.

Fields

• dim – the ambient dimension of the set

element(Z::ZeroSet)

Return the element of a zero set.

Input

• Z – zero set

Output

The element of the zero set, i.e., a zero vector.

element(Z::ZeroSet, i::Int)

Return the i-th entry of the element of a zero set.

Input

• Z – zero set
• i – dimension

Output

The i-th entry of the element of the zero set, i.e., 0.

rand(T::Type{<:LazySet}; [N]::Type{<:Real}=Float64, [dim]::Int=2,
     [rng]::AbstractRNG=GLOBAL_RNG, [seed]::Union{Int, Nothing}=nothing
    )

Create a random set of the given set type.

Input

• T – set type
• N – (optional, default: Float64) numeric type
• dim – (optional, default: 2) dimension
• rng – (optional, default: GLOBAL_RNG) random number generator
• seed – (optional, default: nothing) seed for reseeding

Output

A random set of the given set type.

Extended help

rand(::Type{ZeroSet}; [N]::Type{<:Real}=Float64, [dim]::Int=2,
     [rng]::AbstractRNG=GLOBAL_RNG, [seed]::Union{Int, Nothing}=nothing)

Output

The (only) zero set of the given numeric type and dimension.