Progress toward symbolic computation of the total soma membrane potential

Can use further verification and analysis but potentially this symbolic computation works.  Implementing something such as this in code in the neural network could be good for fine tuning the calculation of spiking.