> (1) -> a:Float > Type: Void > (2) -> )display prop a > Properties of a : > Declared type or mode: Float
It doesn't actually work: -> )display prop 5 Properties of 5 : none -> )display prop integrate Properties of integrate : none >Why does not using it make you feel uncomfortable? It helps a lot while learning --- the first thing one would like to know about certain operation is what kind of arguments it accepts (if any) and what kind of output one should expect. For example, the fact that determinant is defined on square matrices and maps to the field the matrix is defined on in some sense is more basic than the properties of the determinant. I get used to this approach (always to bear in mind the types of objects you are working with) in Haskell, maybe it's not very applicable to FriCAS since the last deals heavily with symbolic computations. And I haven't studied yet what that mysterious thing "Expression" is, was going to move on it after the chapter about types. -- 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.
