Searched refs:non_red (Results 1 – 5 of 5) sorted by relevance
| /dports/math/polymake/polymake-4.5/bundled/cdd/apps/polytope/src/ |
| H A D | cdd_redund_client.cc | 38 const auto non_red = solver.find_vertices_among_points(P); in cdd_eliminate_redundant_points() local
41 p.take("RAYS") << P.minor(non_red.first, range(1, P.cols()-1)); in cdd_eliminate_redundant_points()
44 p.take("RAYS") << P.minor(non_red.first, All); in cdd_eliminate_redundant_points()
45 p.take("RAY_SEPARATORS") << non_red.second; in cdd_eliminate_redundant_points()
61 const auto non_red = solver.find_vertices_among_points(P); in cdd_vertex_normals() local
63 p.take("RAY_SEPARATORS") << non_red.second.minor(All, range(1, non_red.second.cols()-1)); in cdd_vertex_normals()
65 p.take("RAY_SEPARATORS") << non_red.second; in cdd_vertex_normals()
87 p.take("RAYS") << Matrix<Scalar>(PL.minor(non_red.first, All)); in cdd_get_non_redundant_points()
90 p.take("POINTED") << non_red.second.empty(); in cdd_get_non_redundant_points()
127 auto ls = PL.minor(non_red.second, All); in cdd_get_non_redundant_inequalities()
[all …]
|
| /dports/lang/swi-pl/swipl-8.2.3/src/Tests/xsb/ptq/ |
| H A D | parser.P | 91 non_red(T)
97 non_red(T) :-
103 ; non_red(F),
104 non_red(A)
106 ; non_red(A)
112 ; non_red(Int)
117 non_red(T,N)
123 non_red(T,N) :-
127 non_red(A),
129 non_red(T,N1).
|
| /dports/biology/viennarna/ViennaRNA-2.4.18/src/bin/ |
| H A D | RNAalifold.c | 73 int non_red; member
248 opt->non_red = 0; in init_default_options()
451 opt.non_red = 1; in main()
1277 options = (opt->non_red) ? in Boltzmann_sampling()
|
| /dports/devel/ppl/ppl-1.2/src/ |
| H A D | Octagonal_Shape_templates.hh | 3031 std::vector<Bit_Row> non_red; in strong_reduction_assign() local
3032 non_redundant_matrix_entries(non_red); in strong_reduction_assign()
3041 const Bit_Row& non_red_i = non_red[i]; in strong_reduction_assign()
|
| H A D | ppl.hh.dist | 74085 std::vector<Bit_Row> non_red;
74086 non_redundant_matrix_entries(non_red);
74095 const Bit_Row& non_red_i = non_red[i];
|