Frustrated at the minimal documentation for the Kernel domain I have attempted
to start documenting it myself here:
https://github.com/martinbaker/fricas/blob/master/src/algebra/kl.spad.pamphlet
I have added lines: 216:272
I don't consider myself an expert on this subject but perhaps its
Excellent.
I would comment that Axiom now supports examples of functions.
You add examples to documentation using ++X lines. For example,
pop_! : % - S
++ pop the first element off the array stack
++ It destructively modifies its argument
++
++X a:ArrayStack INT:= arrayStack [1,2,3,4,5]