/*from macsyma 2.1 
RADEXPAND default:TRUE If set to ALL will cause nth roots of factors
of a product which are powers of n to be pulled outside of the
radical.  E.g. if RADEXPAND is ALL, SQRT(16*X^2) will become 4*X .
Also, if RADEXPAND is ALL,  SQRT(X*Y) will become SQRT(X)*SQRT(Y)
.  In particular, consider SQRT(X^2).  (a) If RADEXPAND is ALL or
ASSUME(X>0) has been done, SQRT(X^2) will   become X. (b) If
RADEXPAND is TRUE and DOMAIN is REAL (its default), SQRT(X^2)   will
become ABS(X). (c) If RADEXPAND is FALSE, or RADEXPAND is TRUE and
DOMAIN is COMPLEX,   SQRT(X^2) will be returned.  (The notion of
DOMAIN with settings of REAL or COMPLEX is still in  its infancy.
Note that its setting here only matters when RADEXPAND is
 TRUE.)  Do EXAMPLE(RADEXPAND); for an example.  See also RADCAN,
ROOTSCONTRACT, ROOTSCONMODE, DENEST_SQRT.   */