basis/math/functions/integer-logs/integer-logs-tests.factor

   1 ! Copyright (C) 2016 Jon Harper.
   2 ! See http://factorcode.org/license.txt for BSD license.
   3 USING: tools.test math math.functions math.functions.integer-logs ;
   4 IN: math.functions.integer-logs.tests
   5
   6 [ -576460752303423489 integer-log10 ] [ log-expects-positive? ] must-fail-with
   7 [ -123124 integer-log10 ] [ log-expects-positive? ] must-fail-with
   8 [ -1/2 integer-log10 ] [ log-expects-positive? ] must-fail-with
   9 [ 0 integer-log10 ] [ log-expects-positive? ] must-fail-with
  10
  11 { 0 } [ 1 integer-log10 ] unit-test
  12 { 0 } [ 5 integer-log10 ] unit-test
  13 { 0 } [ 9 integer-log10 ] unit-test
  14 { 1 } [ 10 integer-log10 ] unit-test
  15 { 1 } [ 99 integer-log10 ] unit-test
  16 { 2 } [ 100 integer-log10 ] unit-test
  17 { 2 } [ 101 integer-log10 ] unit-test
  18 { 2 } [ 101 integer-log10 ] unit-test
  19 { 8 } [ 134217726 integer-log10 ] unit-test
  20 { 8 } [ 134217727 integer-log10 ] unit-test
  21 { 8 } [ 134217728 integer-log10 ] unit-test
  22 { 8 } [ 134217729 integer-log10 ] unit-test
  23 { 8 } [ 999999999 integer-log10 ] unit-test
  24 { 9 } [ 1000000000 integer-log10 ] unit-test
  25 { 9 } [ 1000000001 integer-log10 ] unit-test
  26 { 17 } [ 576460752303423486 integer-log10 ] unit-test
  27 { 17 } [ 576460752303423487 integer-log10 ] unit-test
  28 { 17 } [ 576460752303423488 integer-log10 ] unit-test
  29 { 17 } [ 576460752303423489 integer-log10 ] unit-test
  30 { 17 } [ 999999999999999999 integer-log10 ] unit-test
  31 { 18 } [ 1000000000000000000 integer-log10 ] unit-test
  32 { 18 } [ 1000000000000000001 integer-log10 ] unit-test
  33 { 999 } [ 1000 10^ 1 - integer-log10 ] unit-test
  34 { 1000 } [ 1000 10^ integer-log10 ] unit-test
  35 { 1000 } [ 1000 10^ 1 + integer-log10 ] unit-test
  36
  37 { 0 } [ 9+1/2 integer-log10 ] unit-test
  38 { 1 } [ 10 integer-log10 ] unit-test
  39 { 1 } [ 10+1/2 integer-log10 ] unit-test
  40 { 999 } [ 1000 10^ 1/2 - integer-log10 ] unit-test
  41 { 1000 } [ 1000 10^ integer-log10 ] unit-test
  42 { 1000 } [ 1000 10^ 1/2 + integer-log10 ] unit-test
  43 { -1000 } [ 1000 10^ 1/2 - recip integer-log10 ] unit-test
  44 { -1000 } [ 1000 10^ recip integer-log10 ] unit-test
  45 { -1001 } [ 1000 10^ 1/2 + recip integer-log10 ] unit-test
  46 { -1 } [ 8/10 integer-log10 ] unit-test
  47 { -1 } [ 4/10 integer-log10 ] unit-test
  48 { -1 } [ 1/10 integer-log10 ] unit-test
  49 { -2 } [ 1/11 integer-log10 ] unit-test
  50
  51 { 99 } [ 100 2^ 1/2 - integer-log2 ] unit-test
  52 { 100 } [ 100 2^ integer-log2 ] unit-test
  53 { 100 } [ 100 2^ 1/2 + integer-log2 ] unit-test
  54 { -100 } [ 100 2^ 1/2 - recip integer-log2 ] unit-test
  55 { -100 } [ 100 2^ recip integer-log2 ] unit-test
  56 { -101 } [ 100 2^ 1/2 + recip integer-log2 ] unit-test
  57 { -1 } [ 8/10 integer-log2 ] unit-test
  58 { -2 } [ 4/10 integer-log2 ] unit-test
  59 { -3 } [ 2/10 integer-log2 ] unit-test
  60 { -4 } [ 1/10 integer-log2 ] unit-test