Magma V2.19-8 Tue Aug 20 2013 16:14:50 on localhost [Seed = 4021187459] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s800 geometric_solution 5.34821999 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.245773089448 0.233113269770 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.612342715450 1.798442053517 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.046384148225 0.903188731793 5 4 2 1 1023 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.046384148225 0.903188731793 4 4 3 2 1230 3012 2310 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.442642052841 0.936357778462 5 3 2 5 3201 1023 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.533522885164 0.946487190066 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0011_4'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_4'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_4, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 1935607993865554585/47238949450417023*c_0101_3^17 - 7822528887086146216/47238949450417023*c_0101_3^16 - 1117826211421762561/47238949450417023*c_0101_3^15 + 9465242056703068138/5248772161157447*c_0101_3^14 - 205257740273436002642/47238949450417023*c_0101_3^13 - 66552620395631897438/47238949450417023*c_0101_3^12 + 62705927755333132658/3633765342339771*c_0101_3^11 - 488088836044156437014/47238949450417023*c_0101_3^10 - 1437253139127509965031/47238949450417023*c_0101_3^9 + 118241636805959974910/5248772161157447*c_0101_3^8 + 502605953070291399553/15746316483472341*c_0101_3^7 - 60106677108473856934/3633765342339771*c_0101_3^6 - 967419142581248187413/47238949450417023*c_0101_3^5 + 19403950026344493806/5248772161157447*c_0101_3^4 + 281767196136760897331/47238949450417023*c_0101_3^3 - 4278459123401117581/47238949450417023*c_0101_3^2 - 18579819396755349706/47238949450417023*c_0101_3 + 3844073457579658763/47238949450417023, c_0011_0 - 1, c_0011_1 + 2379196992106495/1211255114113257*c_0101_3^17 - 3528342171706260/403751704704419*c_0101_3^16 + 794166357057676/403751704704419*c_0101_3^15 + 106010433885817385/1211255114113257*c_0101_3^14 - 295264887615604364/1211255114113257*c_0101_3^13 + 4683926565026390/403751704704419*c_0101_3^12 + 1056089706652859243/1211255114113257*c_0101_3^11 - 337857082121802121/403751704704419*c_0101_3^10 - 528905077146026647/403751704704419*c_0101_3^9 + 2100671259364282096/1211255114113257*c_0101_3^8 + 466831894272814259/403751704704419*c_0101_3^7 - 1836728087221523921/1211255114113257*c_0101_3^6 - 287483946840753141/403751704704419*c_0101_3^5 + 260127180840881229/403751704704419*c_0101_3^4 + 303537759766956383/1211255114113257*c_0101_3^3 - 168906506181539021/1211255114113257*c_0101_3^2 - 35452332066390967/1211255114113257*c_0101_3 + 5212920970413484/403751704704419, c_0011_3 - 359274282960086/403751704704419*c_0101_3^17 + 1690535340551011/403751704704419*c_0101_3^16 - 780658886917015/403751704704419*c_0101_3^15 - 15841456948973930/403751704704419*c_0101_3^14 + 48550331691213225/403751704704419*c_0101_3^13 - 13941463607739578/403751704704419*c_0101_3^12 - 156474429164039099/403751704704419*c_0101_3^11 + 190014825945625538/403751704704419*c_0101_3^10 + 197912917126729732/403751704704419*c_0101_3^9 - 363797268884350752/403751704704419*c_0101_3^8 - 139902661153156959/403751704704419*c_0101_3^7 + 314661195517646825/403751704704419*c_0101_3^6 + 78830039596428791/403751704704419*c_0101_3^5 - 141628064331993568/403751704704419*c_0101_3^4 - 29141583287416015/403751704704419*c_0101_3^3 + 32204808770677073/403751704704419*c_0101_3^2 + 3461855222072900/403751704704419*c_0101_3 - 2643136481193436/403751704704419, c_0011_4 - 2151148049011144/1211255114113257*c_0101_3^17 + 10030606251281698/1211255114113257*c_0101_3^16 - 4177745153773618/1211255114113257*c_0101_3^15 - 95314295664884206/1211255114113257*c_0101_3^14 + 95552651326723682/403751704704419*c_0101_3^13 - 22780002922372538/403751704704419*c_0101_3^12 - 947512625544257165/1211255114113257*c_0101_3^11 + 1097183195867486393/1211255114113257*c_0101_3^10 + 1258112519283884704/1211255114113257*c_0101_3^9 - 2148057011694469007/1211255114113257*c_0101_3^8 - 964013705451362287/1211255114113257*c_0101_3^7 + 627467286692675978/403751704704419*c_0101_3^6 + 191698306322811200/403751704704419*c_0101_3^5 - 283578401891662287/403751704704419*c_0101_3^4 - 217424956758579671/1211255114113257*c_0101_3^3 + 195167183514782230/1211255114113257*c_0101_3^2 + 9286507280503460/403751704704419*c_0101_3 - 5679573759869665/403751704704419, c_0101_1 - 2718192032825566/1211255114113257*c_0101_3^17 + 12259554550961764/1211255114113257*c_0101_3^16 - 3648661883275666/1211255114113257*c_0101_3^15 - 119989458611407063/1211255114113257*c_0101_3^14 + 114615055511238451/403751704704419*c_0101_3^13 - 14723069312754499/403751704704419*c_0101_3^12 - 1177294133611769345/1211255114113257*c_0101_3^11 + 1208969765198499017/1211255114113257*c_0101_3^10 + 1680860905764301060/1211255114113257*c_0101_3^9 - 2389477312367070050/1211255114113257*c_0101_3^8 - 1432397919291432502/1211255114113257*c_0101_3^7 + 678406115784176088/403751704704419*c_0101_3^6 + 294808000845170364/403751704704419*c_0101_3^5 - 285082434841253291/403751704704419*c_0101_3^4 - 310193088740039183/1211255114113257*c_0101_3^3 + 181546587442012441/1211255114113257*c_0101_3^2 + 12189950799093205/403751704704419*c_0101_3 - 5314502944535164/403751704704419, c_0101_3^18 - 4*c_0101_3^17 - c_0101_3^16 + 45*c_0101_3^15 - 104*c_0101_3^14 - 50*c_0101_3^13 + 446*c_0101_3^12 - 224*c_0101_3^11 - 860*c_0101_3^10 + 576*c_0101_3^9 + 996*c_0101_3^8 - 499*c_0101_3^7 - 725*c_0101_3^6 + 159*c_0101_3^5 + 284*c_0101_3^4 - 10*c_0101_3^3 - 49*c_0101_3^2 - c_0101_3 + 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB