polynomial: WIP on DerivativeBinomAt
var_degree_map: update comment
free-semiring: improve printing
polynomial: implement DerivativeBinomAt
newton: use VarDegreeMap for computing derivatives
matrix: improve move assignment and constructor
polynomial: add a few missing "const"
polynomial: update tests
newton: alternative solver without symbolic delta
monomial: delete unused method