Martin, I have not looked at your code yet but probably you have some mutually recursive definitions spread across several source modules. In this case your "bootstrap" procedure is quite normal. See for example:
http://axiom-wiki.newsynthesis.org/MutualRecursion To avoid this you could try combining the clique of related modules into one source file and compiling it in one step. Regards, Bill Page. On Wed, Jan 18, 2012 at 10:07 AM, Martin Baker <[email protected]> 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? > > 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. > -- 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.
