Sharedsage-8.2-rc2.ipynbOpen in CoCalc
version()
'SageMath version 8.2.rc2, Release Date: 2018-04-10'

For example, symbolic power of a matrix is fixed: #25082

%display latex
A = matrix(QQ, 3, [[2, 1, 0], [0, 2, 0], [0, 0, 3]])
A
(210020003)\left(\begin{array}{rrr} 2 & 1 & 0 \\ 0 & 2 & 0 \\ 0 & 0 & 3 \end{array}\right)
n = var('n')
A^n
(2n2n1n002n0003n)\left(\begin{array}{rrr} 2^{n} & 2^{n - 1} n & 0 \\ 0 & 2^{n} & 0 \\ 0 & 0 & 3^{n} \end{array}\right)
B = matrix(QQ, 3, [[1, 0, 0], [1, 2, 0], [1, -1, 3]])
B
(100120113)\left(\begin{array}{rrr} 1 & 0 & 0 \\ 1 & 2 & 0 \\ 1 & -1 & 3 \end{array}\right)
B ^ (1-n)
(1002n+112n+102n+113n+1+2n+13n+1)\left(\begin{array}{rrr} 1 & 0 & 0 \\ 2^{-n + 1} - 1 & 2^{-n + 1} & 0 \\ 2^{-n + 1} - 1 & -3^{-n + 1} + 2^{-n + 1} & 3^{-n + 1} \end{array}\right)