lawful-fields
Search uses release 0.1.1.0 · 234 definitions
Definitions (234)
- law QR
- law succ_pred
- law qg1
- law QGM = 10 q + 6, from 2^32 - 1 = 10 q + 5 with every number abstract.
- law QM
- law FITS0a < q, or a = q and k <= 5, exactly when 10a + k < 10q + 6 (k a digit).
- law sub_mono
- law le48A digit byte: x - 48 does not wrap, and its value is at most 9.
- law ed48
- law k9
- law FITSUnum's test on words is the test on numbers (c the constant, q its value).
- def DGOne step of num.go on byte x: the digit test, the overflow test, the new value.
- def FT
- def NA
- def BadThe value dec has so far can no longer give a number below M.
- def InvHow num.go's (ok, acc) stands for dec.go's value m.
- law le_mul10
- law bad_step
- law bad_none
- law ena_add
- law enaThe new value when the test passes (no wrap).
- law step_fbAfter a digit, by the overflow test (b).
- law step_dgAfter byte x, from value a, by the digit test (dg).
- law inv_step
- law base
- law np
- law num_pair_t
- law nv
- law sub0_nlt
- law subs_lt
- law decs
- law nvt2
- law nvt
- law num_view_tThe law, with the bound 2^32 and the constant's value put in only here.