polymake version 2.14 polymake: reading rules from /usr/share/polymake/apps/common/rules/main.rules polymake: reading rules from /usr/share/polymake/apps/common/rules/help.rules polymake: reading rules from /usr/share/polymake/apps/common/rules/global_categories.rules polymake: reading rules from /usr/share/polymake/apps/common/rules/basic_types polymake: reading rules from /usr/share/polymake/apps/common/rules/set_types polymake: reading rules from /usr/share/polymake/apps/common/rules/algebraic_types polymake: reading rules from /usr/share/polymake/apps/common/rules/graph_types polymake: reading rules from /usr/share/polymake/apps/common/rules/misc_functions polymake: reading rules from /usr/share/polymake/apps/common/rules/formatting_filters polymake: reading rules from /usr/share/polymake/apps/common/rules/visual.rules polymake: reading rules from /usr/share/polymake/apps/common/rules/geomview.rules polymake: reading rules from /usr/share/polymake/apps/common/rules/postscript.rules polymake: reading rules from /usr/share/polymake/apps/common/rules/povray.rules polymake: reading rules from /usr/share/polymake/apps/common/rules/sketch.rules polymake: reading rules from /usr/share/polymake/apps/common/rules/threejs.rules polymake: reading rules from /usr/share/polymake/apps/common/rules/tikz.rules polymake: reading rules from /usr/share/polymake/apps/common/rules/lattice.rules polymake: reading rules from /usr/share/polymake/apps/common/rules/poly_parser.rules polymake: reading rules from /usr/share/polymake/apps/common/rules/tropical_parser.rules polymake: reading rules embedded in C++ clients from /usr/lib/polymake/lib/common.so polymake: reading rules from /usr/share/polymake/bundled/java/apps/common/rules/main.rules polymake: reading rules from /usr/share/polymake/bundled/jreality/apps/common/rules/main.rules polymake: reading rules from /usr/share/polymake/bundled/group/apps/common/rules/main.rules polymake: reading rules from /usr/share/polymake/bundled/group/apps/common/rules/set_types polymake: reading rules from /usr/share/polymake/apps/fan/rules/main.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/main.rules polymake: reading rules from /usr/share/polymake/apps/graph/rules/main.rules polymake: reading rules from /usr/share/polymake/apps/graph/rules/help.rules polymake: reading rules from /usr/share/polymake/apps/graph/rules/graph_properties.rules polymake: reading rules from /usr/share/polymake/apps/graph/rules/common.rules polymake: reading rules from /usr/share/polymake/apps/graph/rules/geometric_graph.rules polymake: reading rules from /usr/share/polymake/apps/graph/rules/face_lattice.rules polymake: reading rules from /usr/share/polymake/apps/graph/rules/visual.rules polymake: reading rules from /usr/share/polymake/apps/graph/rules/compare.rules polymake: reading rules from /usr/share/polymake/apps/graph/rules/postscript.rules polymake: reading rules from /usr/share/polymake/apps/graph/rules/povray.rules polymake: reading rules from /usr/share/polymake/apps/graph/rules/metapost.rules polymake: reading rules from /usr/share/polymake/apps/graph/rules/graphviz.rules polymake: reading rules from /usr/share/polymake/apps/graph/rules/sketch.rules polymake: reading rules from /usr/share/polymake/apps/graph/rules/threejs.rules polymake: reading rules from /usr/share/polymake/apps/graph/rules/tikz.rules polymake: reading rules embedded in C++ clients from /usr/lib/polymake/lib/graph.so polymake: reading rules embedded in C++ clients from /usr/lib/polymake/bundled/java/lib/graph.so polymake: reading rules from /usr/share/polymake/bundled/jreality/apps/graph/rules/main.rules polymake: reading rules from /usr/share/polymake/apps/topaz/rules/main.rules polymake: reading rules from /usr/share/polymake/apps/ideal/rules/main.rules polymake: reading rules from /usr/share/polymake/apps/ideal/rules/help.rules polymake: reading rules from /usr/share/polymake/apps/ideal/rules/ideal_properties.rules polymake: reading rules from /usr/share/polymake/apps/ideal/rules/ideal.rules polymake: reading rules from /usr/share/polymake/bundled/singular/apps/ideal/rules/main.rules polymake: reading rules from /usr/share/polymake/bundled/singular/apps/ideal/rules/help.rules polymake: reading rules from /usr/share/polymake/bundled/singular/apps/ideal/rules/singular.rules polymake: reading rules embedded in C++ clients from /usr/lib/polymake/bundled/singular/lib/ideal.so polymake: reading rules from /usr/share/polymake/apps/topaz/rules/help.rules polymake: reading rules from /usr/share/polymake/apps/topaz/rules/complex_properties.rules polymake: reading rules from /usr/share/polymake/apps/topaz/rules/common.rules polymake: reading rules from /usr/share/polymake/apps/topaz/rules/morse_matching.rules polymake: reading rules from /usr/share/polymake/apps/topaz/rules/visual.rules polymake: reading rules from /usr/share/polymake/apps/topaz/rules/gap.rules polymake: reading rules embedded in C++ clients from /usr/lib/polymake/lib/topaz.so polymake: reading rules embedded in C++ clients from /usr/lib/polymake/bundled/group/lib/topaz.so polymake: reading rules from /usr/share/polymake/apps/group/rules/main.rules polymake: reading rules from /usr/share/polymake/apps/group/rules/help.rules polymake: reading rules from /usr/share/polymake/apps/group/rules/group_properties.rules polymake: reading rules from /usr/share/polymake/apps/group/rules/group_of_cone.rules polymake: reading rules from /usr/share/polymake/apps/group/rules/group_of_polytope.rules polymake: reading rules from /usr/share/polymake/apps/group/rules/group.rules polymake: reading rules from /usr/share/polymake/apps/group/rules/representations.rules polymake: reading rules embedded in C++ clients from /usr/lib/polymake/lib/group.so polymake: reading rules from /usr/share/polymake/bundled/group/apps/group/rules/main.rules polymake: reading rules from /usr/share/polymake/bundled/group/apps/group/rules/help.rules polymake: reading rules from /usr/share/polymake/bundled/group/apps/group/rules/permlib.rules polymake: reading rules from /usr/share/polymake/bundled/group/apps/group/rules/group_helpers.rules polymake: reading rules from /usr/share/polymake/bundled/group/apps/group/rules/group_types polymake: reading rules from /usr/share/polymake/bundled/group/apps/group/rules/quotiented_representation.rules polymake: reading rules embedded in C++ clients from /usr/lib/polymake/bundled/group/lib/group.so polymake: reading rules from /usr/share/polymake/apps/polytope/rules/help.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/global_categories.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/cone_properties.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/polytope_properties.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/lp_properties.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/initial.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/cone_common.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/incidence_perm.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/common.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/lp.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/to.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/unbounded_polyhedron.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/arbitrary_coords.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/rational.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/float.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/qhull.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/quadratic_extension.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/flag_vector.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/lattice.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/lattice_properties.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/lattice_visual.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/_4ti2.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/require_libnormaliz.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/vector_configuration.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/vector_configuration_properties.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/group.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/point_configuration.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/point_configuration_properties.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/polarize.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/visual.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/schlegel.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/visual_graph.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/gale.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/steiner.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/voronoi.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/tight_span.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/propagated_polytope.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/edge_orientable.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/visual_point_configuration.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/symmetric_cone.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/symmetric_polytope.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/symmetry.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/coxeter.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/orbit_polytope.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/orbit_polytope_helpers.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/orbit_polytope_visual.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/wronski.rules polymake: reading rules from /usr/share/polymake/apps/polytope/rules/postscript.rules polymake: reading rules embedded in C++ clients from /usr/lib/polymake/lib/polytope.so polymake: reading rules from /usr/share/polymake/bundled/ppl/apps/polytope/rules/main.rules polymake: reading rules from /usr/share/polymake/bundled/ppl/apps/polytope/rules/lp_rational.rules polymake: reading rules from /usr/share/polymake/bundled/ppl/apps/polytope/rules/rational.rules polymake: reading rules embedded in C++ clients from /usr/lib/polymake/bundled/ppl/lib/polytope.so polymake: reading rules from /usr/share/polymake/bundled/lrs/apps/polytope/rules/main.rules polymake: reading rules from /usr/share/polymake/bundled/lrs/apps/polytope/rules/lrs_ch.rules polymake: reading rules from /usr/share/polymake/bundled/lrs/apps/polytope/rules/lrs_lp.rules polymake: reading rules embedded in C++ clients from /usr/lib/polymake/bundled/lrs/lib/polytope.so polymake: reading rules from /usr/share/polymake/bundled/libnormaliz/apps/polytope/rules/main.rules polymake: reading rules embedded in C++ clients from /usr/lib/polymake/bundled/libnormaliz/lib/polytope.so polymake: reading rules embedded in C++ clients from /usr/lib/polymake/bundled/java/lib/polytope.so polymake: reading rules from /usr/share/polymake/bundled/cdd/apps/polytope/rules/main.rules polymake: reading rules from /usr/share/polymake/bundled/cdd/apps/polytope/rules/initial.rules polymake: reading rules from /usr/share/polymake/bundled/cdd/apps/polytope/rules/rational.rules polymake: reading rules from /usr/share/polymake/bundled/cdd/apps/polytope/rules/lp_rational.rules polymake: reading rules from /usr/share/polymake/bundled/cdd/apps/polytope/rules/float.rules polymake: reading rules from /usr/share/polymake/bundled/cdd/apps/polytope/rules/lp_float.rules polymake: reading rules embedded in C++ clients from /usr/lib/polymake/bundled/cdd/lib/polytope.so polymake: reading rules from /usr/share/polymake/bundled/jreality/apps/polytope/rules/main.rules polymake: reading rules from /usr/share/polymake/bundled/group/apps/polytope/rules/main.rules polymake: reading rules from /usr/share/polymake/bundled/group/apps/polytope/rules/permlib.rules polymake: reading rules from /usr/share/polymake/bundled/group/apps/polytope/rules/permlib_helpers.rules polymake: reading rules from /usr/share/polymake/bundled/group/apps/polytope/rules/symmetric_cone.rules polymake: reading rules from /usr/share/polymake/bundled/group/apps/polytope/rules/group_of_cone.rules polymake: reading rules from /usr/share/polymake/bundled/group/apps/polytope/rules/cone_properties.rules polymake: reading rules from /usr/share/polymake/bundled/group/apps/polytope/rules/cone_common.rules polymake: reading rules from /usr/share/polymake/bundled/group/apps/polytope/rules/cone_group.rules polymake: reading rules from /usr/share/polymake/bundled/group/apps/polytope/rules/polytope_properties.rules polymake: reading rules from /usr/share/polymake/bundled/group/apps/polytope/rules/polytope_group.rules polymake: reading rules from /usr/share/polymake/bundled/group/apps/polytope/rules/arbitrary_coords.rules polymake: reading rules from /usr/share/polymake/bundled/group/apps/polytope/rules/quotient_space.rules polymake: reading rules from /usr/share/polymake/bundled/group/apps/polytope/rules/point_configuration_properties.rules polymake: reading rules from /usr/share/polymake/bundled/group/apps/polytope/rules/point_configuration.rules polymake: reading rules from /usr/share/polymake/bundled/group/apps/polytope/rules/point_configuration_group.rules polymake: reading rules embedded in C++ clients from /usr/lib/polymake/bundled/group/lib/polytope.so polymake: reading cross-application rules embedded in C++ clients from /usr/lib/polymake/lib/topaz.so polymake: reading cross-application rules embedded in C++ clients from /usr/lib/polymake/bundled/group/lib/topaz.so polymake: reading rules from /usr/share/polymake/apps/fan/rules/help.rules polymake: reading rules from /usr/share/polymake/apps/fan/rules/fan_properties.rules polymake: reading rules from /usr/share/polymake/apps/fan/rules/initial.rules polymake: reading rules from /usr/share/polymake/apps/fan/rules/tropical_variety_properties.rules polymake: reading rules from /usr/share/polymake/apps/fan/rules/polyhedral_complex_properties.rules polymake: reading rules from /usr/share/polymake/apps/fan/rules/common.rules polymake: reading rules from /usr/share/polymake/apps/fan/rules/incidence_perm.rules polymake: reading rules from /usr/share/polymake/apps/fan/rules/polyhedral_complex.rules polymake: reading rules from /usr/share/polymake/apps/fan/rules/bounded_complex.rules polymake: reading rules from /usr/share/polymake/apps/fan/rules/bounded_complex_visual_graph.rules polymake: reading rules from /usr/share/polymake/apps/fan/rules/visual.rules polymake: reading rules from /usr/share/polymake/apps/fan/rules/lattice.rules polymake: reading rules from /usr/share/polymake/apps/fan/rules/symmetric_fan.rules polymake: reading rules embedded in C++ clients from /usr/lib/polymake/lib/fan.so polymake: reading rules from /usr/share/polymake/bundled/cdd/apps/fan/rules/main.rules polymake: reading rules embedded in C++ clients from /usr/lib/polymake/bundled/cdd/lib/fan.so polymake: reading rules from /usr/share/polymake/apps/fulton/rules/main.rules polymake: reading rules from /usr/share/polymake/apps/fulton/rules/help.rules polymake: reading rules from /usr/share/polymake/apps/fulton/rules/toric_ideal.rules polymake: WARNING: undocumented category /objects/Cone/specializations/Cone/properties/Algebraic Geometry at /usr/share/polymake/apps/fulton/rules/toric_ideal.rules, line 59 polymake: reading rules from /usr/share/polymake/apps/fulton/rules/toric_divisor_properties.rules polymake: reading rules from /usr/share/polymake/apps/fulton/rules/toric_divisor.rules polymake: reading rules from /usr/share/polymake/apps/fulton/rules/toric_variety_properties.rules polymake: reading rules from /usr/share/polymake/apps/fulton/rules/toric_variety.rules polymake: reading rules from /usr/share/polymake/apps/fulton/rules/affine_toric_variety.rules polymake: reading rules from /usr/share/polymake/apps/fulton/rules/cyclic_quotient_properties.rules polymake: reading rules from /usr/share/polymake/apps/fulton/rules/cyclic_quotient.rules polymake: reading rules from /usr/share/polymake/apps/fulton/rules/standard_constructions.rules polymake: reading rules from /usr/share/polymake/apps/matroid/rules/main.rules polymake: reading rules from /usr/share/polymake/apps/matroid/rules/help.rules polymake: reading rules from /usr/share/polymake/apps/matroid/rules/matroid_properties.rules polymake: reading rules from /usr/share/polymake/apps/matroid/rules/matroid_examples.rules polymake: reading rules from /usr/share/polymake/apps/matroid/rules/_4ti2.rules polymake: reading rules embedded in C++ clients from /usr/lib/polymake/lib/matroid.so polymake: reading rules embedded in C++ clients from /usr/lib/polymake/bundled/group/lib/matroid.so polymake: reading cross-application rules embedded in C++ clients from /usr/lib/polymake/lib/topaz.so polymake: reading rules from /usr/share/polymake/apps/tropical/rules/main.rules polymake: reading rules from /usr/share/polymake/apps/tropical/rules/help.rules polymake: reading rules from /usr/share/polymake/apps/tropical/rules/cycle.rules polymake: reading rules from /usr/share/polymake/apps/tropical/rules/hypersurface.rules polymake: reading rules from /usr/share/polymake/apps/tropical/rules/cone_properties.rules polymake: reading rules from /usr/share/polymake/apps/tropical/rules/covector_lattice.rules polymake: reading rules from /usr/share/polymake/apps/tropical/rules/cone.rules polymake: reading rules from /usr/share/polymake/apps/tropical/rules/gfan.rules polymake: reading rules from /usr/share/polymake/apps/tropical/rules/visual.rules polymake: reading rules from /usr/share/polymake/apps/tropical/rules/visual_covector.rules polymake: reading rules from /usr/share/polymake/apps/tropical/rules/visual_cycle.rules polymake: reading rules embedded in C++ clients from /usr/lib/polymake/lib/tropical.so polymake: reading rules from /usr/share/polymake/bundled/atint/apps/tropical/rules/main.rules polymake: reading rules from /usr/share/polymake/bundled/atint/apps/tropical/rules/help.rules polymake: reading rules from /usr/share/polymake/bundled/atint/apps/tropical/rules/cycle.rules polymake: reading rules from /usr/share/polymake/bundled/atint/apps/tropical/rules/rationalfunction.rules polymake: reading rules from /usr/share/polymake/bundled/atint/apps/tropical/rules/rationalcurve.rules polymake: reading rules from /usr/share/polymake/bundled/atint/apps/tropical/rules/rationalcurve_visual.rules polymake: reading rules from /usr/share/polymake/bundled/atint/apps/tropical/rules/divisor.rules polymake: reading rules from /usr/share/polymake/bundled/atint/apps/tropical/rules/morphism.rules polymake: reading rules from /usr/share/polymake/bundled/atint/apps/tropical/rules/conversion.rules polymake: reading rules from /usr/share/polymake/bundled/atint/apps/tropical/rules/matroidfanrincon.rules polymake: reading rules from /usr/share/polymake/bundled/atint/apps/tropical/rules/visual.rules polymake: reading rules from /usr/share/polymake/bundled/atint/apps/tropical/rules/visual_function.rules polymake: reading rules from /usr/share/polymake/bundled/atint/apps/tropical/rules/intersection.rules polymake: reading rules from /usr/share/polymake/bundled/atint/apps/tropical/rules/lines_in_cubic.rules polymake: reading rules embedded in C++ clients from /usr/lib/polymake/bundled/atint/lib/tropical.so polymake: gathering viable rules polymake: applicable: initial commit polymake: ready to evaluate: precondition : exists(INEQUALITIES | EQUATIONS) ( initial : FEASIBLE : ) polymake: applying rule precondition : exists(INEQUALITIES | EQUATIONS) ( initial : FEASIBLE : ) polymake: WARNING: precondition : exists(INEQUALITIES | EQUATIONS) ( initial : FEASIBLE : ) not satisfied polymake: infeasible: initial : FEASIBLE : due to failed precondition above polymake: ready to evaluate: precondition : exists(VERTICES | POINTS) ( initial : FEASIBLE : ) polymake: applying rule precondition : exists(VERTICES | POINTS) ( initial : FEASIBLE : ) polymake: WARNING: precondition : exists(VERTICES | POINTS) ( initial : FEASIBLE : ) not satisfied polymake: infeasible: initial : FEASIBLE : due to failed precondition above polymake: ready to evaluate: precondition : exists(FACETS) ( initial : FEASIBLE : ) polymake: applying rule precondition : exists(FACETS) ( initial : FEASIBLE : ) polymake: precondition : exists(FACETS) ( initial : FEASIBLE : ) satisfied polymake: ready to evaluate: precondition: !exists(FEASIBLE) ( initial : FEASIBLE : ) polymake: applying rule precondition: !exists(FEASIBLE) ( initial : FEASIBLE : ) polymake: precondition: !exists(FEASIBLE) ( initial : FEASIBLE : ) satisfied polymake: ready to use: initial : FEASIBLE : polymake: infeasible: initial : SCHLEGEL_DIAGRAM.FACET, N_FACETS: no available rules to produce SCHLEGEL_DIAGRAM.FACET polymake: ready to evaluate: precondition : exists(RAYS) ( initial : LINEALITY_SPACE : ) polymake: applying rule precondition : exists(RAYS) ( initial : LINEALITY_SPACE : ) polymake: WARNING: precondition : exists(RAYS) ( initial : LINEALITY_SPACE : ) not satisfied polymake: infeasible: initial : LINEALITY_SPACE : due to failed precondition above polymake: ready to evaluate: precondition : exists(FACETS) ( initial : LINEAR_SPAN : ) polymake: applying rule precondition : exists(FACETS) ( initial : LINEAR_SPAN : ) polymake: precondition : exists(FACETS) ( initial : LINEAR_SPAN : ) satisfied polymake: ready to evaluate: precondition: !exists(LINEAR_SPAN) ( initial : LINEAR_SPAN : ) polymake: applying rule precondition: !exists(LINEAR_SPAN) ( initial : LINEAR_SPAN : ) polymake: WARNING: precondition: !exists(LINEAR_SPAN) ( initial : LINEAR_SPAN : ) not satisfied polymake: infeasible: initial : LINEAR_SPAN : due to failed precondition above polymake: ready to evaluate: precondition : exists(INPUT_LINEALITY) ( initial : INPUT_RAYS : ) polymake: applying rule precondition : exists(INPUT_LINEALITY) ( initial : INPUT_RAYS : ) polymake: WARNING: precondition : exists(INPUT_LINEALITY) ( initial : INPUT_RAYS : ) not satisfied polymake: infeasible: initial : INPUT_RAYS : due to failed precondition above polymake: ready to evaluate: precondition : exists(EQUATIONS) ( initial : INEQUALITIES : ) polymake: applying rule precondition : exists(EQUATIONS) ( initial : INEQUALITIES : ) polymake: WARNING: precondition : exists(EQUATIONS) ( initial : INEQUALITIES : ) not satisfied polymake: infeasible: initial : INEQUALITIES : due to failed precondition above polymake: discarding precondition : exists(FACETS) ( initial : LINEAR_SPAN : ): no path to request polymake: discarding precondition: !exists(LINEAR_SPAN) ( initial : LINEAR_SPAN : ): no path to request polymake: discarding precondition : exists(VERTICES | POINTS) ( initial : FEASIBLE : ): no path to request polymake: discarding precondition : exists(EQUATIONS) ( initial : INEQUALITIES : ): no path to request polymake: discarding precondition: !exists(FEASIBLE) ( initial : FEASIBLE : ): no path to request polymake: discarding precondition : exists(INEQUALITIES | EQUATIONS) ( initial : FEASIBLE : ): no path to request polymake: discarding precondition : exists(RAYS) ( initial : LINEALITY_SPACE : ): no path to request polymake: discarding precondition : exists(FACETS) ( initial : FEASIBLE : ): no path to request polymake: discarding precondition : exists(INPUT_LINEALITY) ( initial : INPUT_RAYS : ): no path to request polymake: composing a minimum weight rule chain polymake: minimum weight rule chain constructed in 0.005 sec. |heap|: cur=1, max=1, #pop=1 polymake: rules to execute: initial : FEASIBLE : Sum weight=0.0.0.0.0.0.0.0 polymake: applying rule initial : FEASIBLE : polymake: gathering viable rules polymake: applicable: final polymake: ready to evaluate: precondition : CONE_DIM ( user_method : CONE_DIM ) polymake: applying rule precondition : CONE_DIM ( user_method : CONE_DIM ) polymake: WARNING: precondition : CONE_DIM ( user_method : CONE_DIM ) not satisfied polymake: infeasible: user_method : CONE_DIM due to failed precondition above polymake: ready to evaluate: precondition : CONE_DIM ( user_method : CONE_DIM ) polymake: applying rule precondition : CONE_DIM ( user_method : CONE_DIM ) polymake: WARNING: precondition : CONE_DIM ( user_method : CONE_DIM ) not satisfied polymake: infeasible: user_method : CONE_DIM due to failed precondition above polymake: ready to evaluate: precondition : CONE_DIM ( user_method : VERTICES, VIF_CYCLIC_NORMAL ) polymake: applying rule precondition : CONE_DIM ( user_method : VERTICES, VIF_CYCLIC_NORMAL ) polymake: precondition : CONE_DIM ( user_method : VERTICES, VIF_CYCLIC_NORMAL ) satisfied polymake: ready to evaluate: precondition : CONE_AMBIENT_DIM ( user_method : VERTICES, VIF_CYCLIC_NORMAL ) polymake: applying rule precondition : CONE_AMBIENT_DIM ( user_method : VERTICES, VIF_CYCLIC_NORMAL ) polymake: precondition : CONE_AMBIENT_DIM ( user_method : VERTICES, VIF_CYCLIC_NORMAL ) satisfied polymake: ready to evaluate: precondition : BOUNDED ( user_method : VERTICES, VIF_CYCLIC_NORMAL ) polymake: applying rule precondition : BOUNDED ( user_method : VERTICES, VIF_CYCLIC_NORMAL ) polymake: precondition : BOUNDED ( user_method : VERTICES, VIF_CYCLIC_NORMAL ) satisfied polymake: applicable: user_method : VERTICES, VIF_CYCLIC_NORMAL polymake: ready to evaluate: precondition : CONE_DIM ( user_method : CONE_AMBIENT_DIM ) polymake: applying rule precondition : CONE_DIM ( user_method : CONE_AMBIENT_DIM ) polymake: WARNING: precondition : CONE_DIM ( user_method : CONE_AMBIENT_DIM ) not satisfied polymake: infeasible: user_method : CONE_AMBIENT_DIM due to failed precondition above polymake: ready to evaluate: precondition : CONE_AMBIENT_DIM ( user_method : CONE_DIM ) polymake: applying rule precondition : CONE_AMBIENT_DIM ( user_method : CONE_DIM ) polymake: precondition : CONE_AMBIENT_DIM ( user_method : CONE_DIM ) satisfied polymake: ready to evaluate: precondition : BOUNDED ( user_method : CONE_DIM ) polymake: applying rule precondition : BOUNDED ( user_method : CONE_DIM ) polymake: WARNING: precondition : BOUNDED ( user_method : CONE_DIM ) not satisfied polymake: infeasible: user_method : CONE_DIM due to failed precondition above polymake: ready to evaluate: precondition : FEASIBLE ( user_method : FEASIBLE ) polymake: applying rule precondition : FEASIBLE ( user_method : FEASIBLE ) polymake: WARNING: precondition : FEASIBLE ( user_method : FEASIBLE ) not satisfied polymake: infeasible: user_method : FEASIBLE due to failed precondition above polymake: ready to evaluate: precondition : CONE_AMBIENT_DIM ( user_method : CONE_AMBIENT_DIM ) polymake: applying rule precondition : CONE_AMBIENT_DIM ( user_method : CONE_AMBIENT_DIM ) polymake: WARNING: precondition : CONE_AMBIENT_DIM ( user_method : CONE_AMBIENT_DIM ) not satisfied polymake: infeasible: user_method : CONE_AMBIENT_DIM due to failed precondition above polymake: ready to evaluate: precondition : BOUNDED, CONE_AMBIENT_DIM ( jarvis.convex_hull.primal : VERTICES : POINTS ) polymake: applying rule precondition : BOUNDED, CONE_AMBIENT_DIM ( jarvis.convex_hull.primal : VERTICES : POINTS ) polymake: WARNING: precondition : BOUNDED, CONE_AMBIENT_DIM ( jarvis.convex_hull.primal : VERTICES : POINTS ) not satisfied polymake: infeasible: jarvis.convex_hull.primal : VERTICES : POINTS due to failed precondition above polymake: infeasible: VERTICES, AFFINE_HULL, FEASIBLE, LINEALITY_SPACE : ZONOTOPE_INPUT_POINTS, CENTERED_ZONOTOPE: no available rules to produce ZONOTOPE_INPUT_POINTS polymake: ready to use: ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES polymake: ready to use: lrs.convex_hull.dual: RAYS, POINTED, LINEALITY_SPACE, LINEALITY_DIM : FACETS | INEQUALITIES polymake: infeasible: lrs.convex_hull.redund: POINTED, RAYS, LINEAR_SPAN : INPUT_RAYS, LINEALITY_SPACE: no available rules to produce INPUT_RAYS polymake: ready to use: cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES polymake: infeasible: cdd.convex_hull.canon: POINTED, RAYS, LINEALITY_SPACE : INPUT_RAYS: no available rules to produce INPUT_RAYS polymake: infeasible: cdd.convex_hull.redund: RAYS, RAY_SEPARATORS, LINEALITY_SPACE : INPUT_RAYS: no available rules to produce INPUT_RAYS polymake: infeasible: beneath_beyond.convex_hull.primal, default.triangulation: FACETS, RAYS, LINEAR_SPAN, LINEALITY_SPACE, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY, TRIANGULATION_INT : INPUT_RAYS: no available rules to produce INPUT_RAYS polymake: applicable: beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS polymake: infeasible: beneath_beyond.convex_hull.dual: FACETS, RAYS, LINEAR_SPAN, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : INEQUALITIES: no available rules to produce INEQUALITIES polymake: infeasible: RAYS_IN_FACETS, RAYS, LINEALITY_SPACE : INPUT_RAYS_IN_FACETS, INPUT_RAYS: no available rules to produce INPUT_RAYS polymake: ready to use: RAYS, LINEALITY_SPACE : FACETS, LINEAR_SPAN, RAYS_IN_FACETS polymake: ready to evaluate: precondition : CONE_DIM ( RIF_CYCLIC_NORMAL, NEIGHBOR_FACETS_CYCLIC_NORMAL : CONE_DIM, RAYS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY ) polymake: applying rule precondition : CONE_DIM ( RIF_CYCLIC_NORMAL, NEIGHBOR_FACETS_CYCLIC_NORMAL : CONE_DIM, RAYS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY ) polymake: precondition : CONE_DIM ( RIF_CYCLIC_NORMAL, NEIGHBOR_FACETS_CYCLIC_NORMAL : CONE_DIM, RAYS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY ) satisfied polymake: applicable: RIF_CYCLIC_NORMAL, NEIGHBOR_FACETS_CYCLIC_NORMAL : CONE_DIM, RAYS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY polymake: applicable: RIF_CYCLIC_NORMAL : RAYS_IN_FACETS polymake: ready to evaluate: precondition : FEASIBLE ( lrs.convex_hull.count: N_VERTICES, N_BOUNDED_VERTICES, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ) polymake: applying rule precondition : FEASIBLE ( lrs.convex_hull.count: N_VERTICES, N_BOUNDED_VERTICES, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ) polymake: precondition : FEASIBLE ( lrs.convex_hull.count: N_VERTICES, N_BOUNDED_VERTICES, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ) satisfied polymake: ready to use: lrs.convex_hull.count: N_VERTICES, N_BOUNDED_VERTICES, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES polymake: ready to evaluate: precondition : FEASIBLE ( lrs.convex_hull.count: N_BOUNDED_VERTICES, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ) polymake: applying rule precondition : FEASIBLE ( lrs.convex_hull.count: N_BOUNDED_VERTICES, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ) polymake: precondition : FEASIBLE ( lrs.convex_hull.count: N_BOUNDED_VERTICES, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ) satisfied polymake: ready to use: lrs.convex_hull.count: N_BOUNDED_VERTICES, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES polymake: infeasible: lrs.simplex: LP.MAXIMAL_VALUE, LP.MAXIMAL_VERTEX, FEASIBLE, POINTED, LINEALITY_DIM : LP.LINEAR_OBJECTIVE, FACETS | INEQUALITIES: no available rules to produce LP.LINEAR_OBJECTIVE polymake: infeasible: lrs.simplex: LP.MINIMAL_VALUE, LP.MINIMAL_VERTEX, FEASIBLE, POINTED, LINEALITY_DIM : LP.LINEAR_OBJECTIVE, FACETS | INEQUALITIES: no available rules to produce LP.LINEAR_OBJECTIVE polymake: infeasible: cdd.convex_hull.lineality: LINEALITY_SPACE, POINTED : INPUT_RAYS: no available rules to produce INPUT_RAYS polymake: applicable: POINTED : LINEALITY_DIM polymake: applicable: POINTED : RAYS polymake: infeasible: POINTED : INPUT_RAYS: no available rules to produce INPUT_RAYS polymake: ready to use: POINTED : FACETS | INEQUALITIES, LINEAR_SPAN | EQUATIONS, CONE_AMBIENT_DIM polymake: infeasible: N_INPUT_RAYS : INPUT_RAYS: no available rules to produce INPUT_RAYS polymake: ready to evaluate: precondition : BOUNDED ( lrs.convex_hull.count: N_FACETS : RAYS | INPUT_RAYS ) polymake: applying rule precondition : BOUNDED ( lrs.convex_hull.count: N_FACETS : RAYS | INPUT_RAYS ) polymake: precondition : BOUNDED ( lrs.convex_hull.count: N_FACETS : RAYS | INPUT_RAYS ) satisfied polymake: applicable: lrs.convex_hull.count: N_FACETS : RAYS | INPUT_RAYS polymake: ready to use: N_FACETS : FACETS polymake: applicable: N_FACETS : F_VECTOR, COMBINATORIAL_DIM polymake: ready to use: N_FACETS : RAYS_IN_FACETS polymake: ready to use: FULL_DIM : CONE_AMBIENT_DIM, CONE_DIM polymake: infeasible: INPUT_RAYS_IN_FACETS : INPUT_RAYS, FACETS: no available rules to produce INPUT_RAYS polymake: applicable: DUAL_GRAPH.ADJACENCY : HASSE_DIAGRAM polymake: applicable: beneath_beyond.convex_hull.primal, default.triangulation: FACETS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY, TRIANGULATION, ESSENTIALLY_GENERIC : RAYS polymake: ready to use: DUAL_GRAPH.ADJACENCY : RAYS_IN_FACETS polymake: applicable: COMBINATORIAL_DIM : CONE_DIM, LINEALITY_DIM polymake: applicable: COMBINATORIAL_DIM : F_VECTOR polymake: ready to use: COMBINATORIAL_DIM : RAYS_IN_FACETS polymake: applicable: COMBINATORIAL_DIM : HASSE_DIAGRAM polymake: applicable: LINEALITY_DIM : COMBINATORIAL_DIM, CONE_DIM polymake: applicable: LINEALITY_DIM : LINEALITY_SPACE polymake: applicable: LINEALITY_DIM, LINEALITY_SPACE : polymake: applicable: F_VECTOR : H_VECTOR polymake: applicable: F_VECTOR : DUAL_H_VECTOR polymake: applicable: F_VECTOR : F2_VECTOR polymake: applicable: F_VECTOR : HASSE_DIAGRAM polymake: applicable: F_VECTOR, F2_VECTOR : FLAG_VECTOR, COMBINATORIAL_DIM polymake: ready to use: HASSE_DIAGRAM : RAYS_IN_FACETS polymake: applicable: N_RAYS : RAYS polymake: applicable: N_RAYS : F_VECTOR polymake: ready to use: N_RAYS : RAYS_IN_FACETS polymake: ready to evaluate: precondition : CONE_AMBIENT_DIM ( LINEALITY_SPACE : FACETS | INEQUALITIES ) polymake: applying rule precondition : CONE_AMBIENT_DIM ( LINEALITY_SPACE : FACETS | INEQUALITIES ) polymake: precondition : CONE_AMBIENT_DIM ( LINEALITY_SPACE : FACETS | INEQUALITIES ) satisfied polymake: ready to use: LINEALITY_SPACE : FACETS | INEQUALITIES polymake: infeasible: lrs.convex_hull.redund: FACETS, LINEALITY_SPACE : INEQUALITIES, LINEAR_SPAN: no available rules to produce INEQUALITIES polymake: applicable: SIMPLICIAL : SIMPLICIALITY, COMBINATORIAL_DIM polymake: applicable: SIMPLICIAL : polymake: applicable: SIMPLICIAL : COMBINATORIAL_DIM, RAYS_IN_FACETS polymake: applicable: H_VECTOR : F_VECTOR polymake: applicable: H_VECTOR : G_VECTOR, COMBINATORIAL_DIM polymake: applicable: G_VECTOR, H_VECTOR : COMBINATORIAL_DIM, CD_INDEX_COEFFICIENTS polymake: applicable: SIMPLE : SIMPLICITY, COMBINATORIAL_DIM polymake: applicable: SIMPLE, SIMPLE_POLYHEDRON : COMBINATORIAL_DIM, FAR_FACE, GRAPH.NODE_DEGREES polymake: applicable: SIMPLE : COMBINATORIAL_DIM, RAYS_IN_FACETS polymake: ready to evaluate: precondition : CONE_DIM ( DUAL_H_VECTOR : CONE_AMBIENT_DIM, COMBINATORIAL_DIM, VERTICES, GRAPH.ADJACENCY, FAR_FACE ) polymake: applying rule precondition : CONE_DIM ( DUAL_H_VECTOR : CONE_AMBIENT_DIM, COMBINATORIAL_DIM, VERTICES, GRAPH.ADJACENCY, FAR_FACE ) polymake: precondition : CONE_DIM ( DUAL_H_VECTOR : CONE_AMBIENT_DIM, COMBINATORIAL_DIM, VERTICES, GRAPH.ADJACENCY, FAR_FACE ) satisfied polymake: applicable: DUAL_H_VECTOR : CONE_AMBIENT_DIM, COMBINATORIAL_DIM, VERTICES, GRAPH.ADJACENCY, FAR_FACE polymake: applicable: DUAL_H_VECTOR : COMBINATORIAL_DIM polymake: applicable: DUAL_H_VECTOR : F_VECTOR polymake: applicable: F2_VECTOR : HASSE_DIAGRAM, COMBINATORIAL_DIM polymake: applicable: FLAG_VECTOR : HASSE_DIAGRAM, COMBINATORIAL_DIM polymake: applicable: SIMPLICITY, SIMPLICIALITY : COMBINATORIAL_DIM polymake: applicable: SIMPLICIALITY : F_VECTOR, F2_VECTOR polymake: applicable: G_VECTOR : H_VECTOR polymake: applicable: CD_INDEX_COEFFICIENTS : FLAG_VECTOR, COMBINATORIAL_DIM polymake: applicable: SIMPLICITY : F_VECTOR, F2_VECTOR polymake: applicable: FAR_FACE : VERTICES polymake: applicable: NODE_DEGREES : ADJACENCY ( applied to GRAPH ) polymake: ready to evaluate: precondition : BOUNDED ( graph_from_vertices : GRAPH.ADJACENCY : RAYS ) polymake: applying rule precondition : BOUNDED ( graph_from_vertices : GRAPH.ADJACENCY : RAYS ) polymake: precondition : BOUNDED ( graph_from_vertices : GRAPH.ADJACENCY : RAYS ) satisfied polymake: applicable: graph_from_vertices : GRAPH.ADJACENCY : RAYS polymake: applicable: GRAPH.ADJACENCY : HASSE_DIAGRAM polymake: ready to use: GRAPH.ADJACENCY : RAYS_IN_FACETS polymake: applicable: RAYS extracted from VertexPerm after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES polymake: applicable: RAYS : VertexPerm.RAYS, VertexPerm.PERMUTATION after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES polymake: applicable: VertexPerm.PERMUTATION : VertexPerm.RAYS, RAYS after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES polymake: infeasible: VertexPerm.PERMUTATION : VertexPerm.RAYS_IN_FACETS, RAYS_IN_FACETS after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES: no available rules to produce VertexPerm.RAYS_IN_FACETS polymake: applicable: RAYS extracted from VertexPerm after lrs.convex_hull.dual: RAYS, POINTED, LINEALITY_SPACE, LINEALITY_DIM : FACETS | INEQUALITIES polymake: applicable: RAYS : VertexPerm.RAYS, VertexPerm.PERMUTATION after lrs.convex_hull.dual: RAYS, POINTED, LINEALITY_SPACE, LINEALITY_DIM : FACETS | INEQUALITIES polymake: applicable: VertexPerm.PERMUTATION : VertexPerm.RAYS, RAYS after lrs.convex_hull.dual: RAYS, POINTED, LINEALITY_SPACE, LINEALITY_DIM : FACETS | INEQUALITIES polymake: infeasible: VertexPerm.PERMUTATION : VertexPerm.RAYS_IN_FACETS, RAYS_IN_FACETS after lrs.convex_hull.dual: RAYS, POINTED, LINEALITY_SPACE, LINEALITY_DIM : FACETS | INEQUALITIES: no available rules to produce VertexPerm.RAYS_IN_FACETS polymake: applicable: RAYS extracted from VertexPerm after cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES polymake: applicable: RAYS : VertexPerm.RAYS, VertexPerm.PERMUTATION after cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES polymake: applicable: VertexPerm.PERMUTATION : VertexPerm.RAYS, RAYS after cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES polymake: infeasible: VertexPerm.PERMUTATION : VertexPerm.RAYS_IN_FACETS, RAYS_IN_FACETS after cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES: no available rules to produce VertexPerm.RAYS_IN_FACETS polymake: applicable: RAYS extracted from VertexPerm after beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS polymake: not needed: RAYS_IN_FACETS extracted from VertexPerm after beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS polymake: applicable: GRAPH.ADJACENCY extracted from VertexPerm after beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS polymake: applicable: RAYS : VertexPerm.RAYS, VertexPerm.PERMUTATION after beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS polymake: applicable: ADJACENCY : NodePerm.ADJACENCY, NodePerm.PERMUTATION ( applied to GRAPH ) after beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS polymake: applicable: VertexPerm.PERMUTATION : VertexPerm.RAYS, RAYS after beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS polymake: applicable: VertexPerm.PERMUTATION : VertexPerm.RAYS_IN_FACETS, RAYS_IN_FACETS after beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS polymake: applicable: NodePerm.PERMUTATION : NodePerm.ADJACENCY, ADJACENCY ( applied to GRAPH ) after beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS polymake: applicable: GRAPH.NodePerm.PERMUTATION = VertexPerm.PERMUTATION after beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS polymake: not needed: FACETS extracted from FacetPerm after beneath_beyond.convex_hull.primal, default.triangulation: FACETS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY, TRIANGULATION, ESSENTIALLY_GENERIC : RAYS polymake: not needed: RAYS_IN_FACETS extracted from FacetPerm after beneath_beyond.convex_hull.primal, default.triangulation: FACETS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY, TRIANGULATION, ESSENTIALLY_GENERIC : RAYS polymake: applicable: DUAL_GRAPH.ADJACENCY extracted from FacetPerm after beneath_beyond.convex_hull.primal, default.triangulation: FACETS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY, TRIANGULATION, ESSENTIALLY_GENERIC : RAYS polymake: applicable: ADJACENCY : NodePerm.ADJACENCY, NodePerm.PERMUTATION ( applied to DUAL_GRAPH ) after beneath_beyond.convex_hull.primal, default.triangulation: FACETS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY, TRIANGULATION, ESSENTIALLY_GENERIC : RAYS polymake: applicable: NodePerm.PERMUTATION : NodePerm.ADJACENCY, ADJACENCY ( applied to DUAL_GRAPH ) after beneath_beyond.convex_hull.primal, default.triangulation: FACETS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY, TRIANGULATION, ESSENTIALLY_GENERIC : RAYS polymake: applicable: DUAL_GRAPH.NodePerm.PERMUTATION = FacetPerm.PERMUTATION after beneath_beyond.convex_hull.primal, default.triangulation: FACETS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY, TRIANGULATION, ESSENTIALLY_GENERIC : RAYS polymake: applicable: FacetPerm.PERMUTATION : FacetPerm.FACETS, FACETS, LINEAR_SPAN after beneath_beyond.convex_hull.primal, default.triangulation: FACETS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY, TRIANGULATION, ESSENTIALLY_GENERIC : RAYS polymake: applicable: FacetPerm.PERMUTATION : FacetPerm.RAYS_IN_FACETS, RAYS_IN_FACETS after beneath_beyond.convex_hull.primal, default.triangulation: FACETS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY, TRIANGULATION, ESSENTIALLY_GENERIC : RAYS polymake: discarding precondition : POINTED ( cdd.convex_hull.redund: RAYS, RAY_SEPARATORS, LINEALITY_SPACE : INPUT_RAYS ): no more consumer polymake: discarding precondition : N_INPUT_RAYS ( beneath_beyond.convex_hull.primal, default.triangulation: FACETS, RAYS, LINEAR_SPAN, LINEALITY_SPACE, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY, TRIANGULATION_INT : INPUT_RAYS ): no more consumer polymake: discarding precondition : POINTED ( beneath_beyond.convex_hull.primal, default.triangulation: FACETS, RAYS, LINEAR_SPAN, LINEALITY_SPACE, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY, TRIANGULATION_INT : INPUT_RAYS ): no more consumer polymake: discarding precondition : FULL_DIM ( beneath_beyond.convex_hull.dual: FACETS, RAYS, LINEAR_SPAN, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : INEQUALITIES ): no more consumer polymake: discarding precondition : CONE_DIM ( RIF_CYCLIC_NORMAL, NEIGHBOR_FACETS_CYCLIC_NORMAL : CONE_DIM, RAYS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY ): no path to request polymake: discarding precondition : CONE_DIM ( user_method : VERTICES, VIF_CYCLIC_NORMAL ): no path to request polymake: discarding precondition : BOUNDED ( graph_from_vertices : GRAPH.ADJACENCY : RAYS ): no path to request polymake: discarding precondition : FEASIBLE ( user_method : FEASIBLE ): no path to request polymake: discarding precondition : BOUNDED, CONE_AMBIENT_DIM ( jarvis.convex_hull.primal : VERTICES : POINTS ): no path to request polymake: discarding precondition : CONE_DIM ( DUAL_H_VECTOR : CONE_AMBIENT_DIM, COMBINATORIAL_DIM, VERTICES, GRAPH.ADJACENCY, FAR_FACE ): no path to request polymake: discarding precondition : CONE_AMBIENT_DIM ( LINEALITY_SPACE : FACETS | INEQUALITIES ): no path to request polymake: discarding precondition : BOUNDED ( lrs.convex_hull.count: N_FACETS : RAYS | INPUT_RAYS ): no path to request polymake: discarding precondition : CONE_DIM ( user_method : CONE_DIM ): no path to request polymake: discarding precondition : FEASIBLE ( lrs.convex_hull.count: N_BOUNDED_VERTICES, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ): no path to request polymake: discarding precondition : BOUNDED ( user_method : CONE_DIM ): no path to request polymake: discarding precondition : CONE_DIM ( user_method : CONE_AMBIENT_DIM ): no path to request polymake: discarding precondition : FEASIBLE ( lrs.convex_hull.count: N_VERTICES, N_BOUNDED_VERTICES, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ): no path to request polymake: discarding precondition : CONE_AMBIENT_DIM ( user_method : CONE_DIM ): no path to request polymake: discarding precondition : BOUNDED ( user_method : VERTICES, VIF_CYCLIC_NORMAL ): no path to request polymake: discarding precondition : CONE_DIM ( user_method : CONE_DIM ): no path to request polymake: discarding precondition : CONE_AMBIENT_DIM ( user_method : CONE_AMBIENT_DIM ): no path to request polymake: discarding precondition : CONE_AMBIENT_DIM ( user_method : VERTICES, VIF_CYCLIC_NORMAL ): no path to request polymake: not preferred: beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS ( creating VertexPerm ) after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) after cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES after cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) after lrs.convex_hull.dual: RAYS, POINTED, LINEALITY_SPACE, LINEALITY_DIM : FACETS | INEQUALITIES after lrs.convex_hull.dual: RAYS, POINTED, LINEALITY_SPACE, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) polymake: preferred: lrs.convex_hull.count: N_BOUNDED_VERTICES, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES polymake: preferred: ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES polymake: not preferred: lrs.convex_hull.dual: RAYS, POINTED, LINEALITY_SPACE, LINEALITY_DIM : FACETS | INEQUALITIES after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) after cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES after cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) polymake: not preferred: cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) polymake: not preferred: cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) polymake: preferred: beneath_beyond.convex_hull.primal, default.triangulation: FACETS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY, TRIANGULATION, ESSENTIALLY_GENERIC : RAYS ( creating FacetPerm ) polymake: preferred: graph_from_vertices : GRAPH.ADJACENCY : RAYS polymake: preferred: lrs.convex_hull.count: N_FACETS : RAYS | INPUT_RAYS polymake: not preferred: lrs.convex_hull.dual: RAYS, POINTED, LINEALITY_SPACE, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) after cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES after cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) polymake: preferred: beneath_beyond.convex_hull.primal, default.triangulation: FACETS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY, TRIANGULATION, ESSENTIALLY_GENERIC : RAYS polymake: not preferred: beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) after cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES after cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) after lrs.convex_hull.dual: RAYS, POINTED, LINEALITY_SPACE, LINEALITY_DIM : FACETS | INEQUALITIES after lrs.convex_hull.dual: RAYS, POINTED, LINEALITY_SPACE, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) polymake: preferred: ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) polymake: preferred: lrs.convex_hull.count: N_VERTICES, N_BOUNDED_VERTICES, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES polymake: composing a minimum weight rule chain polymake: checking pending preconditions: precondition : N_FACETS ( beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS ) polymake: applying rule N_FACETS : FACETS polymake: applying rule precondition : N_FACETS ( beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS ) polymake: precondition : N_FACETS ( beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS ) satisfied polymake: checking pending preconditions: precondition : FULL_DIM ( beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS ) polymake: applying rule FULL_DIM : CONE_AMBIENT_DIM, CONE_DIM polymake: applying rule precondition : FULL_DIM ( beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS ) polymake: precondition : FULL_DIM ( beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS ) satisfied polymake: checking pending preconditions: precondition : N_RAYS ( beneath_beyond.convex_hull.primal, default.triangulation: FACETS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY, TRIANGULATION, ESSENTIALLY_GENERIC : RAYS ) polymake: applying rule N_RAYS : RAYS_IN_FACETS polymake: applying rule precondition : N_RAYS ( beneath_beyond.convex_hull.primal, default.triangulation: FACETS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY, TRIANGULATION, ESSENTIALLY_GENERIC : RAYS ) polymake: precondition : N_RAYS ( beneath_beyond.convex_hull.primal, default.triangulation: FACETS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY, TRIANGULATION, ESSENTIALLY_GENERIC : RAYS ) satisfied polymake: minimum weight rule chain constructed in 0.075 sec. |heap|: cur=24, max=24, #pop=27 polymake: rules to execute: RAYS, LINEALITY_SPACE : FACETS, LINEAR_SPAN, RAYS_IN_FACETS LINEALITY_DIM : LINEALITY_SPACE COMBINATORIAL_DIM : CONE_DIM, LINEALITY_DIM precondition : COMBINATORIAL_DIM ( RIF_CYCLIC_NORMAL : RAYS_IN_FACETS ) RIF_CYCLIC_NORMAL : RAYS_IN_FACETS user_method : VERTICES, VIF_CYCLIC_NORMAL Sum weight=0.0.0.0.0.10.10.20 polymake: applying rule RAYS, LINEALITY_SPACE : FACETS, LINEAR_SPAN, RAYS_IN_FACETS polymake: applying rule LINEALITY_DIM : LINEALITY_SPACE polymake: applying rule COMBINATORIAL_DIM : CONE_DIM, LINEALITY_DIM polymake: applying rule precondition : COMBINATORIAL_DIM ( RIF_CYCLIC_NORMAL : RAYS_IN_FACETS ) polymake: WARNING: precondition : COMBINATORIAL_DIM ( RIF_CYCLIC_NORMAL : RAYS_IN_FACETS ) not satisfied polymake: trying to find an alternative way polymake: discarding RIF_CYCLIC_NORMAL : RAYS_IN_FACETS: no more supplier polymake: not preferred: beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS ( creating VertexPerm ) after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) after cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES after cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) after lrs.convex_hull.dual: RAYS, POINTED, LINEALITY_SPACE, LINEALITY_DIM : FACETS | INEQUALITIES after lrs.convex_hull.dual: RAYS, POINTED, LINEALITY_SPACE, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) polymake: preferred: lrs.convex_hull.count: N_BOUNDED_VERTICES, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES polymake: preferred: ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES polymake: not preferred: lrs.convex_hull.dual: RAYS, POINTED, LINEALITY_SPACE, LINEALITY_DIM : FACETS | INEQUALITIES after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) after cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES after cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) polymake: not preferred: cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) polymake: not preferred: cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) polymake: preferred: beneath_beyond.convex_hull.primal, default.triangulation: FACETS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY, TRIANGULATION, ESSENTIALLY_GENERIC : RAYS ( creating FacetPerm ) polymake: preferred: graph_from_vertices : GRAPH.ADJACENCY : RAYS polymake: not preferred: lrs.convex_hull.dual: RAYS, POINTED, LINEALITY_SPACE, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) after cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES after cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) polymake: preferred: beneath_beyond.convex_hull.primal, default.triangulation: FACETS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY, TRIANGULATION, ESSENTIALLY_GENERIC : RAYS polymake: not preferred: beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) after cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES after cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) after lrs.convex_hull.dual: RAYS, POINTED, LINEALITY_SPACE, LINEALITY_DIM : FACETS | INEQUALITIES after lrs.convex_hull.dual: RAYS, POINTED, LINEALITY_SPACE, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) polymake: preferred: ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ) polymake: preferred: lrs.convex_hull.count: N_VERTICES, N_BOUNDED_VERTICES, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES polymake: discarding lrs.convex_hull.dual: RAYS, POINTED, LINEALITY_SPACE, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ): no more supplier polymake: discarding RAYS : VertexPerm.RAYS, VertexPerm.PERMUTATION after lrs.convex_hull.dual: RAYS, POINTED, LINEALITY_SPACE, LINEALITY_DIM : FACETS | INEQUALITIES: no more consumer polymake: discarding cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ): no more supplier polymake: discarding RAYS : VertexPerm.RAYS, VertexPerm.PERMUTATION after cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES: no more consumer polymake: discarding ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES ( creating VertexPerm ): no more supplier polymake: discarding RAYS : VertexPerm.RAYS, VertexPerm.PERMUTATION after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES: no more consumer polymake: discarding RAYS : VertexPerm.RAYS, VertexPerm.PERMUTATION after beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS: no more consumer polymake: discarding VertexPerm.PERMUTATION : VertexPerm.RAYS, RAYS after lrs.convex_hull.dual: RAYS, POINTED, LINEALITY_SPACE, LINEALITY_DIM : FACETS | INEQUALITIES: no more supplier polymake: discarding VertexPerm.PERMUTATION : VertexPerm.RAYS, RAYS after cdd.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES: no more supplier polymake: discarding VertexPerm.PERMUTATION : VertexPerm.RAYS, RAYS after ppl.convex_hull.dual: RAYS, LINEALITY_SPACE, POINTED, LINEALITY_DIM : FACETS | INEQUALITIES: no more supplier polymake: discarding precondition : POINTED ( LINEALITY_DIM, LINEALITY_SPACE : ): no more consumer polymake: discarding F_VECTOR : HASSE_DIAGRAM: no path to request polymake: discarding CD_INDEX_COEFFICIENTS : FLAG_VECTOR, COMBINATORIAL_DIM: no path to request polymake: discarding DUAL_H_VECTOR : CONE_AMBIENT_DIM, COMBINATORIAL_DIM, VERTICES, GRAPH.ADJACENCY, FAR_FACE: no path to request polymake: discarding SIMPLICITY, SIMPLICIALITY : COMBINATORIAL_DIM: no path to request polymake: discarding GRAPH.ADJACENCY : HASSE_DIAGRAM: no path to request polymake: discarding DUAL_H_VECTOR : COMBINATORIAL_DIM: no path to request polymake: discarding G_VECTOR : H_VECTOR: no path to request polymake: discarding FLAG_VECTOR : HASSE_DIAGRAM, COMBINATORIAL_DIM: no path to request polymake: discarding precondition : COMBINATORIAL_DIM ( F_VECTOR : F2_VECTOR ): no path to request polymake: discarding precondition : COMBINATORIAL_DIM ( F_VECTOR : DUAL_H_VECTOR ): no path to request polymake: discarding precondition : SIMPLICIAL ( H_VECTOR : G_VECTOR, COMBINATORIAL_DIM ): no path to request polymake: discarding precondition : SIMPLICIAL ( H_VECTOR : F_VECTOR ): no path to request polymake: discarding H_VECTOR : G_VECTOR, COMBINATORIAL_DIM: no path to request polymake: discarding SIMPLE : COMBINATORIAL_DIM, RAYS_IN_FACETS: no path to request polymake: discarding F_VECTOR : F2_VECTOR: no path to request polymake: discarding NODE_DEGREES : ADJACENCY ( applied to GRAPH ): no path to request polymake: discarding G_VECTOR, H_VECTOR : COMBINATORIAL_DIM, CD_INDEX_COEFFICIENTS: no path to request polymake: discarding precondition : SIMPLE ( F_VECTOR : DUAL_H_VECTOR ): no path to request polymake: discarding precondition : SIMPLE ( DUAL_H_VECTOR : CONE_AMBIENT_DIM, COMBINATORIAL_DIM, VERTICES, GRAPH.ADJACENCY, FAR_FACE ): no path to request polymake: discarding beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS: no path to request polymake: discarding GRAPH.NodePerm.PERMUTATION = VertexPerm.PERMUTATION after beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS: no path to request polymake: discarding precondition : ESSENTIALLY_GENERIC ( SIMPLICIAL : ): no path to request polymake: discarding GRAPH.ADJACENCY : RAYS_IN_FACETS: no path to request polymake: discarding precondition : SIMPLE ( DUAL_H_VECTOR : F_VECTOR ): no path to request polymake: discarding H_VECTOR : F_VECTOR: no path to request polymake: discarding graph_from_vertices : GRAPH.ADJACENCY : RAYS: no path to request polymake: discarding precondition : FAR_FACE ( DUAL_H_VECTOR : CONE_AMBIENT_DIM, COMBINATORIAL_DIM, VERTICES, GRAPH.ADJACENCY, FAR_FACE ): no path to request polymake: discarding F_VECTOR : DUAL_H_VECTOR: no path to request polymake: discarding precondition : COMBINATORIAL_DIM ( F_VECTOR : H_VECTOR ): no path to request polymake: discarding GRAPH.ADJACENCY extracted from VertexPerm after beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS: no path to request polymake: discarding SIMPLICIAL :: no path to request polymake: discarding NodePerm.PERMUTATION : NodePerm.ADJACENCY, ADJACENCY ( applied to GRAPH ) after beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS: no path to request polymake: discarding precondition : COMBINATORIAL_DIM, N_VERTICES ( SIMPLICITY : F_VECTOR, F2_VECTOR ): no path to request polymake: discarding SIMPLICIAL : COMBINATORIAL_DIM, RAYS_IN_FACETS: no path to request polymake: discarding F2_VECTOR : HASSE_DIAGRAM, COMBINATORIAL_DIM: no path to request polymake: discarding precondition : SIMPLICIAL ( F_VECTOR : H_VECTOR ): no path to request polymake: discarding SIMPLICIALITY : F_VECTOR, F2_VECTOR: no path to request polymake: discarding DUAL_H_VECTOR : F_VECTOR: no path to request polymake: discarding SIMPLE, SIMPLE_POLYHEDRON : COMBINATORIAL_DIM, FAR_FACE, GRAPH.NODE_DEGREES: no path to request polymake: discarding precondition : COMBINATORIAL_DIM ( GRAPH.ADJACENCY : HASSE_DIAGRAM ): no path to request polymake: discarding precondition : COMBINATORIAL_DIM, N_VERTICES ( SIMPLICITY, SIMPLICIALITY : COMBINATORIAL_DIM ): no path to request polymake: discarding VertexPerm.PERMUTATION : VertexPerm.RAYS, RAYS after beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS: no path to request polymake: discarding F_VECTOR : H_VECTOR: no path to request polymake: discarding F_VECTOR, F2_VECTOR : FLAG_VECTOR, COMBINATORIAL_DIM: no path to request polymake: discarding ADJACENCY : NodePerm.ADJACENCY, NodePerm.PERMUTATION ( applied to GRAPH ) after beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS: no path to request polymake: discarding FAR_FACE : VERTICES: no path to request polymake: discarding SIMPLICITY : F_VECTOR, F2_VECTOR: no path to request polymake: discarding SIMPLE : SIMPLICITY, COMBINATORIAL_DIM: no path to request polymake: discarding VertexPerm.PERMUTATION : VertexPerm.RAYS_IN_FACETS, RAYS_IN_FACETS after beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS: no path to request polymake: discarding beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS ( creating VertexPerm ): no path to request polymake: discarding SIMPLICIAL : SIMPLICIALITY, COMBINATORIAL_DIM: no path to request polymake: discarding precondition : COMBINATORIAL_DIM ( DUAL_H_VECTOR : COMBINATORIAL_DIM ): no path to request polymake: discarding precondition : SIMPLICIAL ( G_VECTOR : H_VECTOR ): no path to request polymake: discarding precondition : COMBINATORIAL_DIM, N_VERTICES ( SIMPLICIALITY : F_VECTOR, F2_VECTOR ): no path to request polymake: checking pending preconditions: precondition : COMBINATORIAL_DIM ( DUAL_GRAPH.ADJACENCY : HASSE_DIAGRAM ) polymake: applying rule precondition : COMBINATORIAL_DIM ( DUAL_GRAPH.ADJACENCY : HASSE_DIAGRAM ) polymake: precondition : COMBINATORIAL_DIM ( DUAL_GRAPH.ADJACENCY : HASSE_DIAGRAM ) satisfied polymake: checking pending preconditions: precondition : POINTED ( RIF_CYCLIC_NORMAL, NEIGHBOR_FACETS_CYCLIC_NORMAL : CONE_DIM, RAYS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY ) precondition : POINTED ( beneath_beyond.convex_hull.primal, default.triangulation: FACETS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY, TRIANGULATION, ESSENTIALLY_GENERIC : RAYS ) polymake: applying rule POINTED : RAYS polymake: applying rule precondition : POINTED ( RIF_CYCLIC_NORMAL, NEIGHBOR_FACETS_CYCLIC_NORMAL : CONE_DIM, RAYS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY ) polymake: precondition : POINTED ( RIF_CYCLIC_NORMAL, NEIGHBOR_FACETS_CYCLIC_NORMAL : CONE_DIM, RAYS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY ) satisfied polymake: applying rule precondition : POINTED ( beneath_beyond.convex_hull.primal, default.triangulation: FACETS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY, TRIANGULATION, ESSENTIALLY_GENERIC : RAYS ) polymake: precondition : POINTED ( beneath_beyond.convex_hull.primal, default.triangulation: FACETS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY, TRIANGULATION, ESSENTIALLY_GENERIC : RAYS ) satisfied polymake: minimum weight rule chain constructed in 0.008 sec. |heap|: cur=3, max=10, #pop=7 polymake: rules to execute: DUAL_GRAPH.ADJACENCY : RAYS_IN_FACETS RIF_CYCLIC_NORMAL, NEIGHBOR_FACETS_CYCLIC_NORMAL : CONE_DIM, RAYS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY user_method : VERTICES, VIF_CYCLIC_NORMAL Sum weight=0.0.0.0.10.10.0.0 polymake: applying rule DUAL_GRAPH.ADJACENCY : RAYS_IN_FACETS polymake: applying rule RIF_CYCLIC_NORMAL, NEIGHBOR_FACETS_CYCLIC_NORMAL : CONE_DIM, RAYS, LINEAR_SPAN, RAYS_IN_FACETS, DUAL_GRAPH.ADJACENCY polymake: gathering viable rules polymake: applicable: request polymake: applicable: N_EDGES : ADJACENCY ( applied to GRAPH ) polymake: ready to evaluate: precondition : BOUNDED ( graph_from_vertices : GRAPH.ADJACENCY : RAYS ) polymake: applying rule precondition : BOUNDED ( graph_from_vertices : GRAPH.ADJACENCY : RAYS ) polymake: precondition : BOUNDED ( graph_from_vertices : GRAPH.ADJACENCY : RAYS ) satisfied polymake: ready to use: graph_from_vertices : GRAPH.ADJACENCY : RAYS polymake: ready to evaluate: precondition : COMBINATORIAL_DIM ( GRAPH.ADJACENCY : HASSE_DIAGRAM ) polymake: applying rule precondition : COMBINATORIAL_DIM ( GRAPH.ADJACENCY : HASSE_DIAGRAM ) polymake: precondition : COMBINATORIAL_DIM ( GRAPH.ADJACENCY : HASSE_DIAGRAM ) satisfied polymake: applicable: GRAPH.ADJACENCY : HASSE_DIAGRAM polymake: ready to evaluate: precondition : N_FACETS ( beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS ) polymake: applying rule precondition : N_FACETS ( beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS ) polymake: precondition : N_FACETS ( beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS ) satisfied polymake: ready to evaluate: precondition : FULL_DIM ( beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS ) polymake: applying rule precondition : FULL_DIM ( beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS ) polymake: precondition : FULL_DIM ( beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS ) satisfied polymake: ready to use: beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS polymake: ready to evaluate: precondition : FULL_DIM ( beneath_beyond.convex_hull.dual: FACETS, RAYS, LINEAR_SPAN, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : INEQUALITIES ) polymake: applying rule precondition : FULL_DIM ( beneath_beyond.convex_hull.dual: FACETS, RAYS, LINEAR_SPAN, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : INEQUALITIES ) polymake: precondition : FULL_DIM ( beneath_beyond.convex_hull.dual: FACETS, RAYS, LINEAR_SPAN, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : INEQUALITIES ) satisfied polymake: infeasible: beneath_beyond.convex_hull.dual: FACETS, RAYS, LINEAR_SPAN, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : INEQUALITIES: no available rules to produce INEQUALITIES polymake: ready to use: GRAPH.ADJACENCY : RAYS_IN_FACETS polymake: ready to use: HASSE_DIAGRAM : RAYS_IN_FACETS polymake: not needed: RAYS extracted from VertexPerm after beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS polymake: not needed: RAYS_IN_FACETS extracted from VertexPerm after beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS polymake: applicable: GRAPH.ADJACENCY extracted from VertexPerm after beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS polymake: applicable: ADJACENCY : NodePerm.ADJACENCY, NodePerm.PERMUTATION ( applied to GRAPH ) after beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS polymake: applicable: NodePerm.PERMUTATION : NodePerm.ADJACENCY, ADJACENCY ( applied to GRAPH ) after beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS polymake: applicable: GRAPH.NodePerm.PERMUTATION = VertexPerm.PERMUTATION after beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS polymake: applicable: VertexPerm.PERMUTATION : VertexPerm.RAYS, RAYS after beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS polymake: applicable: VertexPerm.PERMUTATION : VertexPerm.RAYS_IN_FACETS, RAYS_IN_FACETS after beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS polymake: discarding precondition : COMBINATORIAL_DIM ( GRAPH.ADJACENCY : HASSE_DIAGRAM ): no path to request polymake: discarding precondition : BOUNDED ( graph_from_vertices : GRAPH.ADJACENCY : RAYS ): no path to request polymake: discarding precondition : N_FACETS ( beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS ): no path to request polymake: discarding precondition : FULL_DIM ( beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS ): no path to request polymake: discarding precondition : FULL_DIM ( beneath_beyond.convex_hull.dual: FACETS, RAYS, LINEAR_SPAN, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : INEQUALITIES ): no path to request polymake: preferred: beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS polymake: preferred: graph_from_vertices : GRAPH.ADJACENCY : RAYS polymake: preferred: beneath_beyond.convex_hull.dual: RAYS, LINEALITY_SPACE, RAYS_IN_FACETS, GRAPH.ADJACENCY : FACETS ( creating VertexPerm ) polymake: composing a minimum weight rule chain polymake: minimum weight rule chain constructed in 0.004 sec. |heap|: cur=4, max=4, #pop=3 polymake: rules to execute: GRAPH.ADJACENCY : RAYS_IN_FACETS N_EDGES : ADJACENCY ( applied to GRAPH ) Sum weight=0.0.0.0.10.0.0.10 polymake: applying rule GRAPH.ADJACENCY : RAYS_IN_FACETS polymake: applying rule N_EDGES : ADJACENCY polymake: used package jreality jReality is a visualization and sonification library focused on mathematical and scientific content. http://www.jreality.de polymake: starting java -Dnativewindow.debug=all -Djava.library.path=/usr/lib/polymake/lib/jni/jreality:/usr/lib/polymake/lib/jni -Dnewt.debug=all -Dpolymake.debug=max -Djogl.debug=all -Dpolymake.userdir=/home/bee/.polymake -cp /usr/lib/polymake/jars/polymake_java.jar:/usr/lib/polymake/jars/polymake_jreality.jar:/usr/lib/polymake/jars/jReality-backends-share.jar:/usr/lib/polymake/jars/jReality-core.jar:/usr/lib/polymake/jars/jReality-io.jar:/usr/lib/polymake/jars/jReality-jogl.jar:/usr/lib/polymake/jars/jReality-plugin.jar:/usr/lib/polymake/jars/jReality-proxies.jar:/usr/lib/polymake/jars/jReality-soft.jar:/usr/lib/polymake/jars/jReality-swing.jar:/usr/lib/polymake/jars/jReality-tools.jar:/usr/lib/polymake/jars/jReality-ui.jar:/usr/lib/polymake/jars/jreality/beans.jar:/usr/lib/polymake/jars/jreality/bsh.jar:/usr/lib/polymake/jars/jreality/colorpicker.jar:/usr/lib/polymake/jars/jreality/gluegen-rt-natives-linux-amd64.jar:/usr/lib/polymake/jars/jreality/gluegen-rt-natives-linux-i586.jar:/usr/lib/polymake/jars/jreality/gluegen-rt-natives-macosx-universal.jar:/usr/lib/polymake/jars/jreality/gluegen-rt.jar:/usr/lib/polymake/jars/jreality/hidapi-1.1-javadoc.jar:/usr/lib/polymake/jars/jreality/hidapi-1.1.jar:/usr/lib/polymake/jars/jreality/itextpdf-5.3.2.jar:/usr/lib/polymake/jars/jreality/jacknativeclient.jar:/usr/lib/polymake/jars/jreality/janino.jar:/usr/lib/polymake/jars/jreality/jinput.jar:/usr/lib/polymake/jars/jreality/jogl-all-natives-linux-amd64.jar:/usr/lib/polymake/jars/jreality/jogl-all-natives-linux-i586.jar:/usr/lib/polymake/jars/jreality/jogl-all-natives-macosx-universal.jar:/usr/lib/polymake/jars/jreality/jogl-all.jar:/usr/lib/polymake/jars/jreality/jrworkspace.jar:/usr/lib/polymake/jars/jreality/jterm.jar:/usr/lib/polymake/jars/jreality/jython-standalone-2.5.4-rc1.jar:/usr/lib/polymake/jars/jreality/NetUtil.jar:/usr/lib/polymake/jars/jreality/numericalMethods.jar:/usr/lib/polymake/jars/jreality/smrj-app.jar:/usr/lib/polymake/jars/jreality/smrj-client.jar:/usr/lib/polymake/jars/jreality/smrj.jar:/usr/lib/polymake/jars/jreality/vrpn.jar:/usr/lib/polymake/jars/jreality/xmlpull-1.1.3.1.jar:/usr/lib/polymake/jars/jreality/xpp3_min-1.1.4c.jar:/usr/lib/polymake/jars/jreality/xstream-1.4.7.jar de.tuberlin.polymake.common.SelectorThread 30000 -nl polymake_java de.tuberlin.polymake.common.Launcher: Connection to localhost/127.0.0.1:30000 successful. polymake: sending data for geometry de.tuberlin.polymake.common.jreality.StaticControl -1 /*--------------------HEADER geometry--------------------*/ import de.jreality.shader.CommonAttributes; setAccessibility(true); synchronized(root) { geom0 = new SceneGraphComponent(); geom0.setName("geometry"); root.addChild(geom0); /*----------------------------------------*/ appearance = new Appearance(); appearance.setAttribute(CommonAttributes.VERTEX_DRAW, true); appearance.setAttribute(CommonAttributes.SPHERES_DRAW, true); appearance.setAttribute(CommonAttributes.DEPTH_FUDGE_FACTOR,0.999999); appearance.setAttribute(CommonAttributes.POINT_SHADER +"."+ CommonAttributes.DIFFUSE_COLOR, new java.awt.Color((float)0.549,(float)0.549,(float)0.549)); geom0.setAppearance(appearance); appearance.setAttribute(CommonAttributes.POLYGON_SHADER +"."+CommonAttributes.SMOOTH_SHADING,false); appearance.setAttribute(CommonAttributes.FACE_DRAW, true); appearance.setAttribute(CommonAttributes.TUBES_DRAW,true); appearance.setAttribute(CommonAttributes.EDGE_DRAW,true); appearance.setAttribute(CommonAttributes.LINE_SHADER +"."+ CommonAttributes.DIFFUSE_COLOR, new java.awt.Color((float)0.2745,(float)0.2745,(float)0.2745)); appearance.setAttribute(CommonAttributes.POLYGON_SHADER +"."+ CommonAttributes.DIFFUSE_COLOR, new java.awt.Color((float)0.4667,(float)0.9255,(float)0.6196)); ifsf = new IndexedFaceSetFactory(); /*--------------------geometry--------------------*/ ifsf.setVertexCount(8); pts = new double[][]{ {-1,-1,-1}, {1,-1,-1}, {-1,1,-1}, {1,1,-1}, {-1,-1,1}, {1,-1,1}, {-1,1,1}, {1,1,1}};//pts ifsf.setVertexCoordinates(pts); colors = new double[]{ 1,0,0, 1,0,0, 1,0,0, 1,0,0, 1,0,0, 1,0,0, 1,0,0, 1,0,0}; ifsf.setVertexColors(new DoubleArrayArray.Inlined(colors, 3) ); pts_thicknesses = new double[] { 1,1,1,1,1,1,1,1 }; ifsf.setVertexRelativeRadii( pts_thicknesses ); labels = new String[]{"0","1","2","3","4","5","6","7"}; ifsf.setVertexLabels(labels); ifsf.setGenerateFaceNormals(true); ifsf.setGenerateVertexNormals(true); ifsf.setFaceCount(6); faces = new int[][]{ { 0,4,6,2 }, { 7,5,1,3 }, { 5,4,0,1 }, { 2,6,7,3 }, { 0,2,3,1 }, { 6,4,5,7 }}; ifsf.setFaceIndices(faces); faceColors = new double[]{ 0.4667,0.9255,0.6196, 0.4667,0.9255,0.6196, 0.4667,0.9255,0.6196, 0.4667,0.9255,0.6196, 0.4667,0.9255,0.6196, 0.4667,0.9255,0.6196 }; ifsf.setFaceColors( new DoubleArrayArray.Inlined(faceColors, 3)); lines_thicknesses = new double[] { 0.5,0.5,0.5,0.5,0.5,0.5,0.5,0.5,0.5,0.5,0.5,0.5 }; edges = IndexedFaceSetUtility.edgesFromFaces(faces); ifsf.setEdgeCount(edges.length); ifsf.setEdgeIndices(edges); ifsf.setEdgeRelativeRadii( lines_thicknesses ); ifsf.update(); part1=new SceneGraphComponent(); part1.setGeometry(ifsf.getGeometry()); part1.setName("geometry"); part1.setAppearance(appearance); geom0.addChild(part1); /*----------------------------------------*/ root.notify(); } return; java: selecting polyChannel... n de.tuberlin.polymake.common.jreality.StaticControl -1 polymake: WARNING: preserving temporary directories /tmp/poly9590Taaaa0001