Bill Page wrote:
> 
> It is important to remember that
> in Spad all types are static and must in general be fully determined
> at compile time.

No.  _Categories_ are static and must be determined at compile
time.  Normal types are dynamic.  Of course, Sergei will
have trouble because apparently he wants to work on
arbitrary type (for which Type is appropriate category),
while to do operations he needs more specific categories.

-- 
                              Waldek Hebisch
[email protected] 

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/fricas-devel?hl=en.

Reply via email to