Struct Exp 

pub struct Exp { /* private fields */ }

A signed rational exponent in lowest terms with a strictly positive denominator — so equal exponents share one representation (Eq/Hash are structural). Admits fractional powers (L^(1/2)) while the common integer case is just den == 1.

Implementations

impl Exp

pub const ZERO: Exp

The zero exponent (an axis that does not appear).

pub const ONE: Exp

The unit exponent.

pub fn new(num: i32, den: i32) -> Exp

Reduce num/den to lowest terms with a positive denominator. Panics on a zero denominator.

pub const fn int(n: i32) -> Exp

The whole exponent n (n/1).

pub const fn numerator(self) -> i32

pub const fn denominator(self) -> i32

pub const fn is_zero(self) -> bool

pub fn add(self, other: Exp) -> Exp

self + other (exact rational addition).

pub fn sub(self, other: Exp) -> Exp

self − other.

pub fn neg(self) -> Exp

−self.

pub fn scale(self, k: i32) -> Exp

self · k — scaling by an integer (raising a dimension to the kth power).

pub fn div_int(self, k: i32) -> Exp

self / k — dividing the exponent by an integer (taking the kth root). Panics for k == 0.

Trait Implementations

impl Clone for Exp

fn clone(&self) -> Exp

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Exp

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

Formats the value using the given formatter.

impl Display for Exp

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

Formats the value using the given formatter.

impl Hash for Exp

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

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 Exp

fn eq(&self, other: &Exp) -> 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 Copy for Exp

impl Eq for Exp

impl StructuralPartialEq for Exp