Assumptions:
TeX:
\sin\!\left(\pi x\right) \in \overline{\mathbb{Q}}
x \in \mathbb{Q}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Sin | Sine | |
| Pi | The constant pi (3.14...) | |
| AlgebraicNumbers | Algebraic numbers | |
| Rational numbers |
Source code for this entry:
Entry(ID("713501"),
Formula(Element(Sin(Mul(Pi, x)), AlgebraicNumbers)),
Variables(x),
Assumptions(Element(x, QQ)))