help links subscribe changes refresh edit

	SandBox
SandBox{{7*7}} ←	↑	→ SandboxDelay

Sandbox Variables Evaluation

Edit detail for Sandbox Variables Evaluation revision 1 of 2

	1 2
Editor: r Time: 2018/02/16 19:43:21 GMT+0
Note: Thoughts on Variables Evaluation

changed:
-
** Thoughts on Variables Evaluation **

\begin{axiom}
a:=b
a2:='b
a = a2
)display properties a a2
f(x)==x+b
f2(x)==x+'b
)display properties f f2
f(b) = f2(b)
f('b) = f2('b)
f(x) = f2(x)
f(%i) = f2(%i)
b:=1
)display properties f f2
f(b) = f2(b)
f('b) = f2('b)
f(x) = f2(x)
f(%i) = f2(%i)
\end{axiom}

Thoughts on Variables Evaluation

fricas

a:=b

$\label{eq1}b$

(1)

Type: Variable(b)

fricas

a2:='b

$\label{eq2}b$

(2)

Type: Variable(b)

fricas

a = a2

$\label{eq3}b = b$

(3)

Type: Equation(Variable(b))

fricas

)display properties a a2

Properties of a :
   Value (has type Variable(b)):  b
Properties of a2 :
   Value (has type Variable(b)):  b
f(x)==x+b

Type: Void

fricas

f2(x)==x+'b

Type: Void

fricas

)display properties f f2

Properties of f :
   This is an interpreter function.
   This depends on the following function or rule: b 
   Definition:   f x == x + b
Properties of f2 :
   This is an interpreter function.
   This depends on the following function or rule: b 
   Definition:   f2 x == x + 'b
f(b) = f2(b)

fricas

Compiling function f with type Variable(b) -> Polynomial(Integer)

fricas

Compiling function f2 with type Variable(b) -> Polynomial(Integer)

$\label{eq4}{2 \ b}={2 \ b}$

(4)

Type: Equation(Polynomial(Integer))

fricas

f('b) = f2('b)

$\label{eq5}{2 \ b}={2 \ b}$

(5)

Type: Equation(Polynomial(Integer))

fricas

f(x) = f2(x)

fricas

Compiling function f with type Variable(x) -> Polynomial(Integer)

fricas

Compiling function f2 with type Variable(x) -> Polynomial(Integer)

$\label{eq6}{x + b}={x + b}$

(6)

Type: Equation(Polynomial(Integer))

fricas

f(%i) = f2(%i)

fricas

Compiling function f with type Complex(Integer) -> Polynomial(
      Complex(Integer))

fricas

Compiling function f2 with type Complex(Integer) -> Polynomial(
      Complex(Integer))

$\label{eq7}{b + i}={b + i}$

(7)

Type: Equation(Polynomial(Complex(Integer)))

fricas

b:=1

   Compiled code for f2 has been cleared.
   Compiled code for f has been cleared.

$\label{eq8}1$

(8)

Type: PositiveInteger?

fricas

)display properties f f2

Properties of f :
   This is an interpreter function.
   This depends on the following function or rule: b 
   Definition:   f x == x + b
Properties of f2 :
   This is an interpreter function.
   This depends on the following function or rule: b 
   Definition:   f2 x == x + 'b
f(b) = f2(b)

fricas

Compiling function f with type PositiveInteger -> PositiveInteger

fricas

Compiling function f2 with type PositiveInteger -> Polynomial(
      Integer)

$\label{eq9}2 ={b + 1}$

(9)

Type: Equation(Polynomial(Integer))

fricas

f('b) = f2('b)

fricas

Compiling function f with type Variable(b) -> Polynomial(Integer)

fricas

Compiling function f2 with type Variable(b) -> Polynomial(Integer)

$\label{eq10}{b + 1}={2 \ b}$

(10)

Type: Equation(Polynomial(Integer))

fricas

f(x) = f2(x)

fricas

Compiling function f with type Variable(x) -> Polynomial(Integer)

fricas

Compiling function f2 with type Variable(x) -> Polynomial(Integer)

$\label{eq11}{x + 1}={x + b}$

(11)

Type: Equation(Polynomial(Integer))

fricas

f(%i) = f2(%i)

fricas

Compiling function f with type Complex(Integer) -> Complex(Integer)

fricas

Compiling function f2 with type Complex(Integer) -> Polynomial(
      Complex(Integer))

$\label{eq12}{1 + i}={b + i}$

(12)

Type: Equation(Polynomial(Complex(Integer)))