> Which is not 3 ('q-3' does not return 0), although it can be > retract to AlgebraicNumber ('retract(q)-3' returns 0), I consider > this is a bug.
Yes, this must be a bug. Obviously simplifying again gives you the 3. (1) -> a := 3^(1/2)*3^(1/3)*3^(1/6) +-+3+-+6+-+ (1) \|3 \|3 \|3 Type: AlgebraicNumber (2) -> b := simplify a 1+-+ (2) \|3 Type: Expression(Integer) (3) -> simplify b (3) 3 Type: Expression(Integer) Ralf -- 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 fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.