Magma V2.19-8 Tue Aug 20 2013 16:14:46 on localhost [Seed = 1528481597] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s754 geometric_solution 5.29129342 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 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.254211416774 0.195493614405 2 0 3 0 0132 2310 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.273905500564 1.705433434224 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 1 0 -1 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 -1 0 1 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.171483639461 1.007850227258 5 4 2 1 3201 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.171483639461 1.007850227258 4 3 4 2 2031 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 1 -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 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.537098900694 0.568296522231 5 5 2 3 1302 2031 0132 2310 0 0 0 0 0 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 0 0 0 0 0 0 0 -1 1 -1 0 0 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.653866160869 0.942317575820 ==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' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), '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' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], '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_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} 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_5, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 3092231610800294534358721117791350029/78291463539590438872235068234\ 1249741*c_0101_3^24 + 2559790274967476070148875440459840702/7829146\ 35395904388722350682341249741*c_0101_3^23 + 14701188049699617023447212810928740672/7829146353959043887223506823\ 41249741*c_0101_3^22 + 6094752845404540715816719031640156969/782914\ 635395904388722350682341249741*c_0101_3^21 + 56365075426646343005401171114215092200/7829146353959043887223506823\ 41249741*c_0101_3^20 - 72008961229344459773972014420873280027/78291\ 4635395904388722350682341249741*c_0101_3^19 - 1929593078223735757543352241510064404/60224202722761876055565437103\ 173057*c_0101_3^18 + 71749575304901772017071347578152448754/7829146\ 35395904388722350682341249741*c_0101_3^17 - 14740617695212821358580294006496281459/6022420272276187605556543710\ 3173057*c_0101_3^16 + 306952335708043802575673404174033819419/78291\ 4635395904388722350682341249741*c_0101_3^15 - 24018868125560927152693028094360244091/7829146353959043887223506823\ 41249741*c_0101_3^14 - 572247416712736951554199741662754914241/7829\ 14635395904388722350682341249741*c_0101_3^13 + 735966231661531371120076027555303606985/782914635395904388722350682\ 341249741*c_0101_3^12 - 1690159489866438104640647654968186341006/78\ 2914635395904388722350682341249741*c_0101_3^11 - 285637034704429678682519666514137937121/782914635395904388722350682\ 341249741*c_0101_3^10 + 1466359435072711895828578830356914487269/78\ 2914635395904388722350682341249741*c_0101_3^9 - 417697105468353325367681806902093872612/782914635395904388722350682\ 341249741*c_0101_3^8 + 1584005832848984719400252508141294305694/782\ 914635395904388722350682341249741*c_0101_3^7 - 36208592021595557681524201189981208979/7829146353959043887223506823\ 41249741*c_0101_3^6 - 1122793160926124931456613197723452800517/7829\ 14635395904388722350682341249741*c_0101_3^5 + 8137991135116685720721076361993897918/78291463539590438872235068234\ 1249741*c_0101_3^4 + 189798663028522943456341095898976417078/782914\ 635395904388722350682341249741*c_0101_3^3 + 195635432973003435332909131911831969933/782914635395904388722350682\ 341249741*c_0101_3^2 - 141364108060994677097426982000008594283/7829\ 14635395904388722350682341249741*c_0101_3 + 4603355977583492689042383767679852984/78291463539590438872235068234\ 1249741, c_0011_0 - 1, c_0011_1 - 7904375861801253633427174232668491/6022420272276187605556543\ 7103173057*c_0101_3^24 + 1521800441510271204330128608146292/6022420\ 2722761876055565437103173057*c_0101_3^23 + 38424446916039733858738750196167432/6022420272276187605556543710317\ 3057*c_0101_3^22 + 40634793966266040469574356170579685/602242027227\ 61876055565437103173057*c_0101_3^21 + 169303539396842832675408943940949747/602242027227618760555654371031\ 73057*c_0101_3^20 - 77719130460269113246934618514880710/60224202722\ 761876055565437103173057*c_0101_3^19 - 109864506835360422257977105438566554/602242027227618760555654371031\ 73057*c_0101_3^18 + 100407978090724941653634563578562100/6022420272\ 2761876055565437103173057*c_0101_3^17 - 400798851899346360439154956207333033/602242027227618760555654371031\ 73057*c_0101_3^16 + 510643441596507871693870621761549359/6022420272\ 2761876055565437103173057*c_0101_3^15 + 259588159666611880564636622636403184/602242027227618760555654371031\ 73057*c_0101_3^14 - 1248294996684594979546051953093999510/602242027\ 22761876055565437103173057*c_0101_3^13 + 988617818429372903755974551665492322/602242027227618760555654371031\ 73057*c_0101_3^12 - 3607771510435013532297483605124619134/602242027\ 22761876055565437103173057*c_0101_3^11 - 2980217618159224881833106194424577123/60224202722761876055565437103\ 173057*c_0101_3^10 + 1599980322002185189028198394884613640/60224202\ 722761876055565437103173057*c_0101_3^9 + 444710978524897302391084603402581989/602242027227618760555654371031\ 73057*c_0101_3^8 + 3884729109299048175111267797306791554/6022420272\ 2761876055565437103173057*c_0101_3^7 + 2465676375101361326532384859695095837/60224202722761876055565437103\ 173057*c_0101_3^6 - 1153135783595498052619935995412926364/602242027\ 22761876055565437103173057*c_0101_3^5 - 1101939525641520240341847230617934810/60224202722761876055565437103\ 173057*c_0101_3^4 + 125894001495379074589733572105162833/6022420272\ 2761876055565437103173057*c_0101_3^3 + 458038163576706024634564766149408744/602242027227618760555654371031\ 73057*c_0101_3^2 - 46404965822380306391361945594036658/602242027227\ 61876055565437103173057*c_0101_3 - 23250547741969488458067185545020766/6022420272276187605556543710317\ 3057, c_0011_3 + 12217766277787128252660397196654611/602242027227618760555654\ 37103173057*c_0101_3^24 - 1110925338591203978079619820545488/602242\ 02722761876055565437103173057*c_0101_3^23 - 61089955767969824569430163448511075/6022420272276187605556543710317\ 3057*c_0101_3^22 - 66907039507795062012808239353177036/602242027227\ 61876055565437103173057*c_0101_3^21 - 262544037363596245190425815990064178/602242027227618760555654371031\ 73057*c_0101_3^20 + 94069228896540057404976928328833826/60224202722\ 761876055565437103173057*c_0101_3^19 + 209943128119753987750220068884752177/602242027227618760555654371031\ 73057*c_0101_3^18 - 184814126516059713610596379206343696/6022420272\ 2761876055565437103173057*c_0101_3^17 + 624643086476443488437829317855525043/602242027227618760555654371031\ 73057*c_0101_3^16 - 713409212496609314982573442646334621/6022420272\ 2761876055565437103173057*c_0101_3^15 - 570352986058832234437530333948050964/602242027227618760555654371031\ 73057*c_0101_3^14 + 2078956654246106915438320786472740410/602242027\ 22761876055565437103173057*c_0101_3^13 - 1458872470485270959993516679399378377/60224202722761876055565437103\ 173057*c_0101_3^12 + 5262572425960813303779984943267541934/60224202\ 722761876055565437103173057*c_0101_3^11 + 5560831148135886836302573901911540814/60224202722761876055565437103\ 173057*c_0101_3^10 - 3027388367996594503866449864781258500/60224202\ 722761876055565437103173057*c_0101_3^9 - 476715534050873912569366696527502555/602242027227618760555654371031\ 73057*c_0101_3^8 - 5918126815107021271008077891908583037/6022420272\ 2761876055565437103173057*c_0101_3^7 - 4608424613537181725664196198269324537/60224202722761876055565437103\ 173057*c_0101_3^6 + 2150226017261787388572335032270350596/602242027\ 22761876055565437103173057*c_0101_3^5 + 1446038236223827201908946186364959665/60224202722761876055565437103\ 173057*c_0101_3^4 - 155107090140082099465793169755789440/6022420272\ 2761876055565437103173057*c_0101_3^3 - 794354547800293588100087573146005579/602242027227618760555654371031\ 73057*c_0101_3^2 + 135378916012826616267769221427538145/60224202722\ 761876055565437103173057*c_0101_3 + 93808120074671292623282317603078783/6022420272276187605556543710317\ 3057, c_0011_5 - 8221249563411575840499754668782457/6022420272276187605556543\ 7103173057*c_0101_3^24 - 517927930193690066740487744528506/60224202\ 722761876055565437103173057*c_0101_3^23 + 41745570796947302864743237844242593/6022420272276187605556543710317\ 3057*c_0101_3^22 + 51229025675510433726973948806344524/602242027227\ 61876055565437103173057*c_0101_3^21 + 181063203218348097909645271796788997/602242027227618760555654371031\ 73057*c_0101_3^20 - 38624904858049503568126817883196644/60224202722\ 761876055565437103173057*c_0101_3^19 - 162213553659353305909389572658042713/602242027227618760555654371031\ 73057*c_0101_3^18 + 107773574332775273146126326854180511/6022420272\ 2761876055565437103173057*c_0101_3^17 - 394658827669672815936257163035823208/602242027227618760555654371031\ 73057*c_0101_3^16 + 406702220163344119905656576625839002/6022420272\ 2761876055565437103173057*c_0101_3^15 + 485638119728177021249153996562453962/602242027227618760555654371031\ 73057*c_0101_3^14 - 1374868923352909658186425605406060362/602242027\ 22761876055565437103173057*c_0101_3^13 + 749108602274056063332190553811344344/602242027227618760555654371031\ 73057*c_0101_3^12 - 3306626857181542322507455715742583474/602242027\ 22761876055565437103173057*c_0101_3^11 - 4362017487284106090893092406379647188/60224202722761876055565437103\ 173057*c_0101_3^10 + 1701273796881628843439908552778039793/60224202\ 722761876055565437103173057*c_0101_3^9 + 836149146660647598963467968483538899/602242027227618760555654371031\ 73057*c_0101_3^8 + 3911146449295394404544608786885995338/6022420272\ 2761876055565437103173057*c_0101_3^7 + 3720071171699721792496325263423002379/60224202722761876055565437103\ 173057*c_0101_3^6 - 1200646124297474025906810874217927835/602242027\ 22761876055565437103173057*c_0101_3^5 - 1346786370699872340874101869650870964/60224202722761876055565437103\ 173057*c_0101_3^4 + 17332881006335855179190547314532075/60224202722\ 761876055565437103173057*c_0101_3^3 + 633823550223108111919983518526330545/602242027227618760555654371031\ 73057*c_0101_3^2 - 18973069451979908131387490424368936/602242027227\ 61876055565437103173057*c_0101_3 - 79906419356303360830231425341909074/6022420272276187605556543710317\ 3057, c_0101_0 + 3419304436471116513010271803099204/6022420272276187605556543\ 7103173057*c_0101_3^24 + 1100551726130640231374746125324311/6022420\ 2722761876055565437103173057*c_0101_3^23 - 17689782608863203886565879766412524/6022420272276187605556543710317\ 3057*c_0101_3^22 - 25366501196685768338811064134566790/602242027227\ 61876055565437103173057*c_0101_3^21 - 79278514432248113855726785769810775/6022420272276187605556543710317\ 3057*c_0101_3^20 - 2953818921879289839485440135108797/6022420272276\ 1876055565437103173057*c_0101_3^19 + 78960927444893054115461067514025247/6022420272276187605556543710317\ 3057*c_0101_3^18 - 38649914263929013787679270754482626/602242027227\ 61876055565437103173057*c_0101_3^17 + 155890181883897653383819417223453638/602242027227618760555654371031\ 73057*c_0101_3^16 - 122409805677936364364810725999692440/6022420272\ 2761876055565437103173057*c_0101_3^15 - 266632196456677840031527716688589168/602242027227618760555654371031\ 73057*c_0101_3^14 + 568789831345709907393681292009015813/6022420272\ 2761876055565437103173057*c_0101_3^13 - 191310345915855883457562374020798969/602242027227618760555654371031\ 73057*c_0101_3^12 + 1249228148763034793932015676661448391/602242027\ 22761876055565437103173057*c_0101_3^11 + 2263463379110630517030341174977751808/60224202722761876055565437103\ 173057*c_0101_3^10 - 496256453150499403375071318493463495/602242027\ 22761876055565437103173057*c_0101_3^9 - 437860947885336367651906776581667002/602242027227618760555654371031\ 73057*c_0101_3^8 - 1660566189399007849794818079572642165/6022420272\ 2761876055565437103173057*c_0101_3^7 - 2009374853809234057960093415386164319/60224202722761876055565437103\ 173057*c_0101_3^6 + 318526162019342358050889269334966692/6022420272\ 2761876055565437103173057*c_0101_3^5 + 529936970578480035975190235866302969/602242027227618760555654371031\ 73057*c_0101_3^4 + 53096379956745598950986248866999015/602242027227\ 61876055565437103173057*c_0101_3^3 - 285229919605121688611090164326935052/602242027227618760555654371031\ 73057*c_0101_3^2 - 10943339731320102830610156274152176/602242027227\ 61876055565437103173057*c_0101_3 + 68618545908259280141883526749371755/6022420272276187605556543710317\ 3057, c_0101_3^25 - 5*c_0101_3^23 - 6*c_0101_3^22 - 22*c_0101_3^21 + 6*c_0101_3^20 + 18*c_0101_3^19 - 12*c_0101_3^18 + 49*c_0101_3^17 - 54*c_0101_3^16 - 51*c_0101_3^15 + 162*c_0101_3^14 - 99*c_0101_3^13 + 421*c_0101_3^12 + 485*c_0101_3^11 - 193*c_0101_3^10 - 94*c_0101_3^9 - 503*c_0101_3^8 - 420*c_0101_3^7 + 138*c_0101_3^6 + 163*c_0101_3^5 + 10*c_0101_3^4 - 65*c_0101_3^3 + c_0101_3^2 + 10*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB