I don't necessarily think it should be free (gratis), but a serious math package should definitely be open source to give legitimacy to any result it produces,

I don't necessarily think it should be free (gratis), but a serious math package should definitely be open source to give legitimacy to any result it produces, for the same reason that a proof that is kept secret is not a proof at all.