8.1 Interface

class DivisionInterface( type, wrapInterface)
Specifies operations on involutive divisions
type:
string defining the involutive division type

Value of type Type of involutive division
"Janet" division Janet
"JanetLike" division JanetLike which, by its structure, is rather similar to Janet, but provides generally more compact intermediate and output basis

wrapInterface:
specifies the criteria applied (see 7.1)

The class DivisionInterface contains the following methods:

type( )
returns the string defining type of an involutive division