Testwiki:Property proposal/iterative approximation

Template:TranslateThis

Motivation

Iterative approximation is an important property of mathematics. Midleading (talk) 08:15, 10 August 2022 (UTC)

Discussion

• Template:S Sure. ArthurPSmith (talk) 18:34, 11 August 2022 (UTC)
• Template:Support --Tinker Bell ★ ♥ 04:46, 16 August 2022 (UTC)
• Template:Comment Can we see examples besides the Lambert W function? What classes of items does this property apply to? The obvious ones would be functions and numeric values, but there are probably others. Also, it seems like the expected completeness would be Template:Q since there can be multiple (infinite?) iterative approximations for infinitely many different values. — The Erinaceous One 🦔 04:03, 6 September 2022 (UTC)

I have updated the examples and expected completeness, thank you! --Midleading (talk) 08:36, 9 September 2022 (UTC)

• Template:Oppose I am not convinced the proposed property serves a purpose not already fulfilled by Template:P. In the case of Template:Q and other algorithms, the proposed property would be incorrect since the algorithm is not being approximated—it should instead be

Template:Statement.

For the examples of the proposed property for functions and numbers, I have concerns about the notability of the formulas. Would any correct statement be acceptable? If there is iterative approximation algorithm for computing a value that is notworthy than shouldn't that algorithm have its own item? Creating links using Template:P creates richer structured data about the approximation algorithm (side note: it looks like P1171 could use some love---it only has 9 uses and they are all for Template:Q!). Then we should just use Template:P as in the case of Template:Q. — The Erinaceous One 🦔 08:56, 10 September 2022 (UTC) (P.S., I removed the "ready" status while we are still discussing.)

The example for Template:Q is derived from Template:Q which can also be applied to many other problems. The specific formula used is likely more relevant than a generic information about Template:Q can approximate Template:Q. One of Template:Q and the formula $w_{j+1}=w_j-\frac{w_j{e}^{w_j}-z}{e^{w_j}+w_j{e}^{w_j}}$ can be added as a qualifier of another one. But there is always a possibility that there is no Wikidata item for an algorithm used (such as the more efficient approximations published on a journal article). Only noteworthy formulas (relatively simple, efficient, well-known or having a reference) should be added. I agree Template:Q can use Template:Q. --Midleading (talk) 09:53, 10 September 2022 (UTC)

Maybe it would be better to provide the approximation formula as a qualifier on a Template:P statement: Template:Statement. If there is no Wikidata item for the P1171 statement to point to, then a new item can easily be created. — The Erinaceous One 🦔 06:57, 12 September 2022 (UTC)

I added Template:Statement. It looks like this is not the correct property usage. Midleading (talk) 09:30, 14 September 2022 (UTC)

I added a comment on the talk page for P1171 to expand the type constraints. — The Erinaceous One 🦔 18:45, 14 September 2022 (UTC)

I've decided that Template:Q is better. Midleading (talk) 02:52, 19 November 2022 (UTC)