I’ve already started to learn about curves complex. My advisor told me about your blog and I find it really really helpful. May I ask you a silly question about this post? You define inequality in this way:

“You write c<c' if the common subpath of c and a is longer than the common subpath of c' and a."

But in the recipe below the common subpath of c' and a is longer than the common subpath of c and a. Is it just a change of convention?

]]>