Your message dated Wed, 22 Dec 2021 17:25:01 +0000 with message-id <e1n05ml-0009mm...@fasolo.debian.org> and subject line Bug#1002281: fixed in polymake 4.4-4 has caused the Debian Bug report #1002281, regarding polymake: FTBFS: /<<PKGBUILDDIR>>/apps/polytope/rules/slack_ideal.rules:37: testcase 1 expected: regular return got: EXCEPTION: no more rules available to compute 'GENERATORS' to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 1002281: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1002281 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---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.
--- End Message ---
--- Begin Message ---Source: polymake Source-Version: 4.4-4 Done: David Bremner <brem...@debian.org> We believe that the bug you reported is fixed in the latest version of polymake, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 1002...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. David Bremner <brem...@debian.org> (supplier of updated polymake package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 22 Dec 2021 09:25:46 -0400 Source: polymake Architecture: source Version: 4.4-4 Distribution: unstable Urgency: medium Maintainer: David Bremner <brem...@debian.org> Changed-By: David Bremner <brem...@debian.org> Closes: 1002281 Changes: polymake (4.4-4) unstable; urgency=medium . * Add singular-{data,modules,ui} for tests, thanks to Lucas Nussbaum, Benjamin Lorenz (Closes: #1002281). Checksums-Sha1: ace3ee1c66d33fe7119b82cc282e83a4806768bb 2627 polymake_4.4-4.dsc 6362738ae20126bddea50fbba6e59475168a5496 11028 polymake_4.4-4.debian.tar.xz Checksums-Sha256: 28109c3c7e2a21c8b0ebb4b985534bb317906b9d2a1123f094ced908255855ff 2627 polymake_4.4-4.dsc ed196f6bc690ae2e3695ab1e72112f0dcadf3f030af23588820dacaace68176f 11028 polymake_4.4-4.debian.tar.xz Files: f692b12d7b613a7cc49d778ac6a627a3 2627 math optional polymake_4.4-4.dsc 80f080738809d126ba66e89f891cdd7d 11028 math optional polymake_4.4-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkiyHYXwaY0SiY6fqA0U5G1WqFSEFAmHDW64ACgkQA0U5G1Wq FSGmNQ/+PQeNb2/AbheXdOYhYpfPJwdljmJPyz8My6e1PvgAmPyXWtH+gAr8bDUZ t2rmVKZlIn5V8HlSmfGYXY3L8AmspDk42pPcVSrSFhJecztjpCAD+Zfz4MGOWLoH TTBze/OcHjhzSJe8cntHDBbNAfC3R7esCQ0I5P0Kz/wYAHD1KPOPgIDFY2tCcxbM cXANpG79Craf0CDVQH/cKxuaTK2DDnEXPNTwXBGx/ctTVfNkoSuP9kYygpxT7+B8 qndxiFAqwXpGh/OeKygF8ljOpdEP65cQUkN2Wo6DReF31U/p36WWOzD94uuyWwwL oYEOWncf/l0gQCXMSudCTEJ7B+Qrr8nSr01u9cmZxlV6hHFMcFJAhQPJhJVFMZxh VKQLRmh6X+t6A4hLoEvcEzLbMJdD1tjsgppBc2hz22M0O+i88f+63zHRx9UadGZ0 13Cuf/QxN7xIjU3dlreBPb+HuFYKFf8GigpbqOQ8yr+lu6dUht+mguz+D2q5czbc RAZ3Je0VBQfXdgJULqCGQiN8gc1DG2QWXJPRiIZ5I9WWjTSK86VXi9IKzNpNkwCQ fZuf598fofJRqHhTNSJcYVYj6QM5Ow5j4cXCGw+eFsA2ba2QN2r4PBRdFMojGEsb /OBrOR0wRpLdggmVa4xbUt9TqVpSQBf+gB9NmvdDbW0q7FnuMQE= =B/eZ -----END PGP SIGNATURE-----
--- End Message ---
