CPROG

The module cprog produces the progressivity curves (PR(p)) for a
given list of variables (components).
Let x be a gross income.
. A tax t is Tax Redistribution (TR) progressive if:
. PR(p) = L_x(p)  C_t(p) > 0 for all p in ]0, 1[
. A transfer b is Tax Redistribution (TR) progressive if:
. PR(p) = C_b(p)  L_x(p) > 0 for all p in ]0, 1[
. A tax t is Income Redistribution (IR) progressive if:
. PR(p) = C_xt(p)  L_x(p) > 0 for all p in ]0, 1[
. A transfer b is Income Redistribution (IR) progressive
. PR(p) = C_x+b(p)  L_x(p) > 0 for all p in ]0, 1[

CPROGBT

The module cprogbt produces the progressivity curves to check if
the tranfer b is more progressive that the tax t.(components).
Let x be a gross income.
. A transfer B is more Tax Redistribution (TR) than the tax T if:
. PR(p) = C_b(p) + C_t(p) 2L_x(p) > 0 for all p in ]0, 1[
. A transfer B is more Income Redistribution (IR) than the tax T if:
. PR(p) = C_x+b(p)  C_xt(p) > 0 for all p in ]0, 1[
