Property talk:P5350

Documentation

• Start a query
• Current uses
• Statistics by class
• List of qualifiers
• Count

Alexander polynomial
invariant of a knot or link. Use 't' as variable and list monomials in decreasing order.

Represents	Alexander polynomial (Q1634206)
Data type	Mathematical expression
Domain	link (Q1760728)
Example	unknot (Q1188344) → $1$ trefoil knot (Q168620) → $t-1+t^{-1}$ three-twist knot (Q7797291) → $2t-3+2t^{-1}$
Source	http://katlas.math.toronto.edu/wiki/Main_Page
See also	Conway polynomial (P5351), Jones polynomial (P5352)
Lists	Items with the most statements of this property Count of items by number of statements (chart) Items with the most statements Items with the fewest statements Count of items by number of sitelinks (chart) Items with the most sitelinks Items with the most sitelinks, but no link to one Wikipedia (sample: Welsh Wikipedia, cywiki) Items with the fewest sitelinks Most linked wikis Items with the most identifier properties Items with no other statements Most recently created items Items with novalue claims Items with unknown value claims Usage history (total) Usage history (main statement) Chart by item creation date Database reports/Constraint violations/P5350 Map Random list
Proposal discussion	Proposal discussion
Current uses	Total 2,985 Main statement 2,982 99.9% of uses Qualifier 3 0.1% of uses

[create Create a translatable help page (preferably in English) for this property to be included here]

Type “link (Q1760728)”: item must contain property “instance of (P31)” with classes “link (Q1760728)” or their subclasses (defined using subclass of (P279)). (Help)

Exceptions are possible as rare values may exist. Exceptions can be specified using exception to constraint (P2303).
List of violations of this constraint: Database reports/Constraint violations/P5350#Type Q1760728, SPARQL

Redefining domain of this property

@Pintoch, ArthurPSmith, ديفيد عادل وهبة خليل 2:

Opensofias
Tobias1984
Arthur Rubin
Cuvwb
TomT0m
Physikerwelt
Lymantria
Bigbossfarin
Infovarius
Helder
PhilMINT
Malore
Lore.mazza51
Wikisaurus
The Anome
The-erinaceous-one
Daniel Mietchen
Haansn08
Xenmorpha
John Samuel
Jeremy Dover
Toni 001
Bocardodarapti
Duckmather
HTinC23
fgnievinski

Notified participants of WikiProject Mathematics

Alexander polynomial (P5350) is currently defined as being a property of members of the set of knot (Q1188853). The Alexander polynomial actually seems to be defined over the set of link (Q1760728), of which knots are a proper subset. (See, for example, this paper.)

Should I just boldly edit the property to change its domain, which as far as I can see would not break anything because of the existing set inclusion relationship between knots and links, or is there a procedure I should go through to do this? -- The Anome (talk) 12:57, 16 July 2020 (UTC)

@The Anome: that looks very consensual, please just do it! − Pintoch (talk) 13:10, 16 July 2020 (UTC)

 Support Sounds good to me, thanks! ArthurPSmith (talk) 13:20, 16 July 2020 (UTC)

 Support Do it! Lymantria (talk) 14:03, 16 July 2020 (UTC)

 Done Thank you! I've also done the same with Jones polynomial (P5352), see reference here. -- The Anome (talk) 18:55, 16 July 2020 (UTC)