Martin Baker wrote:
>> You shouldn't tweak OutputForm (except for fixing bugs or shortcomings).
>> What you should do is write a domain HTML that exports a coercion
>>
>> coerce: OutputForm -> %
>>
>> and an operation
>>
>> html: % -> List String
>>
>> similar to what has been done in tex.spad.pamphlet and possibly
>> mathml.spad.pamphlet.
> 
> Martin,
> 
> Thanks, you're right, mathml.spad.pamphlet seems to be a good example of how 
> to do this. Unfortunately in addition to writing this domain there is a lot 
> of 
> code to put in setvars.boot which means that it has to be precompiled into 
> lisp code and then that code has to be inserted back into setvars.boot.
> 
> I don't really want to do this every time a new version of FriCAS is released 
> and I doubt if there would be enough interest to put it into the main code?
> 
> In a way it would be good to have a 'pretty-print' version that defaulted to 
> the usual text but where items like subscript could be overridden at runtime. 
> Again I doubt if there would be enough interest to make this worthwhile?
> 
> I think I will use this mathml output and then write a XSLT script outside 
> FriCAS to convert it to the form I want.
> 
> I must admit, I did not realise that mathml was already in existing code, 
> this 
> information had not made it into the documentation I was using.
> 
> Martin Baker
> 

Martin,

Another option would be to use the existing mathml package to stick your
html code in.  Make a global variable that switches between mathml and
html and then develop your html code in parallel to the mathml code.
That way you don't have to mess with setvars.boot and you only have to
recompile mathml.spad.

Arthur
-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/fricas-devel?hl=en.


Reply via email to