factorWeylAlgebra r
Produces all the factorisations of the element r of a Weyl algebra (unless StopAfter is set to a finite value, in which case the algorithm stops after that many factorisations).
|
|
To reduce their number, two factorisations are considered equivalent if they can be related by (1) switching commuting irreducible factors or (2) switching monomials and degree 0 factors; a normal order is chosen where commuting factors are sorted, and monomials are pushed to the right/left if they're differential/not.
factorWeylAlgebra uses a variety of factorisation strategies, including the one in ``Factoring linear partial differential operators in n variables'', Mark Giesbrecht, Albert Heinle and Viktor Levandovskyy, Journal of Symbolic Computation Volume 75, July–August 2016, Pages 127-148.
The ring of r must have variables in the same order as those created by makeWeylAlgebra.
The object factorWeylAlgebra is a method function with options.
The source of this document is in WeylAlgebras/factorWA.m2:499:0.