Lines Matching defs:var
297 fun left_ineqs var icoeffsl =
300 (fn (name,coeff) => (name = var) andalso (coeff < zero))
304 fun right_ineqs var icoeffsl =
307 (fn (name,coeff) => (name = var) andalso (coeff > zero))
311 fun no_var_ineqs var icoeffsl =
315 (fn (name,coeff) => (name = var) andalso (not (coeff = zero)))
327 fun weighted_sums var pairs =
330 else let val (success,rest) = weighted_sums var (tl pairs)
335 WEIGHTED_SUM var (lcoeffs,rcoeffs)
352 val var = var_to_elim (map snd icoeffsl')
353 val ricoeffs = right_ineqs var icoeffsl'
354 and licoeffs = left_ineqs var icoeffsl'
355 and nicoeffs = no_var_ineqs var icoeffsl'
357 val (success,new_ineqs) = weighted_sums var pairs