Please enable JavaScript.

Coggle requires JavaScript to display documents.

L008, L009 - Coggle Diagram

- - - - size
        
        size(s)
      - concatenation
        
        s ^ t
      - reverse
        
        rev(s)
      - prefixing
        
        e -> S
      - first
        
        first(s)
      - last
        
        last(s)
      - front
        
        front(s)
        
        all elements but the last
      - truncation
        
        s /|\ n
        
        first n elements of s
      - removal
        
        removes the first n elements of s
        
        s |/ n
    - - seq(S) = unionN=0->inf
        
        colours = [red, green, blue]
        
        seq(colours) = {1 |-> red, 2 |-> green, 3 |-> blue }
      - seq1(s)
        
        non-empty sequences containing elements of S
        
        colours = {red, green, blue}
        
        non-allowed
        
        []
        
        allowed
        
        [red, green]
        
        [green, blue, red]
        
        ...
      - iseq(S)
        
        injective sequences containing elements of S (no repetitions)
        
        colours = {red, green, blue}
        
        allowed
        
        []
        
        [red]
        
        [red, green]
        
        [red, green, blue]
        
        ...
        
        not allowed
        
        [red, green, red]
        
        [red, red]
        
        [green, blue, blue]
        
        ...
      - perm(S)
        
        permutations of S
        
        colours = {red, green, blue}
        
        allowed
        
        [red, green, blue]
        
        [red, blue, green]
        
        [green, red, blue]
        
        [green, blue, red]
        
        [blue, green, red]
        
        [blue, red, green]
        
        not allowed
        
        []
        
        [red]
        
        [blue, red, blue]
        
        ...
- - - - : Sequence(Domain)
    - - usage of relational overrides
        
        r := r <+ {0 |-> E, 1 |-> F}