See examples in Express.mw
simplifyradical=e->if(has(e,I),applytoRe/Im,signum(e)*sqrt(expand(rationalize((radnormal(e)^2)))))
a patch for standard simplify command.coeffs2(e,vars::list,$)::list([p1,...,pN,c])
user-friendly version of coeffs command.idExch(e,A,id1,id2)
exchange indexes id1 and id2
at each occurence of A::name in expression e.idSym(e,A,i,j,k,...)
symmetrize expression over pair or triple of indexes.idASym(e,A,i,j)
antisymmetrize expression over pair of indexes.