gaussianRing(Bigraph) -- ring of Gaussian correlations of a graphical model coming from a bigraph

• Function: gaussianRing

• Usage:

  gaussianRing G

• Inputs:
  • G, an instance of the type Bigraph,
• Optional inputs:
  • Coefficients => ..., default value QQ, optional input to choose the base field in markovRing or gaussianRing
  • kVariableName => ..., default value "k", symbol used for indeterminates in a ring of Gaussian joint probability distributions
  • lVariableName => ..., default value "l", symbol used for indeterminates in a ring of Gaussian joint probability distributions
  • pVariableName => ..., default value "p", symbol used for indeterminates in a ring of Gaussian joint probability distributions
  • sVariableName => ..., default value "s", symbol used for indeterminates in a ring of Gaussian joint probability distributions
• Outputs:
  • a ring, a ring with indeterminates $s_{(i,j)}, p_{(i,j)}$

i1 : G = bigraph {{a,{b,c}}, {b,{c,d}}, {c,{}}, {d,{}}};

i2 : R = gaussianRing G;

i3 : gens R

o3 = {p   , p   , p   , p   , p   , p   , p   , p   , s   , s   , s   , s   ,
       a,a   b,b   c,c   d,d   a,c   a,b   b,c   b,d   a,a   a,b   a,c   a,d 
     ------------------------------------------------------------------------
     s   , s   , s   , s   , s   , s   }
      b,b   b,c   b,d   c,c   c,d   d,d

o3 : List

i4 : covarianceMatrix R

o4 = | s_(a,a) s_(a,b) s_(a,c) s_(a,d) |
     | s_(a,b) s_(b,b) s_(b,c) s_(b,d) |
     | s_(a,c) s_(b,c) s_(c,c) s_(c,d) |
     | s_(a,d) s_(b,d) s_(c,d) s_(d,d) |

             4      4
o4 : Matrix R  <-- R

i5 : directedEdgesMatrix R

o5 = 0

             4      4
o5 : Matrix R  <-- R

i6 : bidirectedEdgesMatrix R

o6 = | p_(a,a) p_(a,b) p_(a,c) 0       |
     | p_(a,b) p_(b,b) p_(b,c) p_(b,d) |
     | p_(a,c) p_(b,c) p_(c,c) 0       |
     | 0       p_(b,d) 0       p_(d,d) |

             4      4
o6 : Matrix R  <-- R