I have updated the graph theory code here: https://github.com/martinbaker/fricas/blob/master/src/algebra/graph.spad.pamphlet
and also the graphics framework here: https://github.com/martinbaker/fricas/blob/master/src/algebra/scene.spad.pamphlet The changes to the graph theory depend on the changes to the graphics framework so it would be quite good if you chose to include both with FriCAS. At least I would not have to do so many loads before doing any work! The changes to the graphics framework affect the user interface, but only the functions for drawing arrows. On Wednesday 01 Feb 2012 17:32:52 Waldek Hebisch wrote: > Yes. I have my own ideas how graph should be done and as you > see Franz Lehner also did work in this direction, so we will > probably be pushing some changes (more about this tomorrow). I have not seen this, did I miss something? But I have started to address your earlier concerns: 1) I have renamed Graph category to FiniteGraph (FGRPH). I would like this to extend a more general Graph (GRPH) category which would include functions such as 'neighbours' and 'distance' which are common to both finite and infinite graphs. However, at this stage, I don't know how infinite graphs would be represented (presumably some inductively defined data structure). Therefore I don't know how vertices of the graph would be referred too, in the most general case (can they still be indexed), so I don't know if the same signature can be used for 'distance' in the finite and infinite cases. I have therefore left this Graph (GRPH) category as a possible future enhancement. 2) I have included Ralfs loop construct patch. 3) I have added definitions for terms like spanning tree and forest to the documentation. What is currently called spanning tree and forest is misnamed but I haven’t altered the code yet as I want to make sure I get agreed definition. 4) I have changed WeightedGraph to allow weights to be assigned to both verities and arrows (although vertex weights are not yet used). 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.
