Skip to content

Add functionality for quaternion algebras#1810

Merged
thofma merged 1 commit intomasterfrom
th/qqquat
Mar 19, 2025
Merged

Add functionality for quaternion algebras#1810
thofma merged 1 commit intomasterfrom
th/qqquat

Conversation

@thofma
Copy link
Copy Markdown
Owner

@thofma thofma commented Mar 18, 2025

  • add is_split_with_zero_divisor
  • add documentation

- add `is_split_with_zero_divisor`
- add documentation
@codecov
Copy link
Copy Markdown

codecov bot commented Mar 18, 2025

Codecov Report

Attention: Patch coverage is 90.00000% with 3 lines in your changes missing coverage. Please review.

Project coverage is 76.45%. Comparing base (69b7e7f) to head (6692cc8).
Report is 5 commits behind head on master.

Files with missing lines Patch % Lines
src/QuadForm/Quad/Spaces.jl 0.00% 3 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##           master    #1810      +/-   ##
==========================================
+ Coverage   76.40%   76.45%   +0.04%     
==========================================
  Files         362      362              
  Lines      114917   114943      +26     
==========================================
+ Hits        87800    87877      +77     
+ Misses      27117    27066      -51     
Files with missing lines Coverage Δ
src/AlgAss/AlgQuat.jl 92.95% <100.00%> (+6.82%) ⬆️
src/AlgAss/Elem.jl 88.18% <100.00%> (-0.30%) ⬇️
src/QuadForm/Quad/Spaces.jl 80.58% <0.00%> (-0.16%) ⬇️

... and 24 files with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@thofma thofma merged commit 1156330 into master Mar 19, 2025
18 checks passed
@thofma thofma deleted the th/qqquat branch March 19, 2025 07:01
@thofma thofma changed the title feat: enhance functionality for quaternion algebras Add functionality for quaternion algebras Mar 22, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant