Hello David, On 28/01/2021 12.59, David Bremner wrote:
The relevant output from the tests seems to be[ /polytope/objects/Polytope/properties/Triangulation and volume/RELATIVE_VOLUME ] 1polymake: WARNING: rule RELATIVE_VOLUME : SQUARED_RELATIVE_VOLUMES failed: Undefined subroutine &Polymake::polytope::Polytope__Rational::_Full_Spez::sum_of_square_roots_naive called at /<<PKGBUILDDIR>>/apps/polytope/rules/rational.rules line 73. /<<PKGBUILDDIR>>/apps/polytope/rules/rational.rules:65: testcase 1 expected: regular return got: EXCEPTION: no more rules available to compute 'RELATIVE_VOLUME' At a guess I'd imagine an architecture dependent bug in one of the dependencies. But that's purely a guess.
please try the attached patch, the issue is that this testcase should not be run when flint is disabled.
I will do some tests with the new flint 2.7 soon to check whether the mips(64) situation has improved.
Best Benjamin
diff --git a/apps/polytope/rules/rational.rules
b/apps/polytope/rules/rational.rules
index ba5b3244c7..d621777100 100644
--- a/apps/polytope/rules/rational.rules
+++ b/apps/polytope/rules/rational.rules
@@ -62,7 +62,7 @@ property N_01POINTS : Int;
# The value is encoded as a map collecting the coefficients of various roots
encountered in the sum.
# For example, {(3 1/2),(5 7)} represents sqrt{3}/2 + 7 sqrt{5}.
# If the output is not satisfactory, please use a symbolic algebra package.
-# @example The following prints the 2-dimensional volume of a centered square
with side length 2 embedded in the 3-space (the result is 4):
+# @example [require bundled:flint] The following prints the 2-dimensional
volume of a centered square with side length 2 embedded in the 3-space (the
result is 4):
# > $M = new Matrix([1,-1,1,0],[1,-1,-1,0],[1,1,-1,0],[1,1,1,0]);
# > $p = new Polytope<Rational>(VERTICES=>$M);
# > print $p->RELATIVE_VOLUME;
OpenPGP_signature
Description: OpenPGP digital signature
