>>>>> "Robert" == Robert Gloeckner <Gloeckner> writes:
Robert> hello,
Robert> does somebody know about the following lisp expressions?
Robert> declare-top
Robert> defprop
You can very likely ignore declare-top. But in essence, it's
basically the same as CL declaim.
defprop is a macro that assigns a value to some indicator on a
symbol's propertly list. This is basically how maxima determines if
some symbol has certain properies, which maxima uses to compute
stuff. For example, the grad property is on the symbol-list for
%jacobi_sn. This tells maxima what the derivative of jacobi_sn is.
Ray