TeX:
R_F\!\left(1, 1, 2\right) = \log\!\left(1 + \sqrt{2}\right)Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| CarlsonRF | Carlson symmetric elliptic integral of the first kind | |
| Log | Natural logarithm | |
| Sqrt | Principal square root |
Source code for this entry:
Entry(ID("4cd504"),
Formula(Equal(CarlsonRF(1, 1, 2), Log(Add(1, Sqrt(2))))))