removed: - removed: - -\begin{axiom} - -simplify(binomial(a,b)-binomial(a,a-b)) -expand(binomial(a,b)-binomial(a,a-b)) - -\end{axiom}
binomial(5,2)-binomial(5,5-2)
binomial(a,b)-binomial(a,a-b)
Ah well no joy in Mudville I guess I need a special function of some sort, any comments?