Minimal polynomials of matrices over SymbolicRing

[pjbruin]

In Sage 6.6.rc0:

sage: M = matrix.identity(SR, 2)
sage: type(M)
<type 'sage.matrix.matrix_symbolic_dense.Matrix_symbolic_dense'>
sage: M.minpoly()
Traceback (most recent call last):
...
NotImplementedError: is_squarefree() is only implemented for polynomials over principal ideal domains

Trying to work around #11126 fails with a different error:

sage: SR in Fields()
True
sage: M.minpoly()
Traceback (most recent call last):
...
NotImplementedError:

This ticket implements minpoly() for matrices over SymbolicRing using the function minimalPoly() from Maxima's diag package.

Component: symbolics

Keywords: minimal polynomial symbolic maxima

Author: Peter Bruin

Branch/Commit: 35a3314

Reviewer: Travis Scrimshaw

Issue created by migration from https://trac.sagemath.org/ticket/18040

[pjbruin]

Commit: 35a3314

[pjbruin]

Branch: u/pbruin/18040-minimal_polynomial_SymbolicRing

[tscrim]

Reviewer: Travis Scrimshaw

[tscrim]

comment:2

LGTM.

[vbraun]

Changed branch from u/pbruin/18040-minimal_polynomial_SymbolicRing to 35a3314