copied definition of mixed volume from phcpy documentation to PHCpack documentation