Source: polymake Version: 4.4-3 Severity: serious Justification: FTBFS Tags: bookworm sid ftbfs User: lu...@debian.org Usertags: ftbfs-20211220 ftbfs-bookworm
Hi, During a rebuild of all packages in sid, your package failed to build on amd64. Relevant part (hopefully): > make[1]: Entering directory '/<<PKGBUILDDIR>>' > HOME=$(mktemp -p build -d) perl perl/polymake --script run_testcases > --emacs-style > polymake: WARNING: created private directory build/tmp.8q0GzaNAXb/.polymake > > *** Testing in application common *** > > testing Examples: > [ /common/property_types/Set Types/ApproximateSet ] 1 > verifying: 1 OK > [ /common/property_types/Set Types/HashMap ] 1 > verifying: 1 OK > [ /common/property_types/Set Types/Map ] 1 > verifying: 1 OK > [ /common/property_types/Algebraic Types/Matrix ] 1 > verifying: 1 OK > [ /common/property_types/Set Types/Set ] 1 > verifying: 1 OK > [ /common/property_types/Algebraic Types/SparseMatrix ] 1 2 > verifying: 1 2 OK > [ /common/property_types/Algebraic Types/SparseVector ] 1 2 > verifying: 1 2 OK > [ /common/property_types/Algebraic Types/Vector ] 1 > verifying: 1 OK > [ /common/functions/Combinatorics/all_permutations ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/anti_diag ] 1 2 > verifying: 1 2 OK > [ /common/property_types/Algebraic Types/Matrix/methods/anti_diagonal ] 1 > verifying: 1 OK > [ /core/functions/Interactive/apropos ] 1 > verifying: 1 OK > [ /common/functions/Combinatorics/are_permuted ] 1 > verifying: 1 OK > [ /common/functions/Utilities/average ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/barycenter ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/basis ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/basis_affine ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/basis_cols ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/basis_rows ] 1 > verifying: 1 OK > [ /common/functions/Combinatorics/binomial ] 1 > verifying: 1 OK > [ /common/property_types/Algebraic Types/Matrix/methods/col ] 1 > verifying: 1 OK > [ /common/functions/Data Conversion/cols ] 1 > verifying: 1 OK > [ /common/property_types/Algebraic Types/Matrix/methods/cols ] 1 > verifying: 1 OK > [ /common/functions/Visualization/compose ] 1 > verifying: 1 OK > [ /common/functions/Data Conversion/concat_rows ] 1 2 > verifying: 1 2 OK > [ /common/functions/Data Conversion/convert_to ] 1 2 > verifying: 1 2 OK > [ /common/functions/Linear Algebra/cramer ] 1 > verifying: 1 OK > [ /core/functions/Schemas/create_permissive_schema ] 2 > verifying: 2 OK > [ /core/functions/Schemas/create_restrictive_schema ] 1 > verifying: 1 OK > [ /common/functions/Data Conversion/dense ] 1 2 3 4 > verifying: 1 2 3 4 OK > [ /common/functions/Linear Algebra/det ] 1 2 > verifying: 1 2 OK > [ /common/functions/Linear Algebra/diag ] 1 2 > verifying: 1 2 OK > [ /common/property_types/Algebraic Types/Matrix/methods/diagonal ] 1 > verifying: 1 OK > [ /common/property_types/Algebraic Types/Vector/methods/dim ] 1 > verifying: 1 OK > [ /common/functions/Utilities/distance_matrix ] 1 > verifying: 1 OK > [ /common/functions/Arithmetic/div ] 1 > verifying: 1 OK > [ /common/functions/Arithmetic/div_exact ] 1 > verifying: 1 OK > [ /common/property_types/Algebraic Types/Matrix/methods/div_exact ] 1 > verifying: 1 OK > [ /common/property_types/Algebraic Types/Vector/methods/div_exact ] 1 > verifying: 1 OK > [ /common/property_types/Graph Types/GraphAdjacency/methods/edge ] 1 2 > verifying: 1 2 OK > [ /common/functions/Linear Algebra/eigenvalues ] 1 > verifying: 1 OK > [ /common/property_types/Algebraic Types/Matrix/methods/elem ] 1 > verifying: 1 OK > [ /common/functions/Lattice Tools/eliminate_denominators ] 1 > verifying: 1 OK > [ /common/functions/Lattice Tools/eliminate_denominators_entire ] 1 > verifying: 1 OK > [ /common/functions/Lattice Tools/eliminate_denominators_entire_affine ] 1 > verifying: 1 OK > [ /common/functions/Lattice Tools/eliminate_denominators_in_rows ] 1 > verifying: 1 OK > [ /common/property_types/Algebraic Types/Polynomial/methods/embed ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/equal_bases ] 1 > verifying: 1 OK > [ /common/functions/evaluate ] 1 > verifying: 1 OK > [ /common/functions/Arithmetic/ext_gcd ] 1 > verifying: 1 OK > [ /common/functions/Combinatorics/fibonacci ] 1 > verifying: 1 OK > [ /common/functions/Combinatorics/fibonacci2 ] 1 > verifying: 1 OK > [ /common/functions/Combinatorics/find_permutation ] 1 > verifying: 1 OK > [ /common/functions/Arithmetic/floor ] 1 > verifying: 1 OK > [ /common/functions/Arithmetic/gcd ] 1 2 3 > verifying: 1 2 3 OK > [ /common/functions/Linear Algebra/hermite_normal_form ] 1 > verifying: 1 OK > [ /common/functions/Utilities/histogram ] 1 > verifying: 1 OK > [ /common/functions/Set Operations/incl ] 1 > verifying: 1 OK > [ /common/functions/Data Conversion/index_matrix ] 1 > verifying: 1 OK > [ /common/functions/Utilities/index_of ] 1 > verifying: 1 OK > [ /common/functions/Data Conversion/indices ] 1 > verifying: 1 OK > [ /common/functions/Graph Operations/induced_subgraph ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/inv ] 1 > verifying: 1 OK > [ /common/functions/Lattice Tools/is_integral ] 1 2 > verifying: 1 2 OK > [ /common/functions/Utilities/is_nonnegative ] 1 > verifying: 1 OK > [ /common/functions/Utilities/is_unimodal ] 1 > verifying: 1 OK > [ /common/functions/Arithmetic/isfinite ] 1 > verifying: 1 OK > [ /common/functions/Arithmetic/isinf ] 1 > verifying: 1 OK > [ /common/functions/Formatting/labeled ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/lattice_basis ] 1 > verifying: 1 OK > [ /common/functions/Arithmetic/lcm ] 1 2 > verifying: 1 2 OK > [ /common/functions/Data Conversion/lex_ordered ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/lin_solve ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/lineality_space ] 1 > verifying: 1 OK > [ /common/property_types/Algebraic Types/Polynomial/methods/mapvars ] 1 > verifying: 1 OK > [ /common/functions/Utilities/maximum ] 1 > verifying: 1 OK > [ /common/functions/Utilities/median ] 1 > verifying: 1 OK > [ /common/functions/Utilities/minimum ] 1 > verifying: 1 OK > [ /common/property_types/Algebraic Types/Matrix/methods/minor ] 1 > verifying: 1 OK > [ /common/property_types/Set Types/IncidenceMatrix/methods/minor ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/moore_penrose_inverse ] 1 > verifying: 1 OK > [ /common/functions/Combinatorics/n_fixed_points ] 1 > verifying: 1 OK > [ /common/functions/Graph Operations/node_edge_incidences ] 1 > verifying: 1 OK > [ /common/functions/Graph Operations/nodes ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/normalized ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/null_space ] 1 2 > verifying: 1 2 OK > [ /common/functions/Linear Algebra/null_space_integer ] 1 > verifying: 1 OK > [ /common/functions/Formatting/numbered ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/ones_matrix ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/ones_vector ] 1 > verifying: 1 OK > [ /common/functions/Combinatorics/permutation_cycle_lengths ] 1 > verifying: 1 OK > [ /common/functions/Combinatorics/permutation_cycles ] 1 > verifying: 1 OK > [ /common/functions/Combinatorics/permutation_matrix ] 1 > verifying: 1 OK > [ /common/functions/Combinatorics/permutation_order ] 1 > verifying: 1 OK > [ /common/functions/Combinatorics/permutation_sign ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/pluecker ] 1 > verifying: 1 OK > [ /common/functions/Lattice Tools/primitive ] 1 2 > verifying: 1 2 OK > [ /common/functions/Lattice Tools/primitive_affine ] 1 2 > verifying: 1 2 OK > [ /common/functions/Formatting/print_constraints ] 1 > verifying: 1 OK > [ /common/property_types/Algebraic Types/Polynomial/methods/project ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/project_to_orthogonal_complement ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/qr_decomp ] 1 > verifying: 1 OK > [ /common/functions/Set Operations/range ] 1 > verifying: 1 OK > [ /common/functions/Set Operations/range_from ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/rank ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/remove_zero_rows ] 1 > verifying: 1 OK > [ /common/functions/Data Conversion/repeat_col ] 1 > verifying: 1 OK > [ /common/functions/Data Conversion/repeat_row ] 1 > verifying: 1 OK > [ /common/property_types/Algebraic Types/Matrix/methods/resize ] 1 > verifying: 1 OK > [ /common/property_types/Algebraic Types/SparseMatrix/methods/resize ] 1 > verifying: 1 OK > [ /common/property_types/Algebraic Types/Matrix/methods/row ] 1 > verifying: 1 OK > [ /common/functions/Data Conversion/rows ] 1 > verifying: 1 OK > [ /common/property_types/Algebraic Types/Matrix/methods/rows ] 1 > verifying: 1 OK > [ /common/functions/Formatting/rows_labeled ] 1 2 > verifying: 1 2 OK > [ /common/functions/Formatting/rows_numbered ] 1 > verifying: 1 OK > [ /common/functions/Set Operations/scalar2set ] 1 > verifying: 1 OK > [ /common/functions/Set Operations/select_subset ] 1 > verifying: 1 OK > [ /common/functions/Set Operations/sequence ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/singular_value_decomposition ] 1 > verifying: 1 OK > [ /common/property_types/Algebraic Types/SparseVector/methods/size ] 1 > verifying: 1 OK > [ /common/property_types/Algebraic Types/Vector/methods/slice ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/smith_normal_form ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/smith_normal_form_flint ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/solve_left ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/solve_right ] 1 2 > verifying: 1 2 OK > [ /common/functions/Linear Algebra/sqr ] 1 > verifying: 1 OK > [ /common/property_types/Algebraic Types/SparseMatrix/methods/squeeze ] 1 > verifying: 1 OK > [ /common/property_types/Algebraic Types/SparseMatrix/methods/squeeze_cols ] > 1 > verifying: 1 OK > [ /common/property_types/Algebraic Types/SparseMatrix/methods/squeeze_rows ] > 1 > verifying: 1 OK > [ /common/property_types/Algebraic Types/Polynomial/methods/substitute ] 1 > verifying: 1 OK > [ /common/functions/Utilities/sum ] 1 > verifying: 1 OK > [ /common/functions/Arithmetic/sum_of_square_roots_naive ] 1 > verifying: 1 OK > [ /common/functions/Data Conversion/support ] 1 > verifying: 1 OK > [ /common/functions/Data Conversion/toMatrix ] 1 > verifying: 1 OK > [ /common/functions/Data Conversion/toVector ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/totally_unimodular ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/trace ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/transpose ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/unit_matrix ] 1 2 > verifying: 1 2 OK > [ /common/functions/Linear Algebra/unit_vector ] 1 2 3 > verifying: 1 2 3 OK > [ /common/property_types/Algebraic Types/PuiseuxFraction/methods/val ] 1 2 > verifying: 1 2 OK > [ /common/functions/Data Conversion/vector2col ] 1 > verifying: 1 OK > [ /common/functions/Data Conversion/vector2row ] 1 > verifying: 1 OK > [ /common/functions/Linear Algebra/zero_matrix ] 1 2 > verifying: 1 2 OK > [ /common/functions/Linear Algebra/zero_vector ] 1 2 3 > verifying: 1 2 3 OK > > *** Testing in application fan *** > > testing Examples: > [ /fan/objects/Geometry/PolyhedralComplex/properties/Geometry/AFFINE_HULL ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralComplex/methods/Geometry/AMBIENT_DIM ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/methods/Geometry/AMBIENT_DIM ] 1 > verifying: 1 OK > [ > /fan/objects/Geometry/HyperplaneArrangement/properties/Geometry/CHAMBER_DECOMPOSITION > ] 1 > verifying: 1 OK > [ > /fan/objects/Geometry/HyperplaneArrangement/properties/Combinatorics/CHAMBER_SIGNATURES > ] 1 > verifying: 1 OK > [ > /fan/objects/Geometry/PolyhedralFan/properties/Combinatorics/COMBINATORIAL_DIM > ] 1 > verifying: 1 OK > [ > /fan/objects/Geometry/PolyhedralComplex/properties/Combinatorics/COMPACTIFICATION > ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Combinatorics/COMPLETE ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Combinatorics/CONES ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralComplex/methods/Geometry/DIM ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/methods/Geometry/DIM ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Combinatorics/DUAL_GRAPH ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PlanarNet/properties/Combinatorics/DUAL_TREE ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Geometry/FACET_NORMALS ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Geometry/FAN_AMBIENT_DIM ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Geometry/FAN_DIM ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralComplex/properties/Geometry/FAR_VERTICES ] > 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Geometry/FULL_DIM ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Combinatorics/GRAPH ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Combinatorics/HASSE_DIAGRAM > ] 1 > verifying: 1 OK > [ > /fan/objects/Geometry/HyperplaneArrangement/properties/Geometry/HYPERPLANES ] > 1 2 > verifying: 1 2 OK > [ /fan/objects/Geometry/HyperplaneArrangement ] 1 2 > verifying: 1 2 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Input property/INPUT_CONES > ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Input > property/INPUT_LINEALITY ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralComplex/properties/Input > property/INPUT_POLYTOPES ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Input property/INPUT_RAYS ] > 1 > verifying: 1 OK > [ > /fan/objects/Geometry/PolyhedralFan/properties/Topology/INTERSECTION_COMPLEX > ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Geometry/LINEALITY_DIM ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Geometry/LINEALITY_SPACE ] 1 > verifying: 1 OK > [ > /fan/objects/Geometry/PolyhedralFan/properties/Geometry/LINEAR_SPAN_NORMALS ] > 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Combinatorics/MAXIMAL_CONES > ] 1 > verifying: 1 OK > [ > /fan/objects/Geometry/PolyhedralFan/properties/Combinatorics/MAXIMAL_CONES_COMBINATORIAL_DIMS > ] 1 > verifying: 1 OK > [ > /fan/objects/Geometry/PolyhedralFan/properties/Geometry/MAXIMAL_CONES_FACETS > ] 1 > verifying: 1 OK > [ > /fan/objects/Geometry/PolyhedralFan/properties/Combinatorics/MAXIMAL_CONES_INCIDENCES > ] 1 > verifying: 1 OK > [ > /fan/objects/Geometry/PolyhedralFan/properties/Geometry/MAXIMAL_CONES_LINEAR_SPAN_NORMALS > ] 1 > verifying: 1 OK > [ > /fan/objects/Geometry/PolyhedralComplex/properties/Combinatorics/MAXIMAL_POLYTOPES > ] 1 > verifying: 1 OK > [ > /fan/objects/Geometry/PolyhedralComplex/properties/Geometry/MAXIMAL_POLYTOPES_AFFINE_HULL_NORMALS > ] 1 > verifying: 1 OK > [ > /fan/objects/Geometry/PolyhedralComplex/properties/Combinatorics/MAXIMAL_POLYTOPES_COMBINATORIAL_DIMS > ] 1 > verifying: 1 OK > [ > /fan/objects/Geometry/PolyhedralComplex/properties/Geometry/MAXIMAL_POLYTOPES_FACETS > ] 1 > verifying: 1 OK > [ > /fan/objects/Geometry/PolyhedralComplex/properties/Combinatorics/MAXIMAL_POLYTOPES_INCIDENCES > ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Geometry/N_FACET_NORMALS ] 1 > verifying: 1 OK > [ > /fan/objects/Geometry/HyperplaneArrangement/properties/Combinatorics/N_HYPERPLANES > ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Geometry/N_INPUT_RAYS ] 1 > verifying: 1 OK > [ > /fan/objects/Geometry/PolyhedralFan/properties/Combinatorics/N_MAXIMAL_CONES > ] 1 > verifying: 1 OK > [ > /fan/objects/Geometry/PolyhedralComplex/properties/Combinatorics/N_MAXIMAL_POLYTOPES > ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralComplex/properties/Geometry/N_POINTS ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Geometry/N_RAYS ] 1 > verifying: 1 OK > [ > /fan/objects/Geometry/PolyhedralFan/properties/Geometry/ORTH_LINEALITY_SPACE > ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Geometry/POINTED ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralComplex/properties/Input property/POINTS ] > 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralComplex/properties/Combinatorics/POLYTOPES > ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Geometry/PSEUDO_REGULAR ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Combinatorics/PURE ] 1 2 > verifying: 1 2 OK > [ /fan/objects/Geometry/PlanarNet ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralComplex ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Geometry/RAYS ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Visualization/RAY_LABELS ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Geometry/REGULAR ] 1 2 > verifying: 1 2 OK > [ /fan/objects/Geometry/PolyhedralFan/properties/Combinatorics/SIMPLICIAL ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/HyperplaneArrangement/properties/Input > property/SUPPORT ] 1 2 > verifying: 1 2 OK > [ /fan/objects/Geometry/SubdivisionOfPoints ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/SubdivisionOfPoints/properties/Geometry/UNIMODULAR ] > 1 2 > verifying: 1 2 OK > [ /fan/functions/Producing a hyperplane arrangement/arrangement_from_cones ] > 1 > verifying: 1 OK > [ /fan/functions/Producing a hyperplane arrangement/braid_arrangement ] 1 > verifying: 1 OK > [ > /fan/objects/Geometry/HyperplaneArrangement/methods/Combinatorics/chamber_to_signature > ] 1 > verifying: 1 OK > [ /fan/functions/Symmetry/combinatorial_symmetries ] 1 > verifying: 1 OK > [ /fan/functions/Producing a fan/common_refinement ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/methods/Combinatorics/cone ] 1 > verifying: 1 OK > [ /fan/functions/Symmetry/cones_action ] 1 > verifying: 1 OK > [ /fan/objects/Geometry/PolyhedralFan/methods/Combinatorics/cones_of_dim ] 1 > verifying: 1 OK > [ /fan/functions/Geometry/generating_polyhedron_facets ] 1 > verifying: 1 OK > [ /fan/functions/Producing a hyperplane > arrangement/hypersimplex_vertex_splits ] 1 > verifying: 1 OK > [ /fan/functions/Finite metric spaces/max_metric ] 1 > verifying: 1 OK > [ /fan/functions/Finite metric spaces/metric_extended_tight_span ] 1 > verifying: 1 OK > [ /fan/functions/Finite metric spaces/metric_tight_span ] 1 > verifying: 1 OK > [ /fan/functions/Finite metric spaces/min_metric ] 1 > verifying: 1 OK > [ /fan/functions/Symmetry/orbit_complex ] 1 2 > verifying: 1 2 OK > [ /fan/functions/Symmetry/orbit_fan ] 1 2 > verifying: 1 2 OK > [ /fan/objects/Geometry/PolyhedralComplex/methods/Geometry/polytope ] 1 > verifying: 1 OK > [ /fan/functions/Producing a fan/project_full ] 1 > verifying: 1 OK > [ > /fan/objects/Geometry/HyperplaneArrangement/methods/Combinatorics/signature_to_chamber > ] 1 > verifying: 1 OK > [ /fan/functions/Symmetry/stacky_fan ] 1 > verifying: 1 OK > [ /fan/functions/Symmetry/stacky_second_bsd ] 1 > verifying: 1 OK > [ /fan/functions/Finite metric spaces/thrackle_metric ] 1 > verifying: 1 OK > [ /fan/functions/Finite metric spaces/tight_span_max_metric ] 1 > verifying: 1 OK > [ /fan/functions/Finite metric spaces/tight_span_min_metric ] 1 > verifying: 1 OK > [ /fan/functions/Finite metric spaces/tight_span_thrackle_metric ] 1 > verifying: 1 OK > [ /fan/functions/Producing a fan/union_of_cones ] 1 > verifying: 1 OK > > *** Testing in application fulton *** > > No examples found > > *** Testing in application graph *** > > testing Examples: > [ /graph/objects/Combinatorics/Graph/properties/ADJACENCY ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/AVERAGE_DEGREE ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/BICONNECTED_COMPONENTS ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/BIPARTITE ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Lattice/properties/Combinatorics/BOTTOM_NODE > ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/CHARACTERISTIC_POLYNOMIAL ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/CONNECTED ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/CONNECTED_COMPONENTS ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/CONNECTIVITY ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Lattice/properties/Combinatorics/DECORATION ] > 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/DEGREE_SEQUENCE ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/DIAMETER ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/EIGENVALUES_LAPLACIAN ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Lattice/properties/Combinatorics/FACES ] 1 > verifying: 1 OK > [ > /graph/objects/Combinatorics/Lattice/properties/Combinatorics/INVERSE_RANK_MAP > ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/MAX_CLIQUES ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/NODE_DEGREES ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/NODE_IN_DEGREES ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/NODE_LABELS ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/NODE_OUT_DEGREES ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/N_CONNECTED_COMPONENTS ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/N_EDGES ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/N_NODES ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/SIGNATURE ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/SIGNED_INCIDENCE_MATRIX ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/STRONGLY_CONNECTED ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/STRONG_COMPONENTS ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Lattice/properties/Combinatorics/TOP_NODE ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/TRIANGLE_FREE ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/WEAKLY_CONNECTED ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Graph/properties/WEAKLY_CONNECTED_COMPONENTS > ] 1 > verifying: 1 OK > [ /graph/functions/Combinatorics/all_spanningtrees ] 1 > verifying: 1 OK > [ /graph/functions/Comparing/automorphisms ] 1 2 > verifying: 1 2 OK > [ /graph/functions/Combinatorics/complement_graph ] 1 > verifying: 1 OK > [ /graph/functions/Producing a graph/complete ] 1 > verifying: 1 OK > [ /graph/functions/Producing a graph/complete_bipartite ] 1 > verifying: 1 OK > [ /graph/functions/Combinatorics/connectivity ] 1 > verifying: 1 OK > [ /graph/functions/Producing a graph/cycle_graph ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Lattice/methods/Combinatorics/dual_faces ] 1 > verifying: 1 OK > [ /graph/functions/Other/edge_lengths ] 1 > verifying: 1 OK > [ /graph/functions/Combinatorics/eigenvalues_laplacian ] 1 2 > verifying: 1 2 OK > [ /graph/functions/Comparing/find_row_col_permutation ] 1 > verifying: 1 OK > [ /graph/functions/Producing a graph/generalized_johnson_graph ] 1 > verifying: 1 OK > [ /graph/functions/Other/graph_from_edges ] 1 > verifying: 1 OK > [ /graph/functions/Combinatorics/incidence_matrix ] 1 2 > verifying: 1 2 OK > [ /graph/functions/Comparing/isomorphic ] 1 2 > verifying: 1 2 OK > [ /graph/functions/Producing a graph/johnson_graph ] 1 > verifying: 1 OK > [ /graph/functions/Producing a graph/kneser_graph ] 1 > verifying: 1 OK > [ /graph/functions/Combinatorics/laplacian ] 1 2 > verifying: 1 2 OK > [ /graph/functions/Combinatorics/lattice_of_chains ] 1 > verifying: 1 OK > [ /graph/functions/Combinatorics/line_graph ] 1 > verifying: 1 OK > [ /graph/functions/Combinatorics/maximal_chains_of_lattice ] 1 > verifying: 1 OK > [ /graph/functions/Visualization/metapost ] 1 > verifying: 1 OK > [ /graph/functions/Comparing/n_automorphisms ] 1 > verifying: 1 OK > [ /graph/functions/Producing a graph/neighborhood_graph ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Lattice/methods/Combinatorics/nodes_of_rank ] > 1 > verifying: 1 OK > [ > /graph/objects/Combinatorics/Lattice/methods/Combinatorics/nodes_of_rank_range > ] 1 > verifying: 1 OK > [ /graph/functions/Producing a graph/petersen ] 1 > verifying: 1 OK > [ /graph/functions/Producing a graph/random_graph ] 1 > verifying: 1 OK > [ /graph/objects/Combinatorics/Lattice/methods/Combinatorics/rank ] 1 > verifying: 1 OK > [ /graph/functions/Combinatorics/signed_incidence_matrix ] 1 2 > verifying: 1 2 OK > [ /graph/functions/Visualization/spring_embedder ] 1 > verifying: 1 OK > [ /graph/functions/Producing a graph/wheel_graph ] 1 > verifying: 1 OK > > *** Testing in application group *** > > testing Examples: > [ /group/objects/Action/properties/Symmetry/ALL_GROUP_ELEMENTS ] 1 > verifying: 1 OK > [ /group/objects/Action/properties/Symmetry/CHARACTER ] 1 > verifying: 1 OK > [ /group/objects/Group/properties/Symmetry/CHARACTER_TABLE ] 1 > verifying: 1 OK > [ /group/objects/Action/properties/Symmetry/CONJUGACY_CLASSES ] 1 > verifying: 1 OK > [ /group/objects/Action/properties/Symmetry/CONJUGACY_CLASS_REPRESENTATIVES > ] 1 > verifying: 1 OK > [ /group/objects/Group/properties/Symmetry/CONJUGACY_CLASS_SIZES ] 1 > verifying: 1 OK > [ /group/objects/Action/properties/Symmetry/DEGREE ] 1 > verifying: 1 OK > [ /group/objects/Action/properties/Symmetry/DOMAIN_NAME ] 1 > verifying: 1 OK > [ /group/objects/Action/properties/Symmetry/EXPLICIT_ORBIT_REPRESENTATIVES ] > 1 > verifying: 1 OK > [ > /group/objects/Action/properties/Symmetry/EXPLICIT_ORBIT_REPRESENTATIVE_MATRIX > ] 1 > verifying: 1 OK > [ /group/objects/Group/properties/Symmetry/FACETS_ACTION ] 1 > verifying: 1 OK > [ /group/objects/Action/properties/Symmetry/FACETS_GENERATORS ] 1 > verifying: 1 OK > [ /group/objects/Group/properties/Symmetry/FACET_NORMALS_ACTION ] 1 > verifying: 1 OK > [ /group/objects/Action/properties/Symmetry/GENERATORS ] 1 > verifying: 1 OK > [ /group/objects/Group ] 1 > verifying: 1 OK > [ /group/objects/Group/properties/Symmetry/HOMOGENEOUS_COORDINATE_ACTION ] 1 > verifying: 1 OK > [ /group/objects/Group/properties/Symmetry/IMPLICIT_SET_ACTION ] 1 > verifying: 1 OK > [ /group/objects/Action/properties/Symmetry/INDEX_OF ] 1 > verifying: 1 OK > [ /group/objects/Group/properties/Symmetry/INEQUALITIES_ACTION ] 1 > verifying: 1 OK > [ /group/objects/Group/properties/Symmetry/INPUT_CONES_ACTION ] 1 > verifying: 1 OK > [ /group/objects/Group/properties/Symmetry/INPUT_RAYS_ACTION ] 1 > verifying: 1 OK > [ /group/objects/Action/properties/Symmetry/INPUT_RAYS_GENERATORS ] 1 > verifying: 1 OK > [ /group/objects/Action/properties/Symmetry/IRREDUCIBLE_DECOMPOSITION ] 1 > verifying: 1 OK > [ /group/objects/Group/properties/Symmetry/MAXIMAL_CONES_ACTION ] 1 > verifying: 1 OK > [ /group/objects/Action/properties/Symmetry/MAXIMAL_CONES_GENERATORS ] 1 > verifying: 1 OK > [ /group/objects/Action/properties/Symmetry/N_INEQUALITIES_GENERATORS ] 1 > verifying: 1 OK > [ /group/objects/Action/properties/Symmetry/N_INPUT_RAYS_GENERATORS ] 1 > verifying: 1 OK > [ /group/objects/Action/properties/Symmetry/N_ORBITS ] 1 > verifying: 1 OK > [ /group/objects/Action/properties/Symmetry/N_RAYS_GENERATORS ] 1 > verifying: 1 OK > [ /group/objects/Group/properties/Symmetry/ORDER ] 1 > verifying: 1 OK > [ /group/objects/Group/properties/Symmetry/PERMUTATION_ACTION ] 1 > verifying: 1 OK > [ /group/objects/Action/properties/Symmetry/PERMUTATION_TO_ORBIT_ORDER ] 1 > verifying: 1 OK > [ /group/objects/Group/properties/Symmetry/RAYS_ACTION ] 1 > verifying: 1 OK > [ /group/objects/Action/properties/Symmetry/RAYS_GENERATORS ] 1 > verifying: 1 OK > [ /group/objects/Group/properties/Symmetry/REGULAR_REPRESENTATION ] 1 > verifying: 1 OK > [ /group/objects/Group/properties/Symmetry/SET_ACTION ] 1 > verifying: 1 OK > [ /group/objects/PermutationAction/properties/Orbits/SWITCH_TABLE ] 1 > verifying: 1 OK > [ /group/functions/Utilities/action ] 1 > verifying: 1 OK > [ /group/functions/Utilities/action_inv ] 1 > verifying: 1 OK > [ /group/functions/Symmetry/all_group_elements ] 1 > verifying: 1 OK > [ /group/functions/Producing a group/cube_group ] 1 > verifying: 1 OK > [ /group/functions/Producing a group/group_from_cyclic_notation0 ] 1 > verifying: 1 OK > [ /group/functions/Producing a group/group_from_cyclic_notation1 ] 1 > verifying: 1 OK > [ /group/functions/Symmetry/induce_implicit_action ] 1 > verifying: 1 OK > [ /group/functions/Symmetry/induce_set_action ] 1 > verifying: 1 OK > [ /group/functions/Symmetry/induced_action ] 1 2 > verifying: 1 2 OK > [ /group/functions/Symmetry/induced_permutations ] 1 > verifying: 1 OK > [ /group/functions/Symmetry/invariant_polynomials ] 1 > verifying: 1 OK > [ /group/functions/Symmetry/irreducible_decomposition ] 1 > verifying: 1 OK > [ /group/functions/Symmetry/isotypic_basis ] 1 2 > verifying: 1 2 OK > [ /group/functions/Symmetry/isotypic_projector ] 1 2 > verifying: 1 2 OK > [ /group/functions/Symmetry/lex_min_representative ] 1 > verifying: 1 OK > [ /group/functions/Orbits/orbit ] 1 > verifying: 1 OK > [ /group/functions/Orbits/orbit_permlib ] 1 2 > verifying: 1 2 OK > [ /group/functions/Symmetry/orbit_reps_and_sizes ] 1 > verifying: 1 OK > [ /group/functions/Symmetry/regular_representation ] 1 > verifying: 1 OK > > *** Testing in application ideal *** > > testing Examples: > [ /ideal/objects/Ideal/properties/BINOMIAL_GENERATORS ] 1 > verifying: 1 OK > > *** Testing in application matroid *** > > testing Examples: > [ /matroid/objects/Matroid/properties/Advanced properties/AUTOMORPHISM_GROUP > ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Axiom systems/BASES ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Advanced properties/BETA_INVARIANT ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Realizability/BINARY ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Realizability/BINARY_VECTORS ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Advanced > properties/CATENARY_G_INVARIANT ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Axiom systems/CIRCUITS ] 1 2 > verifying: 1 2 OK > [ /matroid/objects/Matroid/properties/Advanced properties/CONNECTED ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Advanced > properties/CONNECTED_COMPONENTS ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Advanced properties/F_VECTOR ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Advanced properties/G_INVARIANT ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Advanced properties/H_VECTOR ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Advanced > properties/IDENTICALLY_SELF_DUAL ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Other/LABELS ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Advanced properties/LAMINAR ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Axiom systems/LATTICE_OF_CYCLIC_FLATS > ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Axiom systems/LATTICE_OF_FLATS ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Advanced properties/LOOPS ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Axiom systems/MATROID_HYPERPLANES ] 1 2 > verifying: 1 2 OK > [ /matroid/objects/Matroid/properties/Advanced > properties/MAXIMAL_TRANSVERSAL_PRESENTATION ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Advanced properties/NESTED ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Axiom systems/NON_BASES ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Enumerative properties/N_AUTOMORPHISMS > ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Enumerative properties/N_BASES ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Enumerative properties/N_CIRCUITS ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Advanced > properties/N_CONNECTED_COMPONENTS ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Enumerative properties/N_CYCLIC_FLATS > ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Enumerative properties/N_ELEMENTS ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Enumerative properties/N_FLATS ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Enumerative properties/N_LOOPS ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Enumerative > properties/N_MATROID_HYPERPLANES ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Advanced properties/PAVING ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Advanced properties/POLYTOPE ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Enumerative properties/RANK ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Realizability/REGULAR ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Advanced > properties/REVLEX_BASIS_ENCODING ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Advanced properties/SELF_DUAL ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Advanced properties/SERIES_PARALLEL ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Advanced properties/SIMPLE ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Advanced properties/SPARSE_PAVING ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Realizability/TERNARY ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Realizability/TERNARY_VECTORS ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Advanced properties/TRANSVERSAL ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Input > properties/TRANSVERSAL_PRESENTATION ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Advanced properties/TUTTE_POLYNOMIAL ] > 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Advanced properties/UNIFORM ] 1 > verifying: 1 OK > [ /matroid/objects/Matroid/properties/Realizability/VECTORS ] 1 > verifying: 1 OK > [ /matroid/functions/Advanced properties/check_transversality ] 1 > verifying: 1 OK > [ /matroid/functions/Producing a matroid from matroids/contraction ] 1 > verifying: 1 OK > [ /matroid/functions/Producing a matroid from matroids/deletion ] 1 > verifying: 1 OK > > *** Testing in application polytope *** > > testing Examples: > [ /polytope/objects/Optimization/LinearProgram/properties/ABSTRACT_OBJECTIVE > ] 1 > verifying: 1 OK > [ /polytope/objects/Cone/properties/Combinatorics/ALTSHULER_DET ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Combinatorics/BALANCE ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Combinatorics/BALANCED ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Geometry/BOUNDED ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Geometry/CENTERED ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Geometry/CENTRALLY_SYMMETRIC ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Combinatorics/COCUBICAL ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Combinatorics/COCUBICALITY ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Geometry/CONE_DIM ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Combinatorics/CUBICAL ] 1 2 > verifying: 1 2 OK > [ /polytope/objects/Polytope/properties/Combinatorics/CUBICALITY ] 1 > verifying: 1 OK > [ /polytope/objects/VoronoiPolyhedron/properties/DELAUNAY_DIAGRAM ] 1 > verifying: 1 OK > [ /polytope/objects/Optimization/LinearProgram/properties/DIRECTED_GRAPH ] 1 > verifying: 1 OK > [ /polytope/objects/Visualization/Visual::Polytope/methods/DIRECTED_GRAPH ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Combinatorics/EDGE_ORIENTABLE ] 1 2 > verifying: 1 2 OK > [ /polytope/objects/Polytope/properties/Combinatorics/EDGE_ORIENTATION ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Lattice points in > cones/EHRHART_QUASI_POLYNOMIAL ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Combinatorics/EXCESS_VERTEX_DEGREE ] > 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Combinatorics/F2_VECTOR ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Geometry/FACET_VOLUMES ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Combinatorics/F_VECTOR ] 1 2 3 > verifying: 1 2 3 OK > [ /polytope/objects/Visualization/Visual::Polytope/methods/LATTICE ] 1 > verifying: 1 OK > [ /polytope/objects/Visualization/Visual::Polytope/methods/LATTICE_COLORED ] > 1 > verifying: 1 OK > [ /polytope/objects/Optimization/LinearProgram/properties/LINEAR_OBJECTIVE ] > 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Triangulation and > volume/MAHLER_VOLUME ] 1 > verifying: 1 OK > [ /polytope/objects/PointConfiguration/properties/Triangulation and > volume/TRIANGULATION/properties/Triangulation and volume/MASSIVE_GKZ_VECTOR ] > 1 > verifying: 1 OK > [ /polytope/objects/Optimization/LinearProgram/properties/MAXIMAL_FACE ] 1 > verifying: 1 OK > [ /polytope/objects/Optimization/LinearProgram/properties/MAXIMAL_VALUE ] 1 > 2 3 > verifying: 1 2 3 OK > [ /polytope/objects/Optimization/LinearProgram/properties/MAXIMAL_VERTEX ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Geometry/MINIMAL_BALL ] 1 > verifying: 1 OK > [ /polytope/objects/Optimization/LinearProgram/properties/MINIMAL_FACE ] 1 > verifying: 1 OK > [ /polytope/objects/Optimization/LinearProgram/properties/MINIMAL_VALUE ] 1 2 > verifying: 1 2 OK > [ /polytope/objects/Optimization/LinearProgram/properties/MINIMAL_VERTEX ] 1 > verifying: 1 OK > [ /polytope/objects/Visualization/Visual::Polytope/methods/MIN_MAX_FACE ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Combinatorics/NEIGHBORLINESS ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Combinatorics/NEIGHBORLY ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Combinatorics/N_VERTICES ] 1 2 > verifying: 1 2 OK > [ /polytope/objects/Polytope/properties/Geometry/ONE_VERTEX ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Geometry/POINTED ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Input property/POINTS ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope ] 1 2 > verifying: 1 2 OK > [ /polytope/objects/Polytope/properties/Triangulation and > volume/RELATIVE_VOLUME ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Combinatorics/SELF_DUAL ] 1 2 > verifying: 1 2 OK > [ /polytope/objects/Polytope/properties/Combinatorics/SIMPLE ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Combinatorics/SIMPLICIAL ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Combinatorics/SIMPLICIALITY ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Combinatorics/SIMPLICITY ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from scratch/SIM_body ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Geometry/SLACK_IDEAL ] 1 ? cannot > open `standard.lib` > // ** Could not get 'Singular'. > // ** Either set environment variable 'SINGULAR_EXECUTABLE' to 'Singular', > // ** or make sure that 'Singular' is at "/usr/Singular" > // ** Could not get 'BinDir'. > // ** Either set environment variable 'SINGULAR_BIN_DIR' to 'BinDir', > // ** or make sure that 'BinDir' is at "" > // ** Could not get 'RootDir'. > // ** Either set environment variable 'SINGULAR_ROOT_DIR' to 'RootDir', > // ** or make sure that 'RootDir' is at "%b/.." > // ** Could not find dynamic library: p_Procs_FieldIndep.so (path ) > // ** Singular will work properly, but much slower. > // ** See the INSTALL section in the Singular manual for details. > polymake: WARNING: rule GENERATORS, N_VARIABLES : NON_SATURATED.GENERATORS, > NON_SATURATED.N_VARIABLES failed: cannot open elim.lib at > /<<PKGBUILDDIR>>/bundled/singular/apps/ideal/rules/singular.rules line 210. > > verifying: 1 FAILED > [ /polytope/objects/Visualization/Visual::Polytope/methods/STEINER ] 1 > verifying: 1 OK > [ /polytope/objects/Visualization/Visual::Polytope/methods/TRIANGULATION ] 1 > verifying: 1 OK > [ > /polytope/objects/Visualization/Visual::Polytope/methods/TRIANGULATION_BOUNDARY > ] 1 2 > verifying: 1 2 OK > [ /polytope/objects/Polytope/properties/Combinatorics/TWO_FACE_SIZES ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Geometry/VALID_POINT ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Geometry/VERTEX_BARYCENTER ] 1 > verifying: 1 OK > [ /polytope/objects/Visualization/Visual::Polytope/methods/VERTEX_COLORS ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Geometry/VERTEX_NORMALS ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Combinatorics/VERTEX_SIZES ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Geometry/VERTICES ] 1 2 3 > verifying: 1 2 3 OK > [ /polytope/objects/Polytope/properties/Combinatorics/VERTICES_IN_FACETS ] 1 > 2 > verifying: 1 2 OK > [ /polytope/objects/Polytope/properties/Triangulation and volume/VOLUME ] 1 > verifying: 1 OK > [ /polytope/objects/VoronoiPolyhedron/properties/VORONOI_DIAGRAM ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/properties/Geometry/WEAKLY_CENTERED ] 1 > verifying: 1 OK > [ /polytope/functions/Coordinate conversions/affine_float_coords ] 1 > verifying: 1 OK > [ /polytope/functions/Transformations/ambient_lattice_normalization ] 1 2 > verifying: 1 2 OK > [ /polytope/functions/Producing regular polytopes and their > generalizations/archimedean_solid ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from other objects/billera_lee ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from polytopes/bipyramid ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from polytopes/blending ] 1 > verifying: 1 OK > [ /polytope/functions/Transformations/bound ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from > polytopes/cell_from_subdivision ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from > polytopes/cells_from_subdivision ] 1 > verifying: 1 OK > [ /polytope/functions/Transformations/center ] 1 > verifying: 1 OK > [ /polytope/functions/Consistency check/check_inc ] 1 > verifying: 1 OK > [ /polytope/functions/Geometry/circuit_completions ] 1 > verifying: 1 OK > [ /polytope/functions/Combinatorics/codegree ] 1 > verifying: 1 OK > [ /polytope/functions/Symmetry/combinatorial_symmetries ] 1 > verifying: 1 OK > [ /polytope/functions/Triangulations, subdivisions and > volume/common_refinement ] 1 > verifying: 1 OK > [ /polytope/functions/Comparing/congruent ] 1 > verifying: 1 OK > [ /polytope/functions/Geometry/containing_normal_cone ] 1 > verifying: 1 OK > [ /polytope/functions/Geometry/containing_outer_cone ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from polytopes/conv ] 1 > verifying: 1 OK > [ /polytope/functions/Coordinate conversions/convert_to ] 1 > verifying: 1 OK > [ /polytope/functions/Producing regular polytopes and their > generalizations/cross ] 1 > verifying: 1 OK > [ /polytope/functions/Quotient spaces/cs_quotient ] 1 > verifying: 1 OK > [ /polytope/functions/Producing regular polytopes and their > generalizations/cube ] 1 2 3 > verifying: 1 2 3 OK > [ /polytope/functions/Producing a polytope from scratch/cyclic ] 1 > verifying: 1 OK > [ /polytope/functions/Quotient spaces/cylinder_2 ] 1 > verifying: 1 OK > [ /polytope/functions/Quotient spaces/davis_manifold ] 1 > verifying: 1 OK > [ /polytope/functions/Combinatorics/degree ] 1 > verifying: 1 OK > [ /polytope/functions/Triangulations, subdivisions and > volume/delaunay_triangulation ] 1 > verifying: 1 OK > [ /polytope/functions/Geometry/dihedral_angle ] 1 > verifying: 1 OK > [ /polytope/functions/Comparing/equal_polyhedra ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from scratch/explicit_zonotope ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from polytopes/face ] 1 > verifying: 1 OK > [ /polytope/functions/Other/face_pair ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from polytopes/facet ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from polytopes/facet_to_infinity > ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from scratch/fano_simplex ] 1 > verifying: 1 OK > [ /polytope/functions/Comparing/find_facet_vertex_permutations ] 1 > verifying: 1 OK > [ /polytope/functions/Optimization/find_transitive_lp_sol ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from polytopes/free_sum ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from > polytopes/free_sum_decomposition_indices ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from > scratch/generalized_permutahedron ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from scratch/hypersimplex ] 1 > verifying: 1 OK > [ /polytope/functions/Comparing/included_polyhedra ] 1 > verifying: 1 OK > [ /polytope/functions/Geometry/induced_lattice_basis ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a cone/inner_cone ] 1 2 3 > verifying: 1 2 3 OK > [ /polytope/functions/Optimization/inner_point ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from polytopes/integer_hull ] 1 > verifying: 1 OK > [ /polytope/functions/Geometry/integer_points_bbox ] 1 > verifying: 1 OK > [ /polytope/functions/Triangulations, subdivisions and > volume/interior_and_boundary_ridges ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from polytopes/intersection ] 1 > verifying: 1 OK > [ /polytope/functions/Triangulations, subdivisions and volume/is_regular ] 1 > verifying: 1 OK > [ /polytope/functions/Triangulations, subdivisions and volume/is_subdivision > ] 1 2 > verifying: 1 2 OK > [ /polytope/functions/Comparing/isomorphic ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from polytopes/join_polytopes ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from scratch/k_cyclic ] 1 > verifying: 1 OK > [ /polytope/functions/Symmetry/lattice_automorphisms_smooth_polytope ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from polytopes/lattice_bipyramid > ] 1 > verifying: 1 OK > [ /polytope/functions/Comparing/lattice_isomorphic_smooth_polytopes ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from polytopes/lattice_pyramid ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from scratch/lecture_hall_simplex > ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from scratch/long_and_winding ] 1 > 2 > verifying: 1 2 OK > [ /polytope/functions/Other/m_sequence ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from polytopes/mapping_polytope ] > 1 > verifying: 1 OK > [ /polytope/functions/Triangulations, subdivisions and > volume/max_interior_simplices ] 1 2 > verifying: 1 2 OK > [ /polytope/functions/Geometry/maximal_ball ] 1 > verifying: 1 OK > [ /polytope/functions/Geometry/minimal_vertex_angle ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a point configuration/minkowski_sum ] 1 2 > verifying: 1 2 OK > [ /polytope/functions/Producing a polytope from polytopes/minkowski_sum ] 1 2 > verifying: 1 2 OK > [ /polytope/functions/Producing a polytope from > polytopes/minkowski_sum_fukuda ] 1 > verifying: 1 OK > [ /polytope/functions/Triangulations, subdivisions and volume/mixed_volume ] > 1 > verifying: 1 OK > [ /polytope/functions/Triangulations, subdivisions and > volume/n_fine_triangulations ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from scratch/n_gon ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from scratch/newton ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a cone/normal_cone ] 1 2 3 4 > verifying: 1 2 3 4 OK > [ /polytope/functions/Geometry/occluding_cone ] 1 > verifying: 1 OK > [ /polytope/functions/Geometry/optimal_contains ] 1 > verifying: 1 OK > [ /polytope/functions/Symmetry/orbit_polytope ] 1 2 3 4 5 6 7 > verifying: 1 2 3 4 5 6 7 OK > [ /polytope/functions/Transformations/orthantify ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from scratch/permutahedron ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from > scratch/perturbed_long_and_winding ] 1 > verifying: 1 OK > [ /polytope/functions/Triangulations, subdivisions and > volume/placing_triangulation ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from polytopes/pointed_part ] 1 > verifying: 1 OK > [ /polytope/functions/Triangulations, subdivisions and volume/points2metric > ] 1 > verifying: 1 OK > [ /polytope/functions/Transformations/polarize ] 1 2 > verifying: 1 2 OK > [ /polytope/functions/Triangulations, subdivisions and volume/poly2metric ] 1 > verifying: 1 OK > [ /polytope/functions/Optimization/print_constraints ] 1 > verifying: 1 OK > [ /polytope/functions/Geometry/print_face_lattice ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from polytopes/prism ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from polytopes/product ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from polytopes/projection ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from > polytopes/projection_preimage ] 1 > verifying: 1 OK > [ /polytope/functions/Geometry/projective_symmetries ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from polytopes/pyramid ] 1 > verifying: 1 OK > [ /polytope/functions/Quotient spaces/quarter_turn_manifold ] 1 > verifying: 1 OK > [ /polytope/functions/Producing regular polytopes and their > generalizations/reduced ] 1 > verifying: 1 OK > [ /polytope/functions/Producing regular polytopes and their > generalizations/regular_simplex ] 1 2 > verifying: 1 2 OK > [ /polytope/functions/Triangulations, subdivisions and > volume/regular_subdivision ] 1 > verifying: 1 OK > [ /polytope/functions/Transformations/revert ] 1 > verifying: 1 OK > [ /polytope/functions/Transformations/scale ] 1 > verifying: 1 OK > [ /polytope/functions/Geometry/separable ] 1 > verifying: 1 OK > [ /polytope/functions/Optimization/separating_hyperplane ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from scratch/simplex ] 1 2 > verifying: 1 2 OK > [ /polytope/functions/Producing a polytope from polytopes/spherize ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from polytopes/stack ] 1 > verifying: 1 OK > [ /polytope/functions/Triangulations, subdivisions and > volume/staircase_weight ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from polytopes/tensor ] 1 > verifying: 1 OK > [ /polytope/functions/Optimization/totally_dual_integral ] 1 > verifying: 1 OK > [ /polytope/functions/Transformations/transform ] 1 > verifying: 1 OK > [ /polytope/functions/Transformations/translate ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from polytopes/truncation ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from polytopes/unirand ] 1 2 > verifying: 1 2 OK > [ /polytope/functions/Triangulations, subdivisions and > volume/universal_polytope ] 1 2 > verifying: 1 2 OK > [ /polytope/functions/Producing a polytope from scratch/upper_bound_theorem > ] 1 > verifying: 1 OK > [ /polytope/functions/Optimization/vertex_colors ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from polytopes/vertex_figure ] 1 > verifying: 1 OK > [ /polytope/functions/Geometry/violations ] 1 > verifying: 1 OK > [ /polytope/functions/Geometry/visible_face_indices ] 1 > verifying: 1 OK > [ /polytope/functions/Geometry/visible_facet_indices ] 1 > verifying: 1 OK > [ /polytope/functions/Visualization/vlabels ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from polytopes/wedge ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from > graphs/weighted_digraph_polyhedron ] 1 > verifying: 1 OK > [ /polytope/functions/Optimization/write_foldable_max_signature_ilp ] 1 2 > verifying: 1 2 OK > [ /polytope/functions/Optimization/write_simplexity_ilp ] 1 > verifying: 1 OK > [ /polytope/functions/Optimization/write_simplexity_ilp_with_angles ] 1 > verifying: 1 OK > [ /polytope/objects/Polytope/methods/Visualization/write_stl ] 1 > verifying: 1 OK > [ /polytope/functions/Optimization/write_symmetrized_simplexity_ilp ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from scratch/zonotope ] 1 2 > verifying: 1 2 OK > [ /polytope/functions/Geometry/zonotope_tiling_lattice ] 1 > verifying: 1 OK > [ /polytope/functions/Producing a polytope from > scratch/zonotope_vertices_fukuda ] 1 > verifying: 1 OK > > *** Testing in application topaz *** > > testing Examples: > [ /topaz/objects/SimplicialComplex/properties/Topology/BALL ] 1 > verifying: 1 OK > [ /topaz/property_types/Topology/ChainComplex ] 1 > verifying: 1 OK > [ /topaz/objects/HyperbolicSurface/properties/DCEL_DATA ] 1 > verifying: 1 OK > [ /topaz/objects/HyperbolicSurface/methods/Other/GKZ_VECTORS ] 1 > verifying: 1 OK > [ /topaz/objects/GeometricSimplicialComplex/properties/N_UNIMODULAR ] 1 > verifying: 1 OK > [ /topaz/objects/GeometricSimplicialComplex/properties/UNIMODULAR ] 1 > verifying: 1 OK > [ /topaz/functions/Producing a new simplicial complex from > others/alexander_dual ] 1 > verifying: 1 OK > [ /topaz/functions/Producing from scratch/ball ] 1 > verifying: 1 OK > [ /topaz/functions/Producing a new simplicial complex from > others/barycentric_subdivision ] 1 > verifying: 1 OK > [ /topaz/functions/Topology/betti_numbers ] 1 2 > verifying: 1 2 OK > [ /topaz/functions/Producing a new simplicial complex from > others/bistellar_simplification ] 1 > verifying: 1 OK > [ /topaz/objects/SimplicialComplex/methods/Combinatorics/boundary_matrix ] 1 > verifying: 1 OK > [ /topaz/functions/Producing a simplicial complex from other > objects/broken_circuit_complex ] 1 2 > verifying: 1 2 OK > [ /topaz/functions/Topology/cap_product ] 1 > verifying: 1 OK > [ /topaz/functions/Producing a simplicial complex from other > objects/clique_complex ] 1 > verifying: 1 OK > [ /topaz/functions/Symmetry/combinatorial_symmetries ] 1 > verifying: 1 OK > [ /topaz/functions/Producing from scratch/complex_projective_plane ] 1 > verifying: 1 OK > [ /topaz/functions/Producing a new simplicial complex from others/cone ] 1 > verifying: 1 OK > [ /topaz/functions/Producing a new simplicial complex from > others/connected_sum ] 1 > verifying: 1 OK > [ /topaz/functions/Producing from scratch/cube_complex ] 1 > verifying: 1 OK > [ /topaz/functions/Producing a new simplicial complex from others/deletion ] > 1 > verifying: 1 OK > [ /topaz/functions/Producing a new simplicial complex from > others/disjoint_union ] 1 > verifying: 1 OK > [ /topaz/functions/Producing a new simplicial complex from > others/edge_contraction ] 1 > verifying: 1 OK > [ /topaz/functions/Comparing/find_facet_vertex_permutations ] 1 > verifying: 1 OK > [ /topaz/functions/Other/flips_to_canonical_triangulation ] 1 > verifying: 1 OK > [ /topaz/objects/HyperbolicSurface/methods/Other/gkz_dome ] 1 > verifying: 1 OK > [ /topaz/functions/Producing a new simplicial complex from > others/h_induced_quotient ] 1 > verifying: 1 OK > [ /topaz/functions/Topology/homology ] 1 > verifying: 1 OK > [ /topaz/functions/Topology/homology_and_cycles ] 1 > verifying: 1 OK > [ /topaz/functions/Topology/homology_flint ] 1 > verifying: 1 OK > [ /topaz/functions/Producing a simplicial complex from other > objects/independence_complex ] 1 > verifying: 1 OK > [ /topaz/functions/Producing a new simplicial complex from > others/induced_subcomplex ] 1 > verifying: 1 OK > [ /topaz/functions/Comparing/isomorphic ] 1 > verifying: 1 OK > [ /topaz/functions/Producing a new simplicial complex from > others/iterated_barycentric_subdivision ] 1 > verifying: 1 OK > [ /topaz/functions/Producing a new simplicial complex from > others/join_complexes ] 1 > verifying: 1 OK > [ /topaz/functions/Producing a new simplicial complex from others/k_skeleton > ] 1 2 > verifying: 1 2 OK > [ /topaz/functions/Producing a new simplicial complex from > others/link_complex ] 1 > verifying: 1 OK > [ /topaz/functions/Producing from scratch/multi_associahedron_sphere ] 1 2 > verifying: 1 2 OK > [ /topaz/functions/Other/outitudePolynomials ] 1 > verifying: 1 OK > [ /topaz/functions/Producing other objects/outitudes ] 1 > verifying: 1 OK > [ /topaz/functions/Producing other objects/projective_potato ] 1 > verifying: 1 OK > [ /topaz/functions/Producing from scratch/rand_knot ] 1 > verifying: 1 OK > [ /topaz/functions/Other/random_discrete_morse ] 1 > verifying: 1 OK > [ /topaz/functions/Producing a new simplicial complex from > others/simplicial_product ] 1 2 > verifying: 1 2 OK > [ /topaz/functions/Other/stanley_reisner ] 1 > verifying: 1 OK > [ /topaz/functions/Producing a new simplicial complex from others/star ] 1 > verifying: 1 OK > [ /topaz/functions/Producing a new simplicial complex from > others/star_deletion ] 1 > verifying: 1 OK > [ /topaz/functions/Producing a new simplicial complex from others/suspension > ] 1 > verifying: 1 OK > [ /topaz/functions/Producing a new simplicial complex from others/union ] 1 > verifying: 1 OK > [ /topaz/functions/Producing a simplicial complex from other > objects/vietoris_rips_complex ] 1 > verifying: 1 OK > > *** Testing in application tropical *** > > testing Examples: > [ /tropical/objects/Patchwork/properties/BETTI_NUMBERS_Z2 ] 1 > verifying: 1 OK > [ /tropical/objects/Patchwork/properties/CHAIN_COMPLEX_Z2 ] 1 2 > verifying: 1 2 OK > [ /tropical/objects/Hypersurface ] 1 > verifying: 1 OK > [ /tropical/objects/Hypersurface/properties/Combinatorics/PATCHWORK ] 1 > verifying: 1 OK > [ /tropical/objects/VoronoiDiagram/properties/POLYTROPE_PARTITION ] 1 > verifying: 1 OK > [ /tropical/objects/Polytope ] 1 2 > verifying: 1 2 OK > [ /tropical/objects/Patchwork/properties/REAL_PHASE ] 1 > verifying: 1 OK > [ /tropical/objects/VoronoiDiagram ] 1 > verifying: 1 OK > [ /tropical/functions/Matroids/augmented_matroid_fan ] 1 > verifying: 1 OK > [ /tropical/objects/Cycle/methods/Local computations/balanced_faces ] 1 > verifying: 1 OK > [ /tropical/functions/Tropical covector decomposition/coarse_covectors ] 1 > verifying: 1 OK > [ /tropical/functions/Tropical covector > decomposition/coarse_covectors_of_scalar_vertices ] 1 > verifying: 1 OK > [ /tropical/functions/Tropical covector decomposition/covectors ] 1 > verifying: 1 OK > [ /tropical/functions/Tropical covector > decomposition/covectors_of_scalar_vertices ] 1 > verifying: 1 OK > [ /tropical/functions/Tropical operations/cramer ] 1 > verifying: 1 OK > [ /tropical/functions/Producing a tropical polytope/cyclic ] 1 > verifying: 1 OK > [ /tropical/functions/Conversion of tropical addition/dual_addition_version > ] 1 > verifying: 1 OK > [ /tropical/functions/gudkov_curve ] 1 > verifying: 1 OK > [ /tropical/functions/harnack_curve ] 1 > verifying: 1 OK > [ /tropical/functions/Producing a tropical polytope/hypersimplex ] 1 > verifying: 1 OK > [ /tropical/functions/Tropical operations/intersection_extremals ] 1 > verifying: 1 OK > [ /tropical/functions/Weights and lattices/is_balanced ] 1 > verifying: 1 OK > [ /tropical/functions/Other/lifted_pluecker ] 1 > verifying: 1 OK > [ /tropical/functions/Producing a tropical polytope/matroid_polytope ] 1 > verifying: 1 OK > [ /tropical/functions/Creation functions for specific > cycles/matroid_ring_cycle ] 1 > verifying: 1 OK > [ /tropical/functions/Matroid ring cycle > arithmetics/matroid_ring_linear_space ] 1 > verifying: 1 OK > [ /tropical/functions/Producing a tropical polytope/minkowski_sum ] 1 > verifying: 1 OK > [ /tropical/functions/Tropical operations/nearest_point ] 1 > verifying: 1 OK > [ /tropical/objects/MatroidRingCycle/methods/Matroid data/nested_matroids ] 1 > verifying: 1 OK > [ /tropical/functions/Tropical operations/norm ] 1 2 > verifying: 1 2 OK > [ /tropical/functions/Tropical operations/optimal_permutations ] 1 > verifying: 1 OK > [ /tropical/functions/Producing a tropical hypersurface/points2hypersurface > ] 1 > verifying: 1 OK > [ /tropical/functions/Tropical operations/principal_solution ] 1 > verifying: 1 OK > [ /tropical/functions/ragsdale_counterexample ] 1 > verifying: 1 OK > [ /tropical/objects/Patchwork/methods/realize ] 1 2 > verifying: 1 2 OK > [ /tropical/functions/Tropical operations/second_tdet_and_perm ] 1 > verifying: 1 OK > [ /tropical/functions/Tropical operations/stregular ] 1 2 > verifying: 1 2 OK > [ /tropical/functions/Affine and projective coordinates/tdehomog ] 1 2 > verifying: 1 2 OK > [ /tropical/functions/Tropical operations/tdet ] 1 > verifying: 1 OK > [ /tropical/functions/Tropical operations/tdet_and_perm ] 1 > verifying: 1 OK > [ /tropical/functions/Tropical operations/tdiam ] 1 > verifying: 1 OK > [ /tropical/functions/Tropical operations/tdist ] 1 > verifying: 1 OK > [ /tropical/functions/Affine and projective coordinates/thomog ] 1 2 > verifying: 1 2 OK > [ /tropical/functions/Other/tpluecker ] 1 > verifying: 1 OK > [ /tropical/functions/Tropical operations/tregular ] 1 2 > verifying: 1 2 OK > [ /tropical/functions/Matroid ring cycle arithmetics/zero_in_matroid_ring ] 1 > verifying: 1 OK > > *** Summary *** > > *** Failed tests *** > > /<<PKGBUILDDIR>>/apps/polytope/rules/slack_ideal.rules:37: testcase 1 > expected: regular return > got: EXCEPTION: no more rules available to compute 'GENERATORS' > > make[1]: *** [debian/rules:45: override_dh_auto_test] Error 1 The full build log is available from: http://qa-logs.debian.net/2021/12/20/polymake_4.4-3_unstable.log A list of current common problems and possible solutions is available at http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute! If you reassign this bug to another package, please marking it as 'affects'-ing this package. See https://www.debian.org/Bugs/server-control#affects If you fail to reproduce this, please provide a build log and diff it with mine so that we can identify if something relevant changed in the meantime.
