OKlibrary  0.2.1.6
general.hpp File Reference

Plans regarding oriented matroids in Maxima/Lisp. More...

Go to the source code of this file.


Detailed Description

Plans regarding oriented matroids in Maxima/Lisp.

Todo:
Fundamental notions
  • While the basic view of a matroid is that of a hypergraph (see ComputerAlgebra/Matroids/Lisp/plans/general.hpp), the basic view of an oriented matroid is that of a *boolean clause-set*.
  • [Bachem, Kern; Linear Programming Duality] is quite readable, but the focus on the more "loose" concept of an oriented matroid as a pair (with "built-in duality").
  • Abbreviations:
    1. "omtr" for "oriented matroid"
    2. "sgnv" for "sign vector"
    3. "sgnvs" for "sign vector set"
  • [Bokowski, Computational Oriented Matroids] should be useful (though it is weak on notions --- which seems to be true for the whole oriented-matroid community).

Definition in file general.hpp.