Struct num_irrational::ContinuedFraction

pub struct ContinuedFraction<T> { /* private fields */ }

This struct represents a simple continued fraction a0 + 1/(a1 + 1/ (a2 + …)) Where a0, a1, a2 are positive integers It’s capable of representing rational numbers and quadratic surds REF: https://pi.math.cornell.edu/~gautam/ContinuedFractions.pdf https://crypto.stanford.edu/pbc/notes/contfrac/ http://www.numbertheory.org/continued_fractions.html http://www.numbertheory.org/php/cfrac.html

Implementations

impl<T> ContinuedFraction<T>

pub fn aperiodic_coeffs(&self) -> &[T]

pub fn periodic_coeffs(&self) -> &[T]

pub fn is_negative(&self) -> bool

pub fn is_rational(&self) -> bool

pub fn is_integer(&self) -> bool

impl<T: Num> ContinuedFraction<T>

pub fn new(a_coeffs: Vec<T>, p_coeffs: Vec<T>, negative: bool) -> Self

pub fn coeffs(&self) -> Coefficients<'_, T>

Returns an iterator of the coefficients in the continued fraction Note that for a negative number, the coefficients of it’s absolute value is returned

impl<T: Integer + Clone + CheckedAdd + CheckedMul + WithSigned<Signed = U>, U: Integer + Clone + Signed> ContinuedFraction<T>

pub fn convergents(&self) -> Convergents<'_, T>

Returns an iterator of the convergents

pub fn to_rational(&self) -> Approximation<Ratio<U>>

This method returns the corresponding rational number if it’s rational, returns the expansion until the first repeating occurence

impl<T> ContinuedFraction<T>

pub fn from_float<U: FloatCore>(f: U) -> Option<Self>

TODO: implement from_float, from_rational, from_quad_surd as TryFrom traits

pub fn from_rational(f: Ratio<T>) -> Option<Self>

Return None if bit size of T is not enough

pub fn generalize(self)

Convert the continued fraction to GeneralContinuedFraction TODO: change to Into/From traits, implement for each primitive type

Trait Implementations

impl<T> Add<Ratio<T>> for ContinuedFraction<T>

type Output = Self

The resulting type after applying the + operator.

fn add(self, rhs: Ratio<T>) -> Self

Performs the + operation.

impl<T: AddAssign> Add<T> for ContinuedFraction<T>

type Output = Self

The resulting type after applying the + operator.

fn add(self, rhs: T) -> Self

Performs the + operation.

impl<T: Clone> Clone for ContinuedFraction<T>

fn clone(&self) -> ContinuedFraction<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for ContinuedFraction<T>

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

Formats the value using the given formatter.

impl<T: Display> Display for ContinuedFraction<T>

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

Formats the value using the given formatter.

impl<T: Integer + Clone + NumRef + CheckedAdd + CheckedMul + WithSigned<Signed = U>, U: QuadraticSurdBase> From<ContinuedFraction<T>> for QuadraticSurd<U> where
    for<'r> &'r T: RefNum<T>,
    for<'r> &'r U: RefNum<U>, 

fn from(s: ContinuedFraction<T>) -> Self

Performs the conversion.

impl<T: QuadraticSurdBase + WithUnsigned<Unsigned = U>, U: Integer> From<QuadraticSurd<T>> for ContinuedFraction<U> where
    for<'r> &'r T: RefNum<T>, 

fn from(s: QuadraticSurd<T>) -> Self

Performs the conversion.

impl<T> FromStr for ContinuedFraction<T>

fn from_str(s: &str) -> Result<Self, Self::Err>

Parse from standard format (like 355/113 = “[3; 7, 16]”, (1+sqrt(5))/2 = “[1:(1)]”)

type Err = ParseContFracError

The associated error which can be returned from parsing.

impl<T: PartialEq> PartialEq<ContinuedFraction<T>> for ContinuedFraction<T>

fn eq(&self, other: &ContinuedFraction<T>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &ContinuedFraction<T>) -> bool

This method tests for !=.

impl<T> StructuralPartialEq for ContinuedFraction<T>