Waldek, As you suspected its the getting rid of FunctionGraph and MultifunctionGraph that gives me concern and which I don't want to do.
I agree that they do not currently enforce the fixed number of outgoing arrows per node at the moment and I would like to add that (by adding a NNI domain parameter). FunctionGraph could be merged into MultifunctionGraph with a domain parameter of 1. There are a lot reasons why I think it is important to have efficient implementations of these types of structures. One reason is that I would like to link this to the computational framework, as a complimentary way to represent functions and to model the dynamics of cellular automata (state transition diagrams). see the section entitled 'Graphs of functions' in: http://en.wikipedia.org/wiki/Pseudoforest I would also like to have this as a general structure which can link up to other structures like groups and lattices (for example factorising groups into cosets). I agree there is a lot of overlap between these domains and DirectedGraph and it would be good to reduce this duplication. There are also a lot of functionality in FunctionGraph and MultifunctionGraph that are not duplicated and rely on the fixed number of outgoing arrows per node, I would not want to loose this stuff so these would all have to be migrated into any new architecture. I was thinking that the ideas you had earlier, separation of the algorithms into a table representation might remove a lot of this duplication so my plan was to leave this until I saw what you came up with here. It depends what your timescales are, if you are still planning to release in the next day or so then I'm really keen to leave FunctionGraph and MultifunctionGraph in for now rather than make rushed changes and review the overall architecture when we have more time. I am happy for you to make the other changes (you can probably do them quicker than me) but if I can help let me know. 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.
