7.1 Интерфейс

class WrapInterface( type, polyInterface)
Задает правила работы с критериями
type:
строка определяющая вид критерия

Значение type Вид критерия
"Without" Без критериев
"C1" Первый частичный критерии Бухбергера
"CritPartially" Первый и второй частичные критерий Бухбергера
"C1C2C3" Первый и второй частичный критерий Бухбергера
"C1C2C3C4" Первый и второй частичные критерий Бухбергера

polyInterface:
определяет интерфейс полинома (см. 6.1)

Класс WrapInterface имеет следующие методы:

type( )
возвращает строку определяющую вид критерия