FUNCTION: tau - Auslander-Reiten-shift on K0X
CALLING SEQUENCE: tau(f) PARAMETERS: 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);
SEE ALSO: tauinv , Lp_shift