[seqfan] Re: Sums of values of A113907. Sums of dimensions of the five sporadic Lie groups. Dimensions of direct products of sporadic Lie groups.

[Jonathan Post]

Thank you, Tony,

Is this identical to Richard Mathar's b-list?

Am I right about dimensions of directed products of Lie groups?

You guys are wonderful for helping to repair such sloppy work!

Thank you,

Jonathan Vos Post

On Mon, Jun 22, 2009 at 2:47 PM, T. D. Noe<noe at sspectra.com> wrote:
> At 2:17 PM -0700 6/22/09, Jonathan Post wrote:
>>Thank you, Richard Mathar.  Looking at my handwritten text, I had
>>indeed found a(30) = 147 and failed to type it in the email.
>>
>>I'm close to submitting the sequence, or asking you if you should like
>>to, with the comment by Robert Gerbicz (i.e. giving 327 as the last
>>value shown and commenting that all greater integers are also in the
>>sequence) and your code.
>>
>>I take it that this would be preferable to giving the complement of
>>the sequence?
>>
>>How many values are there from 14 through 327 inclusive?
>
> I get 163:
>
> 14, 28, 42, 52, 56, 66, 70, 78, 80, 84, 92, 94, 98, 104, 106, 108, \
> 112, 118, 120, 122, 126, 130, 132, 133, 134, 136, 140, 144, 146, 147, \
> 148, 150, 154, 156, 158, 160, 161, 162, 164, 168, 170, 172, 174, 175, \
> 176, 178, 182, 184, 185, 186, 188, 189, 190, 192, 196, 198, 199, 200, \
> 202, 203, 204, 206, 208, 210, 211, 212, 213, 214, 216, 217, 218, 220, \
> 222, 224, 225, 226, 227, 228, 230, 231, 232, 234, 236, 237, 238, 239, \
> 240, 241, 242, 244, 245, 246, 248, 250, 251, 252, 253, 254, 255, 256, \
> 258, 259, 260, 262, 263, 264, 265, 266, 267, 268, 269, 270, 272, 273, \
> 274, 276, 277, 278, 279, 280, 281, 282, 283, 284, 286, 287, 288, 289, \
> 290, 291, 292, 293, 294, 295, 296, 297, 298, 300, 301, 302, 303, 304, \
> 305, 306, 307, 308, 309, 310, 311, 312, 314, 315, 316, 317, 318, 319, \
> 320, 321, 322, 323, 324, 325, 326
>
> The complement is
>
> 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 16, 17, 18, 19, 20, \
> 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, \
> 39, 40, 41, 43, 44, 45, 46, 47, 48, 49, 50, 51, 53, 54, 55, 57, 58, \
> 59, 60, 61, 62, 63, 64, 65, 67, 68, 69, 71, 72, 73, 74, 75, 76, 77, \
> 79, 81, 82, 83, 85, 86, 87, 88, 89, 90, 91, 93, 95, 96, 97, 99, 100, \
> 101, 102, 103, 105, 107, 109, 110, 111, 113, 114, 115, 116, 117, 119, \
> 121, 123, 124, 125, 127, 128, 129, 131, 135, 137, 138, 139, 141, 142, \
> 143, 145, 149, 151, 152, 153, 155, 157, 159, 163, 165, 166, 167, 169, \
> 171, 173, 177, 179, 180, 181, 183, 187, 191, 193, 194, 195, 197, 201, \
> 205, 207, 209, 215, 219, 221, 223, 229, 233, 235, 243, 247, 249, 257, \
> 261, 271, 275, 285, 299, 313, 327
>
> Tony
>
>
> _______________________________________________
>
> Seqfan Mailing list - http://list.seqfan.eu/
>