help links subscribe changes refresh edit

	SandBoxCombfunc
	↑

SandBoxCombfuncDiscussion

Edit detail for SandBoxCombfuncDiscussion revision 1 of 7

	1 2 3 4 5 6 7
Editor: Bill Page Time: 2017/04/07 19:28:35 GMT+0
Note:

added:
From rrogers Fri Apr 7 16:22:25 +0000 2017
From: rrogers
Date: Fri, 07 Apr 2017 16:22:25 +0000
Subject: Tests from GouldBk.pdf
Message-ID: <20170407162225+0000@axiom-wiki.newsynthesis.org>

\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)