Struct surreal::Surreal

pub struct Surreal { /* fields omitted */ }

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

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

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

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

Creates a new pseudo-surreal number given two vectors of references to surreal numbers. While each vector still corresponds to a left set and a right set, each number in the left set doesn't have to be less than all numbers in the right set.

Examples

let zero = surreal::Surreal::new(vec![], vec![]);
let pseudo = surreal::Surreal::pseudo(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 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 Eq for Surreal

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 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 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> Div<&'b Surreal> for &'a Surreal

Note: Currently, division does not work for numbers created on or after day 4, i.e. numbers with 4 or more layers of nested sets.

Panics

Panics if the divisor is zero. Panics if the quotient will have infinite sets.

type Output = Surreal

The resulting type after applying the / operator.

fn div(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> 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> Mul<&'b Surreal> for &'a Surreal

Note: Currently, multiplication does not work for numbers created on or after day 4, i.e. numbers with 4 or more layers of nested sets.

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.