Commit 2024-07-23 04:50 d388846d
View on Github →feat(MvPowerSeries.Basic): compute coefficients of powers of MvPowerSeries (#14865)
MvPowerSeries.coeff_pow
computes the coefficients of powers of power series
coeff_eq_zero_of_constantCoeff_nilpotent
shows that some coefficients of some powers of a power series are zero when the constant coefficient is nilpotent
CoAuthored with María Inés de Frutos Fernández