cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-2 of 2 results.

A034583 Dimension of an irreducible R-module for Clifford algebra Cl_n.

Original entry on oeis.org

1, 2, 4, 4, 8, 8, 8, 8, 16, 32, 64, 64, 128, 128, 128, 128, 256, 512, 1024, 1024, 2048, 2048, 2048, 2048, 4096, 8192, 16384, 16384, 32768, 32768, 32768, 32768, 65536, 131072, 262144, 262144, 524288, 524288, 524288, 524288, 1048576, 2097152, 4194304, 4194304, 8388608, 8388608, 8388608, 8388608, 16777216, 33554432, 67108864, 67108864, 134217728
Offset: 0

Views

Author

Keywords

References

  • H. Blaine Lawson, Jr. and M.-L. Michelsohn, Spin Geometry, Princeton, p. 33.
  • Pertti Lounesto, Clifford Algebras and Spinors, Cambridge, 1997, p. 226.

Crossrefs

Programs

  • PARI
    Vec(-(8*x^7+8*x^6+8*x^5+8*x^4+4*x^3+4*x^2+2*x+1) / ((2*x^2-2*x+1)*(2*x^2-1)*(2*x^2+1)*(2*x^2+2*x+1)) + O(x^100)) \\ Colin Barker, Mar 27 2015

Formula

a(n) = 2^A034584(n). a(n+8) = 16*a(n).
G.f.: -(8*x^7+8*x^6+8*x^5+8*x^4+4*x^3+4*x^2+2*x+1) / ((2*x^2-2*x+1)*(2*x^2-1)*(2*x^2+1)*(2*x^2+2*x+1)). - Colin Barker, Mar 27 2015

A034586 Log_2 of dimension of an irreducible Z_2 graded H-module for Clifford algebra Cl_n.

Original entry on oeis.org

1, 1, 1, 1, 2, 3, 4, 4, 5, 5, 5, 5, 6, 7, 8, 8, 9, 9, 9, 9, 10, 11, 12, 12, 13, 13, 13, 13, 14, 15, 16, 16, 17, 17, 17, 17, 18, 19, 20, 20, 21, 21, 21, 21, 22, 23, 24, 24, 25, 25, 25, 25, 26, 27, 28, 28, 29, 29, 29, 29, 30, 31, 32, 32, 33, 33, 33, 33, 34, 35
Offset: 1

Views

Author

Keywords

References

  • Blaine Lawson and Michelsohn, Spin Geometry, Princeton, p. 285.

Crossrefs

Formula

a(n) = log_2(A034585(n)). - Sean A. Irvine, Aug 28 2020

Extensions

More terms from Sean A. Irvine, Aug 28 2020
Showing 1-2 of 2 results.