[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Pamphlet files and Axiom

From: Ralf Hemmecke
Subject: Re: [Axiom-developer] Pamphlet files and Axiom
Date: Mon, 23 Jul 2007 17:15:01 +0200
User-agent: Thunderbird (X11/20070716)

   @<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:

   @<The \texttt{TANGLE} command@>
   @<The \texttt{WEAVE} command@>

That would be very interesting.

And boring (because it doesn't use the full power of LaTeX). Rather look at

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

<<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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]