help links subscribe changes refresh edit

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

Sandbox Variables Evaluation

Edit detail for Sandbox Variables Evaluation revision 2 of 2

	1 2
Editor: test1 Time: 2018/02/17 14:57:40 GMT+0
Note:

added:
(a = a2)@Boolean

Thoughts on Variables Evaluation

fricas

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

(a = a2)@Boolean

$\label{eq4} \mbox{\rm true}$

(4)

Type: Boolean

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 
   CONCAT(Definition:   ,f x == x + b)
Properties of f2 :
   This is an interpreter function.
   This depends on the following function or rule: b 
   CONCAT(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{eq5}{2 \ b}={2 \ b}$

(5)

Type: Equation(Polynomial(Integer))

fricas

f('b) = f2('b)

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

(6)

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{eq7}{x + b}={x + b}$

(7)

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{eq8}{b + i}={b + i}$

(8)

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

fricas

b:=1

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

$\label{eq9}1$

(9)

Type: PositiveInteger?

fricas

)display properties f f2

Properties of f :
   This is an interpreter function.
   This depends on the following function or rule: b 
   CONCAT(Definition:   ,f x == x + b)
Properties of f2 :
   This is an interpreter function.
   This depends on the following function or rule: b 
   CONCAT(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{eq10}2 ={b + 1}$

(10)

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{eq11}{b + 1}={2 \ b}$

(11)

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{eq12}{x + 1}={x + b}$

(12)

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{eq13}{1 + i}={b + i}$

(13)

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