Option to return the minimal generating set BA of K[B] as K[A]-module. Used by isSeminormalMA and isNormalMA.
The object ReturnMingens is a symbol.