# Differences

This shows you the differences between two versions of the page.

 sequence_reversion [2014/02/08 18:25]nikolaj sequence_reversion [2014/03/21 11:11] (current) Both sides previous revision Previous revision 2014/02/08 18:28 nikolaj 2014/02/08 18:25 nikolaj 2014/02/08 18:25 nikolaj created Next revision Previous revision 2014/02/08 18:28 nikolaj 2014/02/08 18:25 nikolaj 2014/02/08 18:25 nikolaj created Line 1: Line 1: ===== Sequence reversion ===== ===== Sequence reversion ===== ==== Function ==== ==== Function ==== - | @#88DDEE: $X$ ... set | + | @#55CCEE: context ​    | @#55CCEE: $X$ ... set | - | @#FFBB00: $\mathrm{rev}:​ \mathrm{FiniteSequence}(X)\to\mathrm{FiniteSequence}(X)$ | + | @#FFBB00: definiendum ​| @#FFBB00: $\mathrm{rev}:​ \mathrm{FiniteSequence}(X)\to\mathrm{FiniteSequence}(X)$ | - | @#55EE55: $\pi_n(\mathrm{length}(S))=\pi_{\mathrm{length}{S}+1-n}(S)$ | + | @#55EE55: postulate ​  | @#55EE55: $\pi_n(\mathrm{length}(S))=\pi_{\mathrm{length}(S)+1-n}(S)$ | ==== Discussion ==== ==== Discussion ==== Line 11: Line 11: === Subset of === === Subset of === [[Idempotent function]] [[Idempotent function]] - === Requirements ​=== + === Context ​=== [[Sequence length]] [[Sequence length]]