Martin, On Mon, Aug 15, 2011 at 4:05 AM, you wrote: > On Monday 15 Aug 2011 02:52:04 Bill Page wrote: >> Can you give some examples of such buggy code? > > mappkg.spad.pamphlet looks like it has lots of useful stuff for higher > order functions such as currying? >
Yes, I have used it on several occasions. > However when the packages are called things like: > MappingPackageInternalHacks and the comments for some of the > functions are "Unused and buggy" this does not inspire confidence. > This is not the only place in the FriCAS source code where you will find such comments. It is possible that some of them are still true but equally probable that they applied to a rather different version of Axiom of many years earlier and may no longer apply. It would be useful exercise to write unit tests for the functions in this package and to fix any problems found. > Concerning the other issues you mention, It would be really > interesting for me to discuss some of the issues that you mention > relating to category theory. However I don't want to detract from > Yrogirgs thread or annoy other members of the group. I get the > impression this group is more for specific questions about FriCAS and > when I mention anything else it seems to spiral out of control ending > with an argument about the meaning of the word "group". I know there are several people on this list interested in category theory and FriCAS/Axiom - including Ralf! ;) I don't think you should feel any concern that an argument that might or might not arise over terminology or even something more important. This is email and such arguments do not hurt (much) ... So if you have an opinion and/or some insight into this issue I would for one would be very happy to read it here. Start a new thread if it seems appropriate. > Its probably best if I try to learn more about category theory by myself. > I would gladly encourage anyone to learn more about category theory in what ever way suits them best. Regards, Bill Page. -- 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.
