Macaulay2 » Documentation
Packages » WeylAlgebras :: factorWeylAlgebra1
next | previous | forward | backward | up | index | toc

factorWeylAlgebra1 -- give one factorisation of a Weyl algebra element

Description

Produces one possible factorisation of the element r of a Weyl algebra. This is a shortcut for factorWeylAlgebra with optional argument StopAfter=>1. Note that alternate strategies are used if only a finite number of factorisation is required, so it may take much less time to compute, as on this example:

i1 : R = makeWA(QQ[x,y])

o1 = R

o1 : PolynomialRing, 2 differential variable(s)
 
i2 : u=dx^3+x^2-8; v=1/2*dx; U=u^2+4*v; V=u^3+3*(u*v+v*u);  -- V^2==U^3+8
 
i6 : factorWA1(U*V)

        6     2  3    4        2       3      2               9     2  6     4  3    6         5       6      3  2      2  3      4       4      2            2        3       2
o6 = (dx  + 2x dx  + x  + 6x*dx  - 16dx  - 16x  + 8dx + 64)(dx  + 3x dx  + 3x dx  + x  + 18x*dx  - 24dx  + 18x dx  - 48x dx  - 24x  + 39dx  + 45x dx - 144x*dx  + 192dx  + 192x  + 27x - 168dx - 512)

o6 : Expression of class Product

See also

For the programmer

The object factorWeylAlgebra1 is a function closure.

The source of this document is in WeylAlgebras/factorWA.m2:499:0.