Sub-blueprints

Stream: general

[Sky Wilshaw]

Is there a way to configure leanblueprint to create a single blueprint for each chapter, or something like this? My current blueprint has about 300 nodes and it's getting a bit unwieldy!

[Yaël Dillies]

I too would be very interested in this. It would be great to have one sub-blueprint per chapter, which would contain the declarations in that chapter and all declarations that have an arrow to/from them in the overall blueprint

[Sky Wilshaw]

Alternatively, it would be nice to be able to put chapters into boxes, like in this graph:
image.png

[Patrick Massot]

Sure, take a look at LTE.

[Sky Wilshaw]

Ah, great! For future reference, you need to add (e.g.) dep_by=chapter to the \usepackage{blueprint} call.

\usepackage[showmore, dep_graph, coverage, project=../../, dep_by=chapter]{blueprint}

[Patrick Massot]

That being said, having collapsible boxes for chapters or sections have been on the TODO list since the very beginning but never became high priority enough. This may change with the rise of giant projects such as Carleson (or FLT when it will go at full speed).