Struct FreeAlgebra 

pub struct FreeAlgebra {
    pub variety_name: String,
    pub num_generators: usize,
}

Free algebra in a variety.

Fields

variety_name: String

num_generators: usize

Implementations

impl FreeAlgebra

pub fn new(variety: &str, generators: usize) -> Self

pub fn universal_property(&self) -> String

pub fn word_problem_decidable(&self) -> bool

Trait Implementations

impl Clone for FreeAlgebra

fn clone(&self) -> FreeAlgebra

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FreeAlgebra

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

Formats the value using the given formatter.