Text this: Bases de Gröbner para módulos sobre extensiones σ − PBW