Talk:Newton's Identities/Proof 2

Why do you think it is a good idea to, without any prior discussion and/or alignment, introduce a new format for proofs and "explanations" without first demonstrating some examples in your own user space?

Careful attention has been given to the exact structure and wording of all headings and their structure.

With a corpus of many thousands of proofs, it is probably worthwhile to discuss before editing in main space, because the inconsistency of editors just freewheeling around has caused considerable problems in the past. After all, if we are going to be a collective of idiosyncratic minds working on their own little pet projects, then we might as well write books or math blogs.

It is the integration that sets ProofWiki apart. And exactly this integration is endangered by having too many variants of style left and right.

Did you consider the nonlocal impact of your actions? Comments much appreciated. As it stands we might have to revert or set apart your work, which would be a shame. But the damage of isolated activity, the past has shown, does outweigh the added benefit of the new content. &mdash; Lord_Farin (talk) 14:30, 15 December 2019 (EST)

The Newton's Identities page was broken. The "new format" came from page Evolute of Ellipse. The copied Evolute of Ellipse idea seemed to match the linked subpage idea in Help:FAQ/General questions/Where is the proof?!. ProofWiki:Sandbox/Template is my method for testing. It would be a relief to contribute to ProofWiki without the pressure of editing an existing page or creating a subpage. Tell me how that works (Prague time zone here). --Gbgustafson (talk) 16:49, 15 December 2019 (EST)


 * To submit new ideas for structuring a page, or develop other ideas, you can start crafting your own sandbox at User:Gbgustafson/Sandbox which is of a more permanent nature than the general sandbox. You can also try multiple pages at once there.


 * I'll elaborate more later, but let me add that the issue I take with the "Explanation" is how you are placing it on the page in general; not as an outline considered part of the proof, but rather as a separate entity that in heading style and location seems erratic to me. But as said, we can discuss this further at some point. &mdash; Lord_Farin (talk) 16:57, 15 December 2019 (EST)


 * issue .. with "Explanation" : I agree with you, it is ugly (decided when created). Guilty: I chose a heading at random in frustration. I would like to craft something like Evolute of Ellipse. ProofWiki HELP and FAQ have been useful but fall short of explaining the structure of Evolute of Ellipse.


 * I'll elaborate more later - Please do give an example of a recent page that illustrates current House Style for pages with subpage links.--Gbgustafson (talk) 05:00, 16 December 2019 (EST)


 * Practically all of them. Try the "Random proof" link. Or read the house style guide. --prime mover (talk) 05:56, 16 December 2019 (EST)


 * Did both suggestions long ago (house rules and random proof). Repeated reading Help:Editing/House_Style today and absorbed exactly one bit of new information:


 * If, however, a page contains three paragraphs, each with such a reference, then at least one link to Definition:Ring (Abstract Algebra) should be included in each paragraph.


 * That's been deleted now because it was unsanctioned. --prime mover (talk) 17:38, 16 December 2019 (EST)


 * Spent 40 minutes clicking [] only to find 6 new examples and many repeats, because the random generator returns duplicate hits (Knuth discusses the issues). In the past, [] netted Evolute of Ellipse, the best example so far.--Gbgustafson (talk) 12:01, 16 December 2019 (EST)


 * Start here: Help:Editing --prime mover (talk) 17:40, 16 December 2019 (EST)


 * We had a contributor a while back who thought his ideas were better than ours, and went out of his way to rewrite the house rules. I'm still in the process of reversing out some of his inanities. --prime mover (talk) 17:43, 16 December 2019 (EST)

As requested, another example: Cardinality of Cartesian Product. I took some time to find one because of my reduced activity recently.

To create this structure, you will benefit from Template:Subpage and/or Template:Subproof.

I've now edited both proofs to be more in line with what I would generally expect from page structure. Note the changed position of the explanatory paragraph.

In general we have a tradition of full detail, so it might be that we decide that only transcluding the outline is not sufficient, and we transclude the whole proof section. This would also make it more in line with standard practice.


 * We have never just transcluded the outline. We always transclude the whole thing. --prime mover (talk) 17:44, 16 December 2019 (EST)

To get more familiar with the subpage construct, I can recommend doing web research on "mediawiki transclusion" and/or inspecting pages like Definition:Consistent. It should really not be hard to get the hang of it. As noted before, feel free to experiment with it in your user space (so subpages of User:Gbgustafson. &mdash; Lord_Farin (talk) 14:55, 16 December 2019 (EST)


 * Yes, I read everything from both of you (16 Dec, 8-hour time shift).


 * Wow! Splendid editing result from the two of you.


 * The advice to use Template:Subpage and/or Template:Subproof gave me something to try this week - thanks for the tip.


 * The topic Newton's Identities has maybe 10 different published proofs. So far this information is only a one-sentence list of authors and years in the historical notes of Newton's Identities. After tracing the history, a short 2017 paper was found which discusses about 7 different proofs, one of which is a curious one-paragraph handwaving proof in WikiPedia (could be an XKCD cartoon).--Gbgustafson (talk) 04:19, 17 December 2019 (EST)


 * The trouble with citing everything you find, just because you can, is that it requires a colossal amount of work to implement properly in . That person usually ends up being me. --prime mover (talk) 05:23, 17 December 2019 (EST)