help links subscribe changes refresh edit

	SandBoxCombfunc
	↑

SandBoxCombfuncDiscussion

Edit detail for SandBoxCombfuncDiscussion revision 3 of 7

	1 2 3 4 5 6 7
Editor: Bill Page Time: 2017/04/07 19:30:01 GMT+0
Note: reverted by Bill Page

added:


changed:
-Moved to:
-
-SandBoxCombfuncDiscussion
\begin{axiom}

binomial(5,2)-binomial(5,5-2)
binomial(a,b)-binomial(a,a-b)

\end{axiom}
 Ah well no joy in Mudville I guess I need a special function of some sort,
 any comments?


\begin{axiom}

simplify(binomial(a,b)-binomial(a,a-b))
expand(binomial(a,b)-binomial(a,a-b))

\end{axiom}

Tests from GouldBk?.pdf --rrogers, Fri, 07 Apr 2017 16:22:25 +0000 reply

fricas

binomial(5,2)-binomial(5,5-2)

$\label{eq1}0$

(1)

Type: NonNegativeInteger?

fricas

binomial(a,b)-binomial(a,a-b)

$\label{eq2}{\hbox{\axiomType{BINOMIAL}\ } \left({a , \: b}\right)}-{\hbox{\axiomType{BINOMIAL}\ } \left({a , \:{- b + a}}\right)}$

(2)

Type: Expression(Integer)

Ah well no joy in Mudville I guess I need a special function of some sort, any comments?

fricas

simplify(binomial(a,b)-binomial(a,a-b))

$\label{eq3}{\hbox{\axiomType{BINOMIAL}\ } \left({a , \: b}\right)}-{\hbox{\axiomType{BINOMIAL}\ } \left({a , \:{- b + a}}\right)}$

(3)

Type: Expression(Integer)

fricas

expand(binomial(a,b)-binomial(a,a-b))

$\label{eq4}{\hbox{\axiomType{BINOMIAL}\ } \left({a , \: b}\right)}-{\hbox{\axiomType{BINOMIAL}\ } \left({a , \:{- b + a}}\right)}$

(4)

Type: Expression(Integer)