Tutorial: how to create noncommutative symbols?
authorRichard Kreckel <kreckel@ginac.de>
Tue, 24 Nov 2015 12:02:46 +0000 (13:02 +0100)
committerRichard Kreckel <kreckel@ginac.de>
Tue, 24 Nov 2015 12:02:46 +0000 (13:02 +0100)
This seems to be frequently asked:
<http://www.ginac.de/pipermail/ginac-devel/2015-November/002213.html>

doc/tutorial/ginac.texi

index dbbf235..1b8a1a6 100644 (file)
@@ -3033,6 +3033,8 @@ canonicalize themselves according to rules specified in the implementation
 of the non-commutative classes. The drawback is that to work with other than
 the built-in algebras you have to implement new classes yourself. Both
 symbols and user-defined functions can be specified as being non-commutative.
+For symbols, this is done by subclassing class symbol; for functions,
+by explicitly setting the return type (@pxref{Symbolic functions}).
 
 @cindex @code{return_type()}
 @cindex @code{return_type_tinfo()}