Option variable
savedefDefault value: true
When savedef is true, the Maxima version of a
user function is preserved when the function is translated.
This permits the definition to be displayed by dispfun and allows the function to
be edited.
When savedef is false, the names of translated functions are
removed from the functions list.