# GAP code for the lmfdb family of higher genus curves 7.504-156.0.2-3-7.1 # The results are stored in a list of records called 'data' # WARNING: The conjugacy class numbers may not be the same as those listed in lmfdb.org, as numberings in Magma and GAP may differ. If you need to connect this data to that posted on lmfdb.org, compare the variables 'passport_label' and 'gen_vector_labels'. data:=[]; # Generate data which is the same for all entries. gp_id:=[504,156]; signature:=[0,2,3,7]; genus:=7; r:=Length(signature)-1; g0:=signature[1]; dim:=3*g0-3+r; # Here we add an action to data. gen_vectors:=[[33, 263, 139, 165, 493, 37, 257, 153, 368, 51, 380, 301, 228, 160, 19, 374, 252, 143, 15, 155, 364, 462, 115, 55, 194, 486, 278, 60, 209, 94, 417, 268, 1, 68, 405, 305, 6, 488, 274, 120, 295, 46, 455, 135, 179, 42, 290, 472, 354, 385, 10, 320, 288, 98, 24, 110, 175, 327, 214, 28, 77, 315, 476, 429, 389, 265, 435, 34, 208, 419, 450, 341, 105, 335, 211, 237, 61, 109, 329, 225, 440, 123, 452, 373, 300, 232, 91, 446, 324, 215, 87, 227, 436, 30, 187, 127, 266, 54, 350, 132, 281, 166, 489, 340, 73, 140, 477, 377, 78, 56, 346, 192, 367, 118, 23, 207, 251, 114, 362, 40, 426, 457, 82, 392, 360, 170, 96, 182, 247, 399, 286, 100, 149, 387, 44, 501, 461, 337, 3, 106, 280, 491, 18, 413, 177, 407, 283, 309, 133, 181, 401, 297, 8, 195, 20, 445, 372, 304, 163, 14, 396, 287, 159, 299, 4, 102, 259, 199, 338, 126, 422, 204, 353, 238, 57, 412, 145, 212, 45, 449, 150, 128, 418, 264, 439, 190, 95, 279, 323, 186, 434, 112, 498, 25, 154, 464, 432, 242, 168, 254, 319, 471, 358, 172, 221, 459, 116, 69, 29, 409, 75, 178, 352, 59, 90, 485, 249, 479, 355, 381, 205, 253, 473, 369, 80, 267, 92, 13, 444, 376, 235, 86, 468, 359, 231, 371, 76, 174, 331, 271, 410, 198, 494, 276, 425, 310, 129, 484, 217, 284, 117, 17, 222, 200, 490, 336, 7, 262, 167, 351, 395, 258, 2, 184, 66, 97, 226, 32, 504, 314, 240, 326, 391, 39, 430, 244, 293, 27, 188, 141, 101, 481, 147, 250, 424, 131, 162, 53, 321, 47, 427, 453, 277, 325, 41, 441, 152, 339, 164, 85, 12, 448, 307, 158, 36, 431, 303, 443, 148, 246, 403, 343, 482, 270, 62, 348, 497, 382, 201, 52, 289, 356, 189, 89, 294, 272, 58, 408, 79, 334, 239, 423, 467, 330, 74, 256, 138, 169, 298, 104, 72, 386, 312, 398, 463, 111, 502, 316, 365, 99, 260, 213, 173, 49, 219, 322, 496, 203, 234, 125, 393, 119, 499, 21, 349, 397, 113, 9, 224, 411, 236, 157, 84, 16, 379, 230, 108, 503, 375, 11, 220, 318, 475, 415, 50, 342, 134, 420, 65, 454, 273, 124, 361, 428, 261, 161, 366, 344, 130, 480, 151, 406, 311, 495, 35, 402, 146, 328, 210, 241, 370, 176, 144, 458, 384, 470, 31, 183, 70, 388, 437, 171, 332, 285, 245, 121, 291, 394, 64, 275, 306, 197, 465, 191, 67, 93, 421, 469, 185, 81, 296, 483, 308, 229, 156, 88, 451, 302, 180, 71, 447, 83, 292, 390, 43, 487, 122, 414, 206, 492, 137, 22, 345, 196, 433, 500, 333, 233, 438, 416, 202, 48, 223, 478, 383, 63, 107, 474, 218, 400, 282, 313, 442, 248, 216, 26, 456, 38, 103, 255, 142, 460, 5, 243, 404, 357, 317, 193, 363, 466, 136, 347, 378, 269], [198, 483, 52, 110, 129, 247, 437, 46, 467, 261, 150, 61, 488, 480, 400, 203, 55, 170, 459, 132, 34, 290, 309, 148, 86, 28, 125, 378, 249, 43, 155, 147, 283, 239, 37, 233, 81, 312, 16, 209, 282, 481, 338, 10, 332, 72, 402, 25, 263, 246, 310, 392, 19, 422, 324, 285, 7, 380, 399, 130, 500, 1, 359, 495, 15, 358, 101, 84, 373, 41, 352, 8, 270, 51, 124, 182, 201, 319, 5, 118, 35, 333, 222, 133, 56, 48, 472, 275, 127, 242, 27, 204, 106, 362, 381, 220, 158, 100, 197, 450, 321, 115, 227, 219, 355, 311, 109, 305, 153, 384, 88, 281, 354, 49, 410, 82, 404, 144, 474, 97, 335, 318, 382, 464, 91, 494, 396, 357, 79, 452, 471, 202, 68, 73, 431, 63, 87, 430, 173, 156, 445, 113, 424, 80, 342, 123, 196, 254, 273, 391, 77, 190, 107, 405, 294, 205, 128, 120, 40, 347, 199, 314, 99, 276, 178, 434, 453, 292, 230, 172, 269, 18, 393, 187, 299, 291, 427, 383, 181, 377, 225, 456, 160, 353, 426, 121, 482, 154, 476, 216, 42, 169, 407, 390, 454, 32, 163, 62, 468, 429, 151, 20, 39, 274, 140, 145, 503, 135, 159, 502, 245, 228, 13, 185, 496, 152, 414, 195, 268, 326, 345, 463, 149, 262, 179, 477, 366, 277, 200, 192, 112, 419, 271, 386, 171, 348, 250, 2, 21, 364, 302, 244, 341, 90, 465, 259, 371, 363, 499, 455, 253, 449, 297, 24, 232, 425, 498, 193, 50, 226, 44, 288, 114, 241, 479, 462, 22, 104, 235, 134, 36, 501, 223, 92, 111, 346, 212, 217, 71, 207, 231, 70, 317, 300, 85, 257, 64, 224, 486, 267, 340, 398, 417, 31, 221, 334, 251, 45, 438, 349, 272, 264, 184, 491, 343, 458, 243, 420, 322, 74, 93, 436, 374, 316, 413, 162, 33, 331, 443, 435, 67, 23, 325, 17, 369, 96, 304, 497, 66, 265, 122, 298, 116, 360, 186, 313, 47, 30, 94, 176, 307, 206, 108, 69, 295, 164, 183, 418, 284, 289, 143, 279, 303, 142, 389, 372, 157, 329, 136, 296, 54, 339, 412, 470, 489, 103, 293, 406, 323, 117, 6, 421, 344, 336, 256, 59, 415, 26, 315, 492, 394, 146, 165, 4, 446, 388, 485, 234, 105, 403, 11, 3, 139, 95, 397, 89, 441, 168, 376, 65, 138, 337, 194, 370, 188, 432, 258, 385, 119, 102, 166, 248, 379, 278, 180, 141, 367, 236, 255, 490, 356, 361, 215, 351, 375, 214, 461, 444, 229, 401, 208, 368, 126, 411, 484, 38, 57, 175, 365, 478, 395, 189, 78, 493, 416, 408, 328, 131, 487, 98, 387, 60, 466, 218, 237, 76, 14, 460, 53, 306, 177, 475, 83, 75, 211, 167, 469, 161, 9, 240, 448, 137, 210, 409, 266, 442, 260, 504, 330, 457, 191, 174, 238, 320, 451, 350, 252, 213, 439, 308, 327, 58, 428, 433, 287, 423, 447, 286, 29, 12, 301, 473, 280, 440], [315, 174, 124, 415, 329, 236, 175, 341, 438, 135, 273, 466, 352, 122, 389, 274, 89, 204, 288, 471, 331, 226, 356, 200, 472, 503, 87, 486, 363, 169, 325, 464, 497, 364, 440, 240, 405, 93, 358, 163, 419, 434, 94, 395, 339, 153, 138, 232, 118, 167, 335, 139, 206, 393, 252, 300, 421, 460, 230, 83, 301, 242, 501, 162, 480, 79, 289, 149, 398, 481, 188, 42, 387, 246, 196, 487, 401, 308, 247, 413, 6, 207, 345, 34, 424, 194, 461, 346, 161, 276, 360, 39, 403, 298, 428, 272, 40, 71, 159, 54, 435, 241, 397, 32, 65, 436, 8, 312, 477, 165, 430, 235, 491, 2, 166, 467, 411, 225, 210, 304, 190, 239, 407, 211, 278, 465, 324, 372, 493, 28, 302, 155, 373, 314, 69, 234, 48, 151, 361, 221, 470, 49, 260, 114, 459, 318, 268, 55, 473, 380, 319, 485, 78, 279, 417, 106, 496, 266, 29, 418, 233, 348, 432, 111, 475, 370, 500, 344, 112, 143, 231, 126, 3, 313, 469, 104, 137, 4, 80, 384, 45, 237, 502, 307, 59, 74, 238, 35, 483, 297, 282, 376, 262, 311, 479, 283, 350, 33, 396, 444, 61, 100, 374, 227, 445, 386, 141, 306, 120, 223, 433, 293, 38, 121, 332, 186, 27, 390, 340, 127, 41, 452, 391, 53, 150, 351, 489, 178, 64, 338, 101, 490, 305, 420, 504, 183, 43, 442, 68, 416, 184, 215, 303, 198, 75, 385, 37, 176, 209, 76, 152, 456, 117, 309, 70, 379, 131, 146, 310, 107, 51, 369, 354, 448, 334, 383, 47, 355, 422, 105, 468, 12, 133, 172, 446, 299, 13, 458, 213, 378, 192, 295, 1, 365, 110, 193, 404, 258, 99, 462, 412, 199, 113, 20, 463, 125, 222, 423, 57, 250, 136, 410, 173, 58, 377, 492, 72, 255, 115, 10, 140, 488, 256, 287, 375, 270, 147, 457, 109, 248, 281, 148, 224, 24, 189, 381, 142, 451, 203, 218, 382, 179, 123, 441, 426, 16, 406, 455, 119, 427, 494, 177, 36, 84, 205, 244, 14, 371, 85, 26, 285, 450, 264, 367, 73, 437, 182, 265, 476, 330, 171, 30, 484, 271, 185, 92, 31, 197, 294, 495, 129, 322, 208, 482, 245, 130, 449, 60, 144, 327, 187, 82, 212, 56, 328, 359, 447, 342, 219, 25, 181, 320, 353, 220, 296, 96, 261, 453, 214, 19, 275, 290, 454, 251, 195, 9, 498, 88, 478, 23, 191, 499, 62, 249, 108, 156, 277, 316, 86, 443, 157, 98, 357, 18, 336, 439, 145, 5, 254, 337, 44, 402, 243, 102, 52, 343, 257, 164, 103, 269, 366, 63, 201, 394, 280, 50, 317, 202, 17, 132, 216, 399, 259, 154, 284, 128, 400, 431, 15, 414, 291, 97, 253, 392, 425, 292, 368, 168, 333, 21, 286, 91, 347, 362, 22, 323, 267, 81, 66, 160, 46, 95, 263, 67, 134, 321, 180, 228, 349, 388, 158, 11, 229, 170, 429, 90, 408, 7, 217, 77, 326, 409, 116, 474]]; perm_list:= List([1..Length(gen_vectors)], x->PermList(gen_vectors[x])); S:=SymmetricGroup(gp_id[1]); G:=Subgroup(S,perm_list); passport_label:=1; gen_vect_label:=1; braid_class:=1; topological_class:=[1, 1]; is_hyperelliptic:=false; is_cyclic_trigonal:=false; Add( data, rec( group:=G, gp_id:=gp_id, signature:=signature, gen_vectors:=perm_list, genus:=genus, dimension:=dim, r:=r, g0:=g0, passport_label:= passport_label, gen_vect_label:=gen_vect_label, braid_class:=braid_class, topological_class:=topological_class, is_hyperelliptic:=is_hyperelliptic) );