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