Why doesn't `^` promote its arguments?

I don’t think ^ and * are comparable. * is usually ^ a group operation where both operands come from the same group, while ^ with internet exponents is better thought of as an r-module.

1 Like