The S-Threads Environment for Parallel Symbolic Computation