> As you describe, neither of these interpretations is compatible with
the GPL.
Let's just wait and see what they have to say. Even if their current
license would prohibit use in Maxima, perhaps they didn't intend it to.
No point in arguing over semantics.
> I've read the description of the [Zeilberger] algorithm, and it did
not sound that
> difficult. But I might be missing some corner cases. It's described
> in the book 'A=B'.
I have not studied this algorithm, so I don't have an opinion on how
hard it is to implement. But just as a general comment, the devil is
often in the details.
-s