hi jaime,
> I would like to improve the documentation for the packages in
> share/simplification. For most of the functions in that
> directory, the manual does not tell you which of the additional
> packages you must load.
well, that's easy to fix, then.
> To add to the confusion, there are two sections in the manual
> with the same name:
> 7.1 Definitions for Simplification
> 65.2 Definitions for simplification
how about if the second one is renamed "Definitions for simplification
(add-on package)" or "Additional simplification functions" ?
the documentation for share/simplification was created
by converting the old plain-text documentation to texinfo ...
i am sure that it can be improved. have at it!
thanks for working on this problem,
robert