Using REDUCE as a computer algebra system (CAS)