  Gaussian double Markovian models consist of covariance matrices constrained
by a pair of graphs specifying zeros simultaneously in the covariance matrix
and its inverse. We study the semi-algebraic geometry of these models, in
particular their dimension, smoothness and connectedness as well as algebraic
and combinatorial properties.
