Lines Matching refs:C1
483 update(V, lin with [dead:Dead,pvar:Pvar], [mono(C1,V1)]) :-
484 number(C1),
487 V2 is C1*V1,
508 divide_remove(C,Var,[mono(C1,V)|T],R) :-
512 C2 is C1/C,
547 C1 is Coeff*C,
549 substitute(C1,Rhs,R0,R1)
551 R1 = [mono(C1,V)|R0]
559 C1 is Coeff*C,
560 substitute_aux(C1,V,R0,R1),
711 eliminate1(V, [mono(C1,V1)]) :-
712 number(C1),
715 V is C1*V1.
900 C1 is -C,
901 divide_remove(C1,V,Norm,Norm1),
963 C1 is -C,
971 divide_remove(C1, V, All, Pi1)
973 divide_remove(C1, V, [mono(Con, 'ONE')|All], Pi1)
980 C1 is -C,
982 divide_remove(C1, V, All, Pi)
984 divide_remove(C1, V, [mono(Con, 'ONE')|All], Pi)
1137 multiply_all(Coeff, [mono(C,V)|T], [mono(C1,V)|T1]) :-
1138 C1 is Coeff*C,
1814 C1 is 1 / C,
1815 linnorm(C1*T,List).
1825 constant(-C1,C3) :- !,
1826 constant(C1,C11),
1828 constant(C1/C2,C3) :- !,
1829 constant(C1,C11),
1832 constant(C1*C2,C3) :- !,
1833 constant(C1,C11),
1836 constant(C1+C2,C3) :- !,
1837 constant(C1,C11),
1840 constant(C1-C2,C3) :- !,
1841 constant(C1,C11),