factorialpower(a,b)