CombinatorS
![TemplateBox[{}, CombinatorS]](Files/CombinatorS.en/17.png "TemplateBox[{}, CombinatorS]"){kind=small}
CombinatorS
represents the ![TemplateBox[{}, CombinatorS]](Files/CombinatorS.en/1.png "TemplateBox[{}, CombinatorS]"){kind=small}
combinator.
Details
- The
![TemplateBox[{}, CombinatorS]](Files/CombinatorS.en/2.png "TemplateBox[{}, CombinatorS]")
combinator has the property that ![TemplateBox[{}, CombinatorS]xyz](Files/CombinatorS.en/3.png "TemplateBox[{}, CombinatorS]xyz")
reduces to 
. - No transformations for CombinatorS are applied automatically.
- CombinatorS is output in StandardForm or TraditionalForm as
![TemplateBox[{}, CombinatorS]](Files/CombinatorS.en/5.png "TemplateBox[{}, CombinatorS]")
. This typeset form can be input using 
cS
.
Examples
open all close allBasic Examples (2)
Apply the standard reduction rules of combinatory logic:
CombinatorSxyz //. {CombinatorSx_y_z_ :> xz(yz), CombinatorKx_y_ :> x}Use the axioms of combinatory logic to prove the ![TemplateBox[{}, CombinatorS]](Files/CombinatorS.en/12.png "TemplateBox[{}, CombinatorS]"){kind=small}
identity:
FindEquationalProof[CombinatorS == (), "CombinatorAxioms"]Applications (1)
![TemplateBox[{}, CombinatorS]](Files/CombinatorS.en/13.png "TemplateBox[{}, CombinatorS]"){kind=small}
Wolfram Research (2020), CombinatorS, Wolfram Language function, https://reference.wolfram.com/language/ref/CombinatorS.html.
Text
Wolfram Research (2020), CombinatorS, Wolfram Language function, https://reference.wolfram.com/language/ref/CombinatorS.html.
CMS
Wolfram Language. 2020. "CombinatorS." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/CombinatorS.html.
APA
Wolfram Language. (2020). CombinatorS. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/CombinatorS.html