1(* ------------------------------------------------------------------------- *)
2(* Hierarchy of Simple_Complexity Common Library                             *)
3(*                                                                           *)
4(* Author: Joseph Chan                                                       *)
5(* Date: December, 2018                                                      *)
6(* ------------------------------------------------------------------------- *)
7
80 bitsize -- bit size of number representations.
9* divides
10* gcd
11* logroot
12
131 complexity -- big-O notation for complexity class.
14* 0 bitsize
15
16