Opened 4 years ago

Closed 4 years ago

#18040 closed enhancement (fixed)

Minimal polynomials of matrices over SymbolicRing

Reported by: pbruin Owned by:
Priority: minor Milestone: sage-6.6
Component: symbolics Keywords: minimal polynomial symbolic maxima
Cc: Merged in:
Authors: Peter Bruin Reviewers: Travis Scrimshaw
Report Upstream: N/A Work issues:
Branch: 35a3314 (Commits) Commit: 35a3314f905251a71dac4da052b02832b55536aa
Dependencies: Stopgaps:

Description

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.

Change History (3)

comment:1 Changed 4 years ago by pbruin

  • Branch set to u/pbruin/18040-minimal_polynomial_SymbolicRing
  • Commit set to 35a3314f905251a71dac4da052b02832b55536aa
  • Status changed from new to needs_review

comment:2 Changed 4 years ago by tscrim

  • Reviewers set to Travis Scrimshaw
  • Status changed from needs_review to positive_review

LGTM.

comment:3 Changed 4 years ago by vbraun

  • Branch changed from u/pbruin/18040-minimal_polynomial_SymbolicRing to 35a3314f905251a71dac4da052b02832b55536aa
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.