Add property implications

[mfasi]

No description provided.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Files with missing lines	Coverage Δ
src/matrices/cauchy.jl	100.00% <ø> (ø)
src/matrices/chow.jl	100.00% <ø> (ø)
src/matrices/circulant.jl	100.00% <ø> (ø)
src/matrices/clement.jl	100.00% <ø> (ø)
src/matrices/companion.jl	100.00% <ø> (ø)
src/matrices/comparison.jl	100.00% <ø> (ø)
src/matrices/cycol.jl	100.00% <ø> (ø)
src/matrices/dingdong.jl	100.00% <ø> (ø)
src/matrices/dorr.jl	100.00% <ø> (ø)
src/matrices/dramadah.jl	100.00% <ø> (ø)
... and 46 more

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[AnzhiZhang]

Should the list of properties in doc be updated as well?

https://github.com/TypedMatrices/TypedMatrices.jl/blob/master/docs/src/references/3.properties.md

New list:

TypedMatrices.PropertyTypes.Bidiagonal
TypedMatrices.PropertyTypes.Binary
TypedMatrices.PropertyTypes.Circulant
TypedMatrices.PropertyTypes.Complex
TypedMatrices.PropertyTypes.Correlation
TypedMatrices.PropertyTypes.Defective
TypedMatrices.PropertyTypes.DiagonallyDominant
TypedMatrices.PropertyTypes.Eigensystem
TypedMatrices.PropertyTypes.FixedSize
TypedMatrices.PropertyTypes.Graph
TypedMatrices.PropertyTypes.Hankel
TypedMatrices.PropertyTypes.Hermitian
TypedMatrices.PropertyTypes.Hessenberg
TypedMatrices.PropertyTypes.IllConditioned
TypedMatrices.PropertyTypes.Indefinite
TypedMatrices.PropertyTypes.InfinitelyDivisible
TypedMatrices.PropertyTypes.Integer
TypedMatrices.PropertyTypes.Inverse
TypedMatrices.PropertyTypes.Involutory
TypedMatrices.PropertyTypes.Nilpotent
TypedMatrices.PropertyTypes.Nonnegative
TypedMatrices.PropertyTypes.Normal 
TypedMatrices.PropertyTypes.Orthogonal
TypedMatrices.PropertyTypes.Positive
TypedMatrices.PropertyTypes.PositiveDefinite
TypedMatrices.PropertyTypes.PositiveSemidefinite
TypedMatrices.PropertyTypes.Random
TypedMatrices.PropertyTypes.RankDeficient
TypedMatrices.PropertyTypes.Rectangular
TypedMatrices.PropertyTypes.RegularisationProblem
TypedMatrices.PropertyTypes.SingularValues
TypedMatrices.PropertyTypes.Sparse
TypedMatrices.PropertyTypes.Symmetric
TypedMatrices.PropertyTypes.Triangular
TypedMatrices.PropertyTypes.Tridiagonal
TypedMatrices.PropertyTypes.Toeplitz
TypedMatrices.PropertyTypes.TotallyNonnegative
TypedMatrices.PropertyTypes.TotallyPositive
TypedMatrices.PropertyTypes.Unimodular
TypedMatrices.PropertyTypes.Unitary

[mfasi]

Should the list of properties in doc be updated as well?

https://github.com/TypedMatrices/TypedMatrices.jl/blob/master/docs/src/references/3.properties.md

New list:

TypedMatrices.PropertyTypes.Bidiagonal
TypedMatrices.PropertyTypes.Binary
TypedMatrices.PropertyTypes.Circulant
TypedMatrices.PropertyTypes.Complex
TypedMatrices.PropertyTypes.Correlation
TypedMatrices.PropertyTypes.Defective
TypedMatrices.PropertyTypes.DiagonallyDominant
TypedMatrices.PropertyTypes.Eigensystem
TypedMatrices.PropertyTypes.FixedSize
TypedMatrices.PropertyTypes.Graph
TypedMatrices.PropertyTypes.Hankel
TypedMatrices.PropertyTypes.Hermitian
TypedMatrices.PropertyTypes.Hessenberg
TypedMatrices.PropertyTypes.IllConditioned
TypedMatrices.PropertyTypes.Indefinite
TypedMatrices.PropertyTypes.InfinitelyDivisible
TypedMatrices.PropertyTypes.Integer
TypedMatrices.PropertyTypes.Inverse
TypedMatrices.PropertyTypes.Involutory
TypedMatrices.PropertyTypes.Nilpotent
TypedMatrices.PropertyTypes.Nonnegative
TypedMatrices.PropertyTypes.Normal 
TypedMatrices.PropertyTypes.Orthogonal
TypedMatrices.PropertyTypes.Positive
TypedMatrices.PropertyTypes.PositiveDefinite
TypedMatrices.PropertyTypes.PositiveSemidefinite
TypedMatrices.PropertyTypes.Random
TypedMatrices.PropertyTypes.RankDeficient
TypedMatrices.PropertyTypes.Rectangular
TypedMatrices.PropertyTypes.RegularisationProblem
TypedMatrices.PropertyTypes.SingularValues
TypedMatrices.PropertyTypes.Sparse
TypedMatrices.PropertyTypes.Symmetric
TypedMatrices.PropertyTypes.Triangular
TypedMatrices.PropertyTypes.Tridiagonal
TypedMatrices.PropertyTypes.Toeplitz
TypedMatrices.PropertyTypes.TotallyNonnegative
TypedMatrices.PropertyTypes.TotallyPositive
TypedMatrices.PropertyTypes.Unimodular
TypedMatrices.PropertyTypes.Unitary

Good point – I missed this in this PR, and fixed it in a successive commit in #13.