This site is supported by donations to The OEIS Foundation.

OeisWiki talk:Community Portal

From OeisWiki
Jump to: navigation, search

For older topics see the archive.

Fun sequences

I didn't find a place for recreational sequences - these don't exactly fit to puzzle, classic or hot ones. Could you either tell me if there's one, or if not, point me to create a new page if there's demand for that? The sequence I'm thinking about is greediv (greedy division). The idea is that you go backwards summing the previous members until the sum is divisible by wanted n. Then the sum is divided by n and that becomes the new last member. Greediv2 was fully solved in A003558, but the higher n's are more elusive. Juhani Heino 09:53, 9 July 2017 (UTC)

Wikidata property P829

P829 is OEIS ID, a property used on "items" (roughly, Wikimedia pages tracked by Wikidata) with a corresponding OEIS page: P829 on Wikidata. There are some tools on the P829 talk page, actually a template used on many property talk pages. One interesting link is current uses, clicking on it ends up on a form, and after some time a script displays an already edited "current OEIS ID uses" query.

Not touching anything, just clicking on the "start query" button at the lower left edge of the form, finally displays 204 items by name with their corresponding OEIS A-number. The answer can be downloaded as JSON, CSV, or SVG for further processing. Or as tiny URL of the result, here's the long URL.

The 204 labels mostly make sense, e.g., "Prouhet–Thue–Morse constant" has OEIS ID value A014571. This row begins with a link to wd:Q2994918. The Q2994918 page shows various claims or statements known by Wikidata. In their terminology any claim with a reference is a statement. All (=5 in this example) Wikipedias with a page about Q2994918 are listed (da, en , es, fr, zh). –Frank Ellermann 09:46, 16 October 2017 (UTC)

FWIW they have a Wikidata:WikiProject_Mathematics, but attempts to find volunteers for something you want to be done by somebody else are almost always doomed. :-P –Frank Ellermann 06:29, 17 October 2017 (UTC)

Pending edit requests

If {{edit request}} is put on the talk page of a protected page, the talk page is added to tracking category:Protected items with edit request, a child (sub-category) of category:OEIS Wiki maintenance. Most pending edit requests were created in 2011, some resolved in 2016, and I disabled or removed {{edit request}} for all apparently resolved issues.

About ten requests still need somebody with the elevated rights (= admin) to resolve the remaining ten pending requests; or to reject the request (= disable template + state why the request was a bad idea, but apart from one not really critical suggestion to get a nicer list of sequences deleted from 1996-2010 the other pending requests are valid from my PoV.)

In one case I disabled {{edit request}}, because the page is not protected, but something else is broken: The vintage 2010 draft OEIS_Wiki_clock looks good, shouldn't it show up somewhere (another tracking category) as a pending draft? Another oddity is Template_talk:Index_Section_List, user group "autoconfirmed" does not exist, and therefore a missing section Rec cannot be added to the index without admin/bot/editor help.Frank Ellermann 05:16, 18 October 2017 (UTC) Updated: 03:22, 21 October 2017 (UTC)

Pending reviews since 2013

Could somebody with patrol rights please either review the 11-, 13-, 17-, 19-, and 23-rough numbers, or un-protect these pages to be on the same protection level as the 3-, 5-, and 7-rough numbers? On Wikis consistency is rather important, or maybe this is only me, but I just edited the 3/5/7-rough stubs for proposed A084967 + A0849678 changes noted on my user page. –Frank Ellermann (talk) 10:09, 23 February 2020 (EST)

Resolved by Charles R Greathouse IV, thanks. –Frank Ellermann (talk) 21:26, 12 March 2020 (EDT)

SVG 2020

SVG is one the supported file types in Special:Upload and used to work as expected for years. Wild guess, maybe the critical rsvg-convert was lost in the update to MediaWiki version 1.30.0; error message for all SVGs in, e.g., Special:ListFiles:

Error creating thumbnail: /bin/bash: rsvg-convert: command not found

Related, July 2020 would be a good time for the next upgrade to version 1.35, because this will be the next Long Time Support version getting security updates 1.35.n for years. –Frank Ellermann (talk) 18:56, 26 February 2020 (EST)

Special:MIMESearch/image/svg+xml finds 334 affected SVGs, please fix this. –Frank Ellermann (talk) 06:23, 6 March 2020 (EST)
Theory, if there's a list of OEIS sysops incl. HvdS, Russ, et. al. matching the 6 Wiki sysops one of them might know where a presumably still existing rsvg-convert hides itself from whatever the MediaWiki software considers as executable, and how to fix that (copy, hardlink, chmod +x, or similar).
Testing that theory now with four pings: –Frank Ellermann (talk) 12:19, 10 March 2020 (EDT)
I think it should just require installing the librsvg2-bin package, but that brings along a surprisingly long list of dependencies; I'll give it a day or two for others to react before acting on that. Hugo van der Sanden (talk) 08:29, 14 March 2020 (EDT)
On Windows it is available as a standalone binary, give or take some havoc for missing fonts without the GNU font management tool. MediaWiki depends on it, they have a manual page mentioning Debian: mediawikiwiki:Manual:$wgSVGConverters#Linux. –Frank Ellermann (talk) 09:23, 14 March 2020 (EDT)
Ah, with the info on that manual page it becomes less obvious, I'll need to dig a little. Hugo van der Sanden (talk) 09:32, 14 March 2020 (EDT)
Should be fixed now, please take a look and confirm. Thanks, Hugo van der Sanden (talk) 11:00, 19 March 2020 (EDT)
Great, thanks, works for me. –Frank Ellermann (talk) 11:18, 19 March 2020 (EDT)

Project:Community Portal

The Community portal wikilink in the sidebar goes to the Project:Community portal, and that Project:Community portal with a p is a #REDIRECT:[[Project talk:Community Portal]] to this talk page Project talk:Community Portal with a P. So far that is as it should be for all contributors with the rights required to edit any OeisWiki page.

N.B., the Project: and Project talk: namespaces 4 + 5 exist on all MediaWiki wikis with different aliases depending on the project, here OeisWiki: and OeisWiki talk. On, say, enwiki (or dewiki) that is Wikipedia: and Wikipedia talk: (or Wikipedia Diskussion:) with a shorthand WP: for namespace 4.

Here that leaves the Project:Community Portal = OeisWiki:Community Portal with a P in limbo for technical reasons—with about 128 exceptions known as editors / Associate Editors incl. reviewers / Editors in Chief, and administrators (sysops)—the community cannot edit the community portal project page. Therefore I suggest to replace this project page with a P by a #REDIRECT:[[Project talk:Community Portal]], exactly the same idea as for the Project:Community portal with a p.

Would some Administrator please edit the protected page OeisWiki:Community Portal and remove {{Edit request}} here.

Frank Ellermann (talk) 22:13, 12 March 2020 (EDT)

Two OEIS proper issues


On Talk:The_OEIS_End-User_License_Agreement a contributor reported an issue with stripped.gz
On File:BluePinLeft2.gif I reported an issue with transforms.html. –Frank Ellermann (talk) 04:22, 14 March 2020 (EDT)

Magic number 119

The longest integer in a sequence can have 119 digits if followed by a comma, or 120 digits if it is the last term. A057705 broke that undocumented (?) rule, I'll try to fix that with a hammer (= remove overlong last term). This should be globally checked, ideally it should be impossible to add numbers with more than 119 digits. –Frank Ellermann (talk) 14:55, 20 March 2020 (EDT)

Reptend or Repetend

Sequence descriptions seem to use these two spellings at random. Dictionary suggests the latter might be better. Is this the right place to ask who knows how to do a widespread fix of such things? On wikipedia I'd use JWB, but I'm not sure you have something like that or whether it would access the sequences. Richard F. Lyon (talk) 16:49, 6 April 2022 (EDT)