RobinHankin / mvp

https://robinhankin.github.io/mvp/
8 stars 3 forks source link

factorisation of multivariate polynomials #64

Open RobinHankin opened 1 year ago

RobinHankin commented 1 year ago

There is a nice paper on this: Paul S. Wang 1978. "An improved multivariate factoring algorithm", Mathematics of Computation, volume 32 number 144, pp1215-1231.

For $U(x,x_2,\ldots,x_t)=\mathbb{Z}[x,x_2,\ldots,x_t]$ he writes

$$U(x,\ldots,x_t)=V_nx^n+\cdots+V_1x+V_0$$

and package idiom for this is to use series():

> series(as.mvp("1 + 7*x + 8*x*y + x^6*z + 3*a*b*x^6"),"x")
x^0(1)  + x^1(7  +  8 y)  + x^6(3 a b  +  z)