Update around inv (#133)

* add docstring to `inv(::Quaternion)`

* add methods for `//`

* add tests for `//`

* bump version to v0.7.5

Author: hyrodium

Project.toml

@@ -1,6 +1,6 @@
 name = "Quaternions"
 uuid = "94ee1d12-ae83-5a48-8b1c-48b8ff168ae0"
-version = "0.7.4"
+version = "0.7.5"
 
 [deps]
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"

docs/src/api.md

@@ -26,6 +26,10 @@ round(::Quaternion)
 conj
 ```
 
+```@docs
+inv
+```
+
 ```@docs
 sign
 ```

src/Quaternion.jl

@@ -158,6 +158,25 @@ function abs_imag(q::Quaternion)
     end
 end
 Base.abs2(q::Quaternion) = RealDot.realdot(q,q)
+
+"""
+    inv(q::Quaternion)
+
+Return the multiplicative inverse of `q::Quaternion`, such that `q*inv(q)` or `inv(q)*q`
+yields `one(q)` (the multiplicative identity) up to roundoff errors.
+
+# Examples
+```jldoctest
+julia> inv(quat(1))
+QuaternionF64(1.0, -0.0, -0.0, -0.0)
+
+julia> inv(quat(1, 2, 0, 0))
+QuaternionF64(0.2, -0.4, -0.0, -0.0)
+
+julia> inv(quat(2//3))
+Quaternion{Rational{Int64}}(3//2, 0//1, 0//1, 0//1)
+```
+"""
 function Base.inv(q::Quaternion)
     if isinf(q)
         return quat(
@@ -231,6 +250,9 @@ function Base.:/(q::Quaternion{T}, w::Quaternion{T}) where T
     return (q * conj(p)) / RealDot.realdot(w, p)
 end
 
+Base.://(x::Quaternion, y::Real) = quat(real(x)//y, imag_part(x).//y...)
+Base.://(x::Number, y::Quaternion) = x*conj(y)//abs2(y)
+
 Base.:(==)(q::Quaternion, w::Quaternion) = (q.s == w.s) & (q.v1 == w.v1) & (q.v2 == w.v2) & (q.v3 == w.v3)
 function Base.isequal(q::Quaternion, w::Quaternion)
     isequal(q.s, w.s) & isequal(q.v1, w.v1) & isequal(q.v2, w.v2) & isequal(q.v3, w.v3)

test/Quaternion.jl

@@ -351,6 +351,15 @@ end
         end
     end
 
+    @testset "//" begin
+        q = quat(1,2,3,4)
+        r = quat(1,2,3,4//1)
+        @test q // 1 === r
+        @test isone(q // q)
+        @test quat(1,-2,0,0) // quat(2,1,0,0) === quat(0,-1//1,0,0)
+        @test inv(r) === (1//1)/q
+    end
+
     @testset "^" begin
         @testset "^(::Quaternion, ::Real)" begin
             for _ in 1:100