KlausC / CommutativeRings.jl

CAS, Commutative Rings, Fraction Fields, Quotient Rings, Polynomial Rings, Galois Fields
MIT License
9 stars 3 forks source link

Add Rational Normal Form #17

Closed KlausC closed 2 years ago

KlausC commented 2 years ago

The "Rational Normal Form" (also called "Frobenius Normal Form") is a canonical representation of an Endomorphism or square matrix over a field (RNF).

Implementation derived from lecture notes

codecov-commenter commented 2 years ago

Codecov Report

Base: 78.95% // Head: 79.47% // Increases project coverage by +0.51% :tada:

Coverage data is based on head (971052d) compared to base (738c2d0). Patch coverage: 83.33% of modified lines in pull request are covered.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #17 +/- ## ========================================== + Coverage 78.95% 79.47% +0.51% ========================================== Files 17 18 +1 Lines 3683 4272 +589 ========================================== + Hits 2908 3395 +487 - Misses 775 877 +102 ``` | [Impacted Files](https://codecov.io/gh/KlausC/CommutativeRings.jl/pull/17?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Klaus+Crusius) | Coverage Δ | | |---|---|---| | [src/intfactorization.jl](https://codecov.io/gh/KlausC/CommutativeRings.jl/pull/17/diff?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Klaus+Crusius#diff-c3JjL2ludGZhY3Rvcml6YXRpb24uamw=) | `61.62% <35.00%> (+0.87%)` | :arrow_up: | | [src/CommutativeRings.jl](https://codecov.io/gh/KlausC/CommutativeRings.jl/pull/17/diff?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Klaus+Crusius#diff-c3JjL0NvbW11dGF0aXZlUmluZ3Muamw=) | `88.88% <50.00%> (-11.12%)` | :arrow_down: | | [src/univarpolynom.jl](https://codecov.io/gh/KlausC/CommutativeRings.jl/pull/17/diff?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Klaus+Crusius#diff-c3JjL3VuaXZhcnBvbHlub20uamw=) | `62.66% <62.50%> (+0.33%)` | :arrow_up: | | [src/galoisfields.jl](https://codecov.io/gh/KlausC/CommutativeRings.jl/pull/17/diff?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Klaus+Crusius#diff-c3JjL2dhbG9pc2ZpZWxkcy5qbA==) | `74.13% <63.26%> (-14.22%)` | :arrow_down: | | [src/multivarpolynom.jl](https://codecov.io/gh/KlausC/CommutativeRings.jl/pull/17/diff?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Klaus+Crusius#diff-c3JjL211bHRpdmFycG9seW5vbS5qbA==) | `91.44% <66.66%> (ø)` | | | [src/qq.jl](https://codecov.io/gh/KlausC/CommutativeRings.jl/pull/17/diff?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Klaus+Crusius#diff-c3JjL3FxLmps) | `87.71% <66.66%> (-1.57%)` | :arrow_down: | | [src/linearalgebra.jl](https://codecov.io/gh/KlausC/CommutativeRings.jl/pull/17/diff?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Klaus+Crusius#diff-c3JjL2xpbmVhcmFsZ2VicmEuamw=) | `85.71% <81.52%> (-2.62%)` | :arrow_down: | | [src/fraction.jl](https://codecov.io/gh/KlausC/CommutativeRings.jl/pull/17/diff?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Klaus+Crusius#diff-c3JjL2ZyYWN0aW9uLmps) | `90.44% <88.23%> (+1.55%)` | :arrow_up: | | [src/generic.jl](https://codecov.io/gh/KlausC/CommutativeRings.jl/pull/17/diff?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Klaus+Crusius#diff-c3JjL2dlbmVyaWMuamw=) | `88.88% <88.23%> (+0.41%)` | :arrow_up: | | [src/enumerations.jl](https://codecov.io/gh/KlausC/CommutativeRings.jl/pull/17/diff?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Klaus+Crusius#diff-c3JjL2VudW1lcmF0aW9ucy5qbA==) | `93.82% <92.33%> (-3.96%)` | :arrow_down: | | ... and [13 more](https://codecov.io/gh/KlausC/CommutativeRings.jl/pull/17/diff?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Klaus+Crusius) | | Help us with your feedback. Take ten seconds to tell us [how you rate us](https://about.codecov.io/nps?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Klaus+Crusius). Have a feature suggestion? [Share it here.](https://app.codecov.io/gh/feedback/?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Klaus+Crusius)

:umbrella: View full report at Codecov.
:loudspeaker: Do you have feedback about the report comment? Let us know in this issue.