Lines Matching refs:zero
384 if c1 = c2 then (zero,zero)
387 if Arbint.<(c1, c2) then (one,zero) else (zero,one)
389 if Arbint.<(c1, c2) then (zero,one) else (one,zero)
408 handle Binarymap.NotFound => (zero,zero)
424 handle Binarymap.NotFound => Arbint.zero)
427 handle Binarymap.NotFound => Arbint.zero
563 filter (fn v => sum_var_coeffs v t <> Arbint.zero) vlist