Talk:Continued fraction
This level-5 vital article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||
|
This page has archives. Sections older than 365 days may be automatically archived by Lowercase sigmabot III when more than 10 sections are present. |
Division by zero
[edit]The article currently indicates "where ai and bi can be any complex numbers." Before we required bi to be 1 -- because we were defining a simple continued fraction before -- and we also required that ai be a positive integer. As a consequence, this prevented division by zero in every convergent. The current definition has no such safeguard. Should it? —Quantling (talk | contribs) 17:21, 2 May 2022 (UTC)
Reciprocal of 1
[edit]The article suggest that the reciprocal of a number is given by adding/removing a zero at the begining. It is not true for 1 or -1 since their reciprocals are themselves. 2601:648:8601:93A0:AC29:71C5:7EE0:6ABA (talk) 06:55, 13 December 2022 (UTC)
- Did you work out the value of the continued fraction obtained when you add a zero at the beginning for these numbers? Remember that continued fraction representations are not always unique. —David Eppstein (talk) 07:01, 13 December 2022 (UTC)
The golden ratio is not the most irrational number.
[edit]If you use square roots, instead of fractions, you can get something more irrational than the golden ratio, because many square roots already become irrational with 1 iteration, which does not apply with fractions.
example: 3+sqrt(7+sqrt(15+sqrt(1+sqrt(292+sqrt(... 84.151.244.169 (talk) 15:07, 8 May 2023 (UTC)
- I don't think that there is a precise meaning for "most irrational number". The point in the article is to highlight that the continued fraction expansion of the golden ratio φ is all ones. It turns out that this means that regardless of the fraction p/q, it is the case that the value (|φ − p/q|) × q2 is large in comparison to what can be achieved with rational approximations for other irrational numbers. —Quantling (talk | contribs) 16:20, 8 May 2023 (UTC)
Revamping the page
[edit]Hello!
I just wanted to check in with anyone that might care whether or not they'd take issue with me trying to reorganise the page. I've become quite interested in continued fractions not just as a weird means of 'calculating numbers', but as an alternate means of representing numbers between the integers to that of the usual decimal 'negative power series', and I'd really like to try to do justice to them through updating the page.
Some notes I've taken thus far as as follows:
- Motivation and Notation section spends a lot of time explaining how to calculate the continued fraction form from usual decimal negative power series form, not enough time talking about actual motivations/history/desirability, and the notation. Either I can change the name and collate related information or remove from this section and write a clearer explanation of the method elsewhere, preserving Pier4r's request above.
- Whole separate Notation section exists, which actually discusses 'alternative notations' to the ones presented in the 'motivation and notations section'; I think this heading should be changed and it should be subsumed by a broader section on notation.
- Repeated references throughout to the effect of "sqrt(2) actually equals 1.41421..., so you can calculate this from its continued fraction form [1;2,2,2,..] by doing so and so." Seems to be a neglect for the consideration of a continued fraction representation of a number as equally 'valid' as the power series representation, probably due to unfamiliarity and the somewhat cumbersome but necessary notation. To be clear, I think there's little reason to not switch the notation such that for example pi = 3.7(15)1(292)111213... (in continued fraction form) = [3;1,4,1,5,9,2,6,..] (in power series form) -- now imagine analogously saying that " pi actually = 3.7(15)1(292)111213..., so you can calculate this from its power series form via... ". I personally think it's reductive and unnecessary, so I wonder what you guys might think of this point in particular.
- The continued fraction notation version of a bunch of mathematical constants in the Motivation and Notation section seems really helpful to me for familiarising the reader with this perspective on these numbers, and I would like to preserve something similar, but when you look for its context you see that all this space is actually serving to elucidate infinite continued fractions, which is off-topic from the heading. I'd like to flesh out some of these kinds of examples with more numbers that aren't just infinite cfs, and reserve discussion of infinite cfs for maybe the section 'Infinite continued fractions and convergents'.
- Notice that there's no mention nor use of the 'repeating' notation usually seem with 'decimal' notation of numbers like 1/3 or 1/7, only ellipsis like sqrt(3) = [1;1,2,1,2,1, 2,...]. I'd like to explicitly incorporate that.
- Having read the page quite a few times, I'm confused as to whether it's about cfs in the canonical form or the generalised form. Given that a page exists solely for the generalised form, I'd be inclined to dedicate this to the canonical form, but I also feel that that would be too specific and might mislead people given the name. The diagram in the introduction shows it in the canonical form, mention of definition as 'the reciprocal of another number' somewhat suggests the understanding that it's about the canonical form, the intro makes the delineation between the two and suggests a prioritisation of the canonical form, yet the section on Basic Formula immediately jumps into the generalised form, despite that formula being mirrored on the generalised cf's page. That formula is then repeated in the later section titled 'generalized continued fraction(s?)', which I feel again is redundant and I'd like to remove and possibly move over any interesting information to its respective article if it's not there already.
There's more I'd like to add, including some interesting patterns I've found myself, some restructuring to be done, and more I need to study in order to be able to really speak on some topics. I'd like to ensure I'm factoring in the suggestions that others have already made too, and in particular I'd love to be able to address Manoguru's concerns about the natural operations of numbers in continued fraction form, but that's all I can speak on for now.
Please do let me know your thoughts on my potential changes, thank you for reading if you made it this far! CallumMScott (talk) 14:17, 14 August 2023 (UTC)
how "larger term" better approximation
[edit]I don't like the sentence
- The larger a term is in the continued fraction, the closer the corresponding convergent is to the irrational number being approximated.
It goes on to explain that the golden ratio is the hardest to approximate because all terms of its continued fraction are "1".
I think what the sentence should say is something like "the larger a term is, the more that one term improves the approximation." But then I want to natter on about percentage reduction in absolute error.
I would like to hear from someone who understands the article before I try to "improve" it.
Jmichael ll (talk) 20:41, 8 November 2023 (UTC)
- Which is closer to 4: 41⁄7 or 41⁄3?
- The greater a partial quotient is, the less effect it and its successors have on the number; in other words, the more accurate the fraction already is. —Tamfang (talk) 05:32, 15 November 2023 (UTC)
- Perhaps I'm mistaken in this concern, but isn't there a problem about what we mean by "the corresponding convergent"? Would it be an improvement to add a "next", as in
- The larger the next term in the continued fraction is, the closer a convergent is to the irrational number being approximated.
- ?
- I think both are true and mean slightly different things. Dhrm77 (talk) 15:40, 15 November 2023 (UTC)
- Perhaps I'm mistaken in this concern, but isn't there a problem about what we mean by "the corresponding convergent"? Would it be an improvement to add a "next", as in
Constructive observation
[edit]A real number has an infinite continued fraction expansion iff it is apart from all rationals: . This is constructively stronger than being irrational (not rational).
46.33.143.125 (talk) 15:52, 28 January 2024 (UTC)
- What does "apart from all rationals" mean, if not "irrational"? —Tamfang (talk) 17:28, 27 March 2024 (UTC)
- Constructively, "apart" has a stronger meaning than "not equal". Two numbers are "apart" if they differ by at least some $1/n$. 46.33.143.125 (talk) 19:04, 13 April 2024 (UTC)
- Can you give an example of an irrational number which is not "apart" from the rationals? –jacobolus (t) 19:37, 13 April 2024 (UTC)
- What is an example of an irrational that has a finite neighborhood containing no rationals?? —Tamfang (talk) 21:07, 13 April 2024 (UTC)
- The definition in the top comment here lets you pick a different neighborhood excluding each rational number. But I don't understand what's different about it than the concept of "irrational" per se. –jacobolus (t) 22:22, 13 April 2024 (UTC)
- Constructively, "apart" has a stronger meaning than "not equal". Two numbers are "apart" if they differ by at least some $1/n$. 46.33.143.125 (talk) 19:04, 13 April 2024 (UTC)
References
Proposal: move this to "Simple continued fraction", so that the current lemma can be used for generalized continued fraction
[edit]As already noted in 2006 (Talk:Generalized_continued_fraction#Not_"generalized"_enough?), the current lemmata continued fraction and generalized continued fraction are at variance from much of the mathematical literature. I therefore offer my help to move
- this article continued fraction to simple continued fraction, and
- generalized continued fraction to continued fraction,
in agreement with
- DLMF https://dlmf.nist.gov/1.12
- Weisstein https://mathworld.wolfram.com/ContinuedFraction.html
- this most pertinent book https://www.google.de/books/edition/History_of_Continued_Fractions_and_Pad%C3%A9/rxzsCAAAQBAJ?hl=de&gbpv=1&dq=brezinski+history+of+continued&printsec=frontcover
Dyspophyr (talk) 15:23, 23 October 2024 (UTC)
- Hi @Dyspophyr, I think your suggestion makes sense; although, in my opinion, it might make even more sense to merge the two articles...
- Best, Malparti (talk) 16:11, 23 October 2024 (UTC)
- "Continued fraction" is by far the WP:COMMONNAME for the topic currently at continued fraction. That is where anyone intersted in the topic would expect to find that article. It should not be moved. —David Eppstein (talk) 17:33, 23 October 2024 (UTC)
- @David, you may be right that texts about `b0+1/(b1+1/(...` commonly call them "continued fraction". However, it is also true that texts about `b0+a1/(b1+a1/(...` commonly call these "continued fraction" as well. If under the header "continued fraction" we only treat the case `a1=a2=..=1`, then we are out of sync with much of the mathematical literature. If we start under this header with the generic case, then we do nothing wrong. Of course at some point we have to mention the special case `a1=a2=..=1`. -- Dyspophyr (talk) 17:49, 23 October 2024 (UTC)
- @David Eppstein "Continued fraction" is by far the WP:COMMONNAME for the topic currently at continued fraction." → I agree, but I was under the impression — and I might be wrong about this! — that "continued fraction" is also the WP:COMMONNAME for the topic currently at generalized continued fraction. Hence my suggestion that maybe the two articles could be merged.
- At any rate: I think we agree that what matters is that people who search for "continued fraction" should be told fairly early in the article that "continued" fraction is a generic term that some people use in a strict sense to refer to what are also known as simple continued fractions; and some other people use in a loose sense to refer to what are also known as generalized continued fractions. Then, whether there should be {one article} vs {a main article about simple continued fractions and a specialized one on generalized continued fractions} vs {a main article about generalized continued fractions and a specialized one about simple continued fractions} is not completely clear: to me, these three options seem to make sense...
- One argument that goes in the direction suggested by @Dyspophyr is that several of the resources linked in the article continued fractions define "continued fractions" as generalized continued fractions (Britannica, Encyclopedia of mathematics, to some extent Wolfram MathWorld, etc).
- Best, Malparti (talk) 20:09, 23 October 2024 (UTC)
- @Malparti, there are two pragmatic reasons against merging: The present article is very long, and uses notation that is in conflict with the generic article. Therefore I rather suggests that the generic article, moved here, be given a section on the `a1=a2=..=1` case, which then refers to "simple continued fraction" for deeper information. -- Dyspophyr (talk) 17:49, 23 October 2024 (UTC)
- "Continued fraction" is by far the WP:COMMONNAME for the topic currently at continued fraction. That is where anyone intersted in the topic would expect to find that article. It should not be moved. —David Eppstein (talk) 17:33, 23 October 2024 (UTC)
- I oppose this move. This encyclopedia is a general resource, not devoted solely to mathematicians. Non math readers who want to learn about "continued fractions" should get this article, not a more general one.
- I think the issues you cite about the relationship between the articles could be reduced by adding a WP:Hatnote to this article. Among all readers who enter, those who are looking for the mathematicians view would then quickly find the other article. Johnjbarton (talk) 18:18, 23 October 2024 (UTC)
- I don't think a hatnote is a good solution. But generalized continued fraction should be linked from within the lead section. –jacobolus (t) 19:02, 23 October 2024 (UTC)
- This seems like reasonable evidence that the present wiki-naming is against the common naming convention. It also seems like the Press–Teukolsky and Jones–Thron sources at generalized continued fraction also use "continued fraction" for what wiki now calls "generalized continued fraction." Is there good counterevidence, that "generalized continued fraction" is actually common terminology for this? Gumshoe2 (talk) 18:25, 23 October 2024 (UTC)
- There are many sources calling this "simple continued fraction" and many sources calling the other one "generalized continued fraction" (though more sources just use the name "continued fraction" with the specific meaning clear from context), but
I think the "simple" variant is overall a better article for this title. It seems fine to use the title Generalized continued fraction for that article,I don't think readers will be confused. - What we could do, however, is enlarge the section at this article about generalized continued fractions to provide a somewhat more detailed summary. –jacobolus (t) 19:12, 23 October 2024 (UTC)
- Edit: after doing some more skimming in the literature, I'm somewhat leaning towards mostly merging these articles under the name Continued fraction, and then possibly splitting out any excessively detailed sub-sections into more specific articles. –jacobolus (t) 20:56, 23 October 2024 (UTC)
- If it's possible to do without making the article unwieldy, this seems to me like a very satisfactory solution. (But I have no opinion on whether it's possible!) Gumshoe2 (talk) 21:03, 23 October 2024 (UTC)
- The current article is mostly unwieldy because it has a poor structure: there are too many small top-level sections, limited narrative flow, and not much high-level vision. Even without changing the scope it would be improved significantly by someone with knowledge about and care for the subject doing a some significant housecleaning (probably with some nontrivial shortening / cutting of material here now). I don't feel qualified or motivated to take on a job like that though. –jacobolus (t) 22:24, 23 October 2024 (UTC)
- If it's possible to do without making the article unwieldy, this seems to me like a very satisfactory solution. (But I have no opinion on whether it's possible!) Gumshoe2 (talk) 21:03, 23 October 2024 (UTC)
- There are many sources calling this "simple continued fraction" and many sources calling the other one "generalized continued fraction" (though more sources just use the name "continued fraction" with the specific meaning clear from context), but
- @Johnjbarton »Non math readers who want to learn about "continued fractions" should get this article, not a more general one« - Why? Non-specialist readers come here because they somehow encountered the notion "continued fractions" out in the wild, often applied to beasts of the non-simple type. They will be very confused by our current narrow definition, as I was when I first came here. A hatnote would help (@jacobolus why not even a hatnote??). However, using standard terminology from the onset would help much more. -- Dyspophyr (talk) 19:41, 23 October 2024 (UTC)
- Hatnotes are not intended to be used for disambiguating closely related topics like this. See WP:RELATED. –jacobolus (t) 22:19, 23 October 2024 (UTC)
- Ok, seems like you have a lot of input here. I was mainly pushing against the idea that the decision should be based on what mathematicians want. Johnjbarton (talk) 22:21, 23 October 2024 (UTC)
- @jacobolus »many sources calling the other one "generalized continued fraction"« - can you show us some of these sources? -- Dyspophyr (talk) 19:45, 23 October 2024 (UTC)
- Some evidence: Google Scholar search for "the continued fraction" (a phrasing that makes sense only for the version described in this article): about 31200 results. Google Scholar search for "simple continued fraction": about 2730 results. Or, if you prefer phrasing where this distinction is even less ambiguous: "the continued fraction expansion": about 11700 results; "simple continued fraction expansion": about 1040 results. So avoiding simple and using a definite article to indicate the uniqueness of the expansion (something that would not be true for generalized continued fractions) is about 10x more of a WP:COMMONNAME than using simple. —David Eppstein (talk) 20:01, 23 October 2024 (UTC)
- @David Eppstein ""the continued fraction" (a phrasing that makes sense only for the version described in this article)" → I am nitpicking a bit here, but I disagree with this because I've used expressions such as "the continued fraction of the theorem" and "the continued fraction XXX" to refer to generalized continued fractions in work indexed by Google Scholar. Malparti (talk) 20:19, 23 October 2024 (UTC)
- That's why I included the second variation, with "expansion". It didn't make much difference in the relative proportions. —David Eppstein (talk) 20:23, 23 October 2024 (UTC)
- @David Eppstein Sorry, but I don't understand: I could see myself use something like "the continued fraction expansion below" to refer to a generalized continued fraction expansion (and in fact I've done that; and read it as well). So wouldn't those be false hits for your stats? Sorry if I am missing something. Anyway: I am not arguing that "continued fraction" isn't the common name for simple continued fraction — we agree on that. My "concern" (though the word is a bit excessive) is that it might also the common name for generalized continued fraction. Malparti (talk) 20:40, 23 October 2024 (UTC)
- Any query is going to have false hits. I do not expect the number of false hits to be significant nor to change the proportions much for these queries. —David Eppstein (talk) 20:42, 23 October 2024 (UTC)
- @David Eppstein Sorry, but I don't understand: I could see myself use something like "the continued fraction expansion below" to refer to a generalized continued fraction expansion (and in fact I've done that; and read it as well). So wouldn't those be false hits for your stats? Sorry if I am missing something. Anyway: I am not arguing that "continued fraction" isn't the common name for simple continued fraction — we agree on that. My "concern" (though the word is a bit excessive) is that it might also the common name for generalized continued fraction. Malparti (talk) 20:40, 23 October 2024 (UTC)
- That's why I included the second variation, with "expansion". It didn't make much difference in the relative proportions. —David Eppstein (talk) 20:23, 23 October 2024 (UTC)
- Maybe I've misunderstood your point, but this evidence seems perfectly compatible with the claim that "generalized continued fraction" is not a common name for the topic of wiki article generalized continued fraction and moreover that both are typically called "continued fraction." Gumshoe2 (talk) 20:41, 23 October 2024 (UTC)
- Sure. But when two related but distinct topics share the same name we still need two articles on them, and in such cases when one of the two topics is by far the WP:COMMONNAME (that is, the topic usually meant by that name, not merely the name usually used for that topic) we let that topic have the unmodified name and modify the name of the less-common topic. Exactly as is the status quo for these two articles already. —David Eppstein (talk) 20:45, 23 October 2024 (UTC)
- I find that rather problematic, any reasonable wiki-reader would clearly think that "generalized continued fraction" is the typically understood name for this concept. (In fact, until today I have been such a reader of these particular pages.)
- However I can appreciate that the one special case is the most important and deserves the most central coverage. I don't see any easy solution; however, from what I can see, at minimum I think a note should be added somewhere near the top of generalized continued fraction to say that the concept is typically (or at least very often) simply called "continued fraction." Gumshoe2 (talk) 21:00, 23 October 2024 (UTC)
- If it is really the case that "generalized continued fraction" is not used much for these things, so much so that it would be misleading to use that title, another alternative would be to use a disambiguator, like continued fraction (non-unit). —David Eppstein (talk) 21:09, 23 October 2024 (UTC)
- I think something like that would be much more satisfactory than the present situation.
- (However, just to emphasize, my only knowledge of this matter comes from this thread. For all I know, "generalized continued fraction" is actually common language for this – but so far I haven't seen any reason to think this.) Gumshoe2 (talk) 21:13, 23 October 2024 (UTC)
- Other names include "non-simple continued fraction" and "irregular continued fraction". –jacobolus (t) 22:00, 23 October 2024 (UTC)
- I like those better than my disambiguation above. —David Eppstein (talk) 22:08, 23 October 2024 (UTC)
- Continued fraction (complex) would be a natural disambiguation. fgnievinski (talk) 02:49, 24 October 2024 (UTC)
- "Complex" is potentially confusing, because it seems to more commonly indicate that the "integers" in the fraction are Gaussian integers rather than describing what kind of numerators are used. –jacobolus (t) 03:59, 24 October 2024 (UTC)
- Continued fraction (complex) would be a natural disambiguation. fgnievinski (talk) 02:49, 24 October 2024 (UTC)
- I like those better than my disambiguation above. —David Eppstein (talk) 22:08, 23 October 2024 (UTC)
- If it is really the case that "generalized continued fraction" is not used much for these things, so much so that it would be misleading to use that title, another alternative would be to use a disambiguator, like continued fraction (non-unit). —David Eppstein (talk) 21:09, 23 October 2024 (UTC)
- @David Eppstein (also @Jacobolus): "But when two related but distinct topics share the same name we still need two articles on them" → Yes, but that was my point from the start: are these topics distinct enough that we need two articles? From my perspective (i.e, from the perspective of someone not working on continued fractions, but who has used them in their research), I wasn't really convinced that this was the case... Hence my suggestion to merge the two articles (and possibly keep dedicated articles for more in depths discussions). Malparti (talk) 21:01, 23 October 2024 (UTC)
- Also: as I said, I'm not an expert on the topic so my opinion isn't really informed; as a result, I think I've contributed what I had to contribute to this conversation. What I could do — if that's useful — is set up a slightly more robust method to try to search the literature and try to determine "what is being called what, in which field" and "what is the most common topic, in which field" [my guess is that simple continued fractions overwhelmingly used in topics related to number theory; but that generalized continued fractions might be more common in other areas]. As long as it doesn't take me more than, say, one hour, I'm happy to do that if that's helpful. Cheers, Malparti (talk) 21:08, 23 October 2024 (UTC)
- Sure. But when two related but distinct topics share the same name we still need two articles on them, and in such cases when one of the two topics is by far the WP:COMMONNAME (that is, the topic usually meant by that name, not merely the name usually used for that topic) we let that topic have the unmodified name and modify the name of the less-common topic. Exactly as is the status quo for these two articles already. —David Eppstein (talk) 20:45, 23 October 2024 (UTC)
- @David Eppstein ""the continued fraction" (a phrasing that makes sense only for the version described in this article)" → I am nitpicking a bit here, but I disagree with this because I've used expressions such as "the continued fraction of the theorem" and "the continued fraction XXX" to refer to generalized continued fractions in work indexed by Google Scholar. Malparti (talk) 20:19, 23 October 2024 (UTC)
- Looking some more, I find plenty of examples but also a similar number where "generalized continued fraction" instead means a higher-dimensional analog of a continued fraction, which I'm not sure we have any articles about. –jacobolus (t) 20:47, 23 October 2024 (UTC)
- Some evidence: Google Scholar search for "the continued fraction" (a phrasing that makes sense only for the version described in this article): about 31200 results. Google Scholar search for "simple continued fraction": about 2730 results. Or, if you prefer phrasing where this distinction is even less ambiguous: "the continued fraction expansion": about 11700 results; "simple continued fraction expansion": about 1040 results. So avoiding simple and using a definite article to indicate the uniqueness of the expansion (something that would not be true for generalized continued fractions) is about 10x more of a WP:COMMONNAME than using simple. —David Eppstein (talk) 20:01, 23 October 2024 (UTC)
- @David Eppstein Let me look into your argument based on a Google Scholar search. You found "continued fraction" is 10 times more frequently used than "simple continued fraction". That sounds perfectly credible. Even a higher ratio would not have surprised me. But it does not support your conclusion.
- You argue: In the scholarly literature, term X ("continued fraction") is more frequently used than term Y ("simple continued fraction"), hence X is the WP:COMMONNAME for Wikipedia article X. Funnily, your argument would work exactly the same way after we had done the proposed renaming. Why? Because you nowhere refer to the contents of the articles.
- In drawing your conclusion, you implicitly assume that the scholarly works about X and Y deal with the thing defined in our article X. This, however, is not the case. Quite many texts (reference works, textbooks, research reports) that contain the term X assume a definition that is less restrictive than in our present article X. They all, however, are compatible with the definition given in another WP article, currently named Z ("generalized continued fraction"), which defines Z to be a strict superset of X.
- In such a situation the obvious solution, advocated by @Malparti, is to merge articles X and Z under lemma X. However, this would lead to a loss of version history. For this only reason I propose to move X to Y ("simple continued fraction") before porting a digest of it to the new common article X'.
- Does this help to elucidate the situation? -- Dyspophyr (talk) 05:59, 24 October 2024 (UTC)
- No. Try fewer words.
- A hint: I didn't refer to the content of the articles because I think we can all agree on what they are: one is about nested fractions of a specific form with 1 in the numerators, and the other is on a similar form without the restriction on the numerators.
- So your theoretical maunderings about how maybe these articles could be about some entirely different topic than what they are about seem to be entirely based on counterfactuals. —David Eppstein (talk) 06:32, 24 October 2024 (UTC)
- In few words: This WP article has numerators = 1, many of the scholarly works you counted have not. Therefore your Google Scholar count proves strictly nothing. -- Dyspophyr (talk) 08:09, 24 October 2024 (UTC)
- @Dyspophyr "However, this would lead to a loss of version history" → I do not think this is a good argument against merging: that argument would prevent any merge of any two articles. A better argument would be that implementing the merge properly would be a lot of work, and that there may be no one willing/qualified to do this.
- Leaving these considerations aside, I still think that merging under the name continued fraction (with the option of keeping specialized articles under the names simple continued fraction and generalized continued fraction, if that's really necessary) would be the best solution. @Jacobolus and @Gumshoe2 seem to partly support this; @Dyspophyr seems to be against; @David Eppstein hasn't explicitly voiced an opinion on this (or I missed it). Malparti (talk) 08:10, 24 October 2024 (UTC)
- I agree that the final outcome should very much look like both articles are merged. With possibly some more technical sections in a specialized article or two. But how to get there? As the two articles have conflicting notation, a straightforward merge with subsequent refinement seems not viable. Thence my proposal to start with the moves, then migrate and consolidate contents, proceeding section by section. -- Dyspophyr (talk) 08:21, 24 October 2024 (UTC)
- Sorry, I haven't read all the above (but some of it).
- It seems to me the title Continued fraction should be given to a shorter and not too technical article, dealing with both simple and generalized continued fractions. You could call it a merge, but only of core parts of the two present articles. And then, Simple continued fraction could be largely identical to what is presently at Continued fraction (but improved, if anyone can do that! -- and without the bits on generalized continued fractions), while Generalized continued fraction is largely unchanged - the new shorter article linking those two as main articles.
- We could start by renaming Continued fraction as Simple continued fraction, followed by a recreation of Continued fraction as a disambiguation page, subsequently expanding that to cover main points from both types.
- This is perhaps a less ambitious but also more realistic plan than a full merge. Nø (talk) 08:58, 24 October 2024 (UTC)
- @Nø, unfortunately your proposal doesn't address my main concern: that our current article Generalized continued fraction is misnamed. It is misnamed because it describes mathematical objects that are commonly called "continued fraction", not "generalized continued fraction". Conversely, if the latter term appears in the mathematical literature, then typically one of the following holds:
- They use the term interchangeably, and inconsistently, to mean the same as "continued fraction";
- They write "generalized continued fraction something", and actually mean "generalized continued-fraction something", i.e. they generalize "something", not "continued fraction";
- Or they really generalize the concept of "continued fraction" in ways that have nothing to do with the standard continued fractions described in our articles.
- I agree with you that the resulting article Continued fraction should be not too long nor too technical. Ideally it should be as readable and polished as Integral. With more technical material relegated to a number of specialized articles.
- -- Dyspophyr (talk) 09:34, 24 October 2024 (UTC)
- @Dyspophyr I don't think it is misnamed: "generalized continued fraction" is a correct, standard name for these objects; it's just that in practice they are often just referred to as "continued fractions" (most likely because people can be bothered to use the long name every time). Maybe some people would insist that these are the "true" continued fractions and should get the short name; but I don't think that's the debate here: I think for many of us the problem is that if you pick an occurrence of the phrase "∅ continued fraction" uniformly at random in the literature, it could refer to a simple or to a generalized continued fraction.
- If the probability that it refers to one of the variants is much higher than the other, then this variant should get the article with the short name. If they are comparable, we have to think about whether we want a disambiguation, a merge, etc.
- So to avoid unnecessary discussions, the first step should probably be to see which term is used for what in what context. David Eppstein suggested that "continued fraction" overwhelmingly referred to simple continued fractions, and he might be right about this; however (1) I was not convinced by his Google searches and (2) that goes against my limited experience of the topic (I've worked a bit with continued fractions — as tools rather than as objects of studies — in topics related to combinatorics / complex analysis, and in doing so I had the impression that I saw "∅ continued fraction" used a lot to refer to the generalized variant).
- In case someone is interested: in combinatorics [resp. probability theory], the generating functions of some combinatorial classes [resp. random variables] can be expressed as generalized continued fractions. There is a substantial literature on the topic and a whole zoo of relevant classes of fractions (S-fractions, J-fractions, M-fractions, etc). After skimming that literature a few years ago, I got the impression — again, I might be wrong! — that in that literature, people typically say "generalized continued fraction" at most a few times [and sometimes never] when they introduce the concept; and then go with continued fraction. Whence the problem that stumble upon one occurrence of the phrase "∅ continued fraction", it could likely refer to a generalized continued fraction.
- Something that I have already mentioned is that I think that whether "∅ continued fraction" will typically refer to simple vs generalized one will depend on the field. I guess that in number theory, where people are interested in continued fraction expansions of irrational numbers, etc, simple continued fractions are the norm; however, in other fields (e.g, related to combinatorics / probability theory / statistical mechanics) this might be different. Malparti (talk) 10:27, 24 October 2024 (UTC)
- I appreciate your efforts, @Malparti. Yet all this remains speculative as long as we haven't seen a few references to authorative texts that indeed use the term "generalized continued fraction" to refer to the thing with numerators ≠ 1. I can easily provide a few more references that do completely without "generalized" -- Dyspophyr (talk) 10:36, 24 October 2024 (UTC)
- But what are autoritative sources? Specialist literature is NOT what we consider the best sources in wikipedia, if quality secondary or tertiary sources are available. -- Mathworld may not be the best source for wikipedia purposes either, but none the less: It clearly supports the view that "Ø continued fractions" refers to objects within the class they specifically call "generalized continued fractions", but that it in some context may refer to a subset only, viz. "simple continued fractions". Linguistically, I think it in this situation would make more sense to talk about "simple vs. general" rather than "simple vs. generalized", but "general" seems to have less traction than "generalized". Nø (talk) 10:53, 24 October 2024 (UTC)
- @Dyspophyr I looked at the first 10 hits for "generalized continued fraction" on Google Books (one book is listed twice, hence the 9 results). In what follows, I used "simple continued fraction" and "generalized continued fraction" as on the current version of Wikipedia:
- [1]: refers to a simple continued fraction where is a vector.
- [2]: refers to a generalized continued fraction where and are variables / functions, as opposed to numbers.
- [3]: mostly used to refers to the generalized continued fraction where and are numbers, but also to the same notion as [2].
- [4]: same as [3].
- [5]: not clear.
- [6]: used only for the generalized continued fraction .
- [7]: same as [3].
- [8]: not clear.
- [9]: I think same as [2].
- I did that fairly quickly, so there might be some mistakes.
- Anyway, on this small sample, it seems that you are correct in saying that "generalized continued fraction" often refers to something a bit more general than what is described on Wikipedia (namely, [2]); but that some authors also use in the way described on Wikipedia.
- If you want to do things properly, we should agree on a methodology before-hand (e.g, what queries, on which platforms, how many results, how do we classify them) and then do it. It is a bit of work though, it would probably take me one hour or two; so unless several people here agree that this would be helpful, I'm not going to do it. Best, Malparti (talk) 12:22, 24 October 2024 (UTC)
- Google doesn't show me any of the pages you linked. Exceeded number of views, wrong jurisdiction, or whatsoever.
- All but one seem to be younger than 2006, so may have been influenced by the terminology here in WP.
- Some of them are from number theory. I guess we all agree that current WP terminology is fine for number theory.
- Do the others prove more than some fringe usage? -- Dyspophyr (talk) 12:56, 24 October 2024 (UTC)
- @Dyspophyr did you use Google Books? Do you get similar results with the first ten results it displays? Malparti (talk) 17:01, 24 October 2024 (UTC)
- I appreciate your efforts, @Malparti. Yet all this remains speculative as long as we haven't seen a few references to authorative texts that indeed use the term "generalized continued fraction" to refer to the thing with numerators ≠ 1. I can easily provide a few more references that do completely without "generalized" -- Dyspophyr (talk) 10:36, 24 October 2024 (UTC)
- @Nø, unfortunately your proposal doesn't address my main concern: that our current article Generalized continued fraction is misnamed. It is misnamed because it describes mathematical objects that are commonly called "continued fraction", not "generalized continued fraction". Conversely, if the latter term appears in the mathematical literature, then typically one of the following holds:
Please let me attempt to summarize the factual base of this discussion.
Continued fractions are finite or infinite expressions of the form b0+a1/(b1+a2/(b2+... They are used in various fields of mathematics. In certain fields, principally number theory, the canonical form has numerators a1=a2=...=1, and is usually called "Ø continued fraction". From the perspective of this field, it feels natural to designate continued fraction with numerators ≠ 1 as "generalized continued fraction". This term, however, is rarely used in the mathematical literature because continued fraction with numerators ≠ 1 are rarely used in number theory, whereas in other fields they are just called "Ø continued fraction". From the perspective of those fields, e.g. numerical analysis, the name "generalized continued fraction" feels wrong and violates the principle of minimal surprise.
Presenting both perspectives in one article faces the additional challenge that number theory writes continuous fractions as a0+1/(a1+1/(..., i.e. uses variable `a` in place of `b`.
Can we agree this far? -- Dyspophyr (talk) 11:13, 24 October 2024 (UTC)
- I would recommend using the letter a for the denominators and b for the numerators, which seems quite common in sources I've seen. –jacobolus (t) 16:45, 24 October 2024 (UTC)
Note also that the current situation causes quite many inconsistencies in our analysis-related articles:
- Several articles have a link to generalized continued fraction overlayed with text "continued fraction":
- Other articles link to continued fraction but have numerators ≠ 1
- Chain sequence has an "infinite continued fraction" with numerators z
- Complex_plane presents an "infinite periodic continued fraction" with numerators z
- Gauss's continued fraction says in its very first sentence "Gauss's continued fraction is a particular class of continued fractions ", then has numerators ≠ 1
- Pochhammer_k-symbol#Continued_Fractions,_Congruences,_and_Finite_Difference_Equations has "Continued Fractions" in the section header, and has numerators ≠ 1
- Solving_quadratic_equations_with_continued_fractions#General_quadratic_equation talks of "the continued fraction solution" and has numerators c
-- Dyspophyr (talk) 12:37, 24 October 2024 (UTC)
- Oppose move. By far the common name for a (simple) continued fraction is continued fraction. For instance, Hardy and Wright, Khinchine, Brezinski, Rockett and Szüsz, Hensley, etc. Generalized continued fractions are much more rarely used in mathematics. Indeed, many standard textbooks on continuedfractionsdo not even treat the generalization! Tito Omburo (talk) 13:40, 24 October 2024 (UTC)
- @Tito OmburoI fully agree with your statement "By far the common name for a (simple) continued fraction is continued fraction." But this not the point. I am proposing certain moves not because the current
lemmaarticle title is inadequate for the continued fractions of number theory but because we need thelemmavery same title to also cover the continued fractions of numerical analysis. Please read the above. - I happen to hold Brezinski in my hands. The first numerator ≠ 1 is on page 16, and many more follow.
- Your last two sentences are neither right nor wrong; there is no way to weigh the relative importance of number theory and its continued fractions against numerical analysis and its continued fractions. We need to make an effort to be precise in our arguments. -- Dyspophyr (talk) 14:12, 24 October 2024 (UTC)
- No idea what you're talking about: "current lemma". This is an article about continued fractions. You seem confused. Textbooks on continued fractions are pretty clear on this point, so I defer to sources here. 14:59, 24 October 2024 (UTC)Tito Omburo (talk)′
- "Lemma" is a standard term in lexicography, see Lemma_(morphology). Of course this was potentially confusing in a mathematical context, I apologize. -- Dyspophyr (talk) 15:15, 24 October 2024 (UTC)
- Yes, that was very confusing. XOR'easter (talk) 16:15, 24 October 2024 (UTC)
- "Lemma" is a standard term in lexicography, see Lemma_(morphology). Of course this was potentially confusing in a mathematical context, I apologize. -- Dyspophyr (talk) 15:15, 24 October 2024 (UTC)
- As for textbooks:
- https://www.google.de/books/edition/Analytic_Theory_of_Continued_Fractions/oN1TDwAAQBAJ has the first numerator ≠ 1 on page 2.
- https://www.google.de/books/edition/Nonlinear_Methods_in_Numerical_Analysis/elIyqgYk6RsC has the first numerator ≠ 1 on page 3, in the very first equation.
- -- Dyspophyr (talk) 15:25, 24 October 2024 (UTC)
- Thanks, I guess I'll defer to consensus in the thread below, now that I understand more clearly what the problem is. Tito Omburo (talk) 20:15, 25 October 2024 (UTC)
- No idea what you're talking about: "current lemma". This is an article about continued fractions. You seem confused. Textbooks on continued fractions are pretty clear on this point, so I defer to sources here. 14:59, 24 October 2024 (UTC)Tito Omburo (talk)′
- Oppose move on the grounds articulated above by Tito Omburo and the fact that it would be a distraction from fixing the organizational issues identified by Jacobolus.
The current article is mostly unwieldy because it has a poor structure: there are too many small top-level sections, limited narrative flow, and not much high-level vision.
Shuffling around the article titles is not a fix for the real problems. XOR'easter (talk) 16:20, 24 October 2024 (UTC)
Move, modify, or restart?
[edit]In the above discussion, it became clear that this article currently covers continued fractions as they are usually defined in number theory, namely with numerators all being unity. This, however, is inadequate in numerical analysis, where continued fractions are usually defined as b0+a1/(b1+a2/(..., i.e. with numerators generally ≠ 1. Currently, this latter case is treated in the article generalized continued fraction. That article title is unfortunate because it conflicts standard use in numerical analysis, violates WP:COMMONNAME and the principle of minimal surprise, and also causes inconsistencies within this wikipedia, as listed above.
Therefore, for the sake of good coverage of numerical analysis, this article must change. Sorry, number theorists, however happy you are with the current state of affairs, this article must and will change. The remaining question is how.
Proposal 1, move:
- Move continued fraction to regular continued fraction.
- Move generalized continued fraction to continued fraction.
- Migrate enough contents from old to new continued fraction so that the numerators-all-1 case is also decently covered.
Proposal 2, modify:
- Modify the current article so that both number theory and numerical analysis are adequately addressed.
- Start from the more generic definition b0+a1/(b1+a2/(..., but move on soon to introduce also the case a1=a2=...=1.
- Migrate more technical material out to specialized articles.
Proposal 3 (by User:Nø), restart:
- Move continued fraction to regular continued fraction.
- Make continued fraction a disambiguation page.
- Gradually expand continued fraction into a self-contained overview article.
-- Dyspophyr (talk) 15:47, 24 October 2024 (UTC)
Pro 1:
- Preserves history
- Easy to get started
Con 1:
- Number theory will be ill served unless step 3 is brought to a good result.
Pro 2:
- Can be done gradually
Con 2:
- Can lead to inconsistencies, especially because variable name a is used differently in number theory vs numerical analysis.
Pro 3:
- Fair to both communities
- Can be done gradually
- Preserves histories
Con 3:
- Both communities will suffer a bit, until the disambuation page has grown into a decent article that feels like a good landing page for links from both fields
-- Dyspophyr (talk) 16:02, 24 October 2024 (UTC)
- I think I'd (weakly) support proposal 2 (with the second-place alternative being leaving the articles mostly as-is), after having looked at several elementary books about the number theory variant written decades apart which lead with something along the lines of:
- A continued fraction is an expression of the form where and are integers. In this book we will concern ourselves with the special case where called a simple continued fraction. ... (and then go on to mostly just use the name continued fraction for the "simple" case.)
- But I think it would only work if someone is willing to do a significant amount of work improving the merged article's content, not just copy/paste paragraphs around. I don't personally feel motivated to do it. I'd recommend trying to at least sketch out a draft of a proposed merged article in user namespace or maybe at Talk:Continued fraction/Draft merge or the like, so participants here can better evaluate the concrete intention. –jacobolus (t) 16:56, 24 October 2024 (UTC)
- I agree with what @Jacobolus said: I think proposal 2 would be the best, although (1) I don't think it's high-priority and (2) I think it can only work if someone qualified is willing to put the time and effort into it. Malparti (talk) 17:06, 24 October 2024 (UTC)
- I oppose all three. The elementary version of the topic (with unit numerators) needs to be what readers see first, under the name "continued fraction", per WP:TECHNICAL, because that is the simplest and most accessible version of the topic. Re Malparti's earlier query: I have not formulated an opinion on whether a merge is ok, as a general thing, because I have not looked carefully at whether it is possible to do that and not overload the merged article. But if it is to be merged, the basics need to be front and center. In particular, what I oppose in proposal 2 is not the idea of a merge overall, but the specific "Start from the more generic definition". In mathematical topics, starting from a position of generality is usually a very good way to make material abstract and inaccessible. —David Eppstein (talk) 19:41, 24 October 2024 (UTC)
- @David Eppstein I worked hard to understand somehow your standpoint, and I conceded that the focus on unit numerators is standard in number theory and that changes shall respect the wishes of editors from that background. Now I would appreciate if you could also try to understand the standpoint of numerical analysis where all kinds of numerators occur, and the restriction to unit numerators does not feel natural at all.
- For me, the request to start with numerator = 1 feels a bit like Division_(mathematics)#Notation starting with a/2 instead of a/b. -- Dyspophyr (talk) 20:23, 24 October 2024 (UTC)
- I'm pretty sure that, in fact, elementary school students learn about halving before they learn about more advanced forms of division. See Dyadic rational § In mathematics education. The difference is that we can reasonably expect most of our readers to be past that point already, but I don't think we can reasonably expect readers of this article to come into it with an advanced understanding of the topic. —David Eppstein (talk) 20:30, 24 October 2024 (UTC)
- I'm actually curious who are the readers of this article: whether they are mostly young math students or slightly more advanced physicists (or even applied mathematicians). I'm saying this because when I looked a bit into continued fractions a few years ago I was quite surprised to find out that my physicist friends (who are, admittedly, mathematical physicists) all knew way more about continued fractions, orthogonal polynomial, Padé approximants, etc than me. At any rate: I agree that the article should be written for a broad audience. Malparti (talk) 23:37, 24 October 2024 (UTC)
- I'm pretty sure that, in fact, elementary school students learn about halving before they learn about more advanced forms of division. See Dyadic rational § In mathematics education. The difference is that we can reasonably expect most of our readers to be past that point already, but I don't think we can reasonably expect readers of this article to come into it with an advanced understanding of the topic. —David Eppstein (talk) 20:30, 24 October 2024 (UTC)
- @David Eppstein One issue is that the current lead seems kind of vague and cagey about what "continued fraction" means, and then the rest of the article implies a very restrictive definition. This ends up being confusing/misleading to readers who encounter other kinds of continued fractions and come here looking to find out about them. This same concern probably motivates initial explanations along the lines of what I wrote above, which is found in a variety of books focused on "simple" continued fractions. Even if we want to keep this article's subject the same, I think it's helpful to lead with a definition giving an explicit expression with arbitrary integer numerators and then include text along the lines of that found in Olds (1963), "From now on, unless the contrary is stated, the words continued fraction will imply that we are dealing with a finite simple continued fraction." –jacobolus (t) 20:33, 24 October 2024 (UTC)
- I oppose all three. The elementary version of the topic (with unit numerators) needs to be what readers see first, under the name "continued fraction", per WP:TECHNICAL, because that is the simplest and most accessible version of the topic. Re Malparti's earlier query: I have not formulated an opinion on whether a merge is ok, as a general thing, because I have not looked carefully at whether it is possible to do that and not overload the merged article. But if it is to be merged, the basics need to be front and center. In particular, what I oppose in proposal 2 is not the idea of a merge overall, but the specific "Start from the more generic definition". In mathematical topics, starting from a position of generality is usually a very good way to make material abstract and inaccessible. —David Eppstein (talk) 19:41, 24 October 2024 (UTC)
A funny fact: Sentence one of the present article gives a very narrow definition of continued fractions, as a tool for decomposing numbers, with numerator = 1. This sentence is followed by citation [1], namely https://en.wikipedia.org/wiki/Continued_fraction#CITEREFEncyclopaedia_Britannica2013. Please look up this link: it gives the generic definition a0 + b0/.... This cries for bold changes. -- Dyspophyr (talk) 12:41, 25 October 2024 (UTC)
Generic continued fraction
[edit]Stopping by to register my displeasure with the neologism "generic continued fraction". I think this should be moved back to generalized continued fraction. Tito Omburo (talk) 13:16, 31 October 2024 (UTC)
- Of course "generic continued fraction" is bad. The correct term is "continued fraction". However, this obvious solution is blocked because some colleagues here insist on their narrow number-theoretical point of view. Thence "generic continued fraction", which is worse than "continued fraction" but much better than the totally incorrect "generalized continued fraction". -- Dyspophyr (talk) 13:25, 31 October 2024 (UTC)
- If a term is ambiguous, we disambiguate with parentheses. E.g., continued fraction (mathematical analysis). We don't invent new terms for things. Tito Omburo (talk) 13:30, 31 October 2024 (UTC)
- This is a valid argument, and a much better proposal than renaming back to the incorrect "generalized continued fraction".
- Even better in combination with the above Proposal 3. Then we could have continued fraction (generic) vs continued fraction (simple).
- How sure are we that usage of the generic definition is restricted to analysis? -- Dyspophyr (talk) 13:34, 31 October 2024 (UTC)
- @Dyspophyr Can you try to tone down the rhetoric? –jacobolus (t) 17:26, 31 October 2024 (UTC)
- May I suggest we avoid too categorical statements. There is no such thing as "correct" when sources differ, but there may be such things "incorrect" (if no serious sources support it) and "neologism" (ditto).
- "Genereric continued fraction" is not incorrect, and not a neologism; just check google. It's not my personal favourite; I'd go with "general" or "generalized" - with logic favouring the first, and consensus probably the latter. Neither are incorrect or neologisms.
- "Simple continued fraction" is as far as I can see the obvious choice for those where all numerators are 1.
- "Continued fraction" alone is OK in a context where the meaning is clear, but otherwise it should be disambiguated, however we choose to do that. I personally think disambiguating by the field, as in "Continued fraction (mathematical analysis)" or "Continued fraction (number theory)", is not the best way; use of continued fractions is not limited to those two fields, and even if a certain terminology is prevalent within one or the other field, for us to prefer a more consistently unambiguous terminology (with support in several sources) is better than siding with one field.
- Nø (talk) 13:51, 31 October 2024 (UTC)
- You are incorrect. "Generic continued fraction" is a neologism. The only used of the phrase I have found are combinations of the word "generic" (a term of art in measure theory) and "continued fraction". It does not mean a certain kind of continued fraction. Tito Omburo (talk) 15:17, 31 October 2024 (UTC)
- There is no neologism because there is no claim that "generic continued fraction" is a mathematical term. We rather introduce it as mathematical term "continued fraction" with common-language adjective "generic". Which is less wrong than "generalized", just because "generalized something" is received mathematical terminology and means almost the opposite, namely: not the common thing, but a more exotic variant.
- How about "common continued fraction"? -- Dyspophyr (talk) 16:21, 31 October 2024 (UTC)
- Whether you claim to be inventing a new term or not, that is what you are doing by titling the article in this way. (Also, I object strongly to the unidiomatic use of the word "generic".) One possibility is continued fraction (general), and simple continued fraction. Tito Omburo (talk) 17:00, 31 October 2024 (UTC)
- And an even better solution would be continued fraction, and simple continued fraction. Which, however, would make some others unhappy.
- Is there any other example of a math article with qualification "(general)"? -- Dyspophyr (talk) 17:04, 31 October 2024 (UTC)
- The primary topic is the simple case. If someone reads about continued fractions, they are most likely dealing with that case. So your solution is no good for this reason. How about continued fraction (function theory)? Tito Omburo (talk) 17:10, 31 October 2024 (UTC)
- "If someone reads about continued fractions, they are most likely dealing with that case." This is pure speculation, not a base for an informed lexicographic decision. -- Dyspophyr (talk) 17:18, 31 October 2024 (UTC)
- I conducted a survey of basic textbooks on continued fractions, number theory, etc. As far as I am aware, that remains uncontested, and is supported by other editors. Tito Omburo (talk) 17:20, 31 October 2024 (UTC)
- Textbooks on number theory - if that isn't a circular argument, then I don't know. -- Dyspophyr (talk) 17:22, 31 October 2024 (UTC)
- I conducted a survey of basic textbooks on continued fractions, number theory, etc. As far as I am aware, that remains uncontested, and is supported by other editors. Tito Omburo (talk) 17:20, 31 October 2024 (UTC)
- The numerator ≠ 1 case is by no means restricted to function theory. -- Dyspophyr (talk) 17:25, 31 October 2024 (UTC)
- Well, I've moved the article to avoid your neologism. You're welcome to try to build consensus around a different possibility. As I see it, the primary topic is the simple case. Obviously you don't agree, and are not really amenable to any of my suggestions. So have it out with other editors then. Tito Omburo (talk) 17:32, 31 October 2024 (UTC)
- "If someone reads about continued fractions, they are most likely dealing with that case." This is pure speculation, not a base for an informed lexicographic decision. -- Dyspophyr (talk) 17:18, 31 October 2024 (UTC)
- The primary topic is the simple case. If someone reads about continued fractions, they are most likely dealing with that case. So your solution is no good for this reason. How about continued fraction (function theory)? Tito Omburo (talk) 17:10, 31 October 2024 (UTC)
- Whether you claim to be inventing a new term or not, that is what you are doing by titling the article in this way. (Also, I object strongly to the unidiomatic use of the word "generic".) One possibility is continued fraction (general), and simple continued fraction. Tito Omburo (talk) 17:00, 31 October 2024 (UTC)
- I still think the clearest result for readers would be to merge these articles using a basic definition allowing arbitrary numerators, but then point out immediately that "simple" or "regular" continued fractions with all numerators equal to 1 are often just called "continued fractions". The article can still spend more than half of its total length on this most common special case (and even continue to use the name "continued fraction" for it where the meaning is clear from context). If the merged article ends up being too long, some of the more detailed material can be moved or split out into more specialized topic-specific articles; we don't need to reprise a whole textbook about the subject here, just a summary. (As an example, § Continued fraction expansion of π and its convergents could probably be moved to Pi § Continued fractions or a new article, with at most a short summary here.) But for a merge to go forward someone would have to put the effort in to write a clear draft, ideally up front before a decision is made, taking the chance that the resulting consensus might be to keep the articles separate. –jacobolus (t) 17:32, 31 October 2024 (UTC)
- Fully agree except for the draft. This is not how things work here. We need to improve the article incrementally. -- Dyspophyr (talk) 18:39, 31 October 2024 (UTC)
- You can't do something like a large controversial merge incrementally on the published version without causing edit warring, drama, and bad feelings for no benefit whatsoever. Feel free to write a draft incrementally outside of main namespace if you think it will take a lot of time and back and forth to get right. –jacobolus (t) 20:30, 31 October 2024 (UTC)
- Fully agree except for the draft. This is not how things work here. We need to improve the article incrementally. -- Dyspophyr (talk) 18:39, 31 October 2024 (UTC)
- "generic" was correct, see Merriam Webster meaning 1c. https://www.merriam-webster.com/dictionary/generic
- continued fraction (generalized) is wrong. "Generalized" in received mathematical terminology means something more exotic than the basic variant, like in generalized Laguerre polynomial. "Generalized continued fraction" makes sense only for those who don't use them. How about continued fraction (non normalized)? -- Dyspophyr (talk) 18:39, 31 October 2024 (UTC)
- Generic has an established idiomatic in mathematics, which this isn't. I don't love "non normalized", because normalized doesn’t seem to be a word that's used in this context. "Generalized" seems like a good term because some sources do use it, and the generalized ones are more general than the ones used here. It is not true that "generalized" means "exotic". "Irregular" or "nonsimple" might work better, but I haven't seen these used in this negated form in any sources. Tito Omburo (talk) 19:05, 31 October 2024 (UTC)
- Could you please show me some established uses of "generic" in mathematics?
- By "some sources" I guess you mean the number theory sources you mentioned above?
- "nonsimple" could be a possible compromise.
- -- Dyspophyr (talk) 19:25, 31 October 2024 (UTC)
- We have in fact an entire article about this concept: generic property. And the word is used in this sense in discussing continued fractions here. Tito Omburo (talk) 19:54, 31 October 2024 (UTC)
- Your "here" paper has "generic" in quotation marks. If anything, it proves that this is not a standard term. -- Dyspophyr (talk) 20:39, 31 October 2024 (UTC)
- I see no point in engaging with you on this further. Tito Omburo (talk) 20:43, 31 October 2024 (UTC)
- Your "here" paper has "generic" in quotation marks. If anything, it proves that this is not a standard term. -- Dyspophyr (talk) 20:39, 31 October 2024 (UTC)
- We have in fact an entire article about this concept: generic property. And the word is used in this sense in discussing continued fractions here. Tito Omburo (talk) 19:54, 31 October 2024 (UTC)
- Both "non-simple" and "irregular" are occasionally found in practical use. –jacobolus (t) 20:32, 31 October 2024 (UTC)
- OK, I vote for continued fraction (non-simple), modulo final decisions about the hyphen. Tito Omburo (talk) 20:40, 31 October 2024 (UTC)
- Thank you for agreeing on this one. Will you do the move? -- Dyspophyr (talk) 21:35, 31 October 2024 (UTC)
- well, so I will do it. -- Dyspophyr (talk) 08:39, 1 November 2024 (UTC)
- Thank you for agreeing on this one. Will you do the move? -- Dyspophyr (talk) 21:35, 31 October 2024 (UTC)
- OK, I vote for continued fraction (non-simple), modulo final decisions about the hyphen. Tito Omburo (talk) 20:40, 31 October 2024 (UTC)
- Generic has an established idiomatic in mathematics, which this isn't. I don't love "non normalized", because normalized doesn’t seem to be a word that's used in this context. "Generalized" seems like a good term because some sources do use it, and the generalized ones are more general than the ones used here. It is not true that "generalized" means "exotic". "Irregular" or "nonsimple" might work better, but I haven't seen these used in this negated form in any sources. Tito Omburo (talk) 19:05, 31 October 2024 (UTC)
- You are incorrect. "Generic continued fraction" is a neologism. The only used of the phrase I have found are combinations of the word "generic" (a term of art in measure theory) and "continued fraction". It does not mean a certain kind of continued fraction. Tito Omburo (talk) 15:17, 31 October 2024 (UTC)
- All these parenthesized versions are terrible and violate the policy (!!) WP:natural disambiguation; the other article should be moved back to the title Generalized continued fraction. It is extremely common in mathematics for there to be a concept X that is generalized to a more general concept Y, and then there is a fracturing where people working in the specific case X call it "X" and people working in the more general case Y also call it "X". A concrete example is the situation with reflection groups: people who work with complex reflection groups just call their groups reflection groups, but we don't move that article to the base name Reflection group (because the real reflection groups have a much stronger claim on that title) and we don't title the article about them Reflection group (complex) (because that's horrific), we do WP:natural disambiguation. The same should be done in this case. 100.36.106.199 (talk) 13:49, 1 November 2024 (UTC)
- People working with complex reflection group may call them "reflection groups" for short, but are well aware of the full name. Conversely, standard works on numerical analysis or special function never indicate that the proper name be "generalized continued fraction". That name is completely made up here, by people who ignore eveything of a huge field of mathematics.
- No objection to non-simple continued fraction. -- Dyspophyr (talk) 09:34, 2 November 2024 (UTC)
- It is not "the full name", it is a name that is used exclusively to distinguish it from other kinds of reflection groups (and specifically from the subclass that is the most important and gets talked about the most). And it is not the only name used for this class (e.g. Unitary Reflection Groups is another name in wide circulation). This is exactly parallel to the situation with continued fractions.
- Non-simple continued fraction is certainly an improvement over any of the parenthesized versions; I would strongly endorse a move there from the current continued fraction (non-simple), per WP:natural disambiguation. (I do not think it is a good name because it creates a situation in which simple continued fractions are non-simple; this is worse than the usual logical problem with naming schemes for mathematical objects whereby, for example, a manifold with boundary is not actually a manifold. But it is certainly a better article title than the ones with parenthesized disambiguators.) 100.36.106.199 (talk) 00:01, 3 November 2024 (UTC)
- @Dyspophyr Since reaching a consensus seems to be quite hard, I've started doing the literature search I had offered to do from the beginning of the discussion. I will post my results here later this week — probably on Thursday. We can then use them to settle on a terminology. Malparti (talk) 14:08, 4 November 2024 (UTC)
Literature search on the terminology
[edit]Considering how hard it has proved to reach a consensus, here are some data.
Methodology
[edit]I considered the first 20 results given by Google Books for the query "continued fraction"
, and, for the continued fraction
looked at what the three following type of continued fractions were called:
- for all
- for all and is a positive integer for
- general (no restrictions on and )
Comments:
- The rationale is that this is a proxy for a typical occurrence of the phrase that might lead people to read the Wikipedia article. Note that:
- it is better to look at Google Books than Google Search because it yields a higher proportion (here, 100%) of "reliable sources";
- it is better to look at Google Books than, e.g, arXiv or the research library of my institution because we want to know the common names, not research-level jargon.
- Regarding the choice of the number 20:
- I was initially planning to look at the first 50 — instead of 20 — results, but that was very time-consuming; I took a break upon reaching 20 and realized there already seemed to be a consensus so I might as well stop here.
- I could not find 2 of the books/manuscripts online; so I looked at the next 2 results, in the order that they were listed by Google, to get 20 data points.
- Since the choice of the number of results was not independent of of the results, it could be argued that there is some selection bias. If someone really believes this, we could look at the first 50 results.
- I obviously could not read the sources listed below in detail and had to skim through. So please feel free to check that my classification is accurate, and to contest it if you believe it isn't.
Results
[edit]("regular" stands for "regular continued fraction", "∅" stands for "continued fraction", etc)
Reference | general | comment | ||
---|---|---|---|---|
Continued Fractions, Khinchin (1997) | regular / simple | (no specific name) | ∅ (implicit) | Exclusively deals with and calls them continued fractions for short |
Continued Fractions, Rockett & Szusz (1992) | continued fraction | regular | ? (not considered) | Exclusively deals with and calls them continued fractions for short |
Continued Fractions, Hensley (2006) | (no specific name) | simple (?) | ∅ | The book covers a wide range or topics and doesn't explicitely define all terms |
Continued Fractions: Convergence Theory, Lorentzen & Waadeland (2008) | (no specific name) | regular | ∅ | |
Continued fraction solutions of the Ricatti equation, J. Math. Anal. Appl., Merkes & Scott (1962) | (no specific name) | (no specific name) | ∅ | Research article |
Metrical Theory of Continued Fractions, Iosifescu & Kraaikamp (2002) | (no specific name) | regular | ? (not considered) | Exclusively deals with and calls them RCF or continued fractions for short |
Exploring Continued Fractions: From the Integers to Solar Eclipses, Simoson (2021) | (no specific name) | simple | ∅ | Broad audience |
Analytic Theory of Continued Fractions, Wall (1948) | (no specific name) | (no specific name) | ∅ | |
Analytic Theory of Continued Fractions II, Thorn (1986) | (no specific name) | (no specific name) | ∅ | |
Tabulation of Transcendental Functions by the Continued Fraction of Gauss, Freeman (1958) | — | — | — | Doctoral thesis; could not find online |
Infinite families of exact sums of squares formulas, Jacobi elliptic functions, continued fractions, and Schur functions, Ramanujan J., Milne (2002) | regular (implicit) | (not considered) | ∅ | Research article |
The continued fractions found in the unorganized portions of Ramanujan’s notebooks, Mem. Am. Math. Soc., Andrews et al (1992) | (no specific name) | (no specific name) | ∅ | |
History of Continued Fractions and Padé Approximants, Brezinski (2012) | simple / regular | simple / regular | ∅ | More of history book than a math book; many authors are quoted verbatim so terminology is not always consistent |
Geometry of Continued Fractions, Karpenkov (2013) | ∅ | regular | (not considered) | |
Continued Fractions and Signal Processing, Sauer (2021) | (not clear) | (not clear) | (not considered) | The book defines a continued fraction as , but then says that taking is of special interest. "Rational" continued fractions are also considered. |
Multidimensional Continued Fractions, Schweiger (2000) | regular (?) | regular (?) | not sure | I couldn't quickly understand the terminology |
Proofs in Competition Math: Volume 2, Toller et al (2019) | simple | (not considered) | ∅ | I could not access the whole book; it seems that it contains inconsistencies / mistakes |
Handbook of Continued Fractions for Special Functions, Cuyt et al (2008) | (not considered) | regular | ∅ | |
The recursion method : application to many-body dynamics, Viswanath & Gerhard Müller (1994) | (not considered) | (not considered) | ∅ | Physics |
On the Use of Parameters in Continued Fraction Transformations, Merkes (1961) | — | — | — | Could not find online |
Irrationality and Transcendence in Number Theory, Angell (2022) | (not considered) | simple | ∅ | |
Encyclopedic Dictionary of Mathematics, Sūgakkai (1993) | (not considered) | simple | ∅ |
Conclusions
[edit]In these data:
- In number theory, people are mostly interested in the case , whereas in other fields people are usually interested in the general case. The claim that had been made previously that "most people" are interested in the case is not supported by these data.
- Most authors — even in number theory — seem to agree that the proper "common name" for the case is either regular continued fraction or simple continued fraction (although a few authors used this for the case and no restrictions on ). Even books that are exclusively about usually respect this terminology in their definitions, and then say something like "from now on, we simply use 'continued fraction' to refer to a regular continued fraction".
- The terms regular and simple are both frequently used, although regular seems a bit more common.
- Most authors define a continued fraction as corresponding to the general case. None of the sources listed here use a specific name (such as "generalized continued fraction) for the general case.
Based on these limited data, it seems that there should be two articles:
- one article on the case . This article should be called regular continued fraction (or, possibly, simple continued fraction).
- one article on the general case. This article should be called continued fraction.
If you disagree with these conclusions, please provide concrete data so the discussion does not go in circles. Remarks such as "The case is obviously the most important" or "I vote against this renaming" are not helpful [most important to whom? To number theorists and computer scientists, maybe, but not to physicists, applied mathematicians; and Wikipedia is based on informed consensus, not vote] and the the discussion is already extremely long + the articles have been renamed several times, which is not ideal.
I'll try to tag all the people who have previously taken part in this discussion, sorry if I forget someone: @Dyspophyr @johnbarton @David Eppstein @Jacobolus @Tito Omburo @Gumshoe2 @Nø @XOR'easter
Cheers,
Malparti (talk) 17:32, 4 November 2024 (UTC)
- Nice work. I support this proposed naming. Tito Omburo (talk) 18:36, 4 November 2024 (UTC)
- It seems bizarre to me that you have a table of sources in which all of the ones annotated with a comment about their nomenclature say that they use "continued fraction" for short for the case, and are somehow drawing the conclusion from this that the article on the case should be named something different. I oppose your conclusions on the basis that your source table suggests the opposite conclusion: that continue to be covered under continued fraction with a pointer to a more advanced article on the more general case under whatever other name. —David Eppstein (talk) 19:41, 4 November 2024 (UTC)
- @David Eppstein There is nothing bizarre:
- In any specialized text, people are going to use some short form that's "technically not the 'correct name', but clear enough given the context". So this was expected, not bizarre.
- That's only two sources out of 20 — four if you include Iosifescu & Kraaikamp (but this one uses RFC; note the R) and Sauer (but this one uses a slightly different definition). So I don't see why they should be given a special weight; and, more importantly:
- Did you look at said sources?
- Khichin states in the introduction:
- The purpose of the present elementary text is to acquaint the reader only with the so-called regular continued fractions, that is, those of the form
- usually with the assumption that all the elements are positive integers.
- The purpose of the present elementary text is to acquaint the reader only with the so-called regular continued fractions, that is, those of the form
- Rockett & Szusz, in their introduction, oppose "regular continued fractions" to "many kinds of continued fractions"; They then state:
- We now specialize the continued fractions (1.1) described in the previous section to regular continued fractions in which the initial term is an integer and the (possibly infinite) sequence of partial quotients consists of positive integers. For the remainder of this book, we shall mean "regular continued fraction" whenever we write "continued fraction" unless we specifically state otherwise.
- To me, that can be interpreted as saying that these two sources agree on the fact that the common name for these objects is regular continued fractions; and then — unsuprisingly, since they focus exclusively on regular continued fractions — they use some abbreviation — but note that both Rockett & Szusz and Iosifescu & Kraaikamp point out that this is local jargon ["for the remainder of this book"]). I guess we agree that it is natural that a textbook on algebraic integers would refer to them simply as "integers"; that a textbooks on directed graphs would call them "graphs", etc.
- In case the word "bizarre" was referring to my comments themselves (e.g, to imply that there is something fishy with the table): these comments are meant to give context, so that other editors can see whether they agree with my classification more easily. I could have merely said that Khichin and Rockett & Szusz explicitly say, when defining terms, that define a regular continued fraction and say (or imply, in the case of Khichin) that more general continued fractions are simply called continued fraction, and I do not think I would have misrepresented those sources. However, to give arguments to people who are in favor of the status quo, I point out that they actually use continued fraction for regular continued fraction as local terminology.
- Malparti (talk) 00:17, 5 November 2024 (UTC)
- Though if you start looking at research papers rather than books, you will find many (many) where "continued fraction" is used to mean the type with numerators equal to 1 and integer denominators, without any explicit mention of more general versions. (And also many papers where "continued fraction" is used for the version with arbitrary numerators and denominators.) But looking at a few of the same books you found, as well as a few with similar definitions not in your list, was what made me change my mind a few days ago toward the position that a merger would be a better outcome than the status quo or any rename of this article. –jacobolus (t) 05:06, 5 November 2024 (UTC)
- @Jacobolus I have not done it (and I am not going to do it because I think research papers are less relevant than textbooks for the purpose of this discussion), but after quickly looking at the first page of results, it looks like the results would not be different if we used Google Scholar instead of Google Books:
- Though if you start looking at research papers rather than books, you will find many (many) where "continued fraction" is used to mean the type with numerators equal to 1 and integer denominators, without any explicit mention of more general versions. (And also many papers where "continued fraction" is used for the version with arbitrary numerators and denominators.) But looking at a few of the same books you found, as well as a few with similar definitions not in your list, was what made me change my mind a few days ago toward the position that a merger would be a better outcome than the status quo or any rename of this article. –jacobolus (t) 05:06, 5 November 2024 (UTC)
- @David Eppstein There is nothing bizarre:
Extended content
|
---|
|
- I did that in a rush (~15 minutes), so of course that would need to done more rigorously.
- "But looking at a few of the same books you found, as well as a few with similar definitions not in your list, was what made me change my mind a few days ago toward the position that a merger would be a better outcome than the status quo or any rename of this article" → interestingly, looking at the literature is what made me change my mind on that and think that we need a specific article for regular continued fractions: if you look at my messages above, you'll see that I was in favor of merging the article... I've somewhat changed my mind now and I think "regular continued fractions" should have a detailed article. They should also be discussed in the "main" article of course, both in the lead and in a dedicated section.
- Cheers, Malparti (talk) 10:59, 5 November 2024 (UTC)
- Thanks for this work. I see it as very strong evidence that the naming "continued fraction" vs "generalized continued fraction" is inappropriate, and your suggestion seems reasonable to me; I support it. Of course it would be right to also say clearly that the "regular/simple" continued fraction is often just called "continued fraction", and the lead sections should orient readers appropriately and transparently.
- However I would still agree with jacobolus' earlier suggestion that ideally there should be only one article – although it seems that may be too much work to do adequately. Gumshoe2 (talk) 00:40, 5 November 2024 (UTC)
- Excellent work, many thanks @Malparti. -- Dyspophyr (talk) 14:24, 5 November 2024 (UTC)
Decision?
[edit]We should come to a decision now. @Malparti @Jacobolus @Gumshoe2 and others, would you endorse a request to an admin to move the present article to regular continued fraction so that the present slot gets free for the multiply renamed continued fraction (non-simple)? This has the advantage that histories will be preserved. It will not prejudice future transfer or merger of contents; on the contrary, it will make such work simpler. -- Dyspophyr (talk) 09:43, 6 November 2024 (UTC)
- @Dyspophyr As of today, I support this renaming. But there is no rush, and I think there is no harm in waiting a bit more to give other editors time to chime in and make sure we truly have consensus (it's been less than two days and users who showed an interest in the discussion such as @XOR'easter and @Nø have not replied yet). @David Eppstein, being from the US, might have other things on his mind in the next few days. Nevertheless: he had some concerns about my literature search. I think I have addressed them. Now he still has a right of reply.
- Also, @Jacobolus and @Gumshoe2 suggested that ideally we should have one article, and I'd like to explore this option a bit more. Leaving feasibility aside, I used to think that this was the best option (see my first contribution to that discussion: "I think your suggestion makes sense; although, in my opinion, it might make even more sense to merge the two articles...") but looking at the literature made me change my mind. In terms of Wikipedia policies, I think that the fact that there are a fair number of textbooks / monographs dedicated exclusively to regular continued fractions is a solid argument to claim that this topic deserves its own article. Cheers, Malparti (talk) 10:17, 6 November 2024 (UTC)
- I accept the decision, though it is not the one I would favour most. However, under this decision, what is most important is that all plausible titles for Regular continued fraction (e.g., Simple continued fraction) redirect to Regular continued fraction, except Continued fraction, which instead should clarify from the start that it covers the general case, and that material on the specific case where the numreators are all 1, which sometimes is referred to as just "Continued fraction", can be found in Regular continued fraction. This could be a hatnote, or explained early in the lead. Also, all plausible titles for "General continued fraction" (e.g. also Generalized continued fraction) should redirect to Continued fraction. Nø (talk) 13:42, 6 November 2024 (UTC)
- If this article were to be retitled, "simple continued fraction" is the most common more specific name, with about twice as many results in a google scholar search as "regular continued fraction" (2570 vs. 1340 when excluding sources mentioning both names). There are also thousands of sources which discuss this topic but just use the name "continued fraction". –jacobolus (t) 15:22, 6 November 2024 (UTC)
- @Jacobolus Yes, simple continued fraction is of course fine. In the textbooks I looked at, I saw regular continued fraction about 50% of the time; but all the metrics I look at (Ngram viewer, etc) suggest that you are correct and that simple continued fraction is in fact more common; so that should indeed be the new name.
- Several sources — e.g, Wolfram Mathworld, see regular CF vs simple CF — make a distinction between the two, but that does not seem to be standard at all (see the table above) so I wouldn't worry about it.
- Another question we should answer is: should the renamed article be about the case or ?.. Based on what I saw so far, I would argue the latter... But I'm not qualified to have a useful opinion on this.
- Of course, as @Gumshoe2 and @Nø pointed out, there should be appropriate redirections and the lead should be written carefully to make sure everybody instantly know which article to read. Malparti (talk) 15:50, 6 November 2024 (UTC)
I am somewhat inclined to prefer "simple" to "regular". Michael Hardy (talk) 04:38, 11 November 2024 (UTC)