Mockmma -- what commands are implemented..

Richard Fateman wrote:
> Sheldon Newhouse wrote:
>   
>>>   
>>>     
>>>       
>> Rat[(1+x)^ + 1]
>>  did work.
>> How can I find out what commands have already been implemented? 
>>   
>>     
> There is a paper on this somewhere, but the command that are implemented 
> depend on how many of the libraries are loaded.
> I think there is a bigfloat implementation.
>
>   
Actually, any Lisp function can be used, though if the result is 
incompatible with the expressions expected by the simplifier or the display,
something bad may happen.

For example
  cons[f,cdr[g[a,b,c]]]

results in f[a,b,c]