Struct surreal::Surreal

pub struct Surreal { /* fields omitted */ }

A struct to represent surreal numbers with non-infinite sets.

N.B. Currently, multiplication does not work for numbers on or after day 4.

Methods

impl Surreal

pub fn new(left: Vec<&Surreal>, right: Vec<&Surreal>) -> Surreal

Creates a new surreal number given two vectors of references to surreal numbers. Each vector corresponds to a left set and a right set, where each number in the left set must be less than all numbers in the right set.

Panics

Panics if any Surreal in left is greater than or equal to any Surreal in right.

Examples

// the lines below will compile
let zero = surreal::Surreal::new(vec![], vec![]);
let one = surreal::Surreal::new(vec![&zero], vec![]);
let neg_one = surreal::Surreal::new(vec![], vec![&zero]);

// the lines below will panic
// let err = surreal::Surreal::new(vec![&one], vec![&neg_one]);
// let err = surreal::Surreal::new(vec![&zero], vec![&zero]);

pub fn left(&self) -> Vec<Surreal>

Returns the left set of a surreal number (as a Vec<Surreal> instead of a Vec<&Surreal>).

Examples

let zero = surreal::Surreal::new(vec![], vec![]);
let one = surreal::Surreal::new(vec![&zero], vec![]);

assert!(zero.left().is_empty());
assert!(one.left()[0] == zero);

pub fn right(&self) -> Vec<Surreal>

Returns the right set of a surreal number (as a Vec<Surreal> instead of a Vec<&Surreal>).

Examples

let zero = surreal::Surreal::new(vec![], vec![]);
let neg_one = surreal::Surreal::new(vec![], vec![&zero]);

assert!(zero.right().is_empty());
assert!(neg_one.right()[0] == zero);

Trait Implementations

impl PartialEq<Surreal> for Surreal

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

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

#[must_use] fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl Clone for Surreal

fn clone(&self) -> Surreal

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialOrd<Surreal> for Surreal

fn partial_cmp(&self, other: &Surreal) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

#[must_use] fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

#[must_use] fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

#[must_use] fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

#[must_use] fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Eq for Surreal

impl Display for Surreal

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

Formats the value using the given formatter.

impl Debug for Surreal

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

Formats the value using the given formatter.

impl<'a, 'b> Add<&'b Surreal> for &'a Surreal

type Output = Surreal

The resulting type after applying the + operator.

fn add(self, other: &'b Surreal) -> Surreal

Performs the + operation.

impl<'a, 'b> Sub<&'b Surreal> for &'a Surreal

type Output = Surreal

The resulting type after applying the - operator.

fn sub(self, other: &'b Surreal) -> Surreal

Performs the - operation.

impl<'a, 'b> Mul<&'b Surreal> for &'a Surreal

type Output = Surreal

The resulting type after applying the * operator.

fn mul(self, other: &'b Surreal) -> Surreal

Performs the * operation.

impl<'a> Neg for &'a Surreal

type Output = Surreal

The resulting type after applying the - operator.

fn neg(self) -> Surreal

Performs the unary - operation.