Adele

An adèle: a real number beside a profinite number . `Adele(q)` for rational is the principal adèle, at every place.

Adele(r, z)the real beside the finite part (a ProfiniteNumber)

Adele(q)the principal adèle of a rational : at the real place and every finite one

Adele(idele)the underlying adèle of an Idele

Domain: Adèles and idèles

Details

• The real part is any closed-form real constant compute-engine can evaluate numerically, not only a rational.
• `Add`, `Multiply`, `Negate`, `Divide`, `Power`, `Equal`, `NotEqual` thread over an adèle, real part and finite part separately.
• An Idele is an adèle together with the extra data an idèle carries (a finite set of distinguished units); `Adele(idele)` forgets that and keeps only the value.

Examples

See also: ProfiniteNumber, Idele