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

# 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
a:=b
 (1)
Type: Variable(b)
fricas
a2:='b
 (2)
Type: Variable(b)
fricas
a = a2
 (3)
Type: Equation(Variable(b))
fricas
(a = a2)@Boolean
 (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
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)
 (5)
Type: Equation(Polynomial(Integer))
fricas
f('b) = f2('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)
 (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))
 (8)
Type: Equation(Polynomial(Complex(Integer)))
fricas
b:=1
Compiled code for f2 has been cleared.
Compiled code for f has been cleared.
 (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
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)
 (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)
 (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)
 (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))
 (13)
Type: Equation(Polynomial(Complex(Integer)))