Magma V2.19-8 Tue Aug 20 2013 16:16:14 on localhost [Seed = 1048552189] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0499 geometric_solution 4.51206026 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 0213 0 0 0 0 0 1 0 -1 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 1 -1 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.206042154804 0.835767694206 0 2 3 0 0132 3201 1023 0213 0 0 0 0 0 -1 0 1 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 -1 1 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.206042154804 0.835767694206 4 0 1 4 0132 0132 2310 1023 0 0 0 0 0 -1 0 1 -1 0 1 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 -1 0 1 -1 0 1 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.062812066996 0.512930837863 3 3 1 0 1302 2031 1023 0132 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 1 0 -1 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.597465397667 0.628927947243 2 5 5 2 0132 0132 3201 1023 0 0 0 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 0 0 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 0 0 0 1.454953448845 0.420560555091 4 4 6 6 2310 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.173614753595 0.360490337733 5 6 5 6 2310 2310 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 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.671420543945 0.055299300417 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : negation(d['c_1001_2']), 'c_1100_3' : negation(d['c_1001_2']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : d['c_1001_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0101_0, c_0101_4, c_0101_5, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 2150562824701859214030003487092473584/10703615746530918921688279832\ 498861*c_1001_2^30 + 33485107016055763972796003770806622336/1070361\ 5746530918921688279832498861*c_1001_2^28 + 285696607094502793451590435229563317136/107036157465309189216882798\ 32498861*c_1001_2^26 - 1640337984478904273135315307694560204072/107\ 03615746530918921688279832498861*c_1001_2^24 + 6557196922556460458644970925488959817299/10703615746530918921688279\ 832498861*c_1001_2^22 - 22586998201970174325186280518008392493437/1\ 0703615746530918921688279832498861*c_1001_2^20 + 45988968853556200192441115252560506850394/1070361574653091892168827\ 9832498861*c_1001_2^18 - 59733615789534787361379721378812571676825/\ 10703615746530918921688279832498861*c_1001_2^16 + 57684136904326147855968009530349910643368/1070361574653091892168827\ 9832498861*c_1001_2^14 - 42611708458882700590830592553319602786225/\ 10703615746530918921688279832498861*c_1001_2^12 + 23285497059093986298764953309042195645916/1070361574653091892168827\ 9832498861*c_1001_2^10 - 9474877161288495351718870985390226327235/1\ 0703615746530918921688279832498861*c_1001_2^8 + 2906839971767044692016095487093347194662/10703615746530918921688279\ 832498861*c_1001_2^6 - 615371779792529483985316861459202071595/1070\ 3615746530918921688279832498861*c_1001_2^4 + 71664560049969641174558178554153084254/1070361574653091892168827983\ 2498861*c_1001_2^2 - 2903854281832037631731036185626686274/10703615\ 746530918921688279832498861, c_0011_0 - 1, c_0011_3 + 119577127014708306162489277249332672/10703615746530918921688\ 279832498861*c_1001_2^31 + 1906038238291882775345692889028342600/10\ 703615746530918921688279832498861*c_1001_2^29 + 16593610819415175641710758575335359068/1070361574653091892168827983\ 2498861*c_1001_2^27 - 85013673258815796351206875862683873850/107036\ 15746530918921688279832498861*c_1001_2^25 + 333745548855147211994606488843415194575/107036157465309189216882798\ 32498861*c_1001_2^23 - 1135367406448785519414319655904211631538/107\ 03615746530918921688279832498861*c_1001_2^21 + 2148492004888594232236223428456143917186/10703615746530918921688279\ 832498861*c_1001_2^19 - 2564336088942553777361097546328678000712/10\ 703615746530918921688279832498861*c_1001_2^17 + 2328248232458635511060373351983129066453/10703615746530918921688279\ 832498861*c_1001_2^15 - 1588969283410972787666100929210159729893/10\ 703615746530918921688279832498861*c_1001_2^13 + 779191669500349810892750675855137205234/107036157465309189216882798\ 32498861*c_1001_2^11 - 286777532676043109029231125006137124164/1070\ 3615746530918921688279832498861*c_1001_2^9 + 78500135641864713285109728405973183186/1070361574653091892168827983\ 2498861*c_1001_2^7 - 13438802822216761195292435090110835089/1070361\ 5746530918921688279832498861*c_1001_2^5 + 1206230566284652343533952965649752466/10703615746530918921688279832\ 498861*c_1001_2^3 - 69740178327249704706722723805806909/10703615746\ 530918921688279832498861*c_1001_2, c_0011_6 + 62577242618056210883855274864296008/107036157465309189216882\ 79832498861*c_1001_2^30 + 943844202124601709333403646901471636/1070\ 3615746530918921688279832498861*c_1001_2^28 + 7821725702605041601489866819742838922/10703615746530918921688279832\ 498861*c_1001_2^26 - 52048125133636788201260529271721212299/1070361\ 5746530918921688279832498861*c_1001_2^24 + 211754607352396507933817707446747886955/107036157465309189216882798\ 32498861*c_1001_2^22 - 738817710318915947040960526880764788462/1070\ 3615746530918921688279832498861*c_1001_2^20 + 1613986282016240700189393478609353403113/10703615746530918921688279\ 832498861*c_1001_2^18 - 2239392702772199334181865743160721501152/10\ 703615746530918921688279832498861*c_1001_2^16 + 2247778999754488122065091757434294415798/10703615746530918921688279\ 832498861*c_1001_2^14 - 1738051396597778909162437955009377946460/10\ 703615746530918921688279832498861*c_1001_2^12 + 999427403157382754892167417586384818894/107036157465309189216882798\ 32498861*c_1001_2^10 - 420738139214675243962659841489332520324/1070\ 3615746530918921688279832498861*c_1001_2^8 + 133779904120020840961038441608133746070/107036157465309189216882798\ 32498861*c_1001_2^6 - 29802733637179587697282416843633372804/107036\ 15746530918921688279832498861*c_1001_2^4 + 3541504155813024714171638546511743220/10703615746530918921688279832\ 498861*c_1001_2^2 - 152605082844200918332159021489500170/1070361574\ 6530918921688279832498861, c_0101_0 + 71523658777193369380913628781327408/107036157465309189216882\ 79832498861*c_1001_2^30 + 1141530542912741474746130792529578176/107\ 03615746530918921688279832498861*c_1001_2^28 + 9948761763595474407662113060718115496/10703615746530918921688279832\ 498861*c_1001_2^26 - 50643323105890405905037348281678305220/1070361\ 5746530918921688279832498861*c_1001_2^24 + 198631353648982996362262282447365871681/107036157465309189216882798\ 32498861*c_1001_2^22 - 675222449007632670423979958518782072264/1070\ 3615746530918921688279832498861*c_1001_2^20 + 1271972275070072766346099800199603928838/10703615746530918921688279\ 832498861*c_1001_2^18 - 1510017409200773800770899273727900988731/10\ 703615746530918921688279832498861*c_1001_2^16 + 1365426054407484242314209774694219233575/10703615746530918921688279\ 832498861*c_1001_2^14 - 926480687271521321621506208019823197326/107\ 03615746530918921688279832498861*c_1001_2^12 + 450504516093631095219512935387602468645/107036157465309189216882798\ 32498861*c_1001_2^10 - 164331313374629021878195568811930881999/1070\ 3615746530918921688279832498861*c_1001_2^8 + 44443739459521266164763108610806034083/1070361574653091892168827983\ 2498861*c_1001_2^6 - 7381677880644830107565456050425844385/10703615\ 746530918921688279832498861*c_1001_2^4 + 595917002752147542513490860344826945/107036157465309189216882798324\ 98861*c_1001_2^2 - 24126689946062190073407453134231400/107036157465\ 30918921688279832498861, c_0101_4 + 97356620627475080792760265892957056/107036157465309189216882\ 79832498861*c_1001_2^31 + 1586269391768437283284097776919835392/107\ 03615746530918921688279832498861*c_1001_2^29 + 14059324935630208233676595452459658840/1070361574653091892168827983\ 2498861*c_1001_2^27 - 64430278765031791538182683191990106524/107036\ 15746530918921688279832498861*c_1001_2^25 + 247333701784524039934062782609675359226/107036157465309189216882798\ 32498861*c_1001_2^23 - 828681654769855337647386058170645980879/1070\ 3615746530918921688279832498861*c_1001_2^21 + 1423879165367210091377768013774684954126/10703615746530918921688279\ 832498861*c_1001_2^19 - 1474293868620658615139341655381185405745/10\ 703615746530918921688279832498861*c_1001_2^17 + 1166415040930368051536428337551935962704/10703615746530918921688279\ 832498861*c_1001_2^15 - 634278056559536694603815462485552572775/107\ 03615746530918921688279832498861*c_1001_2^13 + 187205571348956420556774951834764289412/107036157465309189216882798\ 32498861*c_1001_2^11 - 16280336317084993572126156769802547961/10703\ 615746530918921688279832498861*c_1001_2^9 - 14860555222614805167428206520755648844/1070361574653091892168827983\ 2498861*c_1001_2^7 + 10100713549824820254486031494953644315/1070361\ 5746530918921688279832498861*c_1001_2^5 - 2454405549577579099400018896466606417/10703615746530918921688279832\ 498861*c_1001_2^3 + 196782113351242418908656827413776867/1070361574\ 6530918921688279832498861*c_1001_2, c_0101_5 + 562593399848059791066768317873704912/10703615746530918921688\ 279832498861*c_1001_2^31 + 8804172678049710353463515739309273912/10\ 703615746530918921688279832498861*c_1001_2^29 + 75451193395931541285239621591117310548/1070361574653091892168827983\ 2498861*c_1001_2^27 - 422883145045470021119180404106681655270/10703\ 615746530918921688279832498861*c_1001_2^25 + 1684492556214031834773445823469322357970/10703615746530918921688279\ 832498861*c_1001_2^23 - 5788562692113726180210739957531975920379/10\ 703615746530918921688279832498861*c_1001_2^21 + 11623548293597505789099598591815266439647/1070361574653091892168827\ 9832498861*c_1001_2^19 - 14877116472310509312469768611686644684752/\ 10703615746530918921688279832498861*c_1001_2^17 + 14231906478397303561908018104809616682156/1070361574653091892168827\ 9832498861*c_1001_2^15 - 10395426778636220529048963307411562305108/\ 10703615746530918921688279832498861*c_1001_2^13 + 5602685938632322405559213552118761474144/10703615746530918921688279\ 832498861*c_1001_2^11 - 2258462181367217774616001963169499679442/10\ 703615746530918921688279832498861*c_1001_2^9 + 686970602053898831961445680975752404160/107036157465309189216882798\ 32498861*c_1001_2^7 - 143508391859128534924517482733373352433/10703\ 615746530918921688279832498861*c_1001_2^5 + 203495642506875745637476488532335066/128959225861818300261304576295\ 167*c_1001_2^3 - 772359087780711273465169040110377931/1070361574653\ 0918921688279832498861*c_1001_2, c_1001_2^32 + 31/2*c_1001_2^30 + 527/4*c_1001_2^28 - 6177/8*c_1001_2^26 + 6205/2*c_1001_2^24 - 85737/8*c_1001_2^22 + 176983/8*c_1001_2^20 - 117115/4*c_1001_2^18 + 230307/8*c_1001_2^16 - 86925/4*c_1001_2^14 + 98053/8*c_1001_2^12 - 10401/2*c_1001_2^10 + 3365/2*c_1001_2^8 - 3119/8*c_1001_2^6 + 225/4*c_1001_2^4 - 17/4*c_1001_2^2 + 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB