FUNCTION: tauinv - inverse Auslander-Reiten-shift
CALLING SEQUENCE:
tauinv(f)
f - an arbitrary class of type quiver
SYNOPSIS:
EXAMPLES:
> with(tubular):
> read_in(3,3,3);
assume f2 defined
>
show(f2);
>
f1 := tauinv(f2); show(f1);