# Schreyer -- strategy for computing a resolution of a D-module

## For the programmer

The object Schreyer is .