Postulation of general quartuple fat point schemes in P3

We study the postulation of a general union YY of double, triple, and quartuple points of P3. We prove that YY has the expected postulation in degree d≥41d≥41, using the Horace differential lemma. We also discuss the cases of low degree with the aid of computer algebra.