[][src]Trait Alias maths_traits::analysis::ordered::ArchField

trait ArchField = ArchUnitalRing + OrdField;

An ordered field ring with the Archimedean property and Archimedean division