search

gap-packages / wedderga

Wedderburn Decomposition of Group Algebras
https://gap-packages.github.io/wedderga/
GNU General Public License v2.0
3 stars 6 forks source link

Replace PositiveIntegers by IsPosInt #100

Closed fingolfin closed 5 months ago

fingolfin commented 5 months ago

Resolves #54

codecov[bot] commented 5 months ago

Codecov Report

Merging #100 (5ebb97f) into master (cf53848) will not change coverage. The diff coverage is 100.00%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #100 +/- ## ======================================= Coverage 83.55% 83.55% ======================================= Files 11 11 Lines 5193 5193 ======================================= Hits 4339 4339 Misses 854 854 ``` | [Files](https://app.codecov.io/gh/gap-packages/wedderga/pull/100?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=gap-packages) | Coverage Δ | | |---|---|---| | [lib/div-alg.gi](https://app.codecov.io/gh/gap-packages/wedderga/pull/100?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=gap-packages#diff-bGliL2Rpdi1hbGcuZ2k=) | `93.06% <100.00%> (ø)` | |