diff options
| -rw-r--r-- | CHANGELOG_UNRELEASED.md | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md index 16ce76c..6fba5bb 100644 --- a/CHANGELOG_UNRELEASED.md +++ b/CHANGELOG_UNRELEASED.md @@ -242,6 +242,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). + Lemma `prodr_natmul` : generalization of `prodrMn_const`. Its name will become `prodrMn` in the next release when this name will become available (cf. Renamed section) +- in `polydiv.v`, new lemma `dvdpNl`. ### Changed @@ -344,9 +345,61 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). + `itv_gte` -> `itv_ge` + `l(t|e)r_in_itv` -> `lt_in_itv` +- in `ssrnat.v` + + `iter_add` -> `iterD` + + `maxn_mul(l|r)` -> `maxnM(l|r)` + + `minn_mul(l|r)` -> `minnM(l|r)` + + `odd_(opp|mul|exp)` -> `odd(N|M|X)` + + `sqrn_sub` -> `sqrnB` + +- in `seq.v`, `iota_add(|l)` -> `iotaD(|l)` + +- in `div.v` + + `coprime_mul(l|r)` -> `coprimeM(l|r)` + + `coprime_exp(l|r)` -> `coprimeX(l|r)` + +- in `fintype.v` + + `bump_addl` -> `bumpDl` + + `unbump_addl` -> `unbumpDl` + +- in `bigop.v`, `mulm_add(l|r)` -> `mulmD(l|r)` + +- in `prime.v` + + `primes_(mul|exp)` -> `primes(M|X)` + + `pnat_(mul|exp)` -> `pnat(M|X)` + - in `ssralg.v` + `prodrMn` has been renamed `prodrMn_const` (with deprecation alias, cf. Added section) +- in `poly.v` + + `polyC_(add|opp|sub|muln|mul|exp|inv)` -> `polyC(D|N|B|Mn|M|X|V)` + + `lead_coef_opp` -> `lead_coefN` + + `derivn_sub` -> `derivnB` + +- in `polydiv.v` + + `rdivp_add(l|r)` -> `rdivpD(l|r)` + + `rmodp_add` -> `rmodpD` + + `dvdp_scale(l|r)` -> `dvdpZ(l|r)` + + `dvdp_opp` -> `dvdpNl` + + `coprimep_scale(l|r)` -> `coprimepZ(l|r)` + + `coprimep_mul(l|r)` -> `coprimepM(l|r)` + + `coprimep_exp(l|r)` -> `coprimepX(l|r)` + + `modp_scale(l|r)` -> `modpZ(l|r)` + + `modp_(opp|add|scalel|scaler)` -> `modp(N|D|Zl|Zr)` + + `divp_(opp|add|scalel|scaler)` -> `divp(N|D|Zl|Zr)` + +- in `matrix.v`, `map_mx_sub` -> `map_mxB` + +- in `mxalgebra.v`, `mulsmx_add(l|r)` -> `mulsmxD(l|r)` + +- in `vector.v`, `limg_add` -> `limgD` + +- in `ssrint.v`, `polyC_mulrz` -> `polyCMz` + +- in `intdiv.v` + + `coprimez_mul(l|r)` -> `coprimezM(l|r)` + + `coprimez_exp(l|r)` -> `coprimezX(l|r)` + ### Removed - in `interval.v`, we remove the following: |