modularCut(...,CheckWellDefined=>...) -- check whether the list is a linear subclass

Usage:

modularCut(M, H, CheckWellDefined => true)
Inputs:
- M, a matroid
- H, a list, a list of hyperplanes of the matroid forming a linear subclass
Outputs:
- a list, a list of flats of the matroid forming a modular cut

Description

This option is provided by the package Matroids.

When producing the modular cut of a matroid M corresponding to a list of hyperplanes H, setting this option to true calls isLinearSubclass to check that the list H is in fact a linear subclass.

i1 : A = matrix {{1, 0, 0, 1, 1}, {0, 1, 0, 1, -1}, {0, 0, 1, 0, 0}}

o1 = | 1 0 0 1 1  |
     | 0 1 0 1 -1 |
     | 0 0 1 0 0  |

              3       5
o1 : Matrix ZZ  <-- ZZ

i2 : M = matroid A

o2 = a "matroid" of rank 3 on 5 elements

o2 : Matroid

i3 : H = drop(hyperplanes M, 1)

o3 = {set {4, 2}, set {2, 3}, set {1, 2}, set {0, 2}}

o3 : List

i4 : modularCut(M, H, CheckWellDefined => true)

o4 = {set {2}, set {4, 2}, set {2, 3}, set {1, 2}, set {0, 2}, set {0, 1, 2,
     ------------------------------------------------------------------------
     3, 4}}

o4 : List

Functions with optional argument named CheckWellDefined:

relaxation(...,CheckWellDefined=>...) -- see CheckWellDefined -- an optional argument
elementaryQuotient(...,CheckWellDefined=>...) -- check whether the list is a modular cut or linear subclass
extension(...,CheckWellDefined=>...) -- check whether the list is a modular cut or linear subclass
linearSubclass(...,CheckWellDefined=>...) -- check whether the list is a modular cut
modularCut(...,CheckWellDefined=>...) -- check whether the list is a linear subclass

Further information

Default value: false
Function: modularCut -- associated to an elementary quotient or linear subclass
Option key: CheckWellDefined -- an optional argument

The source of this document is in Matroids/doc-Matroids.m2:4346:0.

modularCut(...,CheckWellDefined=>...) -- check whether the list is a linear subclass

Description

See also

Functions with optional argument named CheckWellDefined:

Further information