Martin Baker wrote:
>
> 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?
>
Assuming everything is in graph.spad:
)boot $bootStrapMode := true
)compile graph.spad
)boot $bootStrapMode := false
)compile graph.spad
--
Waldek Hebisch
[email protected]
--
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.
