Описание

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 единичная матрица.