> 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.

Reply via email to