Fungrim home page

Fungrim entry: 61480c

x∈[0.707106781186547524400844362105±1.51⋅10−31]   where x=12=12=22x \in \left[0.707106781186547524400844362105 \pm 1.51 \cdot 10^{-31}\right]\; \text{ where } x = \sqrt{\frac{1}{2}} = \frac{1}{\sqrt{2}} = \frac{\sqrt{2}}{2}
TeX:
x \in \left[0.707106781186547524400844362105 \pm 1.51 \cdot 10^{-31}\right]\; \text{ where } x = \sqrt{\frac{1}{2}} = \frac{1}{\sqrt{2}} = \frac{\sqrt{2}}{2}
Definitions:
Fungrim symbol Notation Short description
Sqrtz\sqrt{z} Principal square root
Source code for this entry:
Entry(ID("61480c"),
    Formula(Where(Element(x, RealBall(Decimal("0.707106781186547524400844362105"), Decimal("1.51e-31"))), Def(x, Same(Sqrt(Div(1, 2)), Div(1, Sqrt(2)), Div(Sqrt(2), 2))))))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC