FUNCTION: psrepfin - test a poset for finite representation type

CALLING SEQUENCE:
psrepfin(p)
psrepfin(p,c,incl,img)

PARAMETERS:
p - a poset
c, incl, img - optional arguments evaluating to names

SYNOPSIS:

• psrepfin tests, whether the poset p is of finite representation type.

• Testing is done by looking for critical subposets of p. (Criterion of Klejner)

• If the poset is not of finite representation type, various data will be returned via the optional arguments. In particular:
  
  
  • c - will give the name of the critical subposet of p found by the function.

  • incl - a list containing data about the inclusion c --> p found by the function. In fact incl[i] is the image in p of the point i of c under this inclusion.

  • img - a vector marking the points of p belonging to the image of c by 1, those not belonging to the image by 0.

EXAMPLES:

> p:=[10,{[1, 3, 4], [4, 2], [3, 2], [9, 3, 6], [10, 6], [6, 4], [7, 1, 9]}];

> psrepfin(p,'c','incl','img');

> print(c);

> print(incl);

> print(img);