Lines Matching refs:C1
33 % [C0*1, C1*X1, C2*X2, ...]
86 [C0*1, C1*X1, C2*X2, ...]
137 [C0*1, C1*X1, C2*X2, ...]
220 linearize(E1, C0, C1, L1, L0, R1, R0, Mod),
221 linearize(E2, C1, C, L, L1, R, R1, Mod).
225 linearize(E1, C0, C1, L1, L0, R1, R0, Mod),
226 linearize((-1)*E2, C1, C, L, L1, R, R1, Mod).
327 linearize(E, C0, C1, L1, L0, R1, R0, Mod),
328 linearize_sum(Es, C1, C, L, L1, R, R1, Mod).
719 C1 is C*X,
720 separate_constants(Xs, C1, Cnew, VarXs)
767 Mono1 = [C1|X1s],
769 C is C1+C2,
834 simplify(C0-C1,C2):-
835 number(C0),number(C1),C2 is C0-C1,!.
836 simplify(C0/C1,C2):-
837 number(C0),number(C1),C2 is C0/C1,!.
840 simplify(C0+C1,C2):-
841 number(C0),number(C1),C2 is C0+C1,!.
870 simplify(C0*C1,C2):-
871 number(C0),number(C1),C2 is C0*C1,!.
881 C1 is C0*C,
882 Out = [C1*V0|In]
900 simplify_merge([C0*V0|T0],[C1*V1|T1],[C2*V2|Acc0]):-
902 C2 is C0+C1,
909 simplify_merge(T0,[C1*V1|T1],Acc0)
911 C2 is C1,