spohnIdeal -- compute the ideal of the Spohn variety of a given game

• Usage:

  spohnIdeal(PR,X)

• Inputs:
  • PR, a ring, a probability ring obtained via probabilityRing(Di), where $Di$ is the format of the game
  • X, a list, a list of n tensors of format $D_i$ describing the payoffs of the game
• Outputs:
  • a list, the ideal generated by the $2\times 2$ minors of the Spohn matrices of the game $X$

i1 : Di = {2,2,3};

i2 : PR = probabilityRing(Di);

i3 : X = randomGame(Di);

i4 : I = spohnIdeal(PR,X);

o4 : Ideal of PR