> > It seems to me too. Names are strings, so I assume
> > String does the job here.
>
> In FriCAS normaly symbols are used as names.
Hmm, ok. I'll try that.
> > The zero vector get a "0" by
> > this method. I'm not sure if this is nice.
>
> Other parts of FriCAS which represent mathematical quantities
> as lists of terms use empty list to represent 0.
I'm not sure how easy this would be here, because empty list
in term.vec means "no vector part" but not necessarily 0.
If we give term.vec the type List List String then all code
needs to be adapted. Would be worth a try maybe.
> > > But that is FriCAS-internal, you have only minor influence on
> > > this.
> >
> > I hoped that we could use bold letters in latex printing.
> > And a special symbol for the wedge product. We do really
> > not want to get a^b written as $a^{b}$.
>
> OutputForm is deliberatly limited to allow different output
> formats. And ATM wedge has no special handling in TeX
> formatter, so we get wrong output (due to unescaped
> backslash):
>
>
> (5) a/\b
> $$
> a/\b
> \leqno(5)
> $$
I misuse "^" for wedge/cross product. This yields to
fundamentally wrong output of course.
> > There must be a missing bit somewhere.
>
> Make sure that you domain belongs to 'CoercibleTo(OutputForm)'
> category. That is write:
>
> VectorSpaceCategory(R : Ring) : Category == CoercibleTo(OutputForm)
> with ......
That's it, thanks!
Pushed a very simple output coercion.
> Merely exporting 'coerce' to 'OutputForm' is not enough.
> > BTW: How can I look at the Rep of some object?
>
> The idea is that Rep is invisible from outside of your domain.
> If you want to see Lisp representation for debugging purpose
> you may use PRETTYPRINT like:
>
> (6) -> PRETTYPRINT(ao)$Lisp
> |a|
Thanks for this too. But I don't need to go down to Lisp level now.
--
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.
