Hi
Command line interpreter: I realize that type declaration is ignored in delayed
assignment == even for variables (see [1] for a similar behavior for functions)
Same behavior from .input file.
AND
At the same occasion I get a weird system error in )display properties, which
might interest Waldek...
cheers,
riccardo
(1) -> x:Integer := 1
(1) 1
Type: Integer
(2) -> y:Integer == 1
Type: Void
(3) -> z == 1
Type: Void
(4) -> [x,y,z]
Compiling body of rule z to compute value of type PositiveInteger
(4) [1, y, 1]
Type: List(Polynomial(Integer))
(5) -> )display properties x y z
Properties of x :
Declared type or mode: Integer
Value (has type Integer): 1
Properties of y :
none
Properties of z :
This is an interpreter rule.
>> System error:
The function BOOT::|sayFunctionDeps| is undefined.
(5) -> )read test.input
)clear completely
All user variables and function definitions have been cleared.
All )browse facility databases have been cleared.
Internally cached functions and constructors have been cleared.
)clear completely is finished.
x2:Integer := 1
(1) 1
Type: Integer
y2:Integer == 1
Type: Void
z2 == 1
Type: Void
[x2,y2,z2]
Compiling body of rule z2 to compute value of type PositiveInteger
(4) [1, y2, 1]
Type: List(Polynomial(Integer))
)display properties x2 y2 z2
Properties of x2 :
Declared type or mode: Integer
Value (has type Integer): 1
Properties of y2 :
none
Properties of z2 :
This is an interpreter rule.
>> System error:
The function BOOT::|sayFunctionDeps| is undefined.
[1]
https://www.mail-archive.com/[email protected]/msg12308.html
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
