Lines Matching defs:zero
31 val zero = [0];
40 | less1 [x] = if x = 0 then raise Fail "Can't take one off zero"
162 if xn < yn then zero else normalise (subwc xn yn false)
166 | ([], _) => zero
182 0 => zero
201 ([], _) => zero
202 | (_, []) => zero
209 if yn = zero then
270 if yn = zero then raise Div
375 (zero, xn)
384 fun recurse x n = if x = zero then n else recurse (div2 x) (plus1 n)
386 fun log2 x = if x = zero then raise Domain else recurse (div2 x) zero
393 if r = zero then j else gcd' j r
396 fun gcd(i,j) = if i = zero then j
397 else if j = zero then i
438 fn s => recurse zero s handle Option => raise Fail ("String not " ^ s_rdx)
447 if n = zero then "0"
450 if n = zero then ""
470 if q = zero then s else toBaseString base q^s
584 ((fn (x,y,z) => if y <> zero then (x div y) * y + (x mod y) = x else true),
590 if #1 divmod_test (xn, yn, zero) then print "OK\n"