TeX:
j\!\left(4 i\right) = 27 {\left(724 + 513 \sqrt{2}\right)}^{3}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ModularJ | Modular j-invariant | |
| ConstI | Imaginary unit | |
| Pow | Power | |
| Sqrt | Principal square root |
Source code for this entry:
Entry(ID("3189b9"),
Formula(Equal(ModularJ(Mul(4, ConstI)), Mul(27, Pow(Add(724, Mul(513, Sqrt(2))), 3)))))