> My vote is for an implementation of linear programming or > singular value decomposition or something like that. How much can you do with LP or SVP in a symbolic context?