Diff — Periodic function

Revision #1468 → #2732 · back to history

addedFourier series decomposition of periodic functions5bbe3207badc

addedPeriodic sequenceca2c531e3dae

modifiedAntiperiodic implies periodice07c83fae751

Field	From #1468	To #2732
anchor.snippet	the converse is not necessarily true	-antiperiodic function is a
note	`Function.Antiperiodic.periodic` shows any `c`-antiperiodic function is `2 • c`-periodic.	`Function.Antiperiodic.periodic` shows any `c`-antiperiodic function is `2 • c`-periodic (see also `Antiperiodic.periodic_two_mul`).
provenance	ai	ai-moderated