Struct Scale 

pub struct Scale {
    pub name: String,
    pub residues: ResidueType,
    pub much_smaller_than: Option<Arc<Scale>>,
    pub much_larger_than: Option<Arc<Scale>>,
    pub refines: Option<Arc<Scale>>,
}

An infinitesimal of the program: the name it was declared under, what is known about the residues of its reciprocal, the infinite natural ⌈1/dt⌉, and where it stands among the others.

dx declared much smaller than dt is smaller than every positive number made from dt, so the two are ordered as levels: every value of dx with coefficients made from dt has the sign of its lowest-order coefficient in dx. A declaration names at most one infinitesimal it is much smaller than and one it is much larger than, and the order of any two is what those statements give by transitivity (Scale::order); two the declarations do not order are never combined.

Fields

name: String

residues: ResidueType

much_smaller_than: Option<Arc<Scale>>

The infinitesimal this one was declared much smaller than.

much_larger_than: Option<Arc<Scale>>

The infinitesimal this one was declared much larger than.

refines: Option<Arc<Scale>>

The declared infinitesimal this is, read on one residue class of its reciprocal: the engine’s copy for a class keeps the declaration it refines, and is that infinitesimal.

Implementations

impl Scale

pub fn new(name: &str, residues: ResidueType) -> Scale

An infinitesimal declared on its own.

pub fn ordered( name: &str, residues: ResidueType, larger: Option<Arc<Scale>>, smaller: Option<Arc<Scale>>, ) -> Result<Scale, String>

An infinitesimal declared much smaller than larger and much larger than smaller, each when given; refused when the bounds are not already ordered, smaller below larger, or when it would share a name with an infinitesimal it is ordered with.

pub fn with_residues(self: &Arc<Scale>, residues: ResidueType) -> Scale

The same infinitesimal on a narrower residue type of its reciprocal.

pub fn same_infinitesimal(&self, o: &Scale) -> bool

Whether the two are one infinitesimal: one declaration, whatever residue class either is read on.

pub fn order(&self, o: &Scale) -> Option<Ordering>

Less when this infinitesimal is much smaller than o, Greater when much larger, Equal for one infinitesimal; None when the declarations do not order them. a is much smaller than b when some infinitesimal reached from a through the ones declared above it is reached from b through the ones declared below it: every declaration states its bounds’ order already known, so no later one orders two earlier ones, and that meeting is the only route.

pub fn unordered(&self, o: &Scale) -> String

The refusal for two infinitesimals whose order the program does not state.

pub fn generator_text(&self) -> String

How the infinite generator is written in a dependence: ⌈1/dt⌉.

impl Scale

pub fn to_bytes(&self) -> Vec<u8>

The declaration’s canonical bytes: the residue type of the reciprocal, and for an infinitesimal declared much smaller or much larger than another, a 1 and each of those two in turn — a 0 for none, or a 1, its name and its own bytes. An infinitesimal declared on its own writes its residue type alone. A residue class’s copy writes the declaration it refines.

pub fn from_bytes(name: &str, bytes: &[u8]) -> Option<Arc<Scale>>

The infinitesimal Scale::to_bytes wrote under name; None for a forged or non-canonical encoding, or a declaration its bounds refuse.

Trait Implementations

impl Debug for Scale

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Hash for Scale

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Scale

fn eq(&self, other: &Scale) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Scale

impl StructuralPartialEq for Scale