没人答是因为不能分解,在有理域这就是个素多项式

Q := RationalField();
> P := PolynomialRing(Q);
F:= X^3+3*X^2+4 ;F;
Factorization(F);

X^3 + 3*X^2 + 4
[

]