4 Мономы

В ginv реализованны следующие виды упорядочений:

Упорядочения, совместимые с полной степенью:
"TopDegRevLex", "DegRevLex"
Упорядочения с векторизацией вычислений:
"TopDegRevLexByte", "DegRevLexByte"

Note: Работа с машинным словом наиболее быстрая для процессора. Векторизация позволяет разместить в машинном слове (для компиляторов C это тип unsigned int) несколько показателей степеней. Тем самым в несколько раз ускоряются некоторые операции с мономом и уменьшаются затраты на память. Это имеет смысл когда показатели степеней ограничены и целесообразно только для упорядочений, совместимых с полной степенью.

Для векторизации необходимо знать где в данном компьютере расположен самый значимый бит: в начале или в конце машинного слова. Это задается макросами C WORDS_BIGENDIAN или WORDS_LITTLEENDIAN. Если они не заданны, то векторизация решает только задачу уменьшения используемой памяти.

Упорядочения, несовместимые с полной степенью:
"TopLex", "TopElim", "PotLex", "PotDegRevLex", "PosElim", "Lex", "Elim"



Подсекции