Fractional Ackermann Function

Ack[p, a, b] = Ack[floor(p) - 1, a, Ack[floor(p), a, b - 1]]^(floor(p) + 1
- p) * Ack[floor(p), a, Ack[floor(p) + 1, a, b - 1]]^(p - floor(p))

a _p_ b = ?
p=1, a=2, b=3:
2 _+_ 3 = 5

p: 1 2 3 == + * ^

Compatible with recursive formula that constructs the hyperoperations. One
possible interpolation of fractional operations, but it looks promising as
a baseline construction. DARPA won't return my messages. Maybe the PARI
devs would like something like this..


Brian Moore