Work with non-commutative variables in the reduce-2 system for analytical calculations

Publisher Website
Google Scholar
Abstract
A brief description and examples of using a program package for handling non-commutative variables in the REDUCE-2 system are presented. The package facilitates work with arbitrary commutation rules. The user may declare operators, variables, and procedures to be non-commutative, and introduce the rules for their rearrangement. Tools are included for reducing delta functions and Kronecker symbols in expressions involving non-commutative variables. During calculation, expressions are rearranged according to the rules introduced by the user, and similar terms are grouped together with explicit singling out of the non-commutative part.

This publication has 2 references indexed in Scilit: