feat: add SquareRoot class

Abega1642 · Abega1642 · commit 4de5db0d0a0f · 2025-07-07T23:04:05.000+03:00
diff --git a/cmake-build-debug/.cmake/api/v1/reply/codemodel-v2-46151d9b3e10798965b3.json b/cmake-build-debug/.cmake/api/v1/reply/codemodel-v2-46151d9b3e10798965b3.json
@@ -174,7 +174,7 @@
 				{
 					"directoryIndex" : 0,
 					"id" : "sqrt_higher_precision::@6890427a1f51a3e7e1df",
-					"jsonFile" : "target-sqrt_higher_precision-Debug-4785e5d5f0a3ae90fd05.json",
+					"jsonFile" : "target-sqrt_higher_precision-Debug-f2d0a4e2cb43ec13e779.json",
 					"name" : "sqrt_higher_precision",
 					"projectIndex" : 0
 				},
diff --git a/cmake-build-debug/.cmake/api/v1/reply/index-2025-07-07T19-22-12-0488.json b/cmake-build-debug/.cmake/api/v1/reply/index-2025-07-07T19-22-12-0488.json
@@ -26,7 +26,7 @@
 	"objects" : 
 	[
 		{
-			"jsonFile" : "codemodel-v2-7fe4562857c3c44c0391.json",
+			"jsonFile" : "codemodel-v2-46151d9b3e10798965b3.json",
 			"kind" : "codemodel",
 			"version" : 
 			{
@@ -86,7 +86,7 @@
 		},
 		"codemodel-v2" : 
 		{
-			"jsonFile" : "codemodel-v2-7fe4562857c3c44c0391.json",
+			"jsonFile" : "codemodel-v2-46151d9b3e10798965b3.json",
 			"kind" : "codemodel",
 			"version" : 
 			{
diff --git a/cmake-build-debug/.cmake/api/v1/reply/target-sqrt_higher_precision-Debug-f2d0a4e2cb43ec13e779.json b/cmake-build-debug/.cmake/api/v1/reply/target-sqrt_higher_precision-Debug-f2d0a4e2cb43ec13e779.json
@@ -225,7 +225,7 @@
 		},
 		{
 			"backtrace" : 2,
-			"path" : "src/SquareRoot.h",
+			"path" : "include/SquareRoot.hpp",
 			"sourceGroupIndex" : 1
 		}
 	],
diff --git a/cmake-build-debug/.ninja_log b/cmake-build-debug/.ninja_log
@@ -2,7 +2,7 @@
 3403	5540	1751912983146386994	CMakeFiles/tests.dir/src/Fraction.cpp.o	3ba60287f76f7835
 10248	10716	1751912989994138331	lib/libgtest.a	420031dcbb4fe737
 9	3402	1751912979754511207	CMakeFiles/tests.dir/tests/test_main.cpp.o	1e6c51daf976c9b7
-3	2189	1751915863774248080	build.ninja	987febbd8cf80e9
+3	2189	1751916132468692012	build.ninja	987febbd8cf80e9
 3291	6861	1751912983034391081	CMakeFiles/tests.dir/tests/test_fraction.cpp.o	f1589e1738c4b19f
 806	954	1751899218603008212	sqrt_higher_precision	f11af3d351234e3e
 8	3290	1751912979754511207	_deps/googletest-build/googletest/CMakeFiles/gtest_main.dir/src/gtest_main.cc.o	2f55321897389349
diff --git a/cmake-build-debug/CMakeFiles/clion-Debug-log.txt b/cmake-build-debug/CMakeFiles/clion-Debug-log.txt
@@ -37,8 +37,8 @@ The package mpfr can be imported via CMake FindPkgConfig module:
     
     target_link_libraries(main PRIVATE PkgConfig::mpfr)
 
-All requested installations completed successfully in: 122 us
+All requested installations completed successfully in: 197 us
 -- Running vcpkg install - done
--- Configuring done (3.2s)
+-- Configuring done (3.6s)
 -- Generating done (0.0s)
 -- Build files have been written to: /home/abega/Documents/Computer_Science_works/sqrt-higher-precision/cmake-build-debug
diff --git a/cmake-build-debug/Testing/Temporary/LastTest.log b/cmake-build-debug/Testing/Temporary/LastTest.log
@@ -1,3 +1,3 @@
-Start testing: Jul 07 22:17 EAT
+Start testing: Jul 07 22:22 EAT
 ----------------------------------------------------------
-End testing: Jul 07 22:17 EAT
+End testing: Jul 07 22:22 EAT
diff --git a/cmake-build-debug/vcpkg-manifest-install.log b/cmake-build-debug/vcpkg-manifest-install.log
@@ -35,4 +35,4 @@ The package mpfr can be imported via CMake FindPkgConfig module:
     
     target_link_libraries(main PRIVATE PkgConfig::mpfr)
 
-All requested installations completed successfully in: 122 us
+All requested installations completed successfully in: 197 us
diff --git a/include/Approximator.hpp b/include/Approximator.hpp
@@ -7,6 +7,9 @@ class Approximator : public Sequence {
 	unsigned long square_deviation;
 
 	public:
+		[[nodiscard]] unsigned long get_root_value() const;
+		[[nodiscard]] unsigned long get_root_value_squared() const;
+		[[nodiscard]] unsigned long get_square_deviation() const;
 		explicit Approximator(unsigned long number);
 		Fraction k_th_value(unsigned long k) override;
 };
diff --git a/include/Fraction.hpp b/include/Fraction.hpp
@@ -7,7 +7,7 @@ class Fraction {
 	mpz_class den;
 
 	public:
-		explicit Fraction(long numerator);
+		explicit Fraction(unsigned long numerator);
 		Fraction(const std::string& numerator, const std::string& denominator);
 		Fraction(mpz_class  numerator, mpz_class  denominator);
 
@@ -19,6 +19,8 @@ class Fraction {
 		void simplify();
 		void normalize_sign();
 
+		[[nodiscard]] Fraction inverse() const;
+		[[nodiscard]] Fraction negate() const;
 		[[nodiscard]] Fraction pow(int n) const;
 
 		Fraction operator+(const Fraction& other) const;
diff --git a/include/SquareRoot.hpp b/include/SquareRoot.hpp
@@ -0,0 +1,8 @@
+#pragma once
+#include "Sequence.hpp"
+
+class SquareRoot final : public Sequence {
+	public:
+		explicit SquareRoot(unsigned long numerator);
+		[[nodiscard]] Fraction k_th_value(unsigned long k) override;
+};
diff --git a/src/Approximator.cpp b/src/Approximator.cpp
@@ -7,6 +7,19 @@ Approximator::Approximator(const unsigned long number) : Sequence(number) {
 	square_deviation = root_value_squared - get_n();
 }
 
+unsigned long Approximator::get_root_value_squared() const {
+	return root_value_squared();
+}
+
+unsigned long Approximator::get_square_deviation() const {
+	return square_deviation;
+}
+
+unsigned long Approximator::get_root_value() const {
+	return root_value;
+}
+
+
 Fraction Approximator::k_th_value(const unsigned long k) {
 	if (root_value_squared == this->get_n())
 		return Fraction(0);
diff --git a/src/Fraction.cpp b/src/Fraction.cpp
@@ -4,7 +4,7 @@
 #include <utility>
 #include <vector>
 
-Fraction::Fraction(const long numerator) : num(numerator) {}
+Fraction::Fraction(const unsigned long numerator) : num(numerator) {}
 
 Fraction::Fraction(const std::string& numerator, const std::string& denominator)
     : num(numerator), den(denominator) {
@@ -33,6 +33,14 @@ void Fraction::simplify() {
     normalize_sign();
 }
 
+Fraction Fraction::negate() const {
+    mpz_class numerator = -num;
+    mpz_class denominator = den;
+
+    return { numerator, denominator };
+}
+
+
 std::string Fraction::get_value(const std::size_t decimal_digits) const {
     const auto bits = static_cast<mpfr_prec_t>(decimal_digits * 3.32193 + 100);
 
@@ -61,6 +69,17 @@ std::string Fraction::get_value(const std::size_t decimal_digits) const {
 const mpz_class& Fraction::get_num() const { return num; }
 const mpz_class& Fraction::get_den() const { return den; }
 
+
+Fraction Fraction::inverse() const {
+    if (num < 0) throw std::invalid_argument("Cannot inverse a fraction with zero as numerator");
+
+    const mpz_class numerator = den;
+    const mpz_class denominator = num;
+
+    return {numerator, denominator};
+}
+
+
 Fraction Fraction::operator+(const Fraction& other) const {
     const mpz_class n = num * other.den + other.num * den;
     const mpz_class d = den * other.den;
diff --git a/src/SquareRoot.cpp b/src/SquareRoot.cpp
@@ -0,0 +1,29 @@
+#include "../include/SquareRoot.hpp"
+#include "../include/Approximator.hpp"
+
+SquareRoot::SquareRoot(const unsigned long numerator): Sequence(numerator) {}
+
+Fraction SquareRoot::k_th_value(const unsigned long k) {
+	if (this->get_n() == 1) {
+		return Fraction(1);
+	}
+
+	auto sq_sub = Approximator(this->get_n());
+
+	if (this->get_n() == sq_sub.get_root_value_squared()) {
+		return Fraction(sq_sub.get_root_value());
+	}
+
+	if (k == 0) {
+		return Fraction(sq_sub.get_root_value());
+	}
+
+	Fraction sum(0);
+
+	for (long i = 1; i <= k; ++i) {
+		Fraction term = sq_sub.k_th_value(i);
+		sum += term.inverse().negate();
+	}
+
+	return sum + Fraction(sq_sub.get_root_value());
+}

Original file line number	Diff line number	Diff line change
`@@ -174,7 +174,7 @@`
`174`	`174`	`{`
`175`	`175`	`"directoryIndex" : 0,`
`176`	`176`	`"id" : "sqrt_higher_precision::@6890427a1f51a3e7e1df",`
`177`		`- "jsonFile" : "target-sqrt_higher_precision-Debug-4785e5d5f0a3ae90fd05.json",`
	`177`	`+ "jsonFile" : "target-sqrt_higher_precision-Debug-f2d0a4e2cb43ec13e779.json",`
`178`	`178`	`"name" : "sqrt_higher_precision",`
`179`	`179`	`"projectIndex" : 0`
`180`	`180`	`},`
Original file line number	Diff line number	Diff line change
`@@ -26,7 +26,7 @@`
`26`	`26`	`"objects" :`
`27`	`27`	`[`
`28`	`28`	`{`
`29`		`- "jsonFile" : "codemodel-v2-7fe4562857c3c44c0391.json",`
	`29`	`+ "jsonFile" : "codemodel-v2-46151d9b3e10798965b3.json",`
`30`	`30`	`"kind" : "codemodel",`
`31`	`31`	`"version" :`
`32`	`32`	`{`
`@@ -86,7 +86,7 @@`
`86`	`86`	`},`
`87`	`87`	`"codemodel-v2" :`
`88`	`88`	`{`
`89`		`- "jsonFile" : "codemodel-v2-7fe4562857c3c44c0391.json",`
	`89`	`+ "jsonFile" : "codemodel-v2-46151d9b3e10798965b3.json",`
`90`	`90`	`"kind" : "codemodel",`
`91`	`91`	`"version" :`
`92`	`92`	`{`
Original file line number	Diff line number	Diff line change
`@@ -225,7 +225,7 @@`
`225`	`225`	`},`
`226`	`226`	`{`
`227`	`227`	`"backtrace" : 2,`
`228`		`- "path" : "src/SquareRoot.h",`
	`228`	`+ "path" : "include/SquareRoot.hpp",`
`229`	`229`	`"sourceGroupIndex" : 1`
`230`	`230`	`}`
`231`	`231`	`],`
Original file line number	Diff line number	Diff line change
`@@ -35,4 +35,4 @@ The package mpfr can be imported via CMake FindPkgConfig module:`
`35`	`35`
`36`	`36`	`target_link_libraries(main PRIVATE PkgConfig::mpfr)`
`37`	`37`
`38`		`-All requested installations completed successfully in: 122 us`
	`38`	`+All requested installations completed successfully in: 197 us`