ex 2.91: division for sparse polynomial