The OreAlgebraGaussianElimination command is an implementation in Maple 2021 of Gaussian elimination on matrices with entries in an Ore algebra:
orealgebragaussianelimination.mw - the Maple session file with the OreAlgebraGaussianElimination command and examples of its use.
orealgebragaussianelimination.pdf - the pdf version of the Maple session.