Add more metric notions

JuliaReach / MathematicalSets.jl

Set definitions in Julia

https://juliareach.github.io/MathematicalSets.jl/

MIT License

5 stars 0 forks source link

Add more metric notions #3

Closed mforets closed 5 years ago

mforets commented 5 years ago

See again this comment.

Proposal. Add these:

volume(set): returns the volume of the set
surface(set): returns the surface

Again there is some terrain for variations since e.g. the volume of a set such that dimension is strictly smaller than its space_dimension could be either zero (Lebesgue measure of its ambient space), or not (the Lebesgue measure of the affine hull or relative volume).

blegat commented 5 years ago

We might rename surface as surface_area because the surface of a disc might be the circle (which is an AbstractSet)