Operations on partitions |

- NAME:
*add_part_part* - SYNOPSIS:
*INT add_part_part(OP a,b,c)* - DESCRIPTION: adds the two PARTITIONobjects
*a*and*b*to the result*c.**c*must be an empty object. All the objects*a,b,c*must be different. - RETURN: OK or ERROR
- BUGS: there are no checks on the types, you better use
the general routine
*add.*

- NAME:
*conjugate_partition* - SYNOPSIS:
*INT conjugate_partition(OP input,output)* - DESCRIPTION: Computes the conjugate partition , there is no check
whether input is a PARTITIONobject, there is no check
whether output is an empty object, and there is no check
whether
*input*and*output*are different pointers. All these checks are done if you call the standard routine conjugate.

Partitions are represented graphically using theExample:... scan(PARTITION,a); println(a); conjugate_partition(a,b); ...

- NAME:
*ferrers_partition* - SYNOPSIS:
*INT ferrers_partition(OP part)* - DESCRIPTION: prints the Ferrers diagram to the standard output. There
is no check whether
*part*is really a PARTITIONobject.

- NAME:
*hook_length* - SYNOPSIS:
*INT hook_length(OP part; INT i,j; OP result)* - DESCRIPTION: computes the hook length of the hook starting at position
*(i,j)*in the Ferrers diagram. The row with index 0 is the longest row. First the result is freed to an empty object.

- NAME:
*dimension_partition* - SYNOPSIS:
*INT dimension_partition(OP part, result)* - DESCRIPTION: computes the dimension of the irreducible representation
labeled by
*part.*There is no check whether part is a PARTITIONobject. The result becomes a LONGINTobject, if the dimension is too big. - BUGS: It would be good, to allow skewpartitions also.

- NAME:
*ordcen*abbreviates*order_ of_ centralizer*while*ordcon*means*order_ of_ conjugacy_ class.* - SYNOPSIS:
*INT ordcen(OP part,result)**INT ordcon(OP part,result)* - DESCRIPTION: computes the order of the centralizer or of the
conjugacy class. First it frees the result. There is no check
whether
*part*is a PARTITIONobject. The result may become a LONGINTobject.

- NAME:
*test_part* - SYNOPSIS:
*INT test_part()* - DESCRIPTION: does self-explanatory checks of the implementation of PARTITIONobjects.
- RETURN: OK

harald.fripertinger@kfunigraz.ac.at,

last changed: November 19, 2001

Operations on partitions |