úι ƒportable provisional!Alberto Ruiz (aruiz at um dot es) Safe-Infered3  !"#$%&'()*+,-./012343  !"#$%&'()*+,-./012342  !"#$%&'()*+,-./01234portable provisional!Alberto Ruiz (aruiz at um dot es) Safe-Infered/56789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abc$56789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWX(56789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcportable provisional!Alberto Ruiz (aruiz at um dot es) Safe-Infered9All tests must pass with a maximum dimension of about 20 A (some tests may fail with bigger sizes due to precision loss). Performance measurements. maximum dimension dedef      !"#$%&'()*+,-./0123456789:;<==>>??@@AABBCCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abchmatrix-tests-0.2Numeric.LinearAlgebra.Tests&Numeric.LinearAlgebra.Tests.Properties%Numeric.LinearAlgebra.Tests.InstancesrunTests runBenchmarksAprox:~dist|~|~:squareunitary hermitianwellCondpositiveDefinite upperTriangupperHessenbergzerosonesluPropinvProppinvPropdetProp nullspacePropbugPropsvdProp1 svdProp1a svdProp1bsvdProp2svdProp3svdProp4 svdProp5a svdProp5b svdProp6a svdProp6bsvdProp7eigProp eigSHPropeigProp2 eigSHProp2qrProprqProprqProp1rqProp2rqProp3hessProp schurProp1 schurProp2cholProp exactProp expmDiagProp multProp1 multProp2linearSolveProplinearSolveProp2subPropZMFMCMRM ConsistentPosDefSqWCWCHerRotSqrMcMfMzMrHercHerrRotcRotrSqcSqrWCcWCrSqWCcSqWCrPosDefcPosDefrConsistcConsist$fArbitraryConsistent$fArbitraryPosDef$fArbitrarySqWC $fArbitraryWC$fArbitraryFieldComplex$fArbitraryFieldDouble$fArbitraryHer$fArbitraryRot $fArbitrarySq$fArbitraryMatrix$fArbitraryVector $fMonadMaybeT $fMonadState