login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

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