geometric_rep_theory 0.1.1

Algebraic and geometric structures arising in mathematical physics and mirror symmetry.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

use nonempty::NonEmpty;

pub fn contains_subword<T: Eq>(word: &[T], subword: &[T]) -> bool {
    if subword.len() > word.len() {
        return false;
    }
    word.windows(subword.len()).any(|window| window == subword)
}

pub fn contains_subword_v2<T: Eq>(word: &NonEmpty<T>, subword: &[T]) -> bool {
    if subword.is_empty() {
        return true;
    }
    if subword[0] == *word.first() {
        let first_match = word.tail().starts_with(&subword[1..]);
        first_match || contains_subword(word.tail(), subword)
    } else {
        contains_subword(word.tail(), subword)
    }
}