Login
Login

Wikipedia:Redirects for discussion/Log/2022 May 19#Greatest integer

{{rfd log header|2022|May 18|2022|May 20}}

=[[Wikipedia:Redirects for discussion/Log/2022 May 19|May 19]]=

This is a list of redirects that have been proposed for deletion or other action on May 19, 2022.

==Colombian panda==

File:White x in red rounded square.svg Closed discussion, see full discussion. Result was:

:The following is an archived discussion concerning one or more redirects. Please do not modify it. Subsequent comments should be made on an appropriate discussion page (such as the redirect's talk page or in a deletion review). No further edits should be made to this section.

:The result of the discussion was delete

. Jay (talk) 06:33, 27 May 2022 (UTC)

Not mentioned at the target or its linked esWiki article, can't find any evidence of usage of this title online, zero hits on Google Scholar, delete unless a justification can be provided. signed, Rosguill talk 17:54, 19 May 2022 (UTC)

  • Delete per nom. The only usage I find of the term is a novelty T-shirt design. MB 20:08, 19 May 2022 (UTC)
  • Delete - I agree with the above arguments. CoffeeWithMarkets (talk) 03:01, 20 May 2022 (UTC)
  • Delete, not in common use. --Elmidae (talk · contribs) 13:05, 20 May 2022 (UTC)

:The above discussion is preserved as an archive of the debate. Please do not modify it. Subsequent comments should be made on the appropriate discussion page.

==Greater Pakistan==

File:White x in red rounded square.svg Closed discussion, see full discussion. Result was:

:The following is an archived discussion concerning one or more redirects. Please do not modify it. Subsequent comments should be made on an appropriate discussion page (such as the redirect's talk page or in a deletion review). No further edits should be made to this section.

:The result of the discussion was delete

. Jay (talk) 06:34, 27 May 2022 (UTC)

Not mentioned at the target; searching on Google Scholar, I see usage of the term to refer to Pakistan and Pakistani national identity in contrast to autonomous regions or ethnic subgroups within the country, but not usage that refers to the 1947 partition borders, and never as a proper noun. Deletion may be appropriate unless other evidence of this term's usage can be provided. signed, Rosguill talk 17:34, 19 May 2022 (UTC)

  • Delete - Pakistani political nationalism in terms of territorial expansion in the possible future is a subject that deserves its own article, so the text ought to be red... I think. CoffeeWithMarkets (talk) 03:18, 20 May 2022 (UTC)

:The above discussion is preserved as an archive of the debate. Please do not modify it. Subsequent comments should be made on the appropriate discussion page.

==1959–60 Milwaukee Cardinals men's basketball team==

File:White x in red rounded square.svg Closed discussion, see full discussion. Result was:

:The following is an archived discussion concerning one or more redirects. Please do not modify it. Subsequent comments should be made on an appropriate discussion page (such as the redirect's talk page or in a deletion review). No further edits should be made to this section.

:The result of the discussion was delete

. signed, Rosguill talk 18:18, 30 May 2022 (UTC)

Propose deletion because this link misdirects readers who are looking on {{tl|Milwaukee Panthers men's basketball navbox}} as an actual season link. It should remain a redlink until a new article can be created w/proper sources. SportsGuy789 (talk) 17:03, 19 May 2022 (UTC)

  • Delete per nom. Page has been tagged as unreferenced since it's creation Jan 2021 and has been a redirect since Feb 2021. Total misdirection. Brian (talk) 18:59, 20 May 2022 (UTC)

:The above discussion is preserved as an archive of the debate. Please do not modify it. Subsequent comments should be made on the appropriate discussion page.

==BoXed in (disambiguation)==

File:White x in red rounded square.svg Closed discussion, see full discussion. Result was:

:The following is an archived discussion concerning one or more redirects. Please do not modify it. Subsequent comments should be made on an appropriate discussion page (such as the redirect's talk page or in a deletion review). No further edits should be made to this section.

:The result of the discussion was delete

. Jay (talk) 06:36, 27 May 2022 (UTC)

Useless redirect with no suitable target. StAnselm (talk) 16:28, 19 May 2022 (UTC)

  • Delete per nom, it potentially misleads readers into thinking there's a disambiguation page with that name when there isn't (even at the base title, "Boxed in"). The redirect is meant to reference the season 1 episode of the American TV show The Gifted, but as far as I know there aren't any other things with that particular capitalization (there's also the singer and the Prison Break episode, but they use "Boxed In" as their capitalization). Regards, SONIC678 01:43, 20 May 2022 (UTC)
  • Delete. Seems to be a bot error, as for a brief time BoXed in targeted that disambiguation page (when The Gifted (TV series) was redirected to that, and a different bot resolved the double redirect). This is no longer the case (rightly so) and should be deleted. eviolite (talk) 23:50, 20 May 2022 (UTC)

:The above discussion is preserved as an archive of the debate. Please do not modify it. Subsequent comments should be made on the appropriate discussion page.

==Idclip==

File:White x in red rounded square.svg Closed discussion, see full discussion. Result was:

:The following is an archived discussion concerning one or more redirects. Please do not modify it. Subsequent comments should be made on an appropriate discussion page (such as the redirect's talk page or in a deletion review). No further edits should be made to this section.

:The result of the discussion was delete

. The article qualifies for G11, and the redirect is from minor ephemera not mentioned at the target. signed, Rosguill talk 06:29, 30 May 2022 (UTC)

{{Oldrfdlist|WP:Redirects_for_discussion/Log/2010_November_24#Idclip|Re-targeted to John Romero#Doom II and Final Doom}}

This article has nothing to do with John Romero#Doom II and Final Doom, accidentally moved to draft as I didn't do WP:BEFORE checks MrMeAndMrMeLet's talk 16:07, 19 May 2022 (UTC)

  • {{re|MrMeAndMrMe}} I have reverted the move to draft. Do you want to delete the redirect because it has nothing to do with John Romero#Doom II and Final Doom, or is there a better target? Jay (talk) 07:54, 28 May 2022 (UTC)
  • :I can't think of any other page targets. MrMeAndMrMeLet's talk 16:15, 28 May 2022 (UTC)

:The above discussion is preserved as an archive of the debate. Please do not modify it. Subsequent comments should be made on the appropriate discussion page.

==Greatest integer==

File:White x in red rounded square.svg Closed discussion, see full discussion. Result was:

:The following is an archived discussion concerning one or more redirects. Please do not modify it. Subsequent comments should be made on an appropriate discussion page (such as the redirect's talk page or in a deletion review). No further edits should be made to this section.

:The result of the discussion was delete

. signed, Rosguill talk 06:24, 30 May 2022 (UTC)

There is no greatest integer. There are many "greatest integer such that ...", and there is no reason for targeting to a specific one D.Lazard (talk) 10:59, 19 May 2022 (UTC)

  • Delete - This seems unhelpful. Deletion is the right call. CoffeeWithMarkets (talk) 03:18, 20 May 2022 (UTC)
  • Keep. This is a frequently used locution for what is often called the "greatest integer function," also called the floor function. Michael Hardy (talk) 23:45, 20 May 2022 (UTC)
  • Question {{u|Michael Hardy}} can you give an example of how this would be used in a sentence, and maybe point us to examples in the literature where it's used on its own, rather than followed by "function" or "≤ x" or some such? Redirects don't have to be deleted just because they're not super useful, but this one seems like it might be entered by folks looking for [https://www.smbc-comics.com/comic/the-largest-number splorch], which would be just confusing, and as small a problem as that is, I don't really see the countervailing value here. --Trovatore (talk) 23:57, 20 May 2022 (UTC)
  • I'm going to go ahead and !vote delete here. Looking at uses in Wikipedia, it looks like this redirect is being used to provide a non-piped link target for locutions such as "greatest integer less than or equal to x".
    Now, I'm personally a strong believer in redirects-are-better-than-pipes, as a general rule, because pipes hardcode the semantic/syntactic connection on a one-off basis, which is sort of a code smell. But that argument is a lot less convincing when the semantics aren't natural in the first place. I wouldn't object to creating a greatest integer less than or equal to redirect to serve this function. --Trovatore (talk) 17:47, 25 May 2022 (UTC)
  • Comment I thought that the redirect target might be different even if it is an integer, because when I replace Trovatore's question with a (counting the number of) prime number, I think that the redirect target is different so that one is Euclid's theorem and the other is a prime number theorem. By the way, what I thought of as the redirect target for the greatest integer was Archimedean property or Dedekind cut.--SilverMatsu (talk) 03:31, 22 May 2022 (UTC)
  • Delete - I agree with the deletion of the link. Interpreting this as "greatest integer function" is really encouraging editors, and readers, to use sloppy language. There seems no value in keeping this. PatrickR2 (talk) 19:59, 22 May 2022 (UTC)
  • Delete per the above. Misleading and not worth keeping. CycloneYoris talk! 01:56, 27 May 2022 (UTC)

:The above discussion is preserved as an archive of the debate. Please do not modify it. Subsequent comments should be made on the appropriate discussion page.

==Yevrey==

File:Right-pointing white arrow in blue rounded square.svg Closed discussion, see full discussion. Result was:

:The following is an archived discussion concerning one or more redirects. Please do not modify it. Subsequent comments should be made on an appropriate discussion page (such as the redirect's talk page or in a deletion review). No further edits should be made to this section.

:The result of the discussion was retarget

to Jew (word)#Development in European languages. (non-admin closure) CycloneYoris talk! 01:41, 27 May 2022 (UTC)

Yevrey also means "Jew" in Russian and probably a few other languages too (e.g. it matches the pronunciation of Bosnian and Serbian jevrej). I have no idea if it also refers specifically to inhabitants of this Russian region, but landing there was certainly a surprise. I expected I would end up at Jews in Russia or Jewish people or some similar page. Daß Wölf 18:06, 4 May 2022 (UTC)

:

{{resize|91%|Relisted to generate a more thorough discussion and clearer consensus.}}
Please add new comments below this notice. Thanks, ✗plicit 03:38, 12 May 2022 (UTC)

:

{{resize|91%|Relisted to generate a more thorough discussion and clearer consensus.}}
Please add new comments below this notice. Thanks, CycloneYoris talk! 10:31, 19 May 2022 (UTC)

:The above discussion is preserved as an archive of the debate. Please do not modify it. Subsequent comments should be made on the appropriate discussion page.

==History of institutions==

File:Symbol move vote.svg Relisted, see Wikipedia:Redirects for discussion/Log/2022 May 27%23History of institutions

==Middle length staff==

File:White x in red rounded square.svg Closed discussion, see full discussion. Result was:

:The following is an archived discussion concerning one or more redirects. Please do not modify it. Subsequent comments should be made on an appropriate discussion page (such as the redirect's talk page or in a deletion review). No further edits should be made to this section.

:The result of the discussion was delete

. signed, Rosguill talk 06:24, 30 May 2022 (UTC)

Not mentioned in target article. Third party searches also are not clear on what this phrase should refer to: In addition to the target, results for Bō and Quarterstaff also appear. Steel1943 (talk) 05:51, 3 May 2022 (UTC)

  • Both Hapkido and Okinawan kobudō mention a "middle length staff" (the latter links to hanbō, which does not mention the term). Jō certainly appears to be a wrong target. BD2412 T 05:59, 3 May 2022 (UTC)

:

{{resize|91%|Relisted to generate a more thorough discussion and clearer consensus.}}
Please add new comments below this notice. Thanks, ✗plicit 11:57, 10 May 2022 (UTC)

:

{{resize|91%|Relisted to generate a more thorough discussion and clearer consensus.}}
Please add new comments below this notice. Thanks, CycloneYoris talk! 06:29, 19 May 2022 (UTC)

  • Delete - A staff can be used in a wide variety of contexts. This is unclear. Deletion seems to be the right call. CoffeeWithMarkets (talk) 14:43, 28 May 2022 (UTC)

:The above discussion is preserved as an archive of the debate. Please do not modify it. Subsequent comments should be made on the appropriate discussion page.

==😕==

File:Symbol move vote.svg Relisted, see Wikipedia:Redirects for discussion/Log/2022 June 12%23😕

==Pseudonorm==

File:White check mark in dark green rounded square.svg Closed discussion, see full discussion. Result was:

:The following is an archived discussion concerning one or more redirects. Please do not modify it. Subsequent comments should be made on an appropriate discussion page (such as the redirect's talk page or in a deletion review). No further edits should be made to this section.

:The result of the discussion was keep

. Nomination rationale rendered moot through edits at the target. signed, Rosguill talk 06:20, 30 May 2022 (UTC)

The target mentions this as a synonym of seminorm, which has a standalone article, but according to {{Q|2115755}}, this is a different kind of generalisation which weakens the condition of homogeneity by replacing the equality by an inequality, rather than removing the positive definiteness. 1234qwer1234qwer4 20:35, 11 May 2022 (UTC)

:Comment: Terminology varies greatly in this area. I am aware of four distinct uses of the term pseudonorm, and there might be more:

:* What we call seminorm.{{cite book|title=Basic Real Analysis|publisher=Birkhäuser|author=Knapp, A.W.|year=2005|page=[https://books.google.fr/books?id=4ZZCAAAAQBAJ&pg=279#v=onepage&q&f=false] |isbn=978-0-817-63250-2}}

:* What OP refers to and the German Wikipedia calls a pseudonorm.{{Cite web |title=Pseudo-norm - Encyclopedia of Mathematics |url=https://encyclopediaofmath.org/wiki/Pseudo-norm |access-date=2022-05-12 |website=encyclopediaofmath.org}}

:* A "norm" that can take +/- infinity as values.{{Cite web |title=Pseudonorm |url=https://www.spektrum.de/lexikon/mathematik/pseudonorm/8161 |access-date=2022-05-12 |website=www.spektrum.de |language=de}}

:* A certain class of functions parametrised by a directed system.{{Cite journal |last=Hyers |first=D. H. |date=1939-09-01 |title=Pseudo-normed linear spaces and Abelian groups |url=http://dx.doi.org/10.1215/s0012-7094-39-00551-x |journal=Duke Mathematical Journal |volume=5 |issue=3 |doi=10.1215/s0012-7094-39-00551-x |issn=0012-7094}}

:I think that nowadays the first and second are the most common uses, but I am not clear on which if any of those two would be the primary topic. Felix QW (talk) 18:31, 12 May 2022 (UTC) {{sources-talk}}

:

{{resize|91%|Relisted to generate a more thorough discussion and clearer consensus.}}
Please add new comments below this notice. Thanks, CycloneYoris talk! 06:27, 19 May 2022 (UTC)

  • Keep, as I have edited the target for including the meanings listed by {{u|Felix QW}}. It seems that the discussion can be speedily closed per WP:SNOWBALL. D.Lazard (talk) 11:39, 19 May 2022 (UTC)

:The above discussion is preserved as an archive of the debate. Please do not modify it. Subsequent comments should be made on the appropriate discussion page.

==Content filtering - Spam==

File:White x in red rounded square.svg Closed discussion, see full discussion. Result was:

:The following is an archived discussion concerning one or more redirects. Please do not modify it. Subsequent comments should be made on an appropriate discussion page (such as the redirect's talk page or in a deletion review). No further edits should be made to this section.

:The result of the discussion was delete

. signed, Rosguill talk 06:19, 30 May 2022 (UTC)

Improper disambiguation from a redirect to Internet filter — we use parentheses for disambiguation. –LaundryPizza03 (dc̄) 05:47, 19 May 2022 (UTC)

  • Delete: WP:XY, misleading. Veverve (talk) 12:45, 19 May 2022 (UTC)
  • :YXY? –LaundryPizza03 (dc̄) 12:19, 20 May 2022 (UTC)
  • Delete - This is an odd search term that doesn't appear like it's really worth having here as a redirect. CoffeeWithMarkets (talk) 14:44, 28 May 2022 (UTC)

:The above discussion is preserved as an archive of the debate. Please do not modify it. Subsequent comments should be made on the appropriate discussion page.

==Extreme heat==

File:Symbol move vote.svg Relisted, see Wikipedia:Redirects for discussion/Log/2022 May 26%23Extreme heat

==Extreme cold==

File:Symbol move vote.svg Relisted, see Wikipedia:Redirects for discussion/Log/2022 May 26%23Extreme cold

==Extreme porn==

File:Symbol move vote.svg Relisted, see Wikipedia:Redirects for discussion/Log/2022 May 26%23Extreme porn

==Functional analyst==

File:Symbol move vote.svg Relisted, see Wikipedia:Redirects for discussion/Log/2022 May 26%23Functional analyst

==Hurricane Horntails==

File:Symbol move vote.svg Relisted, see Wikipedia:Redirects for discussion/Log/2022 May 27%23Hurricane Horntails

==Legalisation of illegal drugs==

File:Right-pointing white arrow in blue rounded square.svg Closed discussion, see full discussion. Result was:

:The following is an archived discussion concerning one or more redirects. Please do not modify it. Subsequent comments should be made on an appropriate discussion page (such as the redirect's talk page or in a deletion review). No further edits should be made to this section.

:The result of the discussion was retarget all

to Drug liberalization. (non-admin closure) CycloneYoris talk! 08:53, 26 May 2022 (UTC)

Retarget all to Drug liberalization. The first two fall under {{tl|R from alternative name}}; compare to the [https://en.wikipedia.org/w/index.php?title=Special:WhatLinksHere/Drug_liberalization&hidelinks=1&hidetrans=1 many similar terms] redirecting to that page. --Sangdeboeuf (talk) 06:55, 11 May 2022 (UTC) {{small|edited 00:51, 12 May 2022 (UTC)}}

:

{{resize|91%|Relisted to generate a more thorough discussion and clearer consensus.}}
Please add new comments below this notice. Thanks, ✗plicit 00:20, 19 May 2022 (UTC)

  • Support as to all. BD2412 T 19:17, 20 May 2022 (UTC)

:The above discussion is preserved as an archive of the debate. Please do not modify it. Subsequent comments should be made on the appropriate discussion page.

==Hölder conjugates==

File:Symbol move vote.svg Relisted, see Wikipedia:Redirects for discussion/Log/2022 May 26%23Hölder conjugates