Dependency changes

+ C
+ CRingHom
+ CRingHom_eq_C
+ C_0
+ C_1
+ C_add
+ C_eq_intCast
+ C_eq_natCast
+ C_eq_zero
+ C_inj
+ C_injective
+ C_mul
+ C_mul_X_eq_monomial
+ C_mul_X_pow_eq_monomial
+ C_mul_monomial
+ C_neg
+ C_pow
+ C_sub
+ Nontrivial.of_polynomial_ne
+ X
+ X_mul
+ X_mul_monomial
+ X_ne_zero
+ X_pow_eq_monomial
+ X_pow_mul
+ X_pow_mul_monomial
+ addHom_ext
+ addHom_ext'
+ coeff
+ coeff_C
+ coeff_C_ne_zero
+ coeff_C_succ
+ coeff_C_zero
+ coeff_X
+ coeff_X_of_ne_one
+ coeff_X_one
+ coeff_X_zero
+ coeff_add
+ coeff_erase
+ coeff_monomial
+ coeff_monomial_succ
+ coeff_natCast_ite
+ coeff_neg
+ coeff_ofNat_succ
+ coeff_ofNat_zero
+ coeff_one
+ coeff_one_zero
+ coeff_sub
+ coeff_update
+ coeff_update_apply
+ coeff_update_ne
+ coeff_update_same
+ coeff_zero
+ eq_zero_of_eq_zero
+ erase
+ erase_monomial
+ erase_ne
+ erase_same
+ erase_zero
+ ext
+ ext_iff
+ induction
+ instNontrivial
+ instRing
+ linearMap_ext'
+ mem_support_iff
+ monomial_add_erase
+ monomial_eq_monomial_iff
+ monomial_eq_zero_iff
+ monomial_injective
+ monomial_left_inj
+ monomial_mul_C
+ monomial_mul_X
+ monomial_mul_X_pow
+ monomial_neg
+ monomial_one_one_eq_X
+ monomial_one_right_eq_X_pow
+ monomial_sub
+ monomial_zero_left
+ mul_def
+ nat_cast_mul
+ notMem_support_iff
+ smul_X_eq_monomial
+ smul_sum
+ sum
+ sum_C_index
+ sum_X_index
+ sum_add
+ sum_add'
+ sum_add_index
+ sum_def
+ sum_def'
+ sum_eq_of_subset
+ sum_monomial
+ sum_monomial_index
+ sum_neg
+ sum_smul_index
+ sum_smul_index'
+ sum_sub
+ sum_sum_index
+ sum_zero
+ sum_zero_index
+ support_C
+ support_C_mul_X
+ support_C_mul_X'
+ support_C_mul_X_pow
+ support_C_mul_X_pow'
+ support_C_subset
+ support_X
+ support_X_empty
+ support_X_pow
+ support_binomial'
+ support_eq_skewMonoidAlgebra_support
+ support_erase
+ support_monomial
+ support_monomial'
+ support_neg
+ support_trinomial'
+ support_update
+ support_update_ne_zero
+ support_update_zero
+ update
+ update_def
+ update_zero_eq_erase
+ zero_def

## summary with just the declaration names:
./scripts/pr_summary/declarations_diff.sh <optional_commit>

## more verbose report:
./scripts/pr_summary/declarations_diff.sh long <optional_commit>

The doc-module for scripts/pr_summary/declarations_diff.sh contains some details about this script.

Current commit 95e215a89b
Reference commit 5ccfc60402

You can run this locally as

./scripts/reporting/technical-debt-metrics.sh pr_summary

• The relative value is the weighted sum of the differences with weight given by the inverse of the current value of the statistic.
• The absolute value is the relative value divided by the total sum of the inverses of the current values (i.e. the weighted average of the differences).