Minor modifications
ppolynome: function add works