On Wednesday 18 Jan 2012 21:13:42 Ralf Hemmecke wrote:
> I've updated your tutorial a bit by introducing the "document" command
> to tangle the files. At least on my computer there also was no Loop
> domain. So I also had to extract it from graph.spad.pamphlet

Thanks very much, I have made these changes to github and added some
others.
(should I do a pull request or do you monitor these changes?)

I think I inadvertently added to the confusion because when I said "I
have updated the tutorial" I updated the tutorial on the web but not
in the pamphlet. Hopefully they are all synchronised now, I have added
your comments to both, and I think you will find the install
instructions should work without giving the error.

Of course this duplication of documentation is not very desirable and
is often going to lead to this sort of problem. I don't think this is
the place to restart the debate about the documentation issues (I
guess we know each others views) but I do need the documentation in
HTML form, not least because this subject needs lots of pictures, but
also for many other reasons. If this code were included in hyperdoc
then that would add another level of duplication. I'm in favour of the
aims of literate programming but I just have these issues with the
mechanics of it. Sorry to go on about it.

> I think, such a function should better live inside a package:
>
> DirectGraphFunctions(S): with
>      _*: (DirectGraph S, DirectGraph S) -> DirectGraph Product(S, S)
>    == add
>      ...
>
> That would probably avoid the bootstrapping problem and looks much
> cleaner IMHO.

Yes, I probably need to think a bit more about where things should go
and this looks like a good idea.

Martin

-- 
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.

Reply via email to