TeX:
j\!\left(\frac{1}{2} \left(1 + \sqrt{7} i\right)\right) = -{15}^{3}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ModularJ | Modular j-invariant | |
| Sqrt | Principal square root | |
| ConstI | Imaginary unit | |
| Pow | Power |
Source code for this entry:
Entry(ID("29c095"),
Formula(Equal(ModularJ(Mul(Div(1, 2), Add(1, Mul(Sqrt(7), ConstI)))), Neg(Pow(15, 3)))))