Описание

linalg::isUnitary тесты, является ли матричный A унитарной матрицей. n ×n матричный A унитарен, если, где I _n является n ×n единичная матрица.

Квадратная матрица A унитарная матрица, если и только если столбцы A сформируйте ортонормированный базис относительно скалярного произведения linalg::scalarProduct из двух векторов.

Правильность результата FALSE из linalg::isUnitary может только быть гарантирован если элементы кольцевого R компонента матричного A канонически представлены, т.е. если каждый элемент R имеет только одно уникальное представление.

Аксиома Ax::canonicalRep состояния, что область имеет это свойство. Следовательно, linalg::isUnitary возвращает FALSE или UNKNOWN, соответственно, в зависимости от ли звонок компонента A имеет аксиому Ax::canonicalRep.

Если звонок компонента A не задает метод "conjugate" затем это проверяется ли A ортогональная матрица, таким образом, что A  A^t = E _n, где E _n является n ×n единичная матрица.