ESECUZIONE:
sage: from sage.matroids.advanced import *
ESEMPIO(1):
sage: from sage.matroids.advanced import * sage: M1 = CircuitClosuresMatroid(groundset='abcdef', ....: circuit_closures={2: ['abc', 'ade'], 3: ['abcdef']}) sage: M2 = Matroid(circuit_closures={2: ['abc', 'ade'], 3: ['abcdef']}) sage: M3 = Matroid(circuit_closures=[(2, 'abc'), ....: (3, 'abcdef'), (2, 'ade')]) sage: M1 == M2 True sage: M1 == M3 True
ESEMPIO(2):
sage: from sage.matroids.advanced import * sage: M = CircuitClosuresMatroid(groundset='abcdef', ....: circuit_closures={2: ['abc', 'ade'], 3: ['abcdef']}) sage: isinstance(M.contract('a'), MinorMatroid) True sage: isinstance(M.dual(), DualMatroid) True
TESTI:
sage: from sage.matroids.advanced import * sage: M = CircuitClosuresMatroid(matroids.named_matroids.Fano()) sage: TestSuite(M).run()