change mul for sparse poly
add test cases for mul
change negate for correct sub
add helper func in add-terms to reduce leading zeros
pass =zero? test