Вычисление примитивных элементов — Primitive Element

Подпакет PrimitiveElement содержит всего одну функцию для вычисления примитивных элементов множественного алгебраического выражения:

PrimitiveElement [z, {а1„а2,...} ] — возвращает список {b, { f1, f2,...}}, где b — примитивный элемент расширения рациональных алгебраических чисел al, а2,... и f1, f 2,... — полином переменной z, представляющей al, a2, ... как термы примитивного элемента.

Ее действие видно из следующего примера:

<<NumberTheory`PrimitiveElement`

PrimitiveElement[z, {Sqrt[2], Sqrt[3]}]

RootReduce[%[[2]] /. z -> %[[1]]]