delete pairwise_orthogonal - SemanticDiff

Commit

2 years ago

delete pairwise_orthogonal

References

#18230 - feat(analysis/inner_product_space/positive): Positivity of linear maps

#18779 - feat(inner_product_space/positive): defines square root of a linear map

#18786 - feat(inner_product_space/positive): matrix.pos_semidef iff x.to_euclidean_lin.is_positive

Author

eric-wieser

eric-wieser

Parents

Loading