1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

use std::fmt;
use std::sync::Arc;

use super::Alg;

// TODO: Remove `PartialEq` if we add any metadata (e.g. parsing info, or memoizations).
#[derive(Debug, Clone, PartialEq)]
pub struct Conjugate {
    pub a: Arc<Alg>,
    pub b: Arc<Alg>,
}

impl Conjugate {
    pub fn invert(&self) -> Conjugate {
        Conjugate {
            a: self.a.clone(),
            b: self.b.invert().into(),
        }
    }
}

impl fmt::Display for Conjugate {
    // TODO: memoize?
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        write!(f, "[{}: {}]", self.a, self.b)
    }
}