HSymbolic is a symbolic algebra system written in haskell. It main focus is to compute symbolicaly derivate of function.
Dual number can be define as the quotien of a polynomial ring by the ideal generate by the polynomial .
Element in this ring can be wrtiten as :