ИСТИНА

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