25.42 Factorization for PQp

Factorization( P, w )

Let P be a PQp record and w a word in the generators of P. The function Factorization returns a word in the weight 1 generators of P expressing w.

Previous Up Top Next
Index