On Wednesday 23 Mar 2011 14:58:21 Waldek Hebisch wrote: > > I have put it in this file: > > ski.spad.pamphlet > > Which I have put here: > > https://github.com/martinbaker/multivector/ > > > > Further documentation and tutorial is here: > > http://www.euclideanspace.com/maths/standards/program/mycode/ski/ > > It looks like good addition for next release (possibly after some > changes) -- I would like to finish current one as soon as possible > and _then_ start adding new code.
This is just to warn you that I have changed the name of the file from ski.spad.pamphlet to computation.spad.pamphlet It is still available here: https://github.com/martinbaker/multivector/ The reason for the change is that I added some more computation related domains and packages. There are still some bugs in these new domains which I am working on but I would welcome any comments on the general idea. For more details see: http://www.euclideanspace.com/maths/standards/program/mycode/computation/ Tutorial for lambda calculus: http://www.euclideanspace.com/maths/standards/program/mycode/computation/lambda/ Tutorial for SKI calculus: http://www.euclideanspace.com/maths/standards/program/mycode/computation/ski/ Tutorial for Intuitionistic Logic http://www.euclideanspace.com/maths/standards/program/mycode/computation/intuitionistic/ Tutorial for utilities to coerce between computation domains http://www.euclideanspace.com/maths/standards/program/mycode/computation/utility/ -- 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.
