Scalar exponentiation of Integer matrix

[henrikt-ma]

Reading https://specification.modelica.org/master/arrays.html#scalar-exponentiation-of-matrices, I would guess that the following is valid:

Integer[2, 2] m = [1, 1; 1, 1]^2;

However, the specification of scalar exponentiation of a matrix stands out by not giving typing rules.

[HansOlsson]

I would prefer that exponentiation of matrices always returns a Real for three reasons:

• It is consistent with exponentiation of scalars (that always return Real).
• Exponentiation very quickly goes out of range of integers
• It seems that Dymola implemented this, and no-one has complained

I agree that it should be specified.

[henrikt-ma]

I would prefer that exponentiation of matrices always returns a Real for three reasons:

I hope you mean that it should only accept a Real matrix input, and then it follows that the result is also Real.

[HansOlsson]

I would prefer that exponentiation of matrices always returns a Real for three reasons:

I hope you mean that it should only accept a Real matrix input, and then it follows that the result is also Real.

I meant the output should be the correct Real matrix based on the inputs. It could be that it should be specified as above.

[henrikt-ma]

I meant the output should be the correct Real matrix based on the inputs. It could be that it should be specified as above.

Good, then we just need to make an active decision.