[Tests] Rework of BinaryInteger+Factorization.swift (#108) (#110).

oscbyspro · Oct 27, 2024 · 0f1737e · 0f1737e
1 parent 53f0f1a
commit 0f1737e
Show file tree

Hide file tree

Showing 6 changed files with 316 additions and 328 deletions.
diff --git a/Sources/CoreKit/BinaryInteger+Factorization.swift b/Sources/CoreKit/BinaryInteger+Factorization.swift
@@ -27,6 +27,7 @@ extension BinaryInteger {
     ///     2. gcd(a, b) == gcd(±a, ±b)
     ///     3. gcd(a, b) == gcd( a,  b % a)
     ///     4. gcd(a, b) == gcd( b,  a)
+    ///     5. gcd(a, ∞) == nil
     ///
     /// ### Gretest Common Divisor to Least Common Multiple
     ///
@@ -53,6 +54,7 @@ extension BinaryInteger {
     ///     2. gcd(a, b) == gcd(±a, ±b)
     ///     3. gcd(a, b) == gcd( a,  b % a)
     ///     4. gcd(a, b) == gcd( b,  a)
+    ///     5. gcd(a, ∞) == nil
     ///
     /// ### Bézout's identity
     ///
@@ -90,6 +92,7 @@ extension FiniteInteger {
     ///     2. gcd(a, b) == gcd(±a, ±b)
     ///     3. gcd(a, b) == gcd( a,  b % a)
     ///     4. gcd(a, b) == gcd( b,  a)
+    ///     5. gcd(a, ∞) == nil
     ///
     /// ### Gretest Common Divisor to Least Common Multiple
     ///
@@ -113,6 +116,7 @@ extension FiniteInteger {
     ///     2. gcd(a, b) == gcd(±a, ±b)
     ///     3. gcd(a, b) == gcd( a,  b % a)
     ///     4. gcd(a, b) == gcd( b,  a)
+    ///     5. gcd(a, ∞) == nil
     ///
     /// ### Bézout's identity
     ///
@@ -147,6 +151,7 @@ extension Finite where Value: BinaryInteger {
     ///     2. gcd(a, b) == gcd(±a, ±b)
     ///     3. gcd(a, b) == gcd( a,  b % a)
     ///     4. gcd(a, b) == gcd( b,  a)
+    ///     5. gcd(a, ∞) == nil
     ///
     /// ### Gretest Common Divisor to Least Common Multiple
     ///
@@ -184,6 +189,7 @@ extension Finite where Value: BinaryInteger {
     ///     2. gcd(a, b) == gcd(±a, ±b)
     ///     3. gcd(a, b) == gcd( a,  b % a)
     ///     4. gcd(a, b) == gcd( b,  a)
+    ///     5. gcd(a, ∞) == nil
     ///
     /// ### Bézout's identity
     ///

diff --git a/Sources/CoreKit/Models/Bezout.swift b/Sources/CoreKit/Models/Bezout.swift
@@ -21,6 +21,7 @@
 ///     2. gcd(a, b) == gcd(±a, ±b)
 ///     3. gcd(a, b) == gcd( a,  b % a)
 ///     4. gcd(a, b) == gcd( b,  a)
+///     5. gcd(a, ∞) == nil
 ///
 /// ### Bézout's identity
 ///

diff --git a/Sources/TestKit/Test+Factorization.swift b/Sources/TestKit/Test+Factorization.swift
@@ -14,7 +14,7 @@ import CoreKit
 //*============================================================================*
 
 extension Test {
-
+    #warning("test these things in new tests")
     //=------------------------------------------------------------------------=
     // MARK: Utilities
     //=------------------------------------------------------------------------=

diff --git a/Tests/DoubleIntKitTests/DoubleInt+Factorization.swift b/Tests/DoubleIntKitTests/DoubleInt+Factorization.swift
diff --git a/Tests/InfiniIntKitTests/InfiniInt+Factorization.swift b/Tests/InfiniIntKitTests/InfiniInt+Factorization.swift