Skip to content

Compose ​

A name from the enumeratio catalogue with no kernel of its own yet; this page carries its crosswalk only.

Wolfram's own Composition, mapped through for the transpiler and the oracle but not yet written up here.

✓ checked against that system · ! checked, with disagreements (hover a chip)Wolfram LanguageComposition!
Compose(...)Wolfram's own Composition, mapped through for the transpiler and the oracle but not yet written up here.
Typed signatures
TypePackageApplies
(any+) -> functioncombinatoricsalways

Domain: Wolfram

Examples

Basic #
live ↗
InCompose(f,g,h)⊲x\mathrm{Compose}(f, g, h)\lhd xOutf(g(h(x)))f(g(h(x)))
Scope #
live ↗
InCompose(f,g,h)⊲[x,y,z]\mathrm{Compose}(f, g, h)\lhd\bigl\lbrack x, y, z\bigr\rbrackOutf(g(h([x,y,z])))f(g(h(\bigl\lbrack x, y, z\bigr\rbrack)))
live ↗
InCompose(f,Identity,g)\mathrm{Compose}(f, \mathrm{Identity}, g)Out(_composed⁡ ⁣:any)↦ComposeApply([f,Identity,g],_composed⁡)(\operatorname{\_composed}\colon any)↦\mathrm{ComposeApply}(\bigl\lbrack f, \mathrm{Identity}, g\bigr\rbrack, \operatorname{\_composed})
Applications #
live ↗
InCompose(Array(_1⁡↦f1⁡,10))⊲x\mathrm{Compose}(\mathrm{Array}(\operatorname{\_1}↦\operatorname{f^1}, 10))\lhd xOutCompose([f1⁡,f1⁡,f1⁡,f1⁡,f1⁡,f1⁡,f1⁡,f1⁡,f1⁡,f1⁡])⊲x\mathrm{Compose}(\bigl\lbrack\operatorname{f^1}, \operatorname{f^1}, \operatorname{f^1}, \operatorname{f^1}, \operatorname{f^1}, \operatorname{f^1}, \operatorname{f^1}, \operatorname{f^1}, \operatorname{f^1}, \operatorname{f^1}\bigr\rbrack)\lhd x
Properties #
live ↗
InCompose(f)\mathrm{Compose}(f)Out(_composed⁡ ⁣:any)↦ComposeApply([f],_composed⁡)(\operatorname{\_composed}\colon any)↦\mathrm{ComposeApply}(\bigl\lbrack f\bigr\rbrack, \operatorname{\_composed})
live ↗
InCompose(f,g)⊲x\mathrm{Compose}(f, g)\lhd xOutf(g(x))f(g(x))
live ↗
InCompose(f,f,f)⊲x\mathrm{Compose}(f, f, f)\lhd xOutf(f(f(x)))f(f(f(x)))
About
Examples7
Checked againstWolfram Language 5 agree2 differ
CrosswalkWolfram Language