Imports
/-
Copyright (c) 2025 Joseph Tooby-Smith. All rights reserved.
Released under Apache 2.0 license as described in the file LICENSE.
Authors: Joseph Tooby-Smith
-/
module
public import Physlib.Meta.TODO.BasicThe electrostatics of a circular coil
i. Overview
This module is currently a stub, but will eventually contain the electrostatics of a circular coil carrying a steady current. The references below have in them statements of the electromagnetic potentials and fields around a circular coil.
ii. Key results
iii. Table of contents
A. The current density
iv. References
https://ntrs.nasa.gov/api/citations/20140002333/downloads/20140002333.pdf
@[expose] public sectionTODO "Prove that the magnetic field around a circular current loop is as given
in the reference https://ntrs.nasa.gov/api/citations/20140002333/downloads/20140002333.pdf."attribute [-simp] Nat.succ_eq_add_one