Merge pull request #4959 from eshabakhov/#4950

feat(#4950): moved sqrt from real.eo to a separate object with tests

Author: yegor256

eo-runtime/src/main/eo/ms/real.eo

@@ -15,13 +15,6 @@
 [num] > real
   num > @
 
-  # Returns the positive square root of a `num` as `org.eolang.number`.
-  # @todo #4751:15min Move `sqrt` to a separate object with it's tests.
-  #  It's atom, don't forget change `EOreal$EOsqrt`.
-  #  For more information check this ticket:
-  #  https://github.com/objectionary/eo/issues/4751
-  [] > sqrt ?
-
   # Returns the natural logarithm `e` of a `num` as `org.eolang.number`.
   # @todo #4751:15min Move `ln` to a separate object with it's tests.
   #  It's atom, don't forget change `EOreal$EOln`.
@@ -89,66 +82,6 @@
       pow 4 5
       1024
 
-  # Tests that square root of zero equals zero.
-  [] +> tests-sqrt-check-zero-input
-    lt. +> @
-      abs
-        real
-          minus.
-            0
-            sqrt.
-              real 0
-      0.00000000001
-
-  # Tests that square root of negative number returns NaN.
-  [] +> tests-sqrt-check-negative-input
-    is-nan. +> @
-      sqrt.
-        real -0.1
-
-  # Tests that square root calculation works correctly for float input.
-  [] +> tests-sqrt-check-float-input
-    lt. +> @
-      abs
-        real
-          minus.
-            2
-            sqrt.
-              real
-                4
-      0.00000000001
-
-  # Tests that square root calculation works correctly for integer input.
-  [] +> tests-sqrt-check-int-input
-    lt. +> @
-      abs
-        real
-          minus.
-            9
-            sqrt.
-              real
-                81
-      0.00000000001
-
-  # Tests that square root of NaN returns NaN.
-  [] +> tests-sqrt-check-nan-input
-    is-nan. +> @
-      sqrt.
-        real nan
-
-  # Tests that square root of positive infinity equals positive infinity.
-  [] +> tests-sqrt-check-infinity-n1
-    eq. +> @
-      sqrt.
-        real positive-infinity
-      positive-infinity
-
-  # Tests that square root of negative infinity returns NaN.
-  [] +> tests-sqrt-check-infinity-n2
-    is-nan. +> @
-      sqrt.
-        real negative-infinity
-
   # Tests that natural logarithm of negative float returns NaN.
   [] +> tests-ln-of-negative-float-is-nan
     is-nan. +> @

eo-runtime/src/main/eo/ms/sqrt.eo

@@ -0,0 +1,83 @@
++alias ms.abs
++alias ms.real
++architect yegor256@gmail.com
++home https://github.com/objectionary/eo
++package ms
++rt jvm org.eolang:eo-runtime:0.0.0
++rt node eo2js-runtime:0.0.0
++version 0.0.0
++spdx SPDX-FileCopyrightText: Copyright (c) 2016-2026 Objectionary.com
++spdx SPDX-License-Identifier: MIT
+
+# Returns the positive square root of a `num` as `org.eolang.number`.
+[num] > sqrt ?
+  # Tests that sqrt of zero is zero.
+  [] +> tests-sqrt-zero
+    eq. > @
+      sqrt 0.0
+      0.0
+
+  # Tests that sqrt of one is one.
+  [] +> tests-sqrt-one
+    eq. > @
+      sqrt 1.0
+      1.0
+
+  # Tests that sqrt of a perfect square.
+  [] +> tests-sqrt-four
+    eq. > @
+      sqrt 4.0
+      2.0
+
+  # Tests that sqrt of a non-perfect square.
+  [] +> tests-sqrt-two
+    eq. > @
+      sqrt 2.0
+      1.4142135623730951
+
+  # Tests that sqrt of a fractional number.
+  [] +> tests-sqrt-point-five
+    eq. > @
+      sqrt 0.25
+      0.5
+
+  # Tests that square root of zero equals zero.
+  [] +> tests-sqrt-check-zero-input
+    lt. +> @
+      abs
+        real
+          minus.
+            0
+            sqrt 0
+      0.00000000001
+
+  # Tests that square root of negative number returns NaN.
+  [] +> tests-sqrt-check-negative-input
+    is-nan. +> @
+      sqrt -0.1
+
+  # Tests that square root calculation works correctly for number input.
+  [] +> tests-sqrt-check-float-input
+    lt. +> @
+      abs
+        real
+          minus.
+            2
+            sqrt 4
+      0.00000000001
+
+  # Tests that square root of NaN returns NaN.
+  [] +> tests-sqrt-check-nan-input
+    is-nan. +> @
+      sqrt nan
+
+  # Tests that square root of positive infinity equals positive infinity.
+  [] +> tests-sqrt-check-infinity-n1
+    eq. +> @
+      sqrt positive-infinity
+      positive-infinity
+
+  # Tests that square root of negative infinity returns NaN.
+  [] +> tests-sqrt-check-infinity-n2
+    is-nan. +> @
+      sqrt negative-infinity

…/java/org/eolang/EOms/EOreal$EOsqrt.java …rc/main/java/org/eolang/EOms/EOsqrt.javaeo-runtime/src/main/java/org/eolang/EOms/EOreal$EOsqrt.java renamed to eo-runtime/src/main/java/org/eolang/EOms/EOsqrt.java eo-runtime/src/main/java/org/eolang/EOms/EOreal$EOsqrt.java renamed to eo-runtime/src/main/java/org/eolang/EOms/EOsqrt.java

@@ -9,25 +9,33 @@
  */
 package org.eolang.EOms; // NOPMD
 
+import org.eolang.AtVoid;
 import org.eolang.Atom;
 import org.eolang.Dataized;
 import org.eolang.PhDefault;
 import org.eolang.Phi;
 import org.eolang.XmirObject;
 
 /**
- * Real.sqrt.
+ * Sqrt.
  *
  * @since 0.40
  * @checkstyle TypeNameCheck (100 lines)
  */
-@XmirObject(oname = "real.sqrt")
-@SuppressWarnings("PMD.AvoidDollarSigns")
-public final class EOreal$EOsqrt extends PhDefault implements Atom {
+@XmirObject(oname = "sqrt")
+public final class EOsqrt extends PhDefault implements Atom {
+    /**
+     * Ctor.
+     */
+    @SuppressWarnings("PMD.ConstructorOnlyInitializesOrCallOtherConstructors")
+    public EOsqrt() {
+        this.add("num", new AtVoid("num"));
+    }
+
     @Override
     public Phi lambda() {
         return new ToPhi(
-            Math.sqrt(new Dataized(this.take(Phi.RHO)).asNumber())
+            Math.sqrt(new Dataized(this.take("num")).asNumber())
         );
     }
 }