module polytopes exports a mixed volume function and a test procedure