minimal-polynomial.nb

Calculate the minimal polynomial of x over Q(c) and its
discriminant (didn't work out quite right, but close).