>WOSlinker: syntaxhighlight lang="wikitext"

2023-05-18T17:19:11Z

syntaxhighlight lang="wikitext"

New page

{{Documentation subpage}}

{{Template shortcut|Infobox theorem|Infobox proposition}}
{{Lua|Module:Infobox|Module:InfoboxImage|Module:Check for unknown parameters}}

{{Infobox mathematical statement
| name = Poincaré conjecture
| image = P1S2all.jpg
| caption = For [[compact space|compact]] 2-dimensional surfaces without [[boundary (topology)|boundary]], if every loop can be continuously tightened to a point, then the surface is topologically [[Homeomorphism|homeomorphic]] to a 2-sphere (usually just called a sphere). The Poincaré conjecture, proved by [[Grigori Perelman]], asserts that the same is true for 3-dimensional spaces.
| type = [[Theorem]]
| field = [[Geometric topology]]
| statement = Every [[simply connected space|simply connected]], [[closed manifold|closed]] 3-[[manifold]] is [[homeomorphic]] to the [[3-sphere]].
| conjectured by = [[Henri Poincaré]]
| conjecture date = 1904
| open problem = No
| first proof by = [[Grigori Perelman]]
| first proof date = 2006
| implied by = {{plainlist|
*[[Geometrization conjecture]]
*[[Thurston elliptization conjecture]]}}
| equivalent to =
| generalizations = [[Generalized Poincaré conjecture]]
| consequences =
}}

== 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 =
| image =
| caption =
| type =
| field =
| statement =
| symbolic statement =
| conjectured by =
| conjecture date =
| first stated by =
| first stated in =
| first proof by =
| first proof date =
| open problem =
| known cases =
| implied by =
| equivalent to =
| generalizations =
| consequences =
}}
</syntaxhighlight>

=== Parameters ===
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.
; <code>first stated by</code>: Name of person(s) who first posed the statement (alternative to using the word "conjectured").
; <code>first stated date</code>: Date(s) of when the statement was first posed (alternative to using the word "conjectured").
; <code>first proof by</code>: Name of person(s) who first proved the statement.
; <code>first proof date</code>: Date(s) of when the statement was first proven.
; <code>open problem</code>: Is this an open problem? Typical values are <code>Yes</code> or <code>No</code>, though something more specific could be put here (e.g. <code>Only one example known</code>, etc.)
; <code>known cases</code>: The cases for which the statement is known (e.g. <code>For all function fields</code> or <code>For all r > 3</code>).
; <code>implied by</code>: Statement(s) that imply the current one.
; <code>equivalent to</code>: Statement(s) that both imply and are implied by the current one.
; <code>generalizations</code>: Statement(s) that generalize the current one.
; <code>consequences</code>: Statement(s) that are implied by the current one.

== Template data ==
<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|

[[Category:Mathematics infobox templates|{{PAGENAME}}]]
[[Category:Statistics templates]]
}}</includeonly>

Template:Infobox mathematical statement/doc - Revision history

>WOSlinker: syntaxhighlight lang="wikitext"