({{, (RefLink[TransformationFunctions, paclet:ref/TransformationFunctions])
is an option for (RefLink[Simplify, paclet:ref/Simplify]) and (RefLink[FullSimplify, paclet:ref/FullSimplify]) which gives the list of functions to apply to try to transform parts of an expression. }})

OpenersNotesSection(Spacer1)Details

The default setting (RefLink[TransformationFunctions, paclet:ref/TransformationFunctions])->(RefLink[Automatic, paclet:ref/Automatic]) uses a built-in collection of transformation functions.

(RefLink[TransformationFunctions, paclet:ref/TransformationFunctions])->{(Subscript[f, 1]),(Subscript[f, 2]),…} uses only the functions (Subscript[f, i]).

(RefLink[TransformationFunctions, paclet:ref/TransformationFunctions])->{(RefLink[Automatic, paclet:ref/Automatic]),(Subscript[f, 1]),(Subscript[f, 2]),…} uses built-in transformation functions together with the functions (Subscript[f, i]).

OpenersPrimaryExamplesSection(Spacer1)Examples  (2)

OpenersExampleSection0(Spacer1)Basic Examples  (2)

Specify that (RefLink[Simplify, paclet:ref/Simplify]) should use t as the only transformation:

t[e_]:=PolynomialReduce[e,{s^2+c^2-1},{c,s}][[2]]

Simplify[(c^3-s^3)^2-(s^3+c^3)^2,TransformationFunctions->{t}]

Here (RefLink[Simplify, paclet:ref/Simplify]) uses both t and all built-in transformations:

Simplify[(c^3-s^3)^2-(s^3+c^3)^2,TransformationFunctions->{Automatic,t}]

By default (RefLink[FullSimplify, paclet:ref/FullSimplify]) does not use (RefLink[Reduce, paclet:ref/Reduce]):

FullSimplify[Boole[E^x<7],x<3/2]

Specify that (RefLink[FullSimplify, paclet:ref/FullSimplify]) should use (RefLink[Reduce, paclet:ref/Reduce]) with respect to x over the real domain:

t[e_]:=Reduce[e,x,Reals]

FullSimplify[Boole[E^x<7],x<3/2,TransformationFunctions->{Automatic,t}]

({{DocumentationFooterIconsRelatedFunction.png, ({{See Also}, {(RefLink[Simplify, paclet:ref/Simplify])  ▪  (RefLink[FullSimplify, paclet:ref/FullSimplify])  ▪  (RefLink[ReplaceAll, paclet:ref/ReplaceAll])  ▪  (RefLink[ExcludedForms, paclet:ref/ExcludedForms])  ▪  (RefLink[FunctionExpand, paclet:ref/FunctionExpand])  ▪  (RefLink[ComplexityFunction, paclet:ref/ComplexityFunction])}})}})

({{DocumentationFooterIconsRelatedTutorial.png, ({{Tutorials}, {▪(RefLinkPlain[Simplification, paclet:tutorial/Simplification])}})}})

({{DocumentationFooterIconsRelatedGuide.png, ({{Related Guides}, {▪(RefLinkPlain[Algebraic Transformations, paclet:guide/AlgebraicTransformations])}})}})