Lines Matching defs:dim
2645 tree *last_conflicts, int dim)
2662 (dim, integer_zero_node,
2665 (dim, integer_zero_node,
2829 unsigned nb_vars_a, nb_vars_b, dim;
2860 dim = nb_vars_a + nb_vars_b;
2861 U = lambda_matrix_new (dim, dim);
2862 A = lambda_matrix_new (dim, 1);
2863 S = lambda_matrix_new (dim, 1);
2929 lambda_matrix_right_hermite (A, dim, 1, S, U);
2934 lambda_matrix_row_negate (U, dim, 0);