Write algorithm -- binomial heap.