Pensieve Header: The Polyak Algebra computations run on sphere.math.toronto.edu on September 25 2009.

<< PolyakAlgebra.m

Corrections for running on sphere.math.toronto.edu

(sphere is faster so we can do degree 5, and it runs linux so we can use LinBox)

Analyze[reltypes_List, opts___Rule] := Analyze[5, reltypes, opts];
SetOptions[Dim, UseLinBox -> True];
SetOptions[PSpace, ReduceEquivalences -> False]

Runs

Runs as in the paper

(See http://www.math.toronto.edu/~drorbn/papers/v-Dims/)

Analyze[{"R3b", "R2c", "R1", "Round"}] // MatrixForm

Analyze[{"R3b", "R2c", "R1"}] // MatrixForm

Analyze[{"R3b", "R2c", "R1", "Descending"}] // MatrixForm

Analyze[{"R3b", "R2c","Round"}] // MatrixForm

Analyze[{"R3b", "R2c"}] // MatrixForm

Analyze[{"R3b", "R2c", "Descending"}] // MatrixForm

Analyze[{"R3b", "R1", "R1d", "R1a", "Round"}] // MatrixForm

Analyze[{"R3b", "R1d", "R1a","R1"}] // MatrixForm

Analyze[{"R3b", "R1d", "R1", "Descending"}] // MatrixForm

Analyze[{"R3b", "Round"}] // MatrixForm

Analyze[{"R3b"}] // MatrixForm

Analyze[{"R3b", "Descending"}] // MatrixForm

Analyze[{"R2c", "R1", "Round"}] // MatrixForm

Analyze[{"R2c", "R1"}] // MatrixForm

Analyze[{"R2c", "R1", "Descending"}] // MatrixForm

Analyze[{"R2c", "Round"}] // MatrixForm

Analyze[{"R2c"}] // MatrixForm

Analyze[{"R2c", "Descending"}] // MatrixForm

Other runs

Analyze[{"R3b", "TC", "R1"}] // MatrixForm

Analyze[{"R3b", "TC"}] // MatrixForm

Analyze[{"R3b", "TC", "R1", "Round"}] // MatrixForm

Analyze[{"R3b", "TC", "Round"}] // MatrixForm

Analyze[{"R3b", "R1", "Round"}] // MatrixForm

Analyze[{"R3b", "R1"}] // MatrixForm

Analyze[{"R3b", "R1", "Descending"}] // MatrixForm