[m-rev.] for review: Fix digraph.tc and digraph.rtc.

[Zoltan Somogyi]

2023-01-11 11:09 GMT+11:00 "Peter Wang" <novalazy at gmail.com>:
>     % - Compute the reflexive transitive closure (denoted G*), which is
>     %   the reflexive closure of the transitive closure of G (denoted G+).
> 
> to make the following text understandable.

The new text is ambiguous. It can be read both as saying that G+
is the transitive closure of G (correct) or as the reflexive closure of
the transitive closure of G (wrong).

Zoltan.