Lines Matching refs:lin
45 % lin(Lin) embedded normalised linear expression
52 % that may often not be needed since linearize/3 understands lin(Lin).
98 lin(Lin)
211 linearize(lin(Lin), C0, C, L, L0, R, R, _Mod) :- !,
259 % E1LinExpr = lin([0*1|E1Lin]),
260 % E2LinExpr = lin([0*1|E2Lin]),
628 sum_of_prods(lin(Lin), P, P0, R, R0) :- !,
842 simplify(C+V,lin([C*1,1*V])):-
844 simplify(V+C,lin([C*1,1*V])):-
846 simplify(V0+V1,lin([0*1,1*V0,1*V1])):-
848 simplify(C+lin([K0*1|Tail]),lin([K1*1|Tail])):-
850 simplify(V+lin([K0*1|Tail1]),lin([K0*1|Tail2])):-
854 simplify(lin([K0*1|Tail])+C,lin([K1*1|Tail])):-
856 simplify(lin([K0*1|Tail1])+V,lin([K0*1|Tail2])):-
860 simplify(lin([K0*1|Tail0])+lin([K1*1|Tail1]),lin([K2*1|Tail2])):-
872 simplify(C*V,lin([0*1,C*V])):-
874 simplify(V*C,lin([0*1,C*V])):-
878 simplify(C*lin(Lin0), lin(Lin1)):-