Fungrim home page

Fungrim entry: aa6b07

Q={z:zCand(f(z)=0   for some fZ[x1]{0})}\overline{\mathbb{Q}} = \left\{ z : z \in \mathbb{C} \,\mathbin{\operatorname{and}}\, \left(f(z) = 0 \;\text{ for some } f \in \mathbb{Z}[\text{x}_{1}] \setminus \left\{0\right\}\right) \right\}
\overline{\mathbb{Q}} = \left\{ z : z \in \mathbb{C} \,\mathbin{\operatorname{and}}\, \left(f(z) = 0 \;\text{ for some } f \in \mathbb{Z}[\text{x}_{1}] \setminus \left\{0\right\}\right) \right\}
Fungrim symbol Notation Short description
AlgebraicNumbersQ\overline{\mathbb{Q}} Algebraic numbers
CCC\mathbb{C} Complex numbers
ZZZ\mathbb{Z} Integers
Source code for this entry:
    Formula(Equal(AlgebraicNumbers, Set(z, ForElement(z, CC), Parentheses(Exists(Equal(CallIndeterminate(f, XX(1), z), 0), ForElement(f, SetMinus(Polynomials(ZZ, XX(1)), Set(0)))))))))

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