show.html

FUNCTION: show - "pretty"-prints type quiver

CALLING SEQUENCE:
show(f)

PARAMETERS:
f - the K₀X -class of an object (of datatype quiver)

SYNOPSIS:

"show" pretty-prints the coordinates of a Grothendieck-class of type quiver; in the upper left corner, the corresponding basis is indicated (cf. procedure change).

The canonical configuration

O(x1) --> O(2 x1) --> ... --> O((p1-1) x1)

O(x2) --> O(2 x2) --> ... --> O((p2-1) x2)

O ... ... ... ... O(c)

O(xt) --> O(2 xt) --> ... --> O((pt-1) xt)

consists of those vector bundle which are projective when considered as Lambda-modules. The presentation of a class in K₀X using "show" is intended to somehow imitate the this shape.

In particular, using the basis `@E` of simple Lambda-modules, "show" vizualizes the dimension vector of a module.

EXAMPLES:

> with(tubular):

> read_in(3,3,3);

> get_class([7/4,1,2,5]); show(%);

BACK TO: start page of the crep online manual, tubular

	O(x1)	-->	O(2 x1)	-->	...	-->	O((p1-1) x1)
	O(x2)	-->	O(2 x2)	-->	...	-->	O((p2-1) x2)
O	...		...		...		...	O(c)
	O(xt)	-->	O(2 xt)	-->	...	-->	O((pt-1) xt)