FUTURE PLANS FOR KET
Ket is an algebra editor. Its existing central goals concerned writing, editing and recording algebra as it is performed. The goal is to provide a rich keyboard interface that allows editing speeds comparable to those when working on paper.
Primarily, work should focus on user experience including bug fixes, expansion of edit commands particularly completing the implementation of visual mode commands. Future modifications should focus on ease of data entry regarding the edit modes.
Some functions should be modified such as integral, sum (ie Sigma), product (ie Pi), range, tensor and higher order derivatives. In these cases, extra information is required to fully describe the actual operation being performed. In some cases, such as integral, specifying different numbers of arguments contains this information, but this is too restrictive if integral is to be further generalized to multiple arguments and kinds of ranges. As a result, functions require some form of type checking.
If ranges have a special meaning, this allows the integral function to be extended more generally to dx, dx^2 or dx*dy^2 etc.But note that dx^2 could be d(x^2) or (dx)^2 just as (d/dx)^2 can be confused with d/d(x^2).
One of the original aims of the program was to allow tensors to be written. These would consist of an argument then one or more arbitrary numbers of covariant/contravariant indices to be expressed unambiguously.
It is possible to simply nest multiple indices each as separate functions.
The DERIVATIVE function should be generalized to allow higher order derivatives D_{x^2}, D_{x,y}, D_{x,y,z} etc.
The AT function may be generalized to express bound ranges that express [a, b], (a, b], [a, b) or (a, b).
The INTEGRAL function's arguments may be written as [RANGE, ] INTEGRAND, (SUBJECT)+
Argument locking is another significant change that can be implemented to ignore it when editing a given branch.