To je używane ôd nojbarzij posiywnych implymyntacyji algorytmōw wielōmianu nojsrogszego spōlnego dzielnika, akuratnyj lynijowyj algebry i podstaw Gröbnera nad liczbami cołkowitymi i racjōnalnymi.