> To put this differently, much of Expression design is build > on concept of normal representation
Expression doesn't have "normal/canonical representation" because of Richardson's theorem (unable to check if an expression is identical to zero.). I wonder if AlgebraicNumber has "normal/canonical representation". I think so, by using minimal polynomial and root isolation. But this representation can quickly blowup in big degree and big coefficient minimal polynomial for relatively simple algebraic number. Currently, to find minimal polynomial of AN, you have to use 'ratPoly' from AlgebraicManipulations, which is not a builtin function of AN. About integrate(1/(sqrt(10) - x^2)^(1/2), x) if we replace 'sqrt(10)' with '1' or 'a', then that returns quickly. I think we should add a preprocess function to integration, to split off algebraic constant when possible. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
