*************************Result (Not yet completed)*********************************** The number of ticks consumed by split is at most: n + 1.0 where n is the length of the input The number of ticks consumed by transpose is at most: 3.0*n*m + 2.0 where n is the length of the input m is the length of the elements of the input The number of ticks consumed by mult is at most: n + 1.0 where n is the length of the first component of the input The number of ticks consumed by mkBase is at most: n + 1.0 where n is the length of the input The number of ticks consumed by makeBase is at most: n*m + 2.0 where n is the length of the input m is the length of the elements of the input The number of ticks consumed by lineMult is at most: m*n + 2.0*m + 1.0 where n is the length of the first component of the input m is the length of the second component of the input x is the length of the elements of the second component of the input The number of ticks consumed by attach is at most: n + 1.0 where n is the length of the first component of the input m is the length of the second component of the input x is the length of the elements of the second component of the input - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - The number of ticks consumed by transAcc is at most: n*m + 2.0*n + 1.0 where n is the length of the first component of the input m is the length of the elements of the first component of the input x is the length of the second component of the input y is the length of the elements of the second component of the input The number of ticks consumed by transpose' is at most: 2.0*n*m + 2.0*n + 3.0 where n is the length of the input m is the length of the elements of the input