Is there a reference manual that describes the operation details and available CAS functions?
The i41 CAS is based on version 3.8 of REDUCE, a system for doing scalar, vector and matrix algebra, and arbitrary precision numerical calculations. The online REDUCE User’s Manual is a comprehensive and detailed reference. The same manual is also available in PDF format here. REDUCE has a extremely rich library of user contributed packages for a wide variety of applications ranging from extending REDUCE’s built-in general capabilities like symbolic integration to provide new capabilities for specialized fields such as differential geometry, vector calculus, linear algebra, tensor manipulation, physics quantum operator computations, etc. The available packages and their documentation is available at the REDUCE Documentation Page. The majority of the packages listed there are included in the i41 CAS. To use an optional package, use the “load_package” command. For example, to load the Vector algebra package use the CAS command “load_package avector$”.