Piecewise working on evaluation and simplification.
Yey! KAlgebra can calculate the fibonacci sequence (don't give him numbers too high, please!)

Here you have it :P fib:=n->piecewise { eq(n,0)?0, eq(n,1)?1, ?fib(n-1)+fib(n-2) }