You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Fails, probably because gensym symbols aren't unique: g ang g are the same. g \circ h works. Get a wrong length error when iterating over connected components.
tr(g) and tr(g.') are not equal: the graphs are equal (not just isomorphic), but the repesentation is different. i.e. the set of symbols making up vertices are the same, and the set of edgs in terms of symbols is the same, but the order of the vertices is different. Is this correct or an error?
The text was updated successfully, but these errors were encountered:
The text was updated successfully, but these errors were encountered: