According to my counting \axiomSig and \spadsig are only used about 15
times. We should get rid of this command.
It had probably been introduced to deal with A->B as a type, and print a
$\rightarrow$ instead of -> in \tt mode. As there are so few uses and
it's cumbersome to deal with A->B->C, I'd rather remove complexity and
simply let people type \spadtype{A->B}.
I don't yet know how, but It would be nicer to write
\spadtype{((A(B),C(D,E))->F G}
and have \spadtype deal with the task of turning A, B, ..., G into
hyperlinks to the corresponding constructor description.
Ralf
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
