Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove Complex and Quaternion embeddings #6

Merged
merged 3 commits into from
Jan 22, 2023
Merged

Remove Complex and Quaternion embeddings #6

merged 3 commits into from
Jan 22, 2023

Conversation

sethaxen
Copy link
Collaborator

This is a companion PR to JuliaGeometry/Quaternions.jl#113 and removes all implicit embeddings of complex numbers and quaternions in the octonions.

The version is marked -DEV since there are a few other breaking changes we should make to bring this package more in line with some of our other recent changes to Quaternions.jl.

Supersedes #5

@codecov
Copy link

codecov bot commented Jan 21, 2023

Codecov Report

Merging #6 (21176c2) into main (fe97464) will not change coverage.
The diff coverage is 100.00%.

@@            Coverage Diff            @@
##              main        #6   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files            1         2    +1     
  Lines           86        82    -4     
=========================================
- Hits            86        82    -4     
Impacted Files Coverage Δ
src/Octonions.jl 100.00% <ø> (ø)
src/octonion.jl 100.00% <100.00%> (ø)

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@sethaxen sethaxen requested a review from hyrodium January 21, 2023 19:45
Copy link
Collaborator

@hyrodium hyrodium left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@sethaxen sethaxen merged commit 06af9a8 into main Jan 22, 2023
@sethaxen sethaxen deleted the rmquat branch January 22, 2023 09:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants