Tagging - 2017-08-07

« first day (1882 days earlier) ← previous day next day → last day (2467 days later) »

5:51 AM

The tag mersenne-math was created (including tag-excerpt) but it was quickly replaced by another newly created tag mersenne-numbers. (It has now both tag-excerpt and tag-wiki).

Q: What are some basic properties of the quotient $s_n\over M_p$ where $M_p$ is a mersenne prime?

I've been exploring the Lucas-Lehmer test for a while now. I already know the square of one Mersenne $(2^n-1)^2$ is $(2^{n-1}-1)(2^{n+1}-1)+2^{n-1}$. Today I'm looking to use the properties of the other divisor of $s_{n-2}$, such that I can start the Lucas-Lehmer test from last Mersenne primes te...

It was created by the same user who created lucas-lehmer-test not too long ago.

I have also removed divisors - we should probably do something about this tag to make it clear that it is tag about divisors in algebraic geometry.

I have also added elementary-number-theory. (I was not really sure which of the two number theoretic tag to include - I guess using elementary is safer choice than number-theory. IIRC the discussion about these two tags - including the question whether elementary tag should exist at all - remained inconclusive.)

4 hours later…

Martin Sleziak

9:45 AM

BTW here are some comments related to the above tag:

@RoddyMacPhee I'm not sure that mersenne-math is a good choice for a tag (it's vague, including "math" in a tag on MSE isn't really necessary, etc.). A Mersenne number tag might be useful, but I'd suggest putting it up here for discussion first - there are many questions involving Mersenne numbers without a dedicated tag. — user296602 8 hours ago

they would probably be put under repunit tags, and if math in a tag isn't necessary there's at least 4+ tags you should alter then. — Roddy MacPhee 8 hours ago

@RoddyMacPhee Sure, there are other tags with issues; but in general, it's good practice to discuss proposed new tags in the meta thread I linked. Otherwise, there's a serious tendency to pick up tags that fragment rather than organize. A tag called "mersenne-primes" might be a lot better, but given that the community hasn't created it yet (with almost 600 related questions) indicates that it should probably be discussed first. — user296602 8 hours ago

Link in the above comment goes to Tag management 2017.

5 hours later…

Martin Sleziak

2:52 PM

A post by the user mentioned above - although the post is a bit unclear.

A: Tag management 2017

I've added unilaterally Lucas-Lehemer-test and mersenne-math ( now changed to mersenne-numbers). but honestly I'm not sure why I give a crap to make tags, mersenne numbers is just a subset of repunits which is a subset of repdigit, lucas lehmer-test is a subset of primality-test. etc. after mak...

It seems that Jyrki's answer brought new attention to the question about inequalities.

A: Which (if any) inequalities with real numbers should have separate tags?

Drawing attention to a couple more recently created related tags. Namely sos, and uvw. As far as I can tell those two are methods for proving, for example, olympiad style inequalities. I have mild misgivings about these tags for they seem to very specific. On the other hand: The tags may c...

2 hours later…

Martin Sleziak

4:50 PM

Michael, my advice would be that before creating new tags you should read all of this. I am not the only one who would be willing to grant Martin Sleziak dictatorial powers re tagging. He knows what he's doing, and has earned community respect (not only) in this matter. — Jyrki Lahtonen ♦ 10 hours ago

@Jyrki I certainly take it as a compliment, but if there is a user which could be granted such powers without fear of negative consequences, I would nominate quid or arjafi.

It is true that I follow new tags, retag many posts and often ask on meta about tags, but this is not the same as being able to evaluate whether a tag is going to be useful or not. (Not to mention that opinions on tags among many experienced users differ to some extent.)

I am posting this here on the off-chance that you peek in here occasionally.

« first day (1882 days earlier) ← previous day next day → last day (2467 days later) »

all rooms