@@ -31,8 +31,8 @@ newPackage(
3131 Email => " cz2922@ic.ac.uk" ,
3232 HomePage => " https://www.felixzhao.com/" }
3333 },
34- Headline => " A package for computing equilibria in game theory" ,
35- Keywords => {" Game Theory" , " Equilibria " , " Nash " , " Correlated " , " Dependency " , " Spohn " , " Conditional Independence " },
34+ Headline => " computing equilibria in game theory" ,
35+ Keywords => {" Game Theory" },
3636 PackageExports => {" Polyhedra" ," GraphicalModels" },
3737 PackageImports => {" Polyhedra" }
3838 )
@@ -2041,7 +2041,7 @@ doc ///
20412041 Text
20422042 The Verbose =>true option prints the progress of each step in the saturation process -
20432043 a message is printed after saturating the ideal $V$, the conditional independence ideal $I$,
2044- and the sum $V + I$ with respect to each hyperplane of the probablity simplex.
2044+ and the sum $V + I$ with respect to each hyperplane of the probability simplex.
20452045 Example
20462046 FF = ZZ/32003 ;
20472047 d = {2,3,2};
@@ -2151,7 +2151,7 @@ doc ///
21512151 The Verbose =>true option prints the progress of each step in the saturation process -
21522152 a message is printed after saturating the ideal of the Spohn variety $V$, the conditional
21532153 independence ideal $I$, and the sum $V + I$ with respect to each hyperplane of the
2154- probablity simplex.
2154+ probability simplex.
21552155 Example
21562156 FF = ZZ/32003 ;
21572157 d = {2,3,2};
@@ -2418,6 +2418,7 @@ assert(sort entries transpose vertices P == sort expectedVerts)
24182418///
24192419
24202420TEST ///
2421+ debug needsPackage " GameTheory"
24212422Q = simplex 3 ; -- a tetrahedron should just return that unchanged
24222423assert (directProductList {Q} === Q)
24232424///
0 commit comments