User talk:Prime.mover

Sup dude
Do you even sleep? you've been going non-stop since you first joined. of course i appreciate the work (I haven't even been able to keep up with reading it all), but you're making the rest of us look lazy. Regardless, excellent work, and with that, I think I will bring a Wikipedia tradition to ProofWiki: Barnstars. See | the wikipdia page on barnstars for more details and other barnstar designs.

Hey, when you create a page, or link to a page, be sure to keep in mind their namespace.

eg: Say you wanted to link to definition of graph, then you would write graph, this sill put a link to the Definition namespace. Also, be sure to include the category, at the bottom of the page, just put the category in the category box, eg. Definitions or eg.Axioms. If you are linking to a category, you must put a : in front, for instance Category:Definitions For creating a page you must do the same thing, having the namespace in front.

This is so we can differentiate between proofs and definitions. Thanks,--Joe 18:28, 23 July 2008 (UTC)

Using an external editor
Hey, I just found out and tested that you can use an external editor to edit pages. It works great. I tried so far using GVim using the "It's All Text" plug-in for Firefox. All you have to do is install the plug-in and then tell it where your editor is. Here are the two sites I used to help me set it up. I did this in Linux but I'm sure it'll work fine in Windows! Hope this helps --Joe


 * http://en.wikipedia.org/wiki/Help:External_editors
 * http://en.wikipedia.org/wiki/Wikipedia:Syntax_highlighting#External_editor_feature

Thanx dude - I'll check this out ... --Matt Westwood 06:20, 11 August 2008 (UTC)

Namespaces
Hey, I'm just thinking, maybe it would be better if we kept the Definition namespace. Since there are a lot of definitions out there, maybe it would be better to keep them separate from all the proofs. In terms of adding them to the proper category, I'm working on a bot that can check and fix this automatically. I'm thinking it's best to try and keep the proofs(which is the main focus of the site) separate from the definitions. I know it might be a pain, but I think it's better then having them mixed in with the namspace for proofs. Mixing them I think causes more problems then it will fix.


 * When you search for a proof, you won't just get proofs, you also get definitons and axioms.
 * It messes up the page count as we talked about earlier
 * It will confuse people, probably won't be sure what is a proof, what is a definition...

I should be able to get a bot working that can automatically check things to make sure definitions are in the correct category, what does everyone think? --Joe 23:50, 16 September 2008 (UTC)

New LaTeX
Hey, Have you tried the new LaTeX stuff? Is it working good? --Joe 22:35, 20 September 2008 (UTC)

Confess I haven't yet. I need to check out the "stackrel" function at least so I can define a symbol for defining entities:

$$\mathbf {Define:} \ fred \ \stackrel {\mathbf {def}} {==} \ bert$$

Yay! That works! Nice one.

BTW do you know how to include negative spaces so I can weld the edges of two $$==$$ signs together?

Okay, now I need to check out how to stack equation entities properly so I don't need to use tables. Having said that, when I wrote my thesis using full AmsLaTeX I found that I could not achieve the effects I was after without writing my own package (which included a modification to the table/array facilities) so we'll see what gives.

It's getting late for the night and I'm not good at learning new stuff p.m. I'll try and get it together to check out all the new buttons tomorrow - if not, then next weekend when I have two completely free mornings. --Matt Westwood 22:47, 20 September 2008 (UTC)

Equations
Hey, I took your idea for using tables to create equation arrays and made it into a usable template. Still may need some tuning though, what do you think?? Check out the sandbox to see it. --Joe 16:53, 19 October 2008 (UTC)

Would certainly speed my throughput. Good job.

Only caveat: sometimes (rarely, see Quadratic Equation) it needs more columns, e.g. to put a $$\Longrightarrow$$ at the front and to be able to put a lined-up row of equals signs in the middle. (This is just one of the flexibilities that standard LaTeX doesn't allow.)

When creating a template, there's always the tradeoff between prodiving ultimate flexibility and keeping it streamlined enough to be usable on these things. But I reckon making it 5 columns, justified: r, r, c, l, l should be enough. How easy would it be to force it to make an extra gap before the end column so the comment doesn't come confusingly close to the equation it describes?

Of course, for really complicated equation sequences we can always fall back on the technique of using a table, if what we're trying to put together will not look good any other way.

As I say, fine work, bro. --Matt Westwood 17:16, 19 October 2008 (UTC)

Hey, I added a few more modifications, take a look! --Joe 17:25, 19 October 2008 (UTC)

... okay I think I get the gist ... okay, let's try it out. We can always tweak it if we find we need to in the course of events. --Matt Westwood 17:32, 19 October 2008 (UTC)

Awesome, sounds good. Let me know if you want something added, and I'll see what I can do. --Joe 17:36, 19 October 2008 (UTC)

I just noticed that I have left and right mixed up, for l1,l2,r1,r2 (I was thinking alignment, when I should have been thinking side of equation). I'll fix it now! --Joe 17:40, 19 October 2008 (UTC)

Couple things ... we want the LHS sides to be right justified and the RHS to be left justified, and the centre line to be centre justified, yeah?

I don't know whether we necessarily want the centre to have to be an equals sign. I can envisage that you may want to put a "propositional function" in there, e.g. $$P(x) \Longrightarrow Q(x) \land R(x)$$ or something, or (here's a good one) when you want it to be a $$\le$$ or $$>$$ or $$\subseteq$$ or something, any general relation. --Matt Westwood 17:52, 19 October 2008 (UTC)

you can,just use " operator=\leq . --Joe 17:53, 19 October 2008 (UTC)

How about this for ultimate user-friendliness then:

Columns labelled "ll, l, o, r, rr, c, cc" for left-left, left, operator, etc.

Then you don't have to worry about remembering whether you want the 1st or 2nd column and most of your equations will go

$$ $$

I kinda see what you mean but not really, could you give a math example? --Joe 18:09, 19 October 2008 (UTC)

$$ $$ $$ $$

which is supposed to look like the one in Quadratic Equation, except I put a rogue $$\le$$ in the middle just to indicate what I mean about the operator column.--Matt Westwood 18:14, 19 October 2008 (UTC)

okay, I think I see what you mean. Should ll and rr be right/left or center/center justified? --Joe 18:20, 19 October 2008 (UTC)

Way I see it: ll and l should be right justified, rr and r should be left justified, same with c and cc, and o should be center.

So everything snuggles up to the center line which then draws the eye to the heart of the equation. All very aesthetic. --Matt Westwood 18:22, 19 October 2008 (UTC)

okay, what is cc? --Joe 18:23, 19 October 2008 (UTC)

Second column of comments, if needed. --Matt Westwood 18:25, 19 October 2008 (UTC)

Okay, check it now. --Joe 18:28, 19 October 2008 (UTC)

Way to go. Perfect. I've added a user-template for this design pattern in my user page. No doubt it will evolve ...

Right, back to my semigroups. You are a diamond. --Matt Westwood 18:31, 19 October 2008 (UTC)

Negative Space
At some point (I don't remember where) you asked how to make a negative space to combine to equals signs. \! inserts a negative space, so = \! = gives $$= \! =$$. --cynic 20:22, 20 October 2008 (UTC)

Duuuude! Nice one!

It's so as to have a notation for "$$x$$ is defined as $$y$$":

$$\mathbf {Define:} \ fred \ \stackrel {\mathbf {def}} {=\!=} \ bert$$ ...

Also so as to do a better job on equivalence classes: $$\left[\!\left[a\right]\!\right]_b$$

... that's completely the business. --Matt Westwood 20:36, 20 October 2008 (UTC)

Edit bar buttons
Hey, I'm not sure if you noticed the new post, but I added some new buttons to the edit bar (So far just ref tags and the one for the equation template). Any others that are used a lot that might be good to put there? --Joe 20:40, 20 October 2008 (UTC)

plenty! - too many, in fact, to be sensible. As I happen to be on any particular subject I tend to just add them to my user page, which is growing by the day.

Can't think of anything universal, unless you want to put up a Theorem - Proof template:

Proof
[[Category:]] ... or something. The main advantage to such things is the tendency towards uniformity of style, I suppose ...

I did notice the equation button, haven't used it yet, haven't been doing anything equation-based since I noticed it. But I will ... sooner or later. --Matt Westwood 20:53, 20 October 2008 (UTC)

Geometry
You don't need to get sidetracked with geometry if you don't want to. I can get a text on Monday and work on it some, and really deal with it in two weeks after exams. I will note that we don't want to be plagiarizing Euclid for all of our geometry. Nonetheless, thanks for the work. --Cynic-(talk) 03:12, 4 January 2009 (UTC)

hmm ... I thought that as Euclid is (a) public domain and (b) "classic", a documentation of his proofs probably wouldn't be out of place. That said, some of what's been posted seems both trivial and unwieldy (for example, the Pons Asinorum I'd always thought a bit long-winded and it could be polished off in 2 lines). So I thought that once it's all up we could then add to each page an analytic proof of each result, for example, take it from there. But you have to start somewhere ... it's relaxing and therapeutic.

Just found this superb resource! --Matt Westwood 06:33, 4 January 2009 (UTC)