The deletion M \ S is obtained by restricting to the complement of S.
i1 : M = matroid({a,b,c,d},{{a,b},{a,c}}) o1 = a matroid of rank 2 on 4 elements o1 : Matroid |
i2 : N = M \ {a} o2 = a matroid of rank 1 on 3 elements o2 : Matroid |
i3 : peek N o3 = Matroid{bases => {set {0}, set {1}} } cache => CacheTable{...2...} groundSet => set {0, 1, 2} rank => 1 |
i4 : N == M \ set{0} o4 = true |
The object deletion is a method function.