Robert! > I completely agree! Much of this functionality was written as a > wrapper for NetworkX a while ago, and hasn't been revisited since. I > would happily review any patch that did this, and I've made it trac > ticket #4854.
Thanks for blazing reply. I'm not sure yet how to do this consistently: one may need to walk trough path by vertices or by edges, should this depend on multi_edges availability, etc. Automata analysis will empose a structure on paths (cycle nesting, a kind of bracket nesting with pair correspondence set upon edges, etc). There may appear generators of paths with designated complexity, layered automata `cores', consisting of paths, each marked with points of growth, etc... %) > > Generally speaking, we plan to represent finite, pushdown and a new > > generalization of pushdown automata (D-Graphs) over Sage graphs, > > leveraging existing machinery. > > Is there any other machinery you find missing or in need of attention? For now only a minor one: is it easy to draw a graph with LaTeX formulas labeling edges? I've done this once by hand via Dia -> pstricks -> latex. Possible kinds of automata could carry expressions along edges. There could appear nested graphs hiding in vertices, how to depict these?.. A possible direction of our seminar students' work is to investigate drawing/navigation/UI/animation capabilities regarding automata. It could have a form of 'drawing tips' which control automated grouping and proportions of resulting image, it may become desirable to distinguish parts of an automaton, use a library of prepared examples to plug them as subautomata in various places, etc. The work that is done usually by hand on paper of board. I'm not familiar deeply with 2D-drawing capabilities (set aside tachyon miracles), but this could be of educational value. --Pavel. --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
