refactor assumption handling in Algorithm.CAD module
propagate equality constraints in Algorithm.CAD module by using Groebner basis
add abs function to Data.Sign module
implement pruning based on sign arithmetic in Algorithm.CAD module