Symbolic implementation of polynomial sequences cubic decomposition