The PerformOnAnticommutativeSystem command performs, in a system of of expressions/relations involving anticommutative variables, an operation (Maple command) originally programmed to work only with commutative variables.

For Maple 16, only commands having a syntax similar to the Maple differential equation solvers dsolve or pdsolve are handled properly, although PerformOnAnticommutativeSystem will accept any other command and operation, and attempt to perform the operation as described below.

The first argument is the command that will perform the operation. The second argument is a list of arguments that will be sent to command after being pre-processed as explained in the itemization below. The remaining arguments will also be sent to command but are not supposed to require any pre-processing; command is expected to handle them regardless of the presence of anticommutative variables within them or in list_of_arguments.

The output of PerformOnAnticommutativeSystem is then what would be the output of command if it were capable of handling anticommutative variables. In this sense PerformOnAnticommutativeSystem extends the ability of existing Maple commands, originally programmed only to work on commutative domains, to handle extended domains involving anticommutative variables. The strategy used in PerformOnAnticommutativeSystem is as follows:

The list_of_arguments involving anticommutative variables is viewed as a system of relations (equations would be a special case of them) where each relation is expanded as a polynomial in its anticommutative variables (see ToFieldComponents).

Each polynomial is split into the Coefficients of the anticommutative variables transforming each relation into a system of relations, now involving only commutative variables. At this point the given problem got mapped into one that command is expected to handle.

The resulting system in step 2 is sent to command that performs the operation.

The result of step 3 is processed to reconstruct the original functions of anticommutative variables departing from its commutative components (see ToSuperfields), and the result returned.

PerformOnAnticommutativeSystem was written as an experimental command by the research team at Maplesoft, aiming at bridging the gap between thousands of programs originally written for commutative domains, and the computational needs of noncommutative geometry and its applications in Mathematics and Physics. There is a great deal of scope for changing and improving things in PerformOnAnticommutativeSystem. You are welcome to contribute your ideas by email to support@maplesoft.com.

$\mathrm{with}\left(\mathrm{Physics}\right)\:$

$\mathrm{Setup}\left(\mathrm{mathematicalnotation}\=\mathrm{true}\right)$

$\left[\mathrm{mathematicalnotation}=\mathrm{true}\right]$

$\mathrm{Setup}\left(\mathrm{anticommutativepre}\=\left\{\mathrm{\θ}\,Q\right\}\right)$

$\mathrm{*\; Partial\; match\; of\; \text{'}}\mathrm{anticommutativepre}\mathrm{\text{'}\; against\; keyword\; \text{'}}\mathrm{anticommutativeprefix}\text{'}$

$\mathrm{\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_}$

$\left[\mathrm{anticommutativeprefix}=\left\{Q\,\mathrm{\theta }\right\}\right]$

$\frac{{\partial }^2}{\partial \mathrm{\θ}\partial x}Q\left(x\,y\,\mathrm{\θ}\right)\=0$

$\frac{{\partial }^2}{\partial x\partial \mathrm{\theta }}Q\left(x\,y\,\mathrm{\theta }\right)=0$

$\mathrm{PerformOnAnticommutativeSystem}\left(\mathrm{pdsolve}\,\left[\right]\right)$

$Q\left(x\,y\,\mathrm{\theta }\right)=\mathrm{\_F1}\left(x\,y\right)\mathrm{\_\λ1}+\mathrm{f\_\_3}\left(y\right)\mathrm{\theta }$

$\mathrm{pdsolve}\left(\right)$

$Q\left(x\,y\,\mathrm{\theta }\right)=\mathrm{f\_\_4}\left(x\,y\right)\mathrm{\_\λ1}+\mathrm{f\_\_3}\left(y\right)\mathrm{\theta }$

$\mathrm{PDEtools}:-\mathrm{declare}\left(Q\left(x\,y\,{\mathrm{\θ}}_1\,{\mathrm{\θ}}_2\right)\right)$

$Q\left(x\,y\,{\mathrm{\theta }}_1\,{\mathrm{\theta }}_2\right)\mathrm{will\; now\; be\; displayed\; as}Q$

$q≔\mathrm{PDEtools}:-\mathrm{diff\_table}\left(Q\left(x\,y\,{\mathrm{\θ}}_1\,{\mathrm{\θ}}_2\right)\right)\:$

${\mathrm{pde}}_1≔q_{x\,y\,{\mathrm{\θ}}_1}\+q_{x\,y\,{\mathrm{\θ}}_2}-q_{y\,{\mathrm{\θ}}_1\,{\mathrm{\θ}}_2}\=0$

$\mathrm{diff}\left(\mathrm{diff}\left(\mathrm{diff}\left(Q\left(x\,y\,{\mathrm{\θ}}_1\,{\mathrm{\θ}}_2\right)\,x\right)\,y\right)\,{\mathrm{\θ}}_1\right)\+\mathrm{diff}\left(\mathrm{diff}\left(\mathrm{diff}\left(Q\left(x\,y\,{\mathrm{\θ}}_1\,{\mathrm{\θ}}_2\right)\,x\right)\,y\right)\,{\mathrm{\θ}}_2\right)-\mathrm{diff}\left(\mathrm{diff}\left(\mathrm{diff}\left(Q\left(x\,y\,{\mathrm{\θ}}_1\,{\mathrm{\θ}}_2\right)\,y\right)\,{\mathrm{\θ}}_1\right)\,{\mathrm{\θ}}_2\right)\=0$

${\mathrm{pde}}_2≔q_{{\mathrm{\θ}}_1}\=0$

$\mathrm{diff}\left(Q\left(x\,y\,{\mathrm{\θ}}_1\,{\mathrm{\θ}}_2\right)\,{\mathrm{\θ}}_1\right)\=0$

$\mathrm{PerformOnAnticommutativeSystem}\left(\mathrm{PDEtools}:-\mathrm{ReducedForm}\,\left[{\mathrm{pde}}_1\,{\mathrm{pde}}_2\right]\right)$

$\mathrm{casesplit/ans}\left(\left[\mathrm{diff}\left(\mathrm{diff}\left(\mathrm{diff}\left(Q\left(x\,y\,{\mathrm{\θ}}_1\,{\mathrm{\θ}}_2\right)\,x\right)\,y\right)\,{\mathrm{\θ}}_2\right)\right]\,\left[\right]\right)$

$\mathrm{Setup}\left(\mathrm{anticommutativepre}\=\left\{\mathrm{\Υ}\,\mathrm{\Κ}\right\}\,\mathrm{additionally}\right)$

$\mathrm{*\; Partial\; match\; of\; \text{'}}\mathrm{anticommutativepre}\mathrm{\text{'}\; against\; keyword\; \text{'}}\mathrm{anticommutativeprefix}\text{'}$

$\mathrm{\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_}$

$\left[\mathrm{anticommutativeprefix}=\left\{\mathrm{{\rm K}}\,Q\,\mathrm{\Upsilon }\,\mathrm{\_\λ}\,\mathrm{\theta }\right\}\right]$

$\mathrm{PDEtools}:-\mathrm{declare}\left(\left(\mathrm{\Υ}\,\mathrm{\Κ}\,\mathrm{\Ξ}\,\mathrm{\Τ}\right)\left(x\,y\,{\mathrm{\θ}}_1\,{\mathrm{\θ}}_2\right)\right)$

$\mathrm{\Upsilon }\left(x\,y\,{\mathrm{\theta }}_1\,{\mathrm{\theta }}_2\right)\mathrm{will\; now\; be\; displayed\; as}\mathrm{\Upsilon }$

$\mathrm{{\rm K}}\left(x\,y\,{\mathrm{\theta }}_1\,{\mathrm{\theta }}_2\right)\mathrm{will\; now\; be\; displayed\; as}\mathrm{{\rm K}}$

$\mathrm{\Xi }\left(x\,y\,{\mathrm{\theta }}_1\,{\mathrm{\theta }}_2\right)\mathrm{will\; now\; be\; displayed\; as}\mathrm{\Xi }$

$\mathrm{{\rm T}}\left(x\,y\,{\mathrm{\theta }}_1\,{\mathrm{\theta }}_2\right)\mathrm{will\; now\; be\; displayed\; as}\mathrm{{\rm T}}$

$U≔\mathrm{PDEtools}:-\mathrm{diff\_table}\left(\mathrm{\Υ}\left(x\,y\,{\mathrm{\θ}}_1\,{\mathrm{\θ}}_2\right)\right)\:$

$K≔\mathrm{PDEtools}:-\mathrm{diff\_table}\left(\mathrm{\Κ}\left(x\,y\,{\mathrm{\θ}}_1\,{\mathrm{\θ}}_2\right)\right)\:$

$X≔\mathrm{PDEtools}:-\mathrm{diff\_table}\left(\mathrm{\Ξ}\left(x\,y\,{\mathrm{\θ}}_1\,{\mathrm{\θ}}_2\right)\right)\:$

$T≔\mathrm{PDEtools}:-\mathrm{diff\_table}\left(\mathrm{\Τ}\left(x\,y\,{\mathrm{\θ}}_1\,{\mathrm{\θ}}_2\right)\right)\:$

$\mathrm{sys}≔\left[U_{x\,x\,x}-U_y\+a{\mathrm{\θ}}_2{\mathrm{\θ}}_1{U}_{x\,x}\+a{U}_{x\,{\mathrm{\θ}}_1}{\mathrm{\θ}}_2\=0\,-T_{x\,x\,x}-3X_x\+T_y-a{\mathrm{\θ}}_2{T}_{x\,{\mathrm{\θ}}_1}-a{T}_{x\,x}{\mathrm{\θ}}_2{\mathrm{\θ}}_1\=0\,-K_{x\,x\,x}\+K_y\+6U_x-3a{U}_x\+a{K}_{x\,{\mathrm{\θ}}_1}{\mathrm{\θ}}_2-a{\mathrm{\θ}}_2{\mathrm{\θ}}_1{K}_{x\,x}\+a{U}_{x\,{\mathrm{\θ}}_2}{\mathrm{\θ}}_2\=0\,-6T_x\+3a{T}_x-a{\mathrm{\θ}}_2{T}_{x\,{\mathrm{\θ}}_2}\=0\,-6K_x\+a{K}_{x\,{\mathrm{\θ}}_2}{\mathrm{\θ}}_2\+3a{K}_x\=0\,-X_{x\,x\,x}\+3U_{x\,x\,{\mathrm{\θ}}_2}\+X_y\+6U_{{\mathrm{\θ}}_1}\+a{\mathrm{\θ}}_2{U}_{{\mathrm{\θ}}_2\,{\mathrm{\θ}}_1}-3a{U}_{{\mathrm{\θ}}_1}-a{\mathrm{\θ}}_2{X}_{x\,{\mathrm{\θ}}_1}-a{X}_{x\,x}{\mathrm{\θ}}_2{\mathrm{\θ}}_1\+2a{U}_{x\,{\mathrm{\θ}}_2}{\mathrm{\θ}}_2{\mathrm{\θ}}_1\=0\,-3T_{x\,x\,{\mathrm{\θ}}_2}-3X_{{\mathrm{\θ}}_2}-a{T}_{{\mathrm{\θ}}_2\,{\mathrm{\θ}}_1}{\mathrm{\θ}}_2-6T_{{\mathrm{\θ}}_1}\+3a{T}_{{\mathrm{\θ}}_1}-2a{\mathrm{\θ}}_2{\mathrm{\θ}}_1{T}_{x\,{\mathrm{\θ}}_2}\=0\,-3K_{x\,x\,{\mathrm{\θ}}_2}\+6U_{{\mathrm{\θ}}_2}\+12X_x-6K_{{\mathrm{\θ}}_1}-3a{U}_{{\mathrm{\θ}}_2}-6a{X}_x\+3a{K}_{{\mathrm{\θ}}_1}\+a{\mathrm{\θ}}_2{K}_{{\mathrm{\θ}}_2\,{\mathrm{\θ}}_1}-2a{K}_{x\,{\mathrm{\θ}}_2}{\mathrm{\θ}}_2{\mathrm{\θ}}_1-a{\mathrm{\θ}}_2{X}_{x\,{\mathrm{\θ}}_2}\=0\,-6T_{{\mathrm{\θ}}_2}\+3a{T}_{{\mathrm{\θ}}_2}\=0\,-6K_{{\mathrm{\θ}}_2}\+3a{K}_{{\mathrm{\θ}}_2}\=0\,-a{T}_x{\mathrm{\θ}}_2\=0\,a{\mathrm{\θ}}_2{T}_{{\mathrm{\θ}}_2}\=0\,-3T_{x\,x}-2a{T}_x{\mathrm{\θ}}_2{\mathrm{\θ}}_1-a{\mathrm{\θ}}_2{T}_{{\mathrm{\θ}}_1}\=0\,-a{\mathrm{\θ}}_2{T}_{{\mathrm{\θ}}_2}\=0\,6T_{x\,{\mathrm{\θ}}_2}\+2a{\mathrm{\θ}}_2{\mathrm{\θ}}_1{T}_{{\mathrm{\θ}}_2}\=0\,-3K_{x\,x}-2a{\mathrm{\θ}}_2{\mathrm{\θ}}_1{K}_x\+a{K}_{{\mathrm{\θ}}_1}{\mathrm{\θ}}_2\+a{U}_{\[\]}\+2a{X}_x{\mathrm{\θ}}_2\=0\,a{K}_{{\mathrm{\θ}}_2}{\mathrm{\θ}}_2\=0\,-6K_{x\,{\mathrm{\θ}}_2}-2a{\mathrm{\θ}}_2{X}_{{\mathrm{\θ}}_2}-2a{K}_{{\mathrm{\θ}}_2}{\mathrm{\θ}}_2{\mathrm{\θ}}_1\=0\,-a{\mathrm{\θ}}_2{K}_{\[\]}\+3U_{x\,{\mathrm{\θ}}_2}-3X_{x\,x}-a{\mathrm{\θ}}_2{X}_{{\mathrm{\θ}}_1}-a{\mathrm{\θ}}_1{U}_{\[\]}\+a{X}_x{\mathrm{\θ}}_2{\mathrm{\θ}}_1\=0\,-3T_{x\,{\mathrm{\θ}}_2}\=0\,-3K_{x\,{\mathrm{\θ}}_2}-a{\mathrm{\θ}}_2{X}_{{\mathrm{\θ}}_2}\=0\,3X_{x\,{\mathrm{\θ}}_2}-a{\mathrm{\θ}}_2{\mathrm{\θ}}_1{X}_{{\mathrm{\θ}}_2}\=0\,-3T_{{\mathrm{\θ}}_2}\=0\,-3K_{{\mathrm{\θ}}_2}\=0\,-3T_x\=0\,3T_{{\mathrm{\θ}}_2}\=0\right]$

$\mathrm{sys}≔\left[\mathrm{diff}\left(\mathrm{diff}\left(\mathrm{diff}\left(\mathrm{\Υ}\left(x\,y\,{\mathrm{\θ}}_1\,{\mathrm{\θ}}_2\right)\,x\right)\,x\right)\,x\right)-\mathrm{diff}\left(\mathrm{\Υ}\left(x\,y\,{\mathrm{\θ}}_1\,{\mathrm{\θ}}_2\right)\,y\right)-a{\mathrm{\theta }}_1{\mathrm{\theta }}_2\mathrm{diff}\left(\mathrm{diff}\left(\mathrm{\Υ}\left(x\,y\,{\mathrm{\θ}}_1\,{\mathrm{\θ}}_2\right)\,x\right)\,x\right)+a\mathrm{diff}\left(\mathrm{diff}\left(\mathrm{\Υ}\left(x\,y\,{\mathrm{\θ}}_1\,{\mathrm{\θ}}_2\right)\,x\right)\,{\mathrm{\θ}}_1\right){\mathrm{\theta }}_2=0\,-\mathrm{diff}\left(\mathrm{diff}\left(\mathrm{diff}\left(\mathrm{\Τ}\left(x\,y\,{\mathrm{\θ}}_1\,{\mathrm{\θ}}_2\right)\,x\right)\,x\right)\,x\right)-3\mathrm{diff}\left(\mathrm{\Ξ}\left(x\,y\,{\mathrm{\θ}}_1\,{\mathrm{\θ}}_2\right)\,x\right)+\mathrm{diff}\left(\mathrm{\Τ}\left(x\,y\,{\mathrm{\θ}}_1\,{\mathrm{\θ}}_2\right)\,y\right)-a{\mathrm{\theta }}_2\mathrm{diff}\left(\mathrm{diff}\left(\mathrm{\Τ}\left(x\,y\,{\mathrm{\θ}}_1\,{\mathrm{\θ}}_2\right)\,x\right)\,{\mathrm{\θ}}_1\right)+a\mathrm{diff}\left(\mathrm{diff}\left(\mathrm{\Τ}\left(x\,y\,{\mathrm{\θ}}_1\,{\mathrm{\θ}}_2\right)\,x\right)\,x\right){\mathrm{\theta }}_1{\mathrm{\theta }}_2=0\,-\mathrm{diff}\left(\mathrm{diff}\right)\right]$