Struct algae_rs::magma::Magma

pub struct Magma<'a, T> { /* private fields */ }

A set with an associated binary operation.

This is a representation of the simplest algebraic structure: the magma. There are no specific properties required of its components, so its construction involves nothing more than a set (specifically an AlgaeSet and a binary operation (anything implementing BinaryOperation).

Examples

use algae_rs::algaeset::AlgaeSet;
use algae_rs::mapping::{BinaryOperation, AbelianOperation};
use algae_rs::magma::{Magmoid, Magma};

let mut add = AbelianOperation::new(&|a, b| a + b);
let mut magma = Magma::new(
    AlgaeSet::<i32>::all(),
    &mut add
);

let magma_sum = magma.with(1, 2);
assert!(magma_sum.is_ok());
assert!(magma_sum.unwrap() == 3);

Implementations

impl<'a, T> Magma<'a, T>

pub fn new(aset: AlgaeSet<T>, binop: &'a mut dyn BinaryOperation<T>) -> Self

Trait Implementations

impl<'a, T> From<Group<'a, T>> for Magma<'a, T>

fn from(group: Group<'a, T>) -> Magma<'a, T>

Converts to this type from the input type.

impl<'a, T> From<Groupoid<'a, T>> for Magma<'a, T>

fn from(groupoid: Groupoid<'a, T>) -> Magma<'a, T>

Converts to this type from the input type.

impl<'a, T: Copy + PartialEq> From<Loop<'a, T>> for Magma<'a, T>

fn from(loop_: Loop<'a, T>) -> Magma<'a, T>

Converts to this type from the input type.

impl<'a, T: Copy + PartialEq> From<Monoid<'a, T>> for Magma<'a, T>

fn from(monoid: Monoid<'a, T>) -> Magma<'a, T>

Converts to this type from the input type.

impl<'a, T> From<Quasigroup<'a, T>> for Magma<'a, T>

fn from(quasi: Quasigroup<'a, T>) -> Magma<'a, T>

Converts to this type from the input type.

impl<'a, T> From<UnitalMagma<'a, T>> for Magma<'a, T>

fn from(magma: UnitalMagma<'a, T>) -> Magma<'a, T>

Converts to this type from the input type.

impl<'a, T: Copy + PartialEq> Magmoid<T> for Magma<'a, T>

fn binop(&mut self) -> &mut dyn BinaryOperation<T>

fn with(&mut self, left: T, right: T) -> Result<T, PropertyError>