Factorization

 

In Axiom

For comparison with other CAS choose from: Derive Macsyma Maple Mathematica Reduce

inputs outputs

• factorization is the transformation of a polynomial into a product of polynomials

      factor(a**2-b**2)
  

      - (b - a)(b + a)
                                              Type: Factored Polynomial Integer

      factor(a**2+b**2, [rootOf(i^2 + 1)])
  

           1        1
      (b - - a)(b + - a)
           i        i
                                      Type: Factored Polynomial AlgebraicNumber

      fa:= (x**2*z+y**4*z**2+5)* _
  
           (x*y**3+z**2)*        _
  
           (-x**3*y+z**2+3)*     _
  
           (x**3*y**4+z**2)
  

        4 8    2 7     3 8      7    3 5     4      6
       y z  + x z  + (x y  + x y  - x y  + 3y  + 5)z
     +
         5 4    3 3    5      2  5
       (x y  + x y  - x y + 3x )z
     +
         4 11    6 9       4     3  8       7     3 4       3     3        4
       (x y   - x y  + (- x  + 3x )y  + 3x y  + 5x y  + 5x y  - 5x y + 15)z
     +
         6 7    8 5       6     5  4     3 3  3
       (x y  - x y  + (- x  + 3x )y  + 3x y )z
     +
           7 12     4 11     4 7     6 5        4      3  4        3  2
       (- x y   + 3x y   + 5x y  - 5x y  + (- 5x  + 15x )y  + 15x y )z
     +
           9 8     6 7       7 8      4 7
       (- x y  + 3x y )z - 5x y  + 15x y
                                                       Type: Polynomial Integer

      factor fa
  

        2    3        2      3   2    3 4   4 2    2
      (z  - x y + 3)(z  + x y )(z  + x y )(y z  + x z + 5)
                                              Type: Factored Polynomial Integer