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 _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
