Reduced charpoly for skew polynomials #33999
Description
This ticket implements the computation of the reduced characteristic polynomial of a Ore polynomial defined over a finite field.
Component: algebra
Author: Xavier Caruso
Branch/Commit: 7235c93
Reviewer: Travis Scrimshaw, Frédéric Chapoton
Issue created by migration from https://trac.sagemath.org/ticket/33999