Struct Algebra 

pub struct Algebra {
    pub carrier_size: usize,
    pub signature: Signature,
    pub tables: HashMap<String, Vec<Vec<usize>>>,
}

A finite concrete algebra over a signature.

The carrier is {0, 1, ..., carrier_size - 1}.

Fields

carrier_size: usize

signature: Signature

tables: HashMap<String, Vec<Vec<usize>>>

Implementations

impl Algebra

pub fn new(carrier: usize, sig: Signature) -> Self

Create a new algebra with the given carrier size and signature.

pub fn define_op(&mut self, name: &str, table: Vec<Vec<usize>>)

Define the operation table for a named operation.

pub fn apply_op(&self, name: &str, args: &[usize]) -> Option<usize>

Apply the named operation to the given arguments, returning the result.

pub fn is_closed(&self) -> bool

Check whether all table entries refer to elements within the carrier.

pub fn find_congruences(&self) -> usize

Return a stub count of valid congruences (placeholder implementation).