8.2 Involutive division

It is planned to provide the user with an option to implement a new involutive division.