Hi. Thanks for your efforts. Would you need a license to use this regularly? Might be interesting to compare to wxmaxima which is free and available through easy debian.