Lines Matching refs:R0
204 linearize(E, C0, C, L, L0, R, R0, Mod) :- E = subscript(Array,Index), !,
206 C = C0, L = [1*Aux|L0], R = [Aux=E|R0]
209 linearize(Elem, C0, C, L, L0, R, R0, Mod)
215 linearize(+E, C0, C, L, L0, R, R0, Mod) :- !,
216 linearize(E, C0, C, L, L0, R, R0, Mod).
217 linearize(-E, C0, C, L, L0, R, R0, Mod) :- !,
218 linearize((-1)*E, C0, C, L, L0, R, R0, Mod).
219 linearize(E1+E2, C0, C, L, L0, R, R0, Mod) :- !,
220 linearize(E1, C0, C1, L1, L0, R1, R0, Mod),
222 linearize(sum(List), C0, C, L, L0, R, R0, Mod) :- !,
223 linearize_sum(List, C0, C, L, L0, R, R0, Mod).
224 linearize(E1-E2, C0, C, L, L0, R, R0, Mod) :- !,
225 linearize(E1, C0, C1, L1, L0, R1, R0, Mod),
227 linearize(E1*E2, C0, C, L, L0, R, R0, Mod) :- !,
229 linearize_sum(ProdSum, C0, C, L, L0, R, R0,Mod)
251 L=L2, R=ProdR, R0=ProdR0
253 L=L2, R=ProdR, R0=ProdR0
258 resubstitute_free_nonlinears(ProdR,L2,R0,R1),
267 linearize(E, C0, C, L, L0, R, R0, Mod) :- E = eval(Expr), !,
269 C = C0, L = [1*Aux|L0], R = [Aux=E|R0]
271 linearize(Expr, C0, C, L, L0, R, R0, Mod)
273 linearize(E, C, C, [1*Aux|L0], L0, [Aux=E|R0], R0, _Mod) :-
277 linearize(E, C0, C, L, L0, R, R0, Mod) :-
283 R=R0
288 R=[Aux=E|R0]
300 %% resubstitute([Temp=SubExp|..],+Lin, R0, R)
310 resubstitute_free_nonlinears([LHS=RHS|More], Lin, R0, R) :-
314 R1=[LHS=RHS|R0]
318 LHS=RHS,R1=R0
326 linearize_sum([E|Es], C0, C, L, L0, R, R0, Mod) :- !,
327 linearize(E, C0, C1, L1, L0, R1, R0, Mod),
329 linearize_sum(List, C0, C, L, L0, R, R0, Mod) :- List = subscript(Array,Index), !,
332 linearize_sum(Elems, C0, C, L, L0, R, R0, Mod)
334 C = C0, L = [1*Aux|L0], R = [Aux=sum(List)|R0]
605 sum_of_prods(E1+E2, P, P0, R, R0) :- !,
607 sum_of_prods(E2, P1, P0, R1, R0).
608 sum_of_prods(E1-E2, P, P0, R, R0) :- !,
610 sum_of_prods((-1)*E2, P1, P0, R1, R0).
611 sum_of_prods(+E, P, P0, R, R0) :- !,
612 sum_of_prods(E, P, P0, R, R0).
613 sum_of_prods(-E, P, P0, R, R0) :- !,
614 sum_of_prods(-1*E, P, P0, R, R0).
615 sum_of_prods(sum(Es), P, P0, R, R0) :- !,
616 sum_list(Es, P, P0, R, R0).
617 sum_of_prods(EX*EY, P, P0, R, R0) :- !,
618 ( list_times_list(EX, EY, P, P0, R, R0) ->
622 sum_of_prods(EY, PY, [], R1, R0),
625 sum_of_prods(EX^N, P, P0, R, R0) :- integer(N), !,
626 sum_of_prods(EX, PX, [], R, R0),
628 sum_of_prods(lin(Lin), P, P0, R, R0) :- !,
629 R = R0,
631 sum_of_prods(E, P, P0, R, R0) :- E = eval(Expr), !,
633 P = [[Aux]|P0], R = [Aux=E|R0]
635 sum_of_prods(Expr, P, P0, R, R0)
637 sum_of_prods(E, P, P0, R, R0) :- E = subscript(Array,Index), !,
639 P = [[Aux]|P0], R = [Aux=E|R0]
642 sum_of_prods(Elem, P, P0, R, R0)
644 sum_of_prods(E, [[Aux]|P0], P0, [Aux=E|R0], R0) :-
661 sum_list(List, P, P0, R, R0) :- var(List), !,
662 P = [[Aux]|P0], R = [Aux=sum(List)|R0].
663 sum_list([], P, P0, R, R0) :- !, P=P0, R=R0.
664 sum_list([X|Xs], P, P0, R, R0) :- !,
666 sum_list(Xs, P1, P0, R1, R0).
667 sum_list(List, P, P0, R, R0) :- List = subscript(Array,Index), !,
669 P = [[Aux]|P0], R = [Aux=sum(List)|R0]
672 sum_list(Elems, P, P0, R, R0)
677 list_times_list([], [], P, P0, R, R0) ?- P=P0, R=R0.
678 list_times_list([X|Xs], [Y|Ys], P, P0, R, R0) ?-
682 list_times_list(Xs, Ys, P1, P0, R1, R0).