type, polyInterface) |
type
:
Значение type |
Вид критерия |
---|---|
"Without" | Без критериев |
"C1" | Первый частичный критерии Бухбергера |
"CritPartially" | Первый и второй частичные критерий Бухбергера |
"C1C2C3" | Первый и второй частичный критерий Бухбергера |
"C1C2C3C4" | Первый и второй частичные критерий Бухбергера |
polyInterface
: Класс WrapInterface имеет следующие методы:
) |