net.sf.oriented.omi

Interface OMasChirotope

All Superinterfaces:

Chirotope, FullChirotope, OM, Verify

public interface OMasChirotope
extends OM, FullChirotope

The chirotope view of an oriented matroid. NB in the literature some authors use lexicographic ordering, and some authors use colexicographic ordering. This interface defaults to colexicographic.

Author:

jeremycarroll

Method Summary

Methods

Modifier and Type	Method and Description
OMasChirotope	mutate(int i, int... basis) Produce a new oriented matroid by setting the value of the chirotope on the given basis to i This method does not check that the mutation is legal.
OMasChirotope	mutate(int i, Label... basis) Produce a new oriented matroid by setting the value of the chirotope on the given basis to i This method does not check that the mutation is legal.
String	toCoLexicographicString() The simplest form of the chirotope: in colexicographic ordering.
String	toLexicographicString() The simplest form of the chirotope: in lexicographic ordering.

Methods inherited from interface net.sf.oriented.omi.OM

asInt, asInt, asInt, asInt, asSet, automorphisms, dual, elements, equals, ffactory, getChirotope, getCircuits, getFaceLattice, getMatroid, getMaxVectors, getRealized, getVectors, hashCode, isAcyclic, isUniform, n, permute, permuteGround, rank, reorient, setOfElements, signedSetPermuter

Methods inherited from interface net.sf.oriented.omi.Verify

verify

Methods inherited from interface net.sf.oriented.omi.FullChirotope

chi

Methods inherited from interface net.sf.oriented.omi.Chirotope

n, rank

Method Detail

toCoLexicographicString

String toCoLexicographicString()

The simplest form of the chirotope: in colexicographic ordering.

Returns:

A string consisting of +, -, 0, of length OM.n() choose OM.rank().

toLexicographicString

String toLexicographicString()

The simplest form of the chirotope: in lexicographic ordering.

NB: this library uses colexicographic ordering throughout and lexicographic ordering is only available here, and at the two other listed methods.

Returns:

A string consisting of +, -, 0, of length OM.n() choose OM.rank().

See Also:

ChirotopeFactory.fromLexicographic(int, String), FactoryFactory.fromLexicographic(int, int, String), toLexicographicString()

mutate

OMasChirotope mutate(int i,
                   Label... basis)

Produce a new oriented matroid by setting the value of the chirotope on the given basis to i This method does not check that the mutation is legal. Call Verify.verify() on the result to check the axioms.

Parameters:

i - In { +1, 0, -1}. The value of the resulting oriented matroid's chirotope for this basis

basis - An array of length OM.rank(), saying which basis to mutate

Returns:

A possibly invalid oriented matroid with the given mutation.

mutate

OMasChirotope mutate(int i,
                   int... basis)

Produce a new oriented matroid by setting the value of the chirotope on the given basis to i This method does not check that the mutation is legal. Call Verify.verify() on the result to check the axioms.

Parameters:

i - In { +1, 0, -1}. The value of the resulting oriented matroid's chirotope for this basis

basis - An array of length OM.rank(), indicating by index which basis to mutate

Returns:

A possibly invalid oriented matroid with the given mutation.