The basic intuition for this is to start from the origin and make small changes to the function based on its known derivative at the origin.

More precisely, we know that for any base b, exponentiation satisfies:And we also know that for $b=e$ in particular that we satisfy the exponential function differential equation and so:One interesting fact is that the only thing we use from the exponential function differential equation is the value around $x=0$, which is quite little information! This idea is basically what is behind the importance of the ralationship between Lie group-Lie algebra correspondence via the exponential map. In the more general settings of groups and manifolds, restricting ourselves to be near the origin is a huge advantage.

Now suppose that we want to calculate $e^1$. The idea is to start from $e^0$ and then then to use the first order of the Taylor series to extend the known value of $e^0$ to $e^1$.

E.g., if we split into 2 parts, we know that:or in three parts:so we can just use arbitrarily many parts $e^{1/n}$ that are arbitrarily close to $x=0$:and more generally for any $x$ we have:

Let's see what happens with the Taylor series. We have near $y=0$ in little-o notation:Therefore, for $y=x/n$, which is near $y=0$ for any fixed $x$:and therefore:which is basically the formula tha we wanted. We just have to convince ourselves that at ${\lim }_{n\to \infty }$, the $o(1/n)$ disappears, i.e.:

To do that, let's multiply $e^y$ by itself once:and multiplying a third time:TODO conclude.

The set of all algebraic numbers forms a field.

This field contains all of the rational numbers, but it is a quadratically closed field.

Like the rationals, this field also has the same cardinality as the natural numbers, because we can specify and enumerate each of its members by a fixed number of integers from the polynomial equation that defines them. So it is a bit like the rationals, but we use potentially arbitrary numbers of integers to specify each number (polynomial coefficients + index of which root we are talking about) instead of just always two as for the rationals.

Each algebraic number also has a degree associated to it, i.e. the degree of the polynomial used to define it.

TODO understand.

Run output is placed under out/:

Some of the output data is stored as .cpickle files. To observe those files, you need the original Python classes, and therefore you have to be inside Docker, from the host it won't work.

We can list all the plots that have been produced under out/ withPlots are also available in SVG and PDF formats, e.g.:

The output directory has a hierarchical structure of type:where:

We also understand that some of the top level directories contain summaries over all cells, e.g. the massFractionSummary.pdf plot exists at several levels of the hierarchy:

Each of thoes four levels of plotOut is generated by a different one of the analysis scripts:

Formal name: "plantae".