makeCyclic M
It is known that every holonomic module is cyclic and there is an algorithm for computing a cyclic generator.



The module M must be holonomic.
The object makeCyclic is a method function.