Talk:Main Page

Archive
I have moved everything up till now into Archive $17$.

Keep on truckin'. --prime mover (talk) 10:32, 12 February 2023 (UTC)

Looking for Algebra
I cannot find a variant of algebra defined in my source. Namely, it states that "An algebra is a vector space V in which an associative and distributive multiplication is defined". Do we have such a thing? Also, from Definition:Bilinear Mapping I can recover distribution, but not associativty ($(x \oplus y) \oplus z = x \oplus (y \oplus z)$). A disambiguation will be needed. --Julius (talk) 23:25, 13 February 2023 (UTC)


 * Have you seen this page? Definition:Algebra (Abstract Algebra) It looks like what you're talking about is an Definition:Associative Algebra. Is this right?


 * We use disambiguation if the same word is used for two completely different things. If what you're talking about *is* the same as an Definition:Associative Algebra, just that your work assumes associativity by default, then what you're looking to do is set up an "also known as" section, which we are now implementing as transclusions. --prime mover (talk) 06:23, 14 February 2023 (UTC)


 * Thanks. I will map the details accordingly without introducing a new definition. Although, technically, the given definition involves only one operation. Shouldn't we say "associative wrt $\oplus$" if there are multiple (not necessarily associative) operations involved?


 * Another addition that is really needed is a simple proof that a vector space with a bilinear product is an algebra over field. A lot of books only bother with vector spaces, but we don't, so we should establish this link and save ourselves from reinventing the wheel.--Julius (talk) 11:28, 14 February 2023 (UTC)

Change in behaviour of double-click in "Edit source" tool
A few days ago I noticed that the behaviour of double-click has changed subtly in the "Edit source" tool.

Previously, if you had for example a string "Definition:Circle", and you double-clicked "Circle", the editor would pick up the whole string "Definition:Circle".

Then the other day the behaviour changed, and double-clicking on "Circle" picked up only "Circle". This was a brilliant enhancement, because it then made editing so much easier.

But now it's back the way it was. Clicking on a string with a colon in the middle of it picks up the entire string, colon and all.

How easy would it be to go back to the way we had it a few days ago, where the editor recognises the colon as being a word delimiter? --prime mover (talk) 08:02, 15 February 2023 (UTC)


 * Sorry -- ignore this. It's browser dependent. I had logged on using Google Chrome this morning. That one behaves so as to pick up the entire string, colon and all.


 * When I use Brave, which I usually do but not earlier, it picks up the part of the string either side of the colon, which is what I want.


 * So, as I say, no problem. --prime mover (talk) 08:37, 15 February 2023 (UTC)

Incoming opinions from scientists using Proofwiki
During the previous week I took liberty of reaching out to various people who, accoriding to Google Schoolar, used Proofwiki in one way or another. The rate of response is modest, but there are a few distinct recommendations. I will not display all of them here at once. Instead, comments about specific articles will land in their discussion pages, while here I will gradually present those concerning the website as a whole.--Julius (talk) 00:27, 1 March 2023 (UTC)