In order to complete the recent changes to computation.spad I have updated the documentation to match the code changes. Documentation changes only, no change to code.

patch is here:
https://github.com/martinbaker/multivector/blob/master/computation5.patch
code is here:
https://github.com/martinbaker/multivector/blob/master/computation.spad

Issues:

1) Is it possible to suppress automatic insertion of spaces around colon and commas in literate parts of the file?
2) Am I wasting my time doing stuff on literate code?

This is not a big deal for me. I will continue doing the literate version if you think it worthwhile but, if not, its better not to waste my (and your) time.

Usually I first produce documentation in HTML and put it on my website. I then copy it into code file, this copy is inferior to the HTML version because it does not have diagrams.

So why not just rely on the online documentation?

It would be really good if Fricas IO could be the hub for all the various types of online documentation for all categories, domains, etc. If there were to be a standardised way to embed URLs in ++ comments like this:

++ Author: Martin Baker
++ Date Created: March 2011
++ Basic Operations:
++ Related Constructors:
++ Also See:
++ AMS Classifications:
++ Keywords:
++ Reference: http://www.euclideanspace.com/prog/scratchpad/mycode/computation/ ++ Tutorial: http://www.euclideanspace.com/prog/scratchpad/mycode/computation/lambda/
++ An implementation of untyped lambda-calculus

Then Fricas IO might be able to pick up the URLs and generate links that users would see when they were browsing this domain.

Just an idea.

Martin B

--
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 fricas-devel+unsubscr...@googlegroups.com.
To post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to