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