Documentation

HexGFqMathlib.GeneratorOrder.S2

source
theorem HexGFqMathlib.orderOf_gen_271_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_271_1 Hex.FpPoly.X) = 271 ^ 1 - 1

The Conway generator of GF(271^1) has order 270.

source
theorem HexGFqMathlib.orderOf_gen_271_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_271_2 Hex.FpPoly.X) = 271 ^ 2 - 1

The Conway generator of GF(271^2) has order 73440.

source
theorem HexGFqMathlib.orderOf_gen_271_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_271_3 Hex.FpPoly.X) = 271 ^ 3 - 1

The Conway generator of GF(271^3) has order 19902510.

source
theorem HexGFqMathlib.orderOf_gen_271_4 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_271_4 Hex.FpPoly.X) = 271 ^ 4 - 1

The Conway generator of GF(271^4) has order 5393580480.

source
theorem HexGFqMathlib.orderOf_gen_277_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_277_1 Hex.FpPoly.X) = 277 ^ 1 - 1

The Conway generator of GF(277^1) has order 276.

source
theorem HexGFqMathlib.orderOf_gen_277_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_277_2 Hex.FpPoly.X) = 277 ^ 2 - 1

The Conway generator of GF(277^2) has order 76728.

source
theorem HexGFqMathlib.orderOf_gen_277_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_277_3 Hex.FpPoly.X) = 277 ^ 3 - 1

The Conway generator of GF(277^3) has order 21253932.

source
theorem HexGFqMathlib.orderOf_gen_277_4 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_277_4 Hex.FpPoly.X) = 277 ^ 4 - 1

The Conway generator of GF(277^4) has order 5887339440.

source
theorem HexGFqMathlib.orderOf_gen_281_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_281_1 Hex.FpPoly.X) = 281 ^ 1 - 1

The Conway generator of GF(281^1) has order 280.

source
theorem HexGFqMathlib.orderOf_gen_281_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_281_2 Hex.FpPoly.X) = 281 ^ 2 - 1

The Conway generator of GF(281^2) has order 78960.

source
theorem HexGFqMathlib.orderOf_gen_281_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_281_3 Hex.FpPoly.X) = 281 ^ 3 - 1

The Conway generator of GF(281^3) has order 22188040.

source
theorem HexGFqMathlib.orderOf_gen_281_4 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_281_4 Hex.FpPoly.X) = 281 ^ 4 - 1

The Conway generator of GF(281^4) has order 6234839520.

source
theorem HexGFqMathlib.orderOf_gen_283_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_283_1 Hex.FpPoly.X) = 283 ^ 1 - 1

The Conway generator of GF(283^1) has order 282.

source
theorem HexGFqMathlib.orderOf_gen_283_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_283_2 Hex.FpPoly.X) = 283 ^ 2 - 1

The Conway generator of GF(283^2) has order 80088.

source
theorem HexGFqMathlib.orderOf_gen_283_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_283_3 Hex.FpPoly.X) = 283 ^ 3 - 1

The Conway generator of GF(283^3) has order 22665186.

source
theorem HexGFqMathlib.orderOf_gen_283_4 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_283_4 Hex.FpPoly.X) = 283 ^ 4 - 1

The Conway generator of GF(283^4) has order 6414247920.

source
theorem HexGFqMathlib.orderOf_gen_293_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_293_1 Hex.FpPoly.X) = 293 ^ 1 - 1

The Conway generator of GF(293^1) has order 292.

source
theorem HexGFqMathlib.orderOf_gen_293_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_293_2 Hex.FpPoly.X) = 293 ^ 2 - 1

The Conway generator of GF(293^2) has order 85848.

source
theorem HexGFqMathlib.orderOf_gen_293_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_293_3 Hex.FpPoly.X) = 293 ^ 3 - 1

The Conway generator of GF(293^3) has order 25153756.

source
theorem HexGFqMathlib.orderOf_gen_293_4 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_293_4 Hex.FpPoly.X) = 293 ^ 4 - 1

The Conway generator of GF(293^4) has order 7370050800.

source
theorem HexGFqMathlib.orderOf_gen_307_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_307_1 Hex.FpPoly.X) = 307 ^ 1 - 1

The Conway generator of GF(307^1) has order 306.

source
theorem HexGFqMathlib.orderOf_gen_307_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_307_2 Hex.FpPoly.X) = 307 ^ 2 - 1

The Conway generator of GF(307^2) has order 94248.

source
theorem HexGFqMathlib.orderOf_gen_307_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_307_3 Hex.FpPoly.X) = 307 ^ 3 - 1

The Conway generator of GF(307^3) has order 28934442.

source
theorem HexGFqMathlib.orderOf_gen_311_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_311_1 Hex.FpPoly.X) = 311 ^ 1 - 1

The Conway generator of GF(311^1) has order 310.

source
theorem HexGFqMathlib.orderOf_gen_311_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_311_2 Hex.FpPoly.X) = 311 ^ 2 - 1

The Conway generator of GF(311^2) has order 96720.

source
theorem HexGFqMathlib.orderOf_gen_311_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_311_3 Hex.FpPoly.X) = 311 ^ 3 - 1

The Conway generator of GF(311^3) has order 30080230.

source
theorem HexGFqMathlib.orderOf_gen_313_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_313_1 Hex.FpPoly.X) = 313 ^ 1 - 1

The Conway generator of GF(313^1) has order 312.

source
theorem HexGFqMathlib.orderOf_gen_313_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_313_2 Hex.FpPoly.X) = 313 ^ 2 - 1

The Conway generator of GF(313^2) has order 97968.

source
theorem HexGFqMathlib.orderOf_gen_313_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_313_3 Hex.FpPoly.X) = 313 ^ 3 - 1

The Conway generator of GF(313^3) has order 30664296.

source
theorem HexGFqMathlib.orderOf_gen_317_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_317_1 Hex.FpPoly.X) = 317 ^ 1 - 1

The Conway generator of GF(317^1) has order 316.

source
theorem HexGFqMathlib.orderOf_gen_317_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_317_2 Hex.FpPoly.X) = 317 ^ 2 - 1

The Conway generator of GF(317^2) has order 100488.

source
theorem HexGFqMathlib.orderOf_gen_317_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_317_3 Hex.FpPoly.X) = 317 ^ 3 - 1

The Conway generator of GF(317^3) has order 31855012.

source
theorem HexGFqMathlib.orderOf_gen_331_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_331_1 Hex.FpPoly.X) = 331 ^ 1 - 1

The Conway generator of GF(331^1) has order 330.

source
theorem HexGFqMathlib.orderOf_gen_331_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_331_2 Hex.FpPoly.X) = 331 ^ 2 - 1

The Conway generator of GF(331^2) has order 109560.

source
theorem HexGFqMathlib.orderOf_gen_331_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_331_3 Hex.FpPoly.X) = 331 ^ 3 - 1

The Conway generator of GF(331^3) has order 36264690.

source
theorem HexGFqMathlib.orderOf_gen_337_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_337_1 Hex.FpPoly.X) = 337 ^ 1 - 1

The Conway generator of GF(337^1) has order 336.

source
theorem HexGFqMathlib.orderOf_gen_337_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_337_2 Hex.FpPoly.X) = 337 ^ 2 - 1

The Conway generator of GF(337^2) has order 113568.

source
theorem HexGFqMathlib.orderOf_gen_337_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_337_3 Hex.FpPoly.X) = 337 ^ 3 - 1

The Conway generator of GF(337^3) has order 38272752.

source
theorem HexGFqMathlib.orderOf_gen_347_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_347_1 Hex.FpPoly.X) = 347 ^ 1 - 1

The Conway generator of GF(347^1) has order 346.

source
theorem HexGFqMathlib.orderOf_gen_347_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_347_2 Hex.FpPoly.X) = 347 ^ 2 - 1

The Conway generator of GF(347^2) has order 120408.

source
theorem HexGFqMathlib.orderOf_gen_347_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_347_3 Hex.FpPoly.X) = 347 ^ 3 - 1

The Conway generator of GF(347^3) has order 41781922.

source
theorem HexGFqMathlib.orderOf_gen_349_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_349_1 Hex.FpPoly.X) = 349 ^ 1 - 1

The Conway generator of GF(349^1) has order 348.

source
theorem HexGFqMathlib.orderOf_gen_349_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_349_2 Hex.FpPoly.X) = 349 ^ 2 - 1

The Conway generator of GF(349^2) has order 121800.

source
theorem HexGFqMathlib.orderOf_gen_349_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_349_3 Hex.FpPoly.X) = 349 ^ 3 - 1

The Conway generator of GF(349^3) has order 42508548.

source
theorem HexGFqMathlib.orderOf_gen_353_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_353_1 Hex.FpPoly.X) = 353 ^ 1 - 1

The Conway generator of GF(353^1) has order 352.

source
theorem HexGFqMathlib.orderOf_gen_353_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_353_2 Hex.FpPoly.X) = 353 ^ 2 - 1

The Conway generator of GF(353^2) has order 124608.

source
theorem HexGFqMathlib.orderOf_gen_353_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_353_3 Hex.FpPoly.X) = 353 ^ 3 - 1

The Conway generator of GF(353^3) has order 43986976.

source
theorem HexGFqMathlib.orderOf_gen_359_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_359_1 Hex.FpPoly.X) = 359 ^ 1 - 1

The Conway generator of GF(359^1) has order 358.

source
theorem HexGFqMathlib.orderOf_gen_359_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_359_2 Hex.FpPoly.X) = 359 ^ 2 - 1

The Conway generator of GF(359^2) has order 128880.

source
theorem HexGFqMathlib.orderOf_gen_359_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_359_3 Hex.FpPoly.X) = 359 ^ 3 - 1

The Conway generator of GF(359^3) has order 46268278.

source
theorem HexGFqMathlib.orderOf_gen_367_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_367_1 Hex.FpPoly.X) = 367 ^ 1 - 1

The Conway generator of GF(367^1) has order 366.

source
theorem HexGFqMathlib.orderOf_gen_367_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_367_2 Hex.FpPoly.X) = 367 ^ 2 - 1

The Conway generator of GF(367^2) has order 134688.

source
theorem HexGFqMathlib.orderOf_gen_367_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_367_3 Hex.FpPoly.X) = 367 ^ 3 - 1

The Conway generator of GF(367^3) has order 49430862.

source
theorem HexGFqMathlib.orderOf_gen_373_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_373_1 Hex.FpPoly.X) = 373 ^ 1 - 1

The Conway generator of GF(373^1) has order 372.

source
theorem HexGFqMathlib.orderOf_gen_373_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_373_2 Hex.FpPoly.X) = 373 ^ 2 - 1

The Conway generator of GF(373^2) has order 139128.

source
theorem HexGFqMathlib.orderOf_gen_373_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_373_3 Hex.FpPoly.X) = 373 ^ 3 - 1

The Conway generator of GF(373^3) has order 51895116.

source
theorem HexGFqMathlib.orderOf_gen_379_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_379_1 Hex.FpPoly.X) = 379 ^ 1 - 1

The Conway generator of GF(379^1) has order 378.

source
theorem HexGFqMathlib.orderOf_gen_379_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_379_2 Hex.FpPoly.X) = 379 ^ 2 - 1

The Conway generator of GF(379^2) has order 143640.

source
theorem HexGFqMathlib.orderOf_gen_379_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_379_3 Hex.FpPoly.X) = 379 ^ 3 - 1

The Conway generator of GF(379^3) has order 54439938.

source
theorem HexGFqMathlib.orderOf_gen_383_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_383_1 Hex.FpPoly.X) = 383 ^ 1 - 1

The Conway generator of GF(383^1) has order 382.

source
theorem HexGFqMathlib.orderOf_gen_383_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_383_2 Hex.FpPoly.X) = 383 ^ 2 - 1

The Conway generator of GF(383^2) has order 146688.

source
theorem HexGFqMathlib.orderOf_gen_383_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_383_3 Hex.FpPoly.X) = 383 ^ 3 - 1

The Conway generator of GF(383^3) has order 56181886.

source
theorem HexGFqMathlib.orderOf_gen_389_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_389_1 Hex.FpPoly.X) = 389 ^ 1 - 1

The Conway generator of GF(389^1) has order 388.

source
theorem HexGFqMathlib.orderOf_gen_389_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_389_2 Hex.FpPoly.X) = 389 ^ 2 - 1

The Conway generator of GF(389^2) has order 151320.

source
theorem HexGFqMathlib.orderOf_gen_389_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_389_3 Hex.FpPoly.X) = 389 ^ 3 - 1

The Conway generator of GF(389^3) has order 58863868.

source
theorem HexGFqMathlib.orderOf_gen_397_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_397_1 Hex.FpPoly.X) = 397 ^ 1 - 1

The Conway generator of GF(397^1) has order 396.

source
theorem HexGFqMathlib.orderOf_gen_397_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_397_2 Hex.FpPoly.X) = 397 ^ 2 - 1

The Conway generator of GF(397^2) has order 157608.

source
theorem HexGFqMathlib.orderOf_gen_397_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_397_3 Hex.FpPoly.X) = 397 ^ 3 - 1

The Conway generator of GF(397^3) has order 62570772.

source
theorem HexGFqMathlib.orderOf_gen_401_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_401_1 Hex.FpPoly.X) = 401 ^ 1 - 1

The Conway generator of GF(401^1) has order 400.

source
theorem HexGFqMathlib.orderOf_gen_401_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_401_2 Hex.FpPoly.X) = 401 ^ 2 - 1

The Conway generator of GF(401^2) has order 160800.

source
theorem HexGFqMathlib.orderOf_gen_401_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_401_3 Hex.FpPoly.X) = 401 ^ 3 - 1

The Conway generator of GF(401^3) has order 64481200.

source
theorem HexGFqMathlib.orderOf_gen_409_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_409_1 Hex.FpPoly.X) = 409 ^ 1 - 1

The Conway generator of GF(409^1) has order 408.

source
theorem HexGFqMathlib.orderOf_gen_409_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_409_2 Hex.FpPoly.X) = 409 ^ 2 - 1

The Conway generator of GF(409^2) has order 167280.

source
theorem HexGFqMathlib.orderOf_gen_409_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_409_3 Hex.FpPoly.X) = 409 ^ 3 - 1

The Conway generator of GF(409^3) has order 68417928.

source
theorem HexGFqMathlib.orderOf_gen_419_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_419_1 Hex.FpPoly.X) = 419 ^ 1 - 1

The Conway generator of GF(419^1) has order 418.

source
theorem HexGFqMathlib.orderOf_gen_419_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_419_2 Hex.FpPoly.X) = 419 ^ 2 - 1

The Conway generator of GF(419^2) has order 175560.

source
theorem HexGFqMathlib.orderOf_gen_419_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_419_3 Hex.FpPoly.X) = 419 ^ 3 - 1

The Conway generator of GF(419^3) has order 73560058.

source
theorem HexGFqMathlib.orderOf_gen_421_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_421_1 Hex.FpPoly.X) = 421 ^ 1 - 1

The Conway generator of GF(421^1) has order 420.

source
theorem HexGFqMathlib.orderOf_gen_421_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_421_2 Hex.FpPoly.X) = 421 ^ 2 - 1

The Conway generator of GF(421^2) has order 177240.

source
theorem HexGFqMathlib.orderOf_gen_421_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_421_3 Hex.FpPoly.X) = 421 ^ 3 - 1

The Conway generator of GF(421^3) has order 74618460.

source
theorem HexGFqMathlib.orderOf_gen_431_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_431_1 Hex.FpPoly.X) = 431 ^ 1 - 1

The Conway generator of GF(431^1) has order 430.

source
theorem HexGFqMathlib.orderOf_gen_431_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_431_2 Hex.FpPoly.X) = 431 ^ 2 - 1

The Conway generator of GF(431^2) has order 185760.

source
theorem HexGFqMathlib.orderOf_gen_431_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_431_3 Hex.FpPoly.X) = 431 ^ 3 - 1

The Conway generator of GF(431^3) has order 80062990.

source
theorem HexGFqMathlib.orderOf_gen_433_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_433_1 Hex.FpPoly.X) = 433 ^ 1 - 1

The Conway generator of GF(433^1) has order 432.

source
theorem HexGFqMathlib.orderOf_gen_433_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_433_2 Hex.FpPoly.X) = 433 ^ 2 - 1

The Conway generator of GF(433^2) has order 187488.

source
theorem HexGFqMathlib.orderOf_gen_433_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_433_3 Hex.FpPoly.X) = 433 ^ 3 - 1

The Conway generator of GF(433^3) has order 81182736.

source
theorem HexGFqMathlib.orderOf_gen_439_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_439_1 Hex.FpPoly.X) = 439 ^ 1 - 1

The Conway generator of GF(439^1) has order 438.

source
theorem HexGFqMathlib.orderOf_gen_439_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_439_2 Hex.FpPoly.X) = 439 ^ 2 - 1

The Conway generator of GF(439^2) has order 192720.

source
theorem HexGFqMathlib.orderOf_gen_439_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_439_3 Hex.FpPoly.X) = 439 ^ 3 - 1

The Conway generator of GF(439^3) has order 84604518.

source
theorem HexGFqMathlib.orderOf_gen_443_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_443_1 Hex.FpPoly.X) = 443 ^ 1 - 1

The Conway generator of GF(443^1) has order 442.

source
theorem HexGFqMathlib.orderOf_gen_443_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_443_2 Hex.FpPoly.X) = 443 ^ 2 - 1

The Conway generator of GF(443^2) has order 196248.

source
theorem HexGFqMathlib.orderOf_gen_443_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_443_3 Hex.FpPoly.X) = 443 ^ 3 - 1

The Conway generator of GF(443^3) has order 86938306.

source
theorem HexGFqMathlib.orderOf_gen_449_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_449_1 Hex.FpPoly.X) = 449 ^ 1 - 1

The Conway generator of GF(449^1) has order 448.

source
theorem HexGFqMathlib.orderOf_gen_449_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_449_2 Hex.FpPoly.X) = 449 ^ 2 - 1

The Conway generator of GF(449^2) has order 201600.

source
theorem HexGFqMathlib.orderOf_gen_449_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_449_3 Hex.FpPoly.X) = 449 ^ 3 - 1

The Conway generator of GF(449^3) has order 90518848.

source
theorem HexGFqMathlib.orderOf_gen_457_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_457_1 Hex.FpPoly.X) = 457 ^ 1 - 1

The Conway generator of GF(457^1) has order 456.

source
theorem HexGFqMathlib.orderOf_gen_457_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_457_2 Hex.FpPoly.X) = 457 ^ 2 - 1

The Conway generator of GF(457^2) has order 208848.

source
theorem HexGFqMathlib.orderOf_gen_457_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_457_3 Hex.FpPoly.X) = 457 ^ 3 - 1

The Conway generator of GF(457^3) has order 95443992.

source
theorem HexGFqMathlib.orderOf_gen_461_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_461_1 Hex.FpPoly.X) = 461 ^ 1 - 1

The Conway generator of GF(461^1) has order 460.

source
theorem HexGFqMathlib.orderOf_gen_461_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_461_2 Hex.FpPoly.X) = 461 ^ 2 - 1

The Conway generator of GF(461^2) has order 212520.

source
theorem HexGFqMathlib.orderOf_gen_461_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_461_3 Hex.FpPoly.X) = 461 ^ 3 - 1

The Conway generator of GF(461^3) has order 97972180.

source
theorem HexGFqMathlib.orderOf_gen_463_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_463_1 Hex.FpPoly.X) = 463 ^ 1 - 1

The Conway generator of GF(463^1) has order 462.

source
theorem HexGFqMathlib.orderOf_gen_463_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_463_2 Hex.FpPoly.X) = 463 ^ 2 - 1

The Conway generator of GF(463^2) has order 214368.

source
theorem HexGFqMathlib.orderOf_gen_463_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_463_3 Hex.FpPoly.X) = 463 ^ 3 - 1

The Conway generator of GF(463^3) has order 99252846.

source
theorem HexGFqMathlib.orderOf_gen_467_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_467_1 Hex.FpPoly.X) = 467 ^ 1 - 1

The Conway generator of GF(467^1) has order 466.

source
theorem HexGFqMathlib.orderOf_gen_467_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_467_2 Hex.FpPoly.X) = 467 ^ 2 - 1

The Conway generator of GF(467^2) has order 218088.

source
theorem HexGFqMathlib.orderOf_gen_467_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_467_3 Hex.FpPoly.X) = 467 ^ 3 - 1

The Conway generator of GF(467^3) has order 101847562.

source
theorem HexGFqMathlib.orderOf_gen_479_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_479_1 Hex.FpPoly.X) = 479 ^ 1 - 1

The Conway generator of GF(479^1) has order 478.

source
theorem HexGFqMathlib.orderOf_gen_479_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_479_2 Hex.FpPoly.X) = 479 ^ 2 - 1

The Conway generator of GF(479^2) has order 229440.

source
theorem HexGFqMathlib.orderOf_gen_479_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_479_3 Hex.FpPoly.X) = 479 ^ 3 - 1

The Conway generator of GF(479^3) has order 109902238.

source
theorem HexGFqMathlib.orderOf_gen_487_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_487_1 Hex.FpPoly.X) = 487 ^ 1 - 1

The Conway generator of GF(487^1) has order 486.

source
theorem HexGFqMathlib.orderOf_gen_487_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_487_2 Hex.FpPoly.X) = 487 ^ 2 - 1

The Conway generator of GF(487^2) has order 237168.

source
theorem HexGFqMathlib.orderOf_gen_487_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_487_3 Hex.FpPoly.X) = 487 ^ 3 - 1

The Conway generator of GF(487^3) has order 115501302.

source
theorem HexGFqMathlib.orderOf_gen_491_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_491_1 Hex.FpPoly.X) = 491 ^ 1 - 1

The Conway generator of GF(491^1) has order 490.

source
theorem HexGFqMathlib.orderOf_gen_491_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_491_2 Hex.FpPoly.X) = 491 ^ 2 - 1

The Conway generator of GF(491^2) has order 241080.

source
theorem HexGFqMathlib.orderOf_gen_491_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_491_3 Hex.FpPoly.X) = 491 ^ 3 - 1

The Conway generator of GF(491^3) has order 118370770.

source
theorem HexGFqMathlib.orderOf_gen_499_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_499_1 Hex.FpPoly.X) = 499 ^ 1 - 1

The Conway generator of GF(499^1) has order 498.

source
theorem HexGFqMathlib.orderOf_gen_499_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_499_2 Hex.FpPoly.X) = 499 ^ 2 - 1

The Conway generator of GF(499^2) has order 249000.

source
theorem HexGFqMathlib.orderOf_gen_499_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_499_3 Hex.FpPoly.X) = 499 ^ 3 - 1

The Conway generator of GF(499^3) has order 124251498.

source
theorem HexGFqMathlib.orderOf_gen_503_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_503_1 Hex.FpPoly.X) = 503 ^ 1 - 1

The Conway generator of GF(503^1) has order 502.

source
theorem HexGFqMathlib.orderOf_gen_503_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_503_2 Hex.FpPoly.X) = 503 ^ 2 - 1

The Conway generator of GF(503^2) has order 253008.

source
theorem HexGFqMathlib.orderOf_gen_503_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_503_3 Hex.FpPoly.X) = 503 ^ 3 - 1

The Conway generator of GF(503^3) has order 127263526.

source
theorem HexGFqMathlib.orderOf_gen_509_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_509_1 Hex.FpPoly.X) = 509 ^ 1 - 1

The Conway generator of GF(509^1) has order 508.

source
theorem HexGFqMathlib.orderOf_gen_509_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_509_2 Hex.FpPoly.X) = 509 ^ 2 - 1

The Conway generator of GF(509^2) has order 259080.

source
theorem HexGFqMathlib.orderOf_gen_509_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_509_3 Hex.FpPoly.X) = 509 ^ 3 - 1

The Conway generator of GF(509^3) has order 131872228.

source
theorem HexGFqMathlib.orderOf_gen_521_1 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_521_1 Hex.FpPoly.X) = 521 ^ 1 - 1

The Conway generator of GF(521^1) has order 520.

source
theorem HexGFqMathlib.orderOf_gen_521_2 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_521_2 Hex.FpPoly.X) = 521 ^ 2 - 1

The Conway generator of GF(521^2) has order 271440.

source
theorem HexGFqMathlib.orderOf_gen_521_3 :
orderOf (Hex.GFq.ofPoly Hex.Conway.supportedEntry_521_3 Hex.FpPoly.X) = 521 ^ 3 - 1

The Conway generator of GF(521^3) has order 141420760.