Content deleted Content added
statement parameter Tags: Mobile edit Mobile web edit Advanced mobile edit |
m syntaxhighlight lang="wikitext" |
||
| (6 intermediate revisions by 4 users not shown) | |||
Line 1:
{{Documentation subpage}}
<!-- Please place categories where indicated at the bottom of this page and interwikis at Wikidata (see [[Wikipedia:Wikidata]]) -->
{{Template shortcut|Infobox theorem|Infobox proposition}}
{{Lua|Module:Infobox|Module:InfoboxImage|Module:Check for unknown parameters}}
{{Infobox mathematical statement
| name = Poincaré conjecture
Line 23 ⟶ 26:
== Usage ==
The '''Template:Infobox mathematical statement''' generates a right-hand side infobox, based on the specified parameters. To use this template, copy the following code in your article and fill in as appropriate:
<syntaxhighlight lang="wikitext">
{{Infobox mathematical statement
| name =
Line 31 ⟶ 34:
| field =
| statement =
| symbolic statement =
| conjectured by =
| conjecture date =
Line 44 ⟶ 48:
| consequences =
}}
</syntaxhighlight>
All parameters are optional.
; <code>name</code>: Name at the top of the infobox; should be the name of the statement, e.g. <code>Strong multiplicity one theorem</code>, <code>Zorn's lemma</code>. Defaults to page name.
; <code>image</code>: Image, e.g. <code><nowiki>xxx.svg</nowiki></code>.
; <code>caption</code>: Caption.
; <code>type</code>: The current [[Theorem#Terminology|type of statement]], e.g. <code>Theorem</code>, <code>Conjecture</code>, <code>Lemma</code>, <code>Postulate</code>, <code>Axiom</code>.
; <code>field </code>: The branch(es) of mathematics to which the statement belong(s), e.g. <code>Number theory</code>, <code>Algebraic geometry and algebraic topology</code>.
; <code>statement</code>: The mathematical statement.
; <code>symbolic statement</code>: A symbolic version of the mathematical statement when a prose version is already given.
; <code>conjectured by</code>: Name of person(s) who first posed the statement.
; <code>conjectured date</code>: Date(s) of when the statement was first posed.
Line 67 ⟶ 72:
; <code>consequences</code>: Statement(s) that are implied by the current one.
<templatedata>
{
"params": {
"titlestyle": {
"label": "Title style",
"description": "Inline CSS to style the title parameter.",
"type": "string"
},
"name": {
"label": "Name",
"description": "Name of the mathematical statement that appears at the top of the infobox.",
"type": "wiki-page-name",
"autovalue": "{{PAGENAMEBASE}}",
"suggested": true
},
"image": {
"label": "Image",
"description": "Image representing the mathematical statement.",
"type": "wiki-file-name",
"suggested": true
},
"image_size": {
"aliases": [
"imagesize"
],
"label": "Image size",
"description": "How large the image should be.",
"type": "string",
"suggested": true
},
"alt": {
"label": "Alternative text",
"description": "Alternative text describing an image, which is spoken out loud by screen reader devices",
"type": "string",
"suggested": true
},
"caption": {
"label": "Caption",
"description": "Descriptive text that appears below the image.",
"suggested": true
},
"type": {
"label": "Type",
"description": "Type of mathematical statement",
"type": "content",
"suggestedvalues": [
"[[Theorem]]",
"[[Conjecture]]",
"[[Lemma]]",
"[[Postulate]]",
"[[Axiom]]"
],
"suggested": true
},
"field": {
"label": "Field",
"description": "One or more branch that the mathematical statement falls under",
"example": "Convex geometry, algebraic topology",
"suggested": true
},
"statement": {
"label": "Statement",
"description": "The mathematical statement.",
"type": "content",
"suggested": true
},
"symbolic statement": {
"label": "Symbolic statement",
"description": "A symbolic version of the mathematical statement when a prose version is already given.",
"type": "content",
"suggested": true
},
"conjectured by": {
"label": "Conjectured by",
"description": "Name of person(s) who first posed the statement.",
"type": "content",
"suggested": true
},
"conjecture date": {
"label": "Conjectured in",
"description": "Date(s) of when the statement was first posed.",
"type": "content",
"suggested": true
},
"first stated by": {
"label": "First stated by",
"description": "Name of person(s) who first posed the statement (alternative to using the word \"conjectured\").",
"type": "content",
"suggested": true
},
"first stated date": {
"label": "First stated in",
"description": "Date(s) of when the statement was first posed (alternative to using the word \"conjectured\").",
"type": "content",
"suggested": true
},
"first proof by": {
"label": "First proof by",
"description": "Name of person(s) who first proved the statement.",
"type": "content",
"suggested": true
},
"first proof date": {
"label": "First proof in",
"description": "Date(s) of when the statement was first proven.",
"type": "content",
"suggested": true
},
"implied by": {
"label": "Implied by",
"description": "Statement(s) that imply the current one.",
"type": "content",
"suggested": true
},
"open problem": {
"label": "Open problem",
"description": "Is this an open problem? Typical values are Yes or No, though something more specific could be put here.",
"example": "Only one example known",
"type": "string",
"suggestedvalues": [
"Yes",
"No",
"Only one example known"
],
"suggested": true
},
"known cases": {
"label": "Known cases",
"description": "The cases for which the statement is known.",
"suggested": true
},
"equivalent to": {
"label": "Equivalent to",
"description": "Statement(s) that both imply and are implied by the current one.",
"type": "content",
"suggested": true
},
"generalizations": {
"label": "Generalizations",
"description": "Statement(s) that generalize the current one.",
"type": "content",
"suggested": true
},
"consequences": {
"label": "Consequences",
"description": "Statement(s) that are implied by the current one.",
"type": "content",
"suggested": true
}
},
"description": "Infobox for a logical statement in mathematics that can either be true or false. Can be used to describe theorems, conjectures, lemmas, postulates, and axioms.",
"format": "block"
}
</templatedata>
== See also ==
* [[WP:Infobox]]
* {{tl|Infobox mathematical function}}
<includeonly>{{basepage subpage|
| |||