math.la.t.vsp.change_of_basis.arb
This is a guided discovery of the formula for Lagrange Interpolation, which lets you find the formula for a polynomial which passes through a given set of points.