[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-math] Re: Types in axiom.
From: |
Tim Daly |
Subject: |
[Axiom-math] Re: Types in axiom. |
Date: |
Wed, 8 Oct 2003 14:07:22 -0400 |
Bill,
I've started stripping the category/domain/package signatures from the
.spad files and collecting them into a single file. The idea is to try
to understand the lattice of algebra that exists. Once I finish I'll
send it to you and we can chat about it further. Sure hope you found
a good lattice graphing program :-)
There is a good research paper buried in this data somewhere.
Tim