FrobInner and FrobCos added to Frobenius.R