Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

You can do:

sage: a = sqrt(6) * sqrt(3) * sqrt(2)
sage: a.canonicalize_radical()
6

canonicalize_radical is not parrt of the full_simplify method, IIRC because of some monodromy issues (winding around singularities in the complex plane does not commute with chosing a single square root), canonicalize_radical is not parrt of the full_simplify method anymore.

click to hide/show revision 2
No.2 Revision

You can do:

sage: a = sqrt(6) * sqrt(3) * sqrt(2)
sage: a.canonicalize_radical()
6

canonicalize_radical is not parrt of the full_simplify method, IIRC because of some monodromy issues (winding around singularities in the complex plane does not commute with chosing a single square root), canonicalize_radical is not parrt of the full_simplify method anymore.

Here, since everything is assumed to be real, there is no real issue.

click to hide/show revision 3
No.3 Revision

You can do:

sage: a = sqrt(6) * sqrt(3) * sqrt(2)
sage: a.canonicalize_radical()
6

canonicalize_radical is not parrt of the full_simplify method, IIRC because of some monodromy issues (winding around singularities in the complex plane does not commute with chosing a single square root), branch of a multi-valued function), canonicalize_radical is not parrt of the full_simplify method anymore.

Here, since everything is assumed to be real, there is no real issue.