From 323c2ce455c87ef001ddc67ab30201c446c0289e Mon Sep 17 00:00:00 2001 From: schillic Date: Sun, 29 Dec 2024 12:26:39 +0100 Subject: [PATCH] revise documentation of 'volume' --- src/API/Unary/volume.jl | 15 +++++++++++++-- 1 file changed, 13 insertions(+), 2 deletions(-) diff --git a/src/API/Unary/volume.jl b/src/API/Unary/volume.jl index d912eaf56d..40ae854983 100644 --- a/src/API/Unary/volume.jl +++ b/src/API/Unary/volume.jl @@ -1,7 +1,7 @@ """ volume(X::LazySet) -Compute the volume of a set. +Compute the volume, or Lebesgue measure, of a set. ### Input @@ -9,6 +9,17 @@ Compute the volume of a set. ### Output -A real number representing the volume of `X`. +A real number representing the Lebesgue measure of `X`. + +### Notes + +The [Lebesgue measure](https://en.wikipedia.org/wiki/Lebesgue_measure) has the +following common special cases: + +- In 1D, it coincides with the *length*. +- In 2D, it coincides with the *area* (see also [`area`](@ref)). +- In 3D, it coincides with the *volume*. + +In higher dimensions, it is also known as the *hypervolume* or simply *volume*. """ function volume(::LazySet) end