Linear form in logarithms of algebraic numbers (source code)

= Linear form in logarithms of algebraic numbers
{wiki=Linear_form_in_logarithms}

A homogeneous linear form in logarithms of nonzero algebraic numbers has the form
$$
\Lambda=b_1\log\alpha_1+\cdots+b_n\log\alpha_n,
\qquad b_i\in\mathbb Z.
$$