Comments (10)
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.
from pretext.
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)
- Initialize p=2
- Loop the following for each p < sqrt(n)
- Cross out all (remaining) multiples of p
- Set p = the next lowest uncrossed number
from pretext.
(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.)
from pretext.
(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).)
from pretext.
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).
from pretext.
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]
from pretext.
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.
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).
from pretext.
Thanks, KDC. Announcement at
https://groups.google.com/forum/#!topic/mathbook-xml-support/2D6Gne1XS-E
from pretext.
Wow. Thank you open source!
from pretext.
I think you mean eb8b0d2 and 456e17c
from pretext.
Related Issues (20)
- Subfootnote behavior in separate proofs HOT 4
- missing "open problem filter" in footnotes HOT 2
- Any ETA on fixing the resizer and finalizing API for MyOpenMath knowls? HOT 1
- worksheet at chunk level HOT 11
- change HTML worksheet paper size selection scheme
- pretext generate interactive previews fails to launch server HOT 1
- Typo in 26.1 Publication File
- `<exercise>` inside of `<introduction>` broken. HOT 1
- Feature request: additional layout control for divisional exercises HOT 2
- Line spacing in first two lines of an aside inside a task in latex output HOT 1
- frontmatter/colophon/website has malformed URL in PDF output HOT 5
- frontmatter/colophon/website needs URL in print-version PDF HOT 2
- Running head oddities in two-sided latex output HOT 6
- Justified text option for web output
- Image rotations
- Landscape blocks and floats
- HTML image rotation needs more space
- WeBWorK info message
- stringparam dictionary stores temporary info between tasks HOT 1
- sagecell local server HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from pretext.