When Python's symbolic computation abilities are even at a tenth of Mathematica's (especially for discrete functions like we love in computer science), I'd be more than happy to switch over. Perhaps someone could integrate Python with Sage or Octave.