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.
