Thank you @Carl Love. I got the answers to all my above questions :)
Yes, you are right. We didn't use uppercase M up to now. But I will expand the package, so we will use uppercase M in the next steps.
I want to make some assumptions in the following procedure functionB. (May be my friends use the package. So, I want to be clear.)
- epsilon, gamma>-1
- k, M ∈ N,
- n = 1, 2,...,2^(k-1)
- m = 0, 1, 2,..., M-1
Could you help me pls.?
functionB:=proc(k,M,epsilon,gamma) local K,h,n,m,x;
assuming n::posint, m::posint;
unapply(piecewise((n-1)/K <= x and x <= n/K,