"Prof. Dr. Johannes Grabmeier" <[email protected]> writes:

> I would like to see some cleaning/clarification what is going on here - after 
> this question to latex was raised.  What is the relation (if at all) between 
> the function latex vom SetCategory and the system function output tex
> on? 

Oh, I didn't know about latex$SetCategory...

I think it should go away.  I think we had the discussion how things
"should be" several times in the past.  My personal opinion was that
there should be a

* domain InputForm containing all semantic information

and a

* domain OutputForm containing all information needed for typesetting.
  Domains like TexFormat, MathMLFormat, etc. should then have a 
  coerce: OutputForm -> %

My opinion was slightly shattered by the fact that mathml seems to need
(or is able to process) *more* information than LaTeX.

In any case, some of the output processing is (in my opinion:
unfortunately) done in i-output, but a fair bit is in the algebra.

Note that some domains cannot really have InputForm - at least not
easily, Stream is an example.

I think that just about all domains in userland should have OutputForm.

Martin

-- 
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