The problem is that lrs is currently optional (there really isn't any
reason it shouldn't be standard though) and I wanted to indicate that
dependency somehow. But I agree, it should be renamed once lrs is
standard.
It might also be possible to use qhull for this, which would probably
be faster.
On 27/03/2011 02:32, Marshall Hampton wrote:
If p is your Polyhedron, you can use p.lrs_volume() to get the volume,
but this requires the optional lrs package to be installed. It should
be very easy to install lrs, just do "sage -i lrs" (or "path/to/sage/
sage -i lrs" if sage is not in your path
If p is your Polyhedron, you can use p.lrs_volume() to get the volume,
but this requires the optional lrs package to be installed. It should
be very easy to install lrs, just do "sage -i lrs" (or "path/to/sage/
sage -i lrs" if sage is not in your path). I have been hoping to make
lrs a standard p
