My comments about Amaya as a possible source of equations code for AbiWord
also apply pretty much verbatim to LyX.
Again, IANAL, so I'm not going to try to tell you whether the LyX license
allows extraction of portions of that code for use in a GPL product like
AbiWord:
http://www.lyx.org/license.html
Until someone steps up and expresses serious interest in actually *doing*
this code slam, any license FUD is irrelevant. Plus which, it shouldn't be
hard to get RMS and the LyX team to agree on whether there are any licensing
problems.
We'd be more than happy to help get across that bridge when the time comes.
:-)
Paul