Added frobenius_power functions (no test code yet -- seems to work though).