Andrew Todd wrote: >> Is there a calculus module? I couldn't find one. Michael Hudson wrote: >What would you want such a thing to do? I'm curious. >Symbolic integration? Not necessarily, but that would be nice. I'm more interested in lower level Calculus at the moment. Really I just want to see how a math module should be designed.