On Wednesday 18 Jan 2012 10:48:48 Martin Baker wrote:
> Are you interested in an implementation of graph theory I have put
> here:
> https://github.com/martinbaker/fricas/blob/master/src/algebra/graph.spad.pamphlet
>
> If so there is a tutorial here:
> http://www.euclideanspace.com/maths/standards/program/mycode/discrete/graph/

I forgot to mention that there is a complication with compiling the
code.

It compiles fine, but only if the domains already are loaded,
otherwise I get an error message like this:

   compiling exported * : ($,$) -> DirectedGraph Product(S,S)
   Internal Error
   Error while instantiating type DirectedGraph(Product S S)

So I have to follow a procedure like this to boot it up:

1) Make a temporary version of 'directedGraph.spad' file
2) Edit out the declarations and definitions for:
        "*":(%,%) -> GRPHPROD
        cartesian:(%,%) -> GRPHPROD
3) Compile the temporary code.
4) Compile the original code.

Am I doing something wrong here? Is there a better workaround?

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