© 2018 John Abbott, Anna M. Bigatti
GNU Free Documentation License, Version 1.2

CoCoALib Documentation Index



User documentation

Let M denote a matrix. Let z denote an indeterminate in a polynomial ring.

   RingElem MinPoly(ConstMatrixView M, ConstRefRingElem z);

the minimal polynomial (in z) of M.

Let P denote a SparsePolyRing over Z/(p) or QQ. Let I denote an ideal in P. Let f denote an element of P. Let fbar denote an element of P/I. Let f denote an element of P. Let NumChecks denote a VerificationLevel.


"MinPolyQuot" uses modular methods when coefficients are in "QQ". At level 80 it lists all primes used indicating any which are "bad".

Maintainer documentation

Main changes