“…Using this algorithm we can show that rank(E(Q(t))) = 4 and that the four points P 1 , P 2 , P 3 , P 4 are free generators of E(Q(t)). We will sketch the application of this algorithm (for a detailed example of such application see, for example, [9]). To apply the algorithm, we write E in the form y 2 = (x − e 1 )(x − e 2 )(x − e 3 ), with e 1 , e 2 , e 3 ∈ Z[t], and consider the factorization…”