Template:Mapping: Difference between revisions
Jump to navigation
Jump to search
Created page with "<includeonly>{{#if: {{{legend|}}} | Mapping: }}<span class="left-delim">[</span>{{bra| {{{1|0}}} }}{{#if: {{{2|}}}|, {{bra| {{{2|}}} }} }}{{#if: {{{3|}}}|, {{bra|..." |
+support for sval and gencom mappings |
||
| Line 1: | Line 1: | ||
<includeonly>{{# | <includeonly>{{#switch: {{{legend|}}} | 1 = [[Mapping]]: | 2 = [[Sval]] [[mapping]]: | 3 = [[Gencom]] [[mapping]]: }}<span class="left-delim">[</span>{{bra| {{{1|0}}} }}{{#if: {{{2|}}}|, {{bra| {{{2|}}} }} }}{{#if: {{{3|}}}|, {{bra| {{{3|}}} }} }}{{#if: {{{4|}}}|, {{bra| {{{4|}}} }} }}<span class="right-delim">]</span></includeonly><noinclude> | ||
This '''mapping''' template eases typing [[mapping]]s: it puts bra notation (<code>⟨</code> and <code>]</code>) around each of its arguments and left and right brackets outside (it also removes surrounding spaces). You may optionally include a legend. Mappings are supported up to rank-4. | This '''mapping''' template eases typing [[mapping]]s: it puts bra notation (<code>⟨</code> and <code>]</code>) around each of its arguments and left and right brackets outside (it also removes surrounding spaces). You may optionally include a legend. Mappings are supported up to rank-4. | ||
| Line 5: | Line 5: | ||
; You type | ; You type | ||
: <code><nowiki>{{mapping| 31 49 72 87 }}</nowiki></code> | : <code><nowiki>{{mapping| 31 49 72 87 }}</nowiki></code> | ||
: <code><nowiki>{{mapping| 1 0 -4 | 0 1 4 | : <code><nowiki>{{mapping| 1 0 -4 -13 | 0 1 4 10 }}</nowiki></code> | ||
:'''Tip''': adding spaces improves readability of the wiki markup. | :'''Tip''': adding spaces improves readability of the wiki markup. | ||
; You get | ; You get | ||
: {{{{PAGENAME}}| 31 49 72 87 }} | : {{{{PAGENAME}}| 31 49 72 87 }} | ||
: {{{{PAGENAME}}| 1 0 -4 -13 | 0 1 4 10 }} | : {{{{PAGENAME}}| 1 0 -4 -13 | 0 1 4 10 }} | ||
; To include a legend, type | |||
: <code><nowiki>{{mapping|legend=1| 1 0 0 0 | 0 1 1 2 | 0 0 2 -1 }}</nowiki></code> | |||
: <code><nowiki>{{mapping|legend=2| 1 0 0 0 | 0 1 1 2 | 0 0 2 -1 }}</nowiki></code> | |||
: <code><nowiki>{{mapping|legend=3| 1 0 0 0 | 0 1 1 2 | 0 0 2 -1 }}</nowiki></code> | |||
; So you get | |||
: {{{{PAGENAME}}|legend=1| 1 0 0 0 | 0 1 1 2 | 0 0 2 -1 }} | : {{{{PAGENAME}}|legend=1| 1 0 0 0 | 0 1 1 2 | 0 0 2 -1 }} | ||
: {{{{PAGENAME}}|legend=2| 1 0 0 0 | 0 1 1 2 | 0 0 2 -1 }} | |||
: {{{{PAGENAME}}|legend=3| 1 0 0 0 | 0 1 1 2 | 0 0 2 -1 }} | |||
== Technical note == | == Technical note == | ||
Revision as of 05:03, 27 May 2023
This mapping template eases typing mappings: it puts bra notation (⟨ and ]) around each of its arguments and left and right brackets outside (it also removes surrounding spaces). You may optionally include a legend. Mappings are supported up to rank-4.
Usage
- You type
{{mapping| 31 49 72 87 }}{{mapping| 1 0 -4 -13 | 0 1 4 10 }}
- Tip: adding spaces improves readability of the wiki markup.
- You get
- [⟨31 49 72 87]]
- [⟨1 0 -4 -13], ⟨0 1 4 10]]
- To include a legend, type
{{mapping|legend=1| 1 0 0 0 | 0 1 1 2 | 0 0 2 -1 }}{{mapping|legend=2| 1 0 0 0 | 0 1 1 2 | 0 0 2 -1 }}{{mapping|legend=3| 1 0 0 0 | 0 1 1 2 | 0 0 2 -1 }}
- So you get
- Mapping: [⟨1 0 0 0], ⟨0 1 1 2], ⟨0 0 2 -1]]
- Sval mapping: [⟨1 0 0 0], ⟨0 1 1 2], ⟨0 0 2 -1]]
- Gencom mapping: [⟨1 0 0 0], ⟨0 1 1 2], ⟨0 0 2 -1]]
Technical note
This template calls Template: Bra to render the brackets.