The loops of a matroid are the one-element circuits.
i1 : M = matroid({a,b,c,d},{{a,b},{a,c}})
o1 = a matroid of rank 2 on 4 elements
o1 : Matroid
|
i2 : loops M
o2 = {3}
o2 : List
|
i3 : all(loops M, l -> member(set{l}, circuits M))
o3 = true
|
i4 : loops(M/(set loops M)) == {}
o4 = true
|
The object loops is a method function.