\(X\) is independent in \(M^*\) exactly when \(E \setminus X\) contains a basis of \(M\). Duality is an involution, which the tests confirm by dualising twice.
Examples
V <- c(1, 2, 3, 4, 5, 6, 7, 8)
morie_matroid_dual(V, V)
#> [[1]]
#> integer(0)
#>
#> [[2]]
#> [1] 1
#>
#> [[3]]
#> [1] 2
#>
#> [[4]]
#> [1] 3
#>
#> [[5]]
#> [1] 4
#>
#> [[6]]
#> [1] 5
#>
#> [[7]]
#> [1] 6
#>
#> [[8]]
#> [1] 7
#>
#> [[9]]
#> [1] 8
#>
#> [[10]]
#> [1] 1 2
#>
#> [[11]]
#> [1] 1 3
#>
#> [[12]]
#> [1] 1 4
#>
#> [[13]]
#> [1] 1 5
#>
#> [[14]]
#> [1] 1 6
#>
#> [[15]]
#> [1] 1 7
#>
#> [[16]]
#> [1] 1 8
#>
#> [[17]]
#> [1] 2 3
#>
#> [[18]]
#> [1] 2 4
#>
#> [[19]]
#> [1] 2 5
#>
#> [[20]]
#> [1] 2 6
#>
#> [[21]]
#> [1] 2 7
#>
#> [[22]]
#> [1] 2 8
#>
#> [[23]]
#> [1] 3 4
#>
#> [[24]]
#> [1] 3 5
#>
#> [[25]]
#> [1] 3 6
#>
#> [[26]]
#> [1] 3 7
#>
#> [[27]]
#> [1] 3 8
#>
#> [[28]]
#> [1] 4 5
#>
#> [[29]]
#> [1] 4 6
#>
#> [[30]]
#> [1] 4 7
#>
#> [[31]]
#> [1] 4 8
#>
#> [[32]]
#> [1] 5 6
#>
#> [[33]]
#> [1] 5 7
#>
#> [[34]]
#> [1] 5 8
#>
#> [[35]]
#> [1] 6 7
#>
#> [[36]]
#> [1] 6 8
#>
#> [[37]]
#> [1] 7 8
#>
#> [[38]]
#> [1] 1 2 3
#>
#> [[39]]
#> [1] 1 2 4
#>
#> [[40]]
#> [1] 1 2 5
#>
#> [[41]]
#> [1] 1 2 6
#>
#> [[42]]
#> [1] 1 2 7
#>
#> [[43]]
#> [1] 1 2 8
#>
#> [[44]]
#> [1] 1 3 4
#>
#> [[45]]
#> [1] 1 3 5
#>
#> [[46]]
#> [1] 1 3 6
#>
#> [[47]]
#> [1] 1 3 7
#>
#> [[48]]
#> [1] 1 3 8
#>
#> [[49]]
#> [1] 1 4 5
#>
#> [[50]]
#> [1] 1 4 6
#>
#> [[51]]
#> [1] 1 4 7
#>
#> [[52]]
#> [1] 1 4 8
#>
#> [[53]]
#> [1] 1 5 6
#>
#> [[54]]
#> [1] 1 5 7
#>
#> [[55]]
#> [1] 1 5 8
#>
#> [[56]]
#> [1] 1 6 7
#>
#> [[57]]
#> [1] 1 6 8
#>
#> [[58]]
#> [1] 1 7 8
#>
#> [[59]]
#> [1] 2 3 4
#>
#> [[60]]
#> [1] 2 3 5
#>
#> [[61]]
#> [1] 2 3 6
#>
#> [[62]]
#> [1] 2 3 7
#>
#> [[63]]
#> [1] 2 3 8
#>
#> [[64]]
#> [1] 2 4 5
#>
#> [[65]]
#> [1] 2 4 6
#>
#> [[66]]
#> [1] 2 4 7
#>
#> [[67]]
#> [1] 2 4 8
#>
#> [[68]]
#> [1] 2 5 6
#>
#> [[69]]
#> [1] 2 5 7
#>
#> [[70]]
#> [1] 2 5 8
#>
#> [[71]]
#> [1] 2 6 7
#>
#> [[72]]
#> [1] 2 6 8
#>
#> [[73]]
#> [1] 2 7 8
#>
#> [[74]]
#> [1] 3 4 5
#>
#> [[75]]
#> [1] 3 4 6
#>
#> [[76]]
#> [1] 3 4 7
#>
#> [[77]]
#> [1] 3 4 8
#>
#> [[78]]
#> [1] 3 5 6
#>
#> [[79]]
#> [1] 3 5 7
#>
#> [[80]]
#> [1] 3 5 8
#>
#> [[81]]
#> [1] 3 6 7
#>
#> [[82]]
#> [1] 3 6 8
#>
#> [[83]]
#> [1] 3 7 8
#>
#> [[84]]
#> [1] 4 5 6
#>
#> [[85]]
#> [1] 4 5 7
#>
#> [[86]]
#> [1] 4 5 8
#>
#> [[87]]
#> [1] 4 6 7
#>
#> [[88]]
#> [1] 4 6 8
#>
#> [[89]]
#> [1] 4 7 8
#>
#> [[90]]
#> [1] 5 6 7
#>
#> [[91]]
#> [1] 5 6 8
#>
#> [[92]]
#> [1] 5 7 8
#>
#> [[93]]
#> [1] 6 7 8
#>
#> [[94]]
#> [1] 1 2 3 4
#>
#> [[95]]
#> [1] 1 2 3 5
#>
#> [[96]]
#> [1] 1 2 3 6
#>
#> [[97]]
#> [1] 1 2 3 7
#>
#> [[98]]
#> [1] 1 2 3 8
#>
#> [[99]]
#> [1] 1 2 4 5
#>
#> [[100]]
#> [1] 1 2 4 6
#>
#> [[101]]
#> [1] 1 2 4 7
#>
#> [[102]]
#> [1] 1 2 4 8
#>
#> [[103]]
#> [1] 1 2 5 6
#>
#> [[104]]
#> [1] 1 2 5 7
#>
#> [[105]]
#> [1] 1 2 5 8
#>
#> [[106]]
#> [1] 1 2 6 7
#>
#> [[107]]
#> [1] 1 2 6 8
#>
#> [[108]]
#> [1] 1 2 7 8
#>
#> [[109]]
#> [1] 1 3 4 5
#>
#> [[110]]
#> [1] 1 3 4 6
#>
#> [[111]]
#> [1] 1 3 4 7
#>
#> [[112]]
#> [1] 1 3 4 8
#>
#> [[113]]
#> [1] 1 3 5 6
#>
#> [[114]]
#> [1] 1 3 5 7
#>
#> [[115]]
#> [1] 1 3 5 8
#>
#> [[116]]
#> [1] 1 3 6 7
#>
#> [[117]]
#> [1] 1 3 6 8
#>
#> [[118]]
#> [1] 1 3 7 8
#>
#> [[119]]
#> [1] 1 4 5 6
#>
#> [[120]]
#> [1] 1 4 5 7
#>
#> [[121]]
#> [1] 1 4 5 8
#>
#> [[122]]
#> [1] 1 4 6 7
#>
#> [[123]]
#> [1] 1 4 6 8
#>
#> [[124]]
#> [1] 1 4 7 8
#>
#> [[125]]
#> [1] 1 5 6 7
#>
#> [[126]]
#> [1] 1 5 6 8
#>
#> [[127]]
#> [1] 1 5 7 8
#>
#> [[128]]
#> [1] 1 6 7 8
#>
#> [[129]]
#> [1] 2 3 4 5
#>
#> [[130]]
#> [1] 2 3 4 6
#>
#> [[131]]
#> [1] 2 3 4 7
#>
#> [[132]]
#> [1] 2 3 4 8
#>
#> [[133]]
#> [1] 2 3 5 6
#>
#> [[134]]
#> [1] 2 3 5 7
#>
#> [[135]]
#> [1] 2 3 5 8
#>
#> [[136]]
#> [1] 2 3 6 7
#>
#> [[137]]
#> [1] 2 3 6 8
#>
#> [[138]]
#> [1] 2 3 7 8
#>
#> [[139]]
#> [1] 2 4 5 6
#>
#> [[140]]
#> [1] 2 4 5 7
#>
#> [[141]]
#> [1] 2 4 5 8
#>
#> [[142]]
#> [1] 2 4 6 7
#>
#> [[143]]
#> [1] 2 4 6 8
#>
#> [[144]]
#> [1] 2 4 7 8
#>
#> [[145]]
#> [1] 2 5 6 7
#>
#> [[146]]
#> [1] 2 5 6 8
#>
#> [[147]]
#> [1] 2 5 7 8
#>
#> [[148]]
#> [1] 2 6 7 8
#>
#> [[149]]
#> [1] 3 4 5 6
#>
#> [[150]]
#> [1] 3 4 5 7
#>
#> [[151]]
#> [1] 3 4 5 8
#>
#> [[152]]
#> [1] 3 4 6 7
#>
#> [[153]]
#> [1] 3 4 6 8
#>
#> [[154]]
#> [1] 3 4 7 8
#>
#> [[155]]
#> [1] 3 5 6 7
#>
#> [[156]]
#> [1] 3 5 6 8
#>
#> [[157]]
#> [1] 3 5 7 8
#>
#> [[158]]
#> [1] 3 6 7 8
#>
#> [[159]]
#> [1] 4 5 6 7
#>
#> [[160]]
#> [1] 4 5 6 8
#>
#> [[161]]
#> [1] 4 5 7 8
#>
#> [[162]]
#> [1] 4 6 7 8
#>
#> [[163]]
#> [1] 5 6 7 8
#>
#> [[164]]
#> [1] 1 2 3 4 5
#>
#> [[165]]
#> [1] 1 2 3 4 6
#>
#> [[166]]
#> [1] 1 2 3 4 7
#>
#> [[167]]
#> [1] 1 2 3 4 8
#>
#> [[168]]
#> [1] 1 2 3 5 6
#>
#> [[169]]
#> [1] 1 2 3 5 7
#>
#> [[170]]
#> [1] 1 2 3 5 8
#>
#> [[171]]
#> [1] 1 2 3 6 7
#>
#> [[172]]
#> [1] 1 2 3 6 8
#>
#> [[173]]
#> [1] 1 2 3 7 8
#>
#> [[174]]
#> [1] 1 2 4 5 6
#>
#> [[175]]
#> [1] 1 2 4 5 7
#>
#> [[176]]
#> [1] 1 2 4 5 8
#>
#> [[177]]
#> [1] 1 2 4 6 7
#>
#> [[178]]
#> [1] 1 2 4 6 8
#>
#> [[179]]
#> [1] 1 2 4 7 8
#>
#> [[180]]
#> [1] 1 2 5 6 7
#>
#> [[181]]
#> [1] 1 2 5 6 8
#>
#> [[182]]
#> [1] 1 2 5 7 8
#>
#> [[183]]
#> [1] 1 2 6 7 8
#>
#> [[184]]
#> [1] 1 3 4 5 6
#>
#> [[185]]
#> [1] 1 3 4 5 7
#>
#> [[186]]
#> [1] 1 3 4 5 8
#>
#> [[187]]
#> [1] 1 3 4 6 7
#>
#> [[188]]
#> [1] 1 3 4 6 8
#>
#> [[189]]
#> [1] 1 3 4 7 8
#>
#> [[190]]
#> [1] 1 3 5 6 7
#>
#> [[191]]
#> [1] 1 3 5 6 8
#>
#> [[192]]
#> [1] 1 3 5 7 8
#>
#> [[193]]
#> [1] 1 3 6 7 8
#>
#> [[194]]
#> [1] 1 4 5 6 7
#>
#> [[195]]
#> [1] 1 4 5 6 8
#>
#> [[196]]
#> [1] 1 4 5 7 8
#>
#> [[197]]
#> [1] 1 4 6 7 8
#>
#> [[198]]
#> [1] 1 5 6 7 8
#>
#> [[199]]
#> [1] 2 3 4 5 6
#>
#> [[200]]
#> [1] 2 3 4 5 7
#>
#> [[201]]
#> [1] 2 3 4 5 8
#>
#> [[202]]
#> [1] 2 3 4 6 7
#>
#> [[203]]
#> [1] 2 3 4 6 8
#>
#> [[204]]
#> [1] 2 3 4 7 8
#>
#> [[205]]
#> [1] 2 3 5 6 7
#>
#> [[206]]
#> [1] 2 3 5 6 8
#>
#> [[207]]
#> [1] 2 3 5 7 8
#>
#> [[208]]
#> [1] 2 3 6 7 8
#>
#> [[209]]
#> [1] 2 4 5 6 7
#>
#> [[210]]
#> [1] 2 4 5 6 8
#>
#> [[211]]
#> [1] 2 4 5 7 8
#>
#> [[212]]
#> [1] 2 4 6 7 8
#>
#> [[213]]
#> [1] 2 5 6 7 8
#>
#> [[214]]
#> [1] 3 4 5 6 7
#>
#> [[215]]
#> [1] 3 4 5 6 8
#>
#> [[216]]
#> [1] 3 4 5 7 8
#>
#> [[217]]
#> [1] 3 4 6 7 8
#>
#> [[218]]
#> [1] 3 5 6 7 8
#>
#> [[219]]
#> [1] 4 5 6 7 8
#>
#> [[220]]
#> [1] 1 2 3 4 5 6
#>
#> [[221]]
#> [1] 1 2 3 4 5 7
#>
#> [[222]]
#> [1] 1 2 3 4 5 8
#>
#> [[223]]
#> [1] 1 2 3 4 6 7
#>
#> [[224]]
#> [1] 1 2 3 4 6 8
#>
#> [[225]]
#> [1] 1 2 3 4 7 8
#>
#> [[226]]
#> [1] 1 2 3 5 6 7
#>
#> [[227]]
#> [1] 1 2 3 5 6 8
#>
#> [[228]]
#> [1] 1 2 3 5 7 8
#>
#> [[229]]
#> [1] 1 2 3 6 7 8
#>
#> [[230]]
#> [1] 1 2 4 5 6 7
#>
#> [[231]]
#> [1] 1 2 4 5 6 8
#>
#> [[232]]
#> [1] 1 2 4 5 7 8
#>
#> [[233]]
#> [1] 1 2 4 6 7 8
#>
#> [[234]]
#> [1] 1 2 5 6 7 8
#>
#> [[235]]
#> [1] 1 3 4 5 6 7
#>
#> [[236]]
#> [1] 1 3 4 5 6 8
#>
#> [[237]]
#> [1] 1 3 4 5 7 8
#>
#> [[238]]
#> [1] 1 3 4 6 7 8
#>
#> [[239]]
#> [1] 1 3 5 6 7 8
#>
#> [[240]]
#> [1] 1 4 5 6 7 8
#>
#> [[241]]
#> [1] 2 3 4 5 6 7
#>
#> [[242]]
#> [1] 2 3 4 5 6 8
#>
#> [[243]]
#> [1] 2 3 4 5 7 8
#>
#> [[244]]
#> [1] 2 3 4 6 7 8
#>
#> [[245]]
#> [1] 2 3 5 6 7 8
#>
#> [[246]]
#> [1] 2 4 5 6 7 8
#>
#> [[247]]
#> [1] 3 4 5 6 7 8
#>
#> [[248]]
#> [1] 1 2 3 4 5 6 7
#>
#> [[249]]
#> [1] 1 2 3 4 5 6 8
#>
#> [[250]]
#> [1] 1 2 3 4 5 7 8
#>
#> [[251]]
#> [1] 1 2 3 4 6 7 8
#>
#> [[252]]
#> [1] 1 2 3 5 6 7 8
#>
#> [[253]]
#> [1] 1 2 4 5 6 7 8
#>
#> [[254]]
#> [1] 1 3 4 5 6 7 8
#>
#> [[255]]
#> [1] 2 3 4 5 6 7 8
#>