1. A computer algebra system, comprising: (a) a processor, input, and display; (b) wherein a transformed algebraic expression is displayed with domain of definition constraint(s) only when said transformation changes domain of definition of said algebraic expression.