Re: [Axiom-math] Axiom: Printing multiple variables in axiom.

[Martin Rubey]

"Bill Page" <address@hidden> writes:

> Why do you write 'unparse(y::INFORM)' ? Do you mean you literally want
> to output a ' * ' character for multiplication? If so, I think there
> must be a better way than this ...

I guess that Constantine also wants 1-dimensional output. I.e., x^2 instead of

 2
x

But I'm not sure.

Of course, the real solution would be to overwrite the coercion to OutputForm
in Expression.  But that's probably too much to ask for from Constantine, and I
don't have the time to play around with that.

Constantine, I believe that mainly the trig functions get "funny" names.  You
could first get a string with

   str := unparse(y::INFORM)

and then use

   pos := position("DCOS", str, 1)
   if pos > 0 then replace(str,pos..pos+3,"cos")

to replace the names you dislike.

Martin