Adding missing header files?



On 10/10/10, Dieter Kaiser <drdieterkaiser at web.de> wrote:

> /*******************************************************************************
>  * File    : antid.mac
>  * License : GNU General Public License (GPL)
>  *
>  * Implementation of the Maxima user functions:
>  *
>  *   antid (fn, var,unk)
>  *   antidiff (fn, var, unk)
>  *
>  * See the Maxima reference manual for a documentation.
>  *
>  * This file is part of Maxima -- GPL CAS based on DOE-MACSYMA
>
> ******************************************************************************/

I dunno. I'm not really in favor of stuff like this:

I wouldn't stick a license statement on a file unless I am the author,
or I get the statement from the author.

I'd just leave out the "See the reference manual". I don't see the point of it.

I'd leave out "This file is part of Maxima" too. If you find the file in
a Maxima CVS sandbox or tar ball, you know it's part of Maxima.

I'd leave out the "File:" bit. It seems superfluous. If you see the
file name, that's enough. The name of the file might be superfluous, too;
I don't know for sure.

In general I think it's wise to avoid uninformative boilerplate stuff.

best,

Robert Dodier