printing blueprint

Stream: general

[Alex Kontorovich]

I like to write things by hand and then type them up. But when I try to print existing blueprint pages, it prints a scrollbar, instead of the whole text on the page. Is there a nice way to get blueprint to, say, export its contents into a pdf (for printing, or whatever)? Thanks!

[Johan Commelin]

I think you can just compile the tex into an ordinary PDF using pdflatex?

[Johan Commelin]

Or inv pdf, if the machinery still uses inv?

[Johan Commelin]

Do you run inv web to create the html?

[Alex Kontorovich]

i tried but it's really annoying - the TeX has a few extra things going on, so it has to be manually manipulated every time I'd want to print...

[Alex Kontorovich]

I ... don't know how the html gets created, it just does! :)

[Ian Jauslin]

We are not using inv (I prefer to use makefiles), but I can add that in easily. So there are 2 options, we either use pdflatex, or you can print directly from the browser. I tried it out on my computer and it seems to work fine.

[Patrick Massot]

Printing the webpage is definitely meant to work. But this is very suboptimal, printing the pdf version is much better.

[Patrick Massot]

Alex Kontorovich said:

i tried but it's really annoying - the TeX has a few extra things going on, so it has to be manually manipulated every time I'd want to print...

I have no idea what you mean here.

[Ian Jauslin]

I think "better" depends on what you are trying to do.

[Patrick Massot]

I specifically wrote “better” in the context of printing.

[Ian Jauslin]

"better" depends on what you want to print and for what

[Alex Kontorovich]

Hmm am I doing something wrong? When I go to print, I only get this:
image.png
Just a single page, no possibility to scroll or print more of the text...?

[Patrick Massot]

This looks like a general issue with printing a webpage on your computer, not something specific to blueprints.

[Patrick Massot]

And again I don't understand why you would print that rather than the pdf version.

[Alex Kontorovich]

Oh I see, a pdf version also gets generated somewhere? That's great, thanks! @Ian Jauslin is that in a folder somewhere that I can't seem to find?

[Alex Kontorovich]

Oh! Actually, I can nicely print the documentation. Which for my purposes is even better than the TeX. So nevermind (at least for now...) Thanks!

[Patrick Massot]

You are using a very non-standard way to setup the blueprint so I can't tell whether you are building a pdf version. It seems that you are not.

[Alex Kontorovich]

(I'm sure Ian could easily configure it to add the pdf; we haven't needed it until I asked just now. And may in fact not need it at all...)

[Patrick Massot]

Note that I am fully aware that blueprints are not yet easy to setup. I have work in progress making this a lot easier. I hope this will be available very soon (but too late for you of course).

[Alex Kontorovich]

On the contrary, it was very easy to setup in my case. I just asked Ian! :grinning_face_with_smiling_eyes:

[Ian Jauslin]

It wasn't too hard on my end either, once I found examples and documentation. I am now, and will always be, more in favor of proper documentation than scripts that do the work for you. (Similar to how Arch linux does things).

[Alex Kontorovich]

Yes but you are much more tech savvy than an average (or even advanced, in terms of computer use) research mathematician (despite being one yourself!)... I'm sure that if I was trying to set it up by myself, I would've given up long ago...

[Patrick Massot]

I plan to have both scripts that do the work for you and documentation.

[Ian Jauslin]

I implemented pdf generation. I had to do one non-trivial thing: the way leanblueprint-extract was working, it would add empty lines without much care (which is needed to have a natural way to split the blueprint into paragraphs from the lean code). This causes issues if new lines are added in math environments. I added a new tag to leanblueprint-extract: %nobreak% which prevents line breaks from being added. You can see how that works in the updated MellinTransform.lean file in PrimeNumberTheoremAnd.