\start
Date: Wed, 03 Aug 2011 10:48:42 -0400
From: Tim Daly
To: list
Subject: CASC Registration

Dear colleagues,

the conferemce Computer Algebra in Scientific Computing CASC 2011
http://www14.in.tum.de/CASC2011/ is coming up September 5-9 in Kassel,
Germany. I would like to remind you that the early registration
deadline
ends on August 7. You can register online at
http://www14.in.tum.de/CASC2011/regform.html .

--
Best regards, Wolfram Koepf, PC Chair

Prof. Dr. Wolfram Koepf
Fachbereich 10 Mathematik und Naturwissenschaften
Universit=C3=A4t Kassel

\start
Date: Sun, 07 Aug 2011 22:07:14 +0400
From: Grigory Sarnitskiy
To: list
Subject: How was axiom's bookvol10.2.pamphlet file generated?

Hello! How was axiom's bookvol10.2.pamphlet file generated?

\start
Date: Sun, 7 Aug 2011 15:25:39 -0500
From: Tim Daly
To: Grigory Sarnitskiy
Subject: How was axiom's bookvol10.2.pamphlet file generated?

The pamphlet file was hand generated. Pamphlet files are the source
code of the system.All of the pamphlet files are source code and are
hand generated in latex.

The system is moving to using pure latex rather than using noweb for the
pamphlet format. A new latex "chunk" environment was written to support
this. All of the new latex macros are in the axiom.sty file. Volume 10.2
(the category structure) is still in noweb format for the moment but this
will change.

Axiom's source structure is being moved from the "tree-of-tiny-files"
structure into a "literate software" structure. The process involves
rewriting the source code into straight common lisp. Each function is
rewritten and placed into one of the pamphlets in the books directory.
This phase takes a while as there are about 1M "things of code" that
need to be rewritten. Work is currently being done in volume 5 (the
interpreter) and volume 9 (the compiler).

The next step is to organize and document the system using these books.
The ultimate idea is that you will be able to read the system as a
series of novels, moving from ideas to implementation.

Volume 10.2 (categories) is the category structure of the system.
It is currently in alphabetical order but that will change in whatever
way needed to support the human documentation.

\start
Date: Tue, 16 Aug 2011 23:24:41 -0500
From: Tim Daly
To: list
Subject: Introduction to Category Theory

It seems that the Category Theory discussion has come around again on the
great wheel of life. These talks might be helpful for those who are lost.

part 1: http://vimeo.com/17207564
part 2: http://www.youtube.com/watch?v=yilkBvVDB_w

\start
Date: Wed, 17 Aug 2011 17:52:51 +0100
From: Martin Baker
To: list
Subject: Re: Introduction to Category Theory

On Wednesday 17 Aug 2011 05:24:41 Tim Daly wrote:
> It seems that the Category Theory discussion has come around again on the
> great wheel of life. These talks might be helpful for those who are lost.
> 
> part 1: http://vimeo.com/17207564
> part 2: http://www.youtube.com/watch?v=yilkBvVDB_w

Tim,

These are very good, I haven't come across them before.

I especially like part 2 and the link between category theory string diagrams 
and combinators. Its interesting about adding iterators to combinators, it 
would be good to implement that.

Also there was a throwaway line, something about removing the crossover 
cancellation rule from combinators gives braids. I thought before that it 
would be interesting to implement braid groups and I wonder if it could be 
done using combinators?

Also string diagrams/combinators being so graphical reminds me once again how 
much I would like a 2-way graphical interface to Axiom.

\start
Date: Wed, 17 Aug 2011 18:23:46 -0400
From: Bill Page
To: list
Subject: Re: Introduction to Category Theory

Martin,

If you are thinking about category theory and graphical calculus you
might be interesting in

http://sites.google.com/site/quantomatic/
http://dream.inf.ed.ac.uk/projects/quantomatic/
https://groups.google.com/forum/#!forum/quantomatic
http://sites.google.com/site/quantomatic/publications

A lot of this work is being done in the context of quantum computation
but the tools are much more general. The system uses the theorem
proving package Isabelle

http://www.cl.cam.ac.uk/research/hvg/Isabelle/

to reason about graphs and Poly/ML (a variant of standard ML that is
even more like SPAD) and Java for data structures and GUI.

This video

http://www.cs.ox.ac.uk/quantum/content/1005019/

is a pretty good introduction.

I became especially interested in this while implementing linear
operators as an extension of the Axiom CartesianTensor domain. See:

http://axiom-wiki.newsynthesis.org/LinearOperator

I think it would be great if there was a group of people who were
motivated to add something like this to Axiom.

On Wed, Aug 17, 2011 at 12:52 PM, Martin Baker wrote:
> On Wednesday 17 Aug 2011 05:24:41 Tim Daly wrote:
>> It seems that the Category Theory discussion has come around again on the
>> great wheel of life. These talks might be helpful for those who are lost.
>>
>> part 1: http://vimeo.com/17207564
>> part 2: http://www.youtube.com/watch?v=yilkBvVDB_w
>
> Tim,
>
> These are very good, I haven't come across them before.
>
> I especially like part 2 and the link between category theory string diagrams
> and combinators. Its interesting about adding iterators to combinators, it
> would be good to implement that.
>
> Also there was a throwaway line, something about removing the crossover
> cancellation rule from combinators gives braids. I thought before that it
> would be interesting to implement braid groups and I wonder if it could be
> done using combinators?
>
> Also string diagrams/combinators being so graphical reminds me once again how
> much I would like a 2-way graphical interface to Axiom.

\start
Date: Sun, 21 Aug 2011 03:24:45 -0400
From: Tim Daly
To: James Cloos
Subject: Re: [Axiom-mail] Broken compile?

Whew. Thanks for that. 
Constructing a gentoo machine is a bit of work.
If you look at the download page of the Axiom website
http://axiom-developer.org/axiom-website/download.html
there is a section called "Compile Notes".

If you write up a Gentoo section I will include it.

Tim


On Sun, 2011-08-21 at 03:03 -0400, James Cloos wrote:
> [Sometimes just talking/writing publicly is enough to discover the solution.]
> 
> It turns out that the problem was gentoo's portage.
> 
> The axiom ebuild in gentoo, on which I based mine, is for 2008-May.
> Since then portage has added code to eliminate text relocations,
> executable stacks, writable+executable segments, and .hash sections
> from ELF files.  I had to modify and add these annotations:
> 
> -RESTRICT="strip"
> +RESTRICT="strip binchecks installsources"
> 
> +QA_TEXTRELS="opt/${P}/{algebra,autoload}/*.o opt/${P}/bin/AXIOMsys"
> +QA_EXECSTACK="opt/${P}/{algebra,autoload}/*.o opt/${P}/bin/AXIOMsys"
> +QA_WX_LOAD="opt/${P}/{algebra,autoload}/*.o opt/${P}/bin/AXIOMsys"
> +QA_DT_HASH="opt/${P}/{algebra,autoload}/*.o opt/${P}/bin/AXIOMsys"
> +QA_PRESTRIPPED="opt/${P}/{algebra,autoload}/*.o opt/${P}/bin/AXIOMsys"
> 
> to get a working installation.
> 
> (I haven't confirmed whether all of those are required -- it only takes
> about one hour to compile and four to run the tests -- but they are
> sufficient.)
> 
> I suspect that the ebuilds for the forks also will require similar annotations.
> 
> Appoloies for the false alarm.
> 
> After a bit more polishing I will publish my ebuild at:
> 
>       http://cgit.freedesktop.org/~cloos/overlay/

\start
Date: Sun, 21 Aug 2011 13:27:13 -0400
From: James Cloos
To: list
Subject: stopping problem :)

Try this:

integrate(1/(2*x-1)^3/(x*(x-1)^2)^(1/3),x)

if you'd like to heat the room.

80 minutes and counting here.

(The integral comes from a (15 year old) bug report in reduce's svn.)

\start
Date: Sun, 21 Aug 2011 13:45:05 -0400
From: Tim Daly
To: James Cloos
Subject: Re: stopping problem :)

If you look through the published test suite,
especially at the rich* files, you will find some
integrals that are commented out due to run time.

Winter's coming so these might be helpful.

On Sun, 2011-08-21 at 13:27 -0400, James Cloos wrote:
> Try this:
> 
> integrate(1/(2*x-1)^3/(x*(x-1)^2)^(1/3),x)
> 
> if you'd like to heat the room.
> 
> 80 minutes and counting here.
> 
> (The integral comes from a (15 year old) bug report in reduce's svn.)

\start
Date: Mon, 22 Aug 2011 22:03:39 -0500
From: Gabriel Dos Reis
To: Tim Daly
Subject: Re: stopping problem :)
Cc: James Cloos

On Sun, Aug 21, 2011 at 12:45 PM, Tim Daly wrote:

> Winter's coming so these might be helpful.

yes, but over here in Texas, we are still averaging over 105 F.

\start
Date: Sun, 28 Aug 2011 16:19:49 +0400
From: Grigory Sarnitskiy
To: list
Subject: Re: How was axiom's bookvol10.2.pamphlet file generated?

08.08.2011, 00:25, Tim Daly:
> The pamphlet file was hand generated. Pamphlet files are the source
> code of the system.All of the pamphlet files are source code and are
> hand generated in latex.
>
> The system is moving to using pure latex rather than using noweb for the
> pamphlet format. A new latex "chunk" environment was written to support
> this. All of the new latex macros are in the axiom.sty file. Volume 10.2
> (the category structure) is still in noweb format for the moment but this
> will change.
>
> Axiom's source structure is being moved from the "tree-of-tiny-files"
> structure into a "literate software" structure. The process involves
> rewriting the source code into straight common lisp. Each function is
> rewritten and placed into one of the pamphlets in the books directory.
> This phase takes a while as there are about 1M "things of code" that
> need to be rewritten. Work is currently being done in volume 5 (the
> interpreter) and volume 9 (the compiler).
>
> The next step is to organize and document the system using these books.
> The ultimate idea is that you will be able to read the system as a
> series of novels, moving from ideas to implementation.
>
> Volume 10.2 (categories) is the category structure of the system.
> It is currently in alphabetical order but that will change in whatever
> way needed to support the human documentation.
>
> Tim Daly

And how were graphs generated from this pamphlet? I mean dotfull and
dotabb. The latter is supplied with axiom sources (in axiom/src/axiom-website),
but I want to have dot source for the full name graph.


\start
Date: Sun, 28 Aug 2011 16:19:33 -0400
From: Tim Daly
To: Grigory Sarnitskiy
Subject: Re: How was axiom's bookvol10.2.pamphlet file generated?

The graph information is kept with each category in chunks
of the form <<CATEGORYNAME.dotfull>> and <<CATEGORYNAME.dotabb>>

At the end of the file there are chunks named <<dotfull>> and
<<dotabb>>. You can extract the dot files with the command

notangle -Rdotfull bookvol10.2.pamphlet >dotfull
notangle -Rdotabb bookvol10.2.pamphlet >dotabb

The notangle function lives in $AXIOM/bin/lib so you 
need to add this to the path. So try:

export AXIOM=`pwd`/mnt/ubuntu
export PATH=$AXIOM/bin/lib:$AXIOM/bin:$PATH

Tim

On Sun, 2011-08-28 at 16:19 +0400, Grigory Sarnitskiy wrote:
> 
> 08.08.2011, 00:25, Tim Daly:
> > The pamphlet file was hand generated. Pamphlet files are the source
> > code of the system.All of the pamphlet files are source code and are
> > hand generated in latex.
> >
> > The system is moving to using pure latex rather than using noweb for the
> > pamphlet format. A new latex "chunk" environment was written to support
> > this. All of the new latex macros are in the axiom.sty file. Volume 10.2
> > (the category structure) is still in noweb format for the moment but this
> > will change.
> >
> > Axiom's source structure is being moved from the "tree-of-tiny-files"
> > structure into a "literate software" structure. The process involves
> > rewriting the source code into straight common lisp. Each function is
> > rewritten and placed into one of the pamphlets in the books directory.
> > This phase takes a while as there are about 1M "things of code" that
> > need to be rewritten. Work is currently being done in volume 5 (the
> > interpreter) and volume 9 (the compiler).
> >
> > The next step is to organize and document the system using these books.
> > The ultimate idea is that you will be able to read the system as a
> > series of novels, moving from ideas to implementation.
> >
> > Volume 10.2 (categories) is the category structure of the system.
> > It is currently in alphabetical order but that will change in whatever
> > way needed to support the human documentation.
> >
> > Tim Daly
 
> And how were graphs generated from this pamphlet? I mean dotfull and
  dotabb. The latter is supplied with axiom sources (in
  axiom/src/axiom-website), but I want to have dot source for the full
  name graph.

\start
Date: Tue, 30 Aug 2011 13:35:02 +0400
From: Grigory Sarnitskiy
To: list
Subject: Re: How was axiom's bookvol10.2.pamphlet file generated?

Thank you!

29.08.2011, 00:19, "daly" Tim Daly:
> The graph information is kept with each category in chunks
> of the form <<CATEGORYNAME.dotfull>> and <<CATEGORYNAME.dotabb>>
>
> At the end of the file there are chunks named <<dotfull>> and
> <<dotabb>>. You can extract the dot files with the command
>
> notangle -Rdotfull bookvol10.2.pamphlet >dotfull
> notangle -Rdotabb bookvol10.2.pamphlet >dotabb
>
> The notangle function lives in $AXIOM/bin/lib so you
> need to add this to the path. So try:
>
> export AXIOM=3D`pwd`/mnt/ubuntu
> export PATH=3D$AXIOM/bin/lib:$AXIOM/bin:$PATH
>
> Tim
>
> On Sun, 2011-08-28 at 16:19 +0400, Grigory Sarnitskiy wrote:
>
>> 08.08.2011, 00:25, Tim Daly:
>>> The pamphlet file was hand generated. Pamphlet files are the source
>>> code of the system.All of the pamphlet files are source code and are
>>> hand generated in latex.
>>>
>>> The system is moving to using pure latex rather than using noweb for the
>>> pamphlet format. A new latex "chunk" environment was written to support
>>> this. All of the new latex macros are in the axiom.sty file. Volume 10.2
>>> (the category structure) is still in noweb format for the moment but this
>>> will change.
>>>
>>> Axiom's source structure is being moved from the "tree-of-tiny-files"
>>> structure into a "literate software" structure. The process involves
>>> rewriting the source code into straight common lisp. Each function is
>>> rewritten and placed into one of the pamphlets in the books directory.
>>> This phase takes a while as there are about 1M "things of code" that
>>> need to be rewritten. Work is currently being done in volume 5 (the
>>> interpreter) and volume 9 (the compiler).
>>>
>>> The next step is to organize and document the system using these books.
>>> The ultimate idea is that you will be able to read the system as a
>>> series of novels, moving from ideas to implementation.
>>>
>>> Volume 10.2 (categories) is the category structure of the system.
>>> It is currently in alphabetical order but that will change in whatever
>>> way needed to support the human documentation.
>>>
>>> Tim Daly

>> And how were graphs generated from this pamphlet? I mean dotfull
   and dotabb. The latter is supplied with axiom sources (in
   axiom/src/axiom-website), but I want to have dot source for the
   full name graph.