Add algorithm tag about pretext

[rbeezer]

And what goes into it? Only a pseudo-code chunk? Or is more like an example
where you might have some discussion in paragraphs and a program listing
(already implemented) and some run-time analysis and ....?

On 03/14/2015 07:17 PM, kcrisman wrote:

Like fact, theorem, statement, etc. This is common enough in things like
discrete math textbooks. (I didn't find it in the sample article, anyway.)

—
Reply to this email directly or view it on GitHub
#66.

[kcrisman]

Well, it's like a theorem except it isn't a theorem, it's an algorithm. Could be pseudocode but maybe not. E.g. (though this was not the case I was thinking of)

1. Initialize p=2
2. Loop the following for each p < sqrt(n)
   1. Cross out all (remaining) multiples of p
   2. Set p = the next lowest uncrossed number

[kcrisman]

(I should point out that an algorithm may have a proof that it has a certain big-Oh or whatever, or that it does in fact provide the desired outcome, but it doest have to, it could just be a set of steps. The example connected to it would be a separate example tag, just like when one would give an example of a proposition or theorem or fact or definition. Basically, I just couldn't think of what else in the list of theorem-like tags this could be and didn't want to hack in some bold-face and numbering.)

[kcrisman]

(And I suppose there could be a program listing as part of it, though I myself would prefer to have that be a separate item which implements Algorithm 2.3.1.4.2.3.5b (or whatever).)

[rbeezer]

I see. So in your example algorithm there could be a claim that the list only
has primes left at the conclusion. That claim might then have a proof
immediately following.

Should be very easy to add it to the list of theorem, corollary, lemma, fact,
etc. I'm going to let it percolate for a bit, but should be able to add it this
week.

Thanks for the suggestion and for not hacking up something. ;-)

Rob

On 03/14/2015 08:28 PM, kcrisman wrote:

(I should point out that an algorithm may have a proof that it has a certain
big-Oh or whatever, or that it does in fact provide the desired outcome, but it
doest have to, it could just be a set of steps. The example connected to it
would be a separate example tag, just like when one would give an example of a
proposition or theorem or fact or definition. Basically, I just couldn't think
of what else in the list of theorem-like tags this could be and didn't want to
hack in some bold-face and numbering.)

—
Reply to this email directly or view it on GitHub
#66 (comment).

[davidfarmer]

There are LaTeX packages for marking up algorithms, and they are
not just theorems with "Theorem" replaced by "Algorithm".
Some support markup of fairly elaborate pseudocode.

Not sure how much of that you want to support.

On Sat, 14 Mar 2015, Rob Beezer wrote:

I see. So in your example algorithm there could be a claim that the list only
has primes left at the conclusion. That claim might then have a proof
immediately following.

Should be very easy to add it to the list of theorem, corollary, lemma, fact,
etc. I'm going to let it percolate for a bit, but should be able to add it this
week.

Thanks for the suggestion and for not hacking up something. ;-)

Rob

On 03/14/2015 08:28 PM, kcrisman wrote:

(I should point out that an algorithm may have a proof that it has a certain
big-Oh or whatever, or that it does in fact provide the desired outcome, but it
doest have to, it could just be a set of steps. The example connected to it
would be a separate example tag, just like when one would give an example of a
proposition or theorem or fact or definition. Basically, I just couldn't think
of what else in the list of theorem-like tags this could be and didn't want to
hack in some bold-face and numbering.)

—
Reply to this email directly or view it on GitHub
#66 (comment).

—
Reply to this email directly or view it on GitHub.[AAM6LCjw0I_KECQ0y0Emf-BHGixAR-K-ks5n1PyjgaJpZM4Du27s.gif]

[rbeezer]

Right. I spent a long time once trying to figure this out. The LaTeX
descriptions render very nicely, but then how do you make them into HTML?
Unless I'm missing some third-party extension, I don't see that MathJax provides
the usual help. The syntax for the stats language "R" uses a backwards-arrow
for assignment (iirc) so that can be a poor-man's standin with the Google
"prettify" tool already built-in.

I think an "algorithm" still can be useful now, and then down the road better
quality stuff can go inside it. I've made an issue so that somebody might see
it as a useful project to add, along with a few similar but distinct comments.

#68

On 03/15/2015 06:48 AM, davidfarmer wrote:

There are LaTeX packages for marking up algorithms, and they are
not just theorems with "Theorem" replaced by "Algorithm".
Some support markup of fairly elaborate pseudocode.

Not sure how much of that you want to support.

On Sat, 14 Mar 2015, Rob Beezer wrote:

I see. So in your example algorithm there could be a claim that the list only
has primes left at the conclusion. That claim might then have a proof
immediately following.

Should be very easy to add it to the list of theorem, corollary, lemma, fact,
etc. I'm going to let it percolate for a bit, but should be able to add it this
week.

Thanks for the suggestion and for not hacking up something. ;-)

Rob

On 03/14/2015 08:28 PM, kcrisman wrote:

(I should point out that an algorithm may have a proof that it has a certain
big-Oh or whatever, or that it does in fact provide the desired outcome, but it
doest have to, it could just be a set of steps. The example connected to it
would be a separate example tag, just like when one would give an example of a
proposition or theorem or fact or definition. Basically, I just couldn't think
of what else in the list of theorem-like tags this could be and didn't want to
hack in some bold-face and numbering.)

—
Reply to this email directly or view it on GitHub
#66 (comment).

—
Reply to this email directly or view it on
GitHub.[AAM6LCjw0I_KECQ0y0Emf-BHGixAR-K-ks5n1PyjgaJpZM4Du27s.gif]

—
Reply to this email directly or view it on GitHub
#66 (comment).

[rbeezer]

Done. 629f010 efe8f46

Thanks, KDC. Announcement at

https://groups.google.com/forum/#!topic/mathbook-xml-support/2D6Gne1XS-E

[kcrisman]

Wow. Thank you open source!

[kcrisman]

I think you mean eb8b0d2 and 456e17c