Re: [Axiom-developer] Pamphlet files and Axiom

[Ralf Hemmecke]

> > > >    @<The \texttt{WEAVE} command@>= ....
> > > Erm.  That didn't occur to me.  I always viewed simple non-LaTeX
> > > chunk names as sufficient.
> > For me it is not sufficient.
>
> I guess I can see that.  In a collection chunk, would you then do:
>
> @<collectingterms@>=
>    @<The \texttt{TANGLE} command@>
>    @<The \texttt{WEAVE} command@>
> etc...
> @
>
> That would be very interesting.

And boring (because it doesn't use the full power of LaTeX). Rather look 
at 
http://www.risc.uni-linz.ac.at/people/hemmecke/AldorCombinat/combinatsu25.html#noweb.NWf7R7q-2dx9rs-4

It's the same example that Martin recently copied to the list.

http://lists.nongnu.org/archive/html/axiom-developer/2007-07/msg00389.html

<<implementation: Compose>>=
structures(s: SetSpecies L): Generator % == generate {
    for pi in structures(s)$Partition(L) repeat {
        <<Yield elements of $F[\pi]\times\prod_{p\in\pi} {G[p]}$>>
    }
}
@

<<Yield elements of $F[\pi]\times\prod_{p\in\pi} {G[p]}$>>=
import from MachineInteger, Partition L;
arrlist: Array List L := pi::Array List L;
for f in structures(pi::SetSpecies(SetSpecies L))$F(SetSpecies L) repeat {
    for p in structures(0, arrlist) repeat yield per [pi, f, p];
}
@

Consider chunk names as section titles!

Also look at the bottom of 
http://wiki.axiom-developer.org/SandboxPamphletStyle
.

Ralf