Procedures:
D.4.16.1 primitive find minimal polynomial for a primitive element D.4.16.2 primitive_extra find primitive element for two generators D.4.16.3 splitring define ring extension with name R and switch to it