Lines Matching refs:C1
391 C1 is B1 - K,
392 zero(C1),
403 C1 is B1 - D,
404 zero(C1),
423 is_div(A1, J, C1),
424 mult_const(eq0(H, I), C1, D1),
476 no_delayed_goals((inequation(N), inequation(E), B1 is B / K, call_kernel(B1 > 0), C1 is M * B1, call_kernel(C1 =< D), stronger(K, C1, N, B, D, E), same_poly(L, C, B1))),
497 no_delayed_goals((var(I), extract(I * C1, A, D1))),
502 is_div(C1, J, E1),
523 coca(try_double(O, eq([I * J|K], L, M), F, eq(A, B, C), eq([P * Q|R], S, T), eq(U, V, W), augmentation, (inequation(T), var(P), extract(P * X, U, Y), Z is Q * X, call_kernel(Z < 0), combine(T, W, A1)), (is_div(X, Q, B1), mult_const(eq0(S, R), B1, C1), add_eq0(eq0(V, Y), C1, eq0(D1, E1)), sort1(E1, F1), eq(F1, D1, A1)), propagate)),
549 coca(try_double(O, eq(K, L, M), H, eq([A * B|C], D, E), eq(P, Q, R), eq([S * T|U], V, W), augmentation, (inequation(W), var(S), extract(S * X, P, Y), Z is T * X, call_kernel(Z < 0), combine(W, R, A1)), (is_div(X, T, B1), mult_const(eq0(V, U), B1, C1), add_eq0(eq0(Q, Y), C1, eq0(D1, E1)), sort1(E1, F1), eq(F1, D1, A1)), propagate)),