[Axiom-developer] Algebra and literate documentation

[daly]

Martin,

Normally I wouldn't mention this as an on-list post but....

I spent the last two weeks rearranging Axiom so people can add
algebra code to the system. I've been using your algebra as the
test case for this change. Like all test cases this work has been
done one step at a time. Now it appears that the system can allow
new algebra to be installed.

I started adding your algebra to the system. I ran into a problem.
It appears that mantepse.spad.pamphlet will not format correctly.
When I looked into the problem you define a chunk:

  <<domain UFPS UnivariateFormalPowerSeries>>=

but later in the document you try to use the chunk as:

  <<dom: UFPS UnivariateFormalPowerSeries>>

Thinking this might be a typo in my copy of your algebra I checked
wh-sandbox where the algebra is known to work. The wh-sandbox code
has exactly the same code. 

Thus you posted algebra that will not weave.

I recall that you threatened to quit over an OPTIONAL change to the
weave syntax. And you insisted that the project needs to be reorganized 
into a democracy based on an OPTIONAL change to the weave syntax. 

The project has been in turmoil over your demands.

Yet you posted supposedly well tested, ready for public release, 
algebra which you clearly never tried to weave. And clearly nobody
else has tried to weave, including the wh-sandbox branch. This 
has cost me a tremendous amount of time.

Please post a working pamphlet file (English is preferred), along
with test cases. I cannot construct cases for things like GUESSINT.

Tim