(1) -> )set output tex off
 

)set output algebra on

integrate(1/(x^7+x^6+x^5+x^4+x^3+x^2+x+1),x)

   (1)
             +-+    2         +-+     2           +-+
       log(x\|2  + x  + 1) - \|2 log(x  + 1) + 2 \|2 log(x + 1)
     + 
                 +-+    2            +-+            +-+
       - log(- x\|2  + x  + 1) + (2 \|2  + 2)atan(x\|2  + 1)
     + 
             +-+            +-+           +-+
       (- 2 \|2  + 2)atan(x\|2  - 1) + 2 \|2 atan(x)
  /
        +-+
     8 \|2

Apparently these are "rootOf" expressions:

%%F0::InputForm

   (2)  %%F0

%%F1::InputForm

   (3)  %%F1

We can in fact solve for some of these.

)set output tex on
 

)set output algebra off

definingPolynomial %%F0

(1)

F0:=radicalSolve(%::UP('%%F0,COMPLEX FRAC INT))

   Cannot convert the value from type Expression(Integer) to 
      UnivariatePolynomial(%%F0,Complex(Fraction(Integer))) .

definingPolynomial %%F1

(2)

F11:=subst(%,`%%F0=rhs(F0.1))::UP('%%F1,?)

   There are no library operations named F0 
      Use HyperDoc Browse or issue
                                 )what op F0
      to learn if there is any operation containing " F0 " in its name.

   Cannot find a definition or applicable library operation named F0 
      with argument type(s) 
                               PositiveInteger

      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.

Why doesn't Axiom automatically provide this sort of information?

Perhaps related to #262

Severity: normal => wishlist