Martin Baker wrote: > > I have updated computation.spad.pamphlet at: > https://github.com/martinbaker/multivector/ >
I suggest the following: 1) Add CoercibleTo(OutputForm), Also ILogic should be of category Logic In other words replace Exports == with by Exports == Join(Logic, CoercibleTo(OutputForm)) with and remove explicit declarations of \/, /\ and ~. 2) 'matrix [[x::OutputForm ...]]' produces subscripted symbol. To get OutputForm you need 'matrix([[x::OutputForm ...]])$OutputForm 3) Avoid noise in comments. For example it is enough to say Note: Its hard to read this table in text, it displays better as html on this page: http://www.euclideanspace.com/maths/standards/program/mycode/computation/intuitionistic/ onece, no need to repeat this three times. -- Waldek Hebisch [email protected] -- 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.
