[Axiom-developer] MonoidWithZero

[daly]

> since I spent some time on this, how does one add new algebra to the
> library? How does one update the databases?
> The page
> http://wiki.axiom-developer.org/AxiomAlgebra
> explains it but I did not understand.

I'm working on the details of adding new algebra at the moment
as I'm adding Martin's algebra. When that completes I'll document
the process.

Tim