Fungrim home page

Fungrim entry: 08ad28

solutionsxC[x2+1=0]={i,i}\mathop{\operatorname{solutions}\,}\limits_{x \in \mathbb{C}} \left[{x}^{2} + 1 = 0\right] = \left\{i, -i\right\}
\mathop{\operatorname{solutions}\,}\limits_{x \in \mathbb{C}} \left[{x}^{2} + 1 = 0\right] = \left\{i, -i\right\}
Fungrim symbol Notation Short description
SolutionssolutionsxSQ(x)\mathop{\operatorname{solutions}\,}\limits_{x \in S} Q(x) Solution set
Powab{a}^{b} Power
CCC\mathbb{C} Complex numbers
ConstIii Imaginary unit
Source code for this entry:
    Formula(Equal(Solutions(Brackets(Equal(Add(Pow(x, 2), 1), 0)), ForElement(x, CC)), Set(ConstI, Neg(ConstI)))))

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