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