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

[Peter Wang]

On Wed, 11 Jan 2023 11:12:44 +1100 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> 
> 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).

Fixed.

Peter