Lines Matching refs:C1
35 math_portray(equals(P,C),P1=:=C1):-!,
37 avoid_float(MC,C1),
45 Out=..[R,P1,C1],
47 avoid_float(MC,C1),
56 C1 is (-C),
57 avoid_float(C1,C2),
60 avoid_float(C,C1),
61 make_mono(C1,X,CX).
63 C1 is (-C),
64 avoid_float(C1,C2),
68 avoid_float(C,C1),
69 make_mono(C1,X,CX),
108 is_div(C1,C2,C3):- nonvar(C3),C3=slack(C4),!,is_div(C1,C2,C4). % slack-case
109 is_div(C1,C2,C3):- zero(C1),!,C3=0.
110 is_div(C1,C2,C3):- X is -(C1/C2), % minus here to get sign needed in handlers
113 is_mul(C1,C2,C3):- zero(C1),!,C3=0.
114 is_mul(C1,C2,C3):- zero(C2),!,C3=0.
115 is_mul(C1,C2,C3):- X is C1*C2,
149 mult_const(eq0(C1,P1),C,eq0(0 ,[])):- call_kernel(C=:=0),!.
150 mult_const(eq0(C1,P1),C,eq0(C1,P1)):- call_kernel(C=:=1),!.
151 mult_const(eq0(C1,P1),C2,eq0(C,P)):-
152 (zero(C1) -> C=0 ; C is C1*C2),
160 add_eq0(eq0(C1,P1),eq0(C2,P2),eq0(C,P0)):-
161 Ci is C1+C2,
178 normalize(A,B,P2,C1):-
180 P=eq0(C1,P1),rev(P1,[],P1R),globalize(P1R),
186 C1 is C,P=eq0(C1,[]).