Martin Rubey wrote: > Arthur Ralfs <[EMAIL PROTECTED]> writes: > > >> Is this type of output anachronistic? What about fixing up OutputForm and >> using that as the default text output? >> > > No, OutputForm is (or rather, will be) the domain abstracting output. I > guess, > if we get OutputForm to be good enough for content mathml, TeX and ASCII, it > will be really good enough for most what is to come. > > What we need is a domain ASCII, that converts OutputForm to ASCII art. I > don't > think that this can be too difficult: you could start with the mathml domain > and gradually replace mathml markup by ascii art. > > Martin > > > Writing an ASCII domain is different from a mathml or tex package because we have to do the low level rendering, i.e. to translate output form (sqrt x) into mathml or TeX I just have to translate it into <msqrt><mi>x</mi></msqrt> or $\sqrt{x}$ while to translate it into ASCII I have to actually construct the square root symbol and position it with respect to the x, which is I think why the i-output.boot code is so ugly. The TeX program and the mathml renderer in Firefox take care of that for me.
Arthur ------------------------------------------------------------------------- Check out the new SourceForge.net Marketplace. It's the best place to buy or sell services for just about anything Open Source. http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel