The belows are supplementary data for the preprint
``An affirmative answer to a conjecture for Metoki class''
On Feb 05, 2014, we change the notations we have used as
the old ham_{2}^{0} is new ham_{2}, and
the old ham_{2}^{1} is new ham_{2}^{0}.
So, type 0 or t0 correspont to the new ham_{2} and
type 1 or t1 correspont to the new ham_{2}^{0}.
-
A proof to Kotschick-Morita thereom for G-K-F class
[Preprint of another proof by Groebner Basis theory for
Kotschick-Morita thereom of Gel'fand-Kalinin-Fuks class
(Feb 13, 2014)]
-
Basis of type 1 weight 10 degree 4 Cochain complex
(Feb 05, 2014)
-
Basis of type 1 weight 10 degree 5 Cochain complex
(Feb 05, 2014)
-
Basis of type 1 weight 10 degree 6 Cochain complex
(Feb 05, 2014)
-
Basis of type 1 weight 10 degree 5 Cohomology group by Risa/Asir
(Feb 09, 2014)
-
Basis of type 0 weight 8 degree 6 Cochain complex
(Feb 05, 2014)
-
Basis of type 0 weight 8 degree 7 Cochain complex
(Feb 05, 2014)
-
Basis of type 0 weight 8 degree 8 Cochain complex
(Feb 05, 2014)
-
Basis of type 0 weight 8 degree 7 Cohomology group by Risa/Asir
(Feb 10, 2014)
-
A proof to a Kotschick-Morita theorem by Risa/Asir [
A proof to a Kotschick-Morita theorem
by Groebner Basis Theory of Risa/Asir (Feb 10, 2014)]
-
Basis of type 1 weight 16 degree 6 Cochain complex
-
Basis of type 1 weight 16 degree 7 Cochain complex
-
Basis of type 1 weight 16 degree 8 Cochain complex
-
Matrix representation of d_{1} : C^{6} --> C^{7}
-
Dual matrix representation of d_{1} : C^{7} --> C^{8}
-
Basis of type 0 weight 14 degree 8 Cochain complex
-
Basis of type 0 weight 14 degree 9 Cochain complex
-
Matrix representation of d_{0} : C^{8} --> C^{9}
-
Groebner basis corresponding to d_{1}( C^{6}_{16} )
-
Groebner basis corresponding to Ker(d_{1}: C^{7}_{16} --> C^{8}_{16} )
-
Groebner basis corresponding to d_{0}( C^{8}_{14} )
-
Results by Risa/Asir for wt=16 type1 C^{6} -> C^{7} -> C^{8} (Feb 13, revised July 01, 2014)
-
Proof by Risa/Asir to a conjecture for Metoki class [Computation by Risa/Asir for proof to Morita conjecture about Metoki class (Feb 13, revised July 01, 2014)]