entermetric — обеспечивает ввод пользователем координатных переменных и ковариантных компонент метрического тензора;

exterior_diff — внешнее дифференцирование полностью антисимметричного ковариантного тензора;

exterior_prod — внешнее произведение двух ковариантных антисимметричных тензоров;

frame — задает систему координат, которая приводит метрические компоненты к диагональной сигнатурной матрице (с положительными или отрицательными единицами);

geodesic_eqns — уравнение Эйлера-Лагранжа для геодезических кривых;

get_char — возвращает признак (ковариантный/контравариантный) объекта;

getcompts — возвращает компоненты объекта;

get_rank — возвращает ранг объекта;

invars — инварианты тензора кривизны Римана (общая теория относительности);

invert — обращение тензора второго ранга;

lincom — линейная комбинация тензорных объектов;

lower — опускает индексы;

npcurve — компонента кривизны Ньюмена-Пенроуза в формализме Дебевера (общая теория относительности);

npspin — компонент вращения Ньюмена-Пенроуза в формализме Дебевера (общая теория относительности);

partial_diff — частная производная тензора;

permute_indices — перестановка индексов;

petrov — классификация Петрова тензора Вейля;

prod — внутреннее и внешнее тензорное произведения;

raise — поднятие индекса;

symmetrize — симметризация тензора по любым индексам;

transform — преобразование системы координат.

Пакет представляет несомненный интерес для физиков-теоретиков, работающих в области общей теории относительности и ее приложений. Для них (но не для большинства пользователей) отмеченные выше данные полезны и понятны.

Этот небольшой пакет служит для создания доменов — таблиц операций для вычислений. При его загрузке появляется сообщение о переопределениях объектов и список из всего лишь шести функций:

Пакет допускает применение следующих конструкций:

Приведенный ниже пример поясняет создание и использование доменов Q (для рациональных данных) и Z (для целочисленных данных):

Следующая операция показывает, что домен Z является таблицей:

А функция show позволяет вывести полный перечень всех операций, доступных для домена Z: