Magma V2.19-8 Tue Aug 20 2013 16:17:20 on localhost [Seed = 290491864] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1572 geometric_solution 5.35484506 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 1 1 -2 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.533334384160 0.707386738274 3 2 4 0 0132 3012 0132 0132 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 1 -1 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.891517472386 0.893806501943 1 3 0 4 1230 3201 0132 3201 0 0 0 0 0 0 -1 1 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 -1 2 -1 -1 0 0 1 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.891517472386 0.893806501943 1 5 2 5 0132 0132 2310 1023 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 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 1.566640389095 0.424944059998 4 2 4 1 2031 2310 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.081989271003 0.968810949243 6 3 6 3 0132 0132 1023 1023 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 -1 -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.739042960937 0.357432170870 5 6 5 6 0132 1302 1023 2031 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 1 0 0 0 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.606028697303 0.114629135645 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : 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' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : 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_6' : 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_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_1']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 600962847603918091965083276903/818503777997354058422957256549*c_010\ 1_6^19 + 1246263476471659566825058296911/81850377799735405842295725\ 6549*c_0101_6^18 + 16207638031289360233738169274487/818503777997354\ 058422957256549*c_0101_6^17 - 74660176417110010474163963743357/8185\ 03777997354058422957256549*c_0101_6^16 + 175412400411631297828200010188632/818503777997354058422957256549*c_\ 0101_6^15 - 61213966894616386512124975072863/2728345926657846861409\ 85752183*c_0101_6^14 - 93912071433864647443067217316084/81850377799\ 7354058422957256549*c_0101_6^13 + 105240425130152696756789441887888\ /818503777997354058422957256549*c_0101_6^12 + 7532538020029494385588878305959/272834592665784686140985752183*c_01\ 01_6^11 + 855761671879614141875176944730019/81850377799735405842295\ 7256549*c_0101_6^10 - 557557581636922578733211406335887/81850377799\ 7354058422957256549*c_0101_6^9 - 1179990784581148010954429478991556\ /818503777997354058422957256549*c_0101_6^8 + 384101349754407765316768663501871/818503777997354058422957256549*c_\ 0101_6^7 + 783648310516894534966517522590421/8185037779973540584229\ 57256549*c_0101_6^6 + 78224675980297304442138234089971/818503777997\ 354058422957256549*c_0101_6^5 - 328016990944888026972545258008705/8\ 18503777997354058422957256549*c_0101_6^4 - 42979223432698219935550790192239/818503777997354058422957256549*c_0\ 101_6^3 + 20189680171922568957176170769834/818503777997354058422957\ 256549*c_0101_6^2 + 25627634157680386797296243077424/81850377799735\ 4058422957256549*c_0101_6 - 1149634449568903957499896576463/2728345\ 92665784686140985752183, c_0011_0 - 1, c_0011_1 + 61761826960612035356972590901/272834592665784686140985752183\ *c_0101_6^19 - 67384038092513148409715459911/2728345926657846861409\ 85752183*c_0101_6^18 - 1722777597893159817951900894802/272834592665\ 784686140985752183*c_0101_6^17 + 5961897010905387678524244831090/27\ 2834592665784686140985752183*c_0101_6^16 - 12411838339523068252610339929526/272834592665784686140985752183*c_0\ 101_6^15 + 7777991671819331578734125015891/272834592665784686140985\ 752183*c_0101_6^14 + 14623723475977125466414478995177/2728345926657\ 84686140985752183*c_0101_6^13 + 6531593826280700646036078553720/272\ 834592665784686140985752183*c_0101_6^12 + 4740365631213576257806250643711/272834592665784686140985752183*c_01\ 01_6^11 - 83708058789428300199816514575466/272834592665784686140985\ 752183*c_0101_6^10 - 25253934982437860497959693287293/2728345926657\ 84686140985752183*c_0101_6^9 + 84742001684664796695607323720508/272\ 834592665784686140985752183*c_0101_6^8 + 50637477656628583405766267517132/272834592665784686140985752183*c_0\ 101_6^7 - 17224310574713949175999884154175/272834592665784686140985\ 752183*c_0101_6^6 - 29968987458987571069034677463905/27283459266578\ 4686140985752183*c_0101_6^5 - 4381619258373366373353533574794/27283\ 4592665784686140985752183*c_0101_6^4 + 1484030043299125459430424140417/272834592665784686140985752183*c_01\ 01_6^3 + 2579623383486540608440696371612/27283459266578468614098575\ 2183*c_0101_6^2 + 584199180262340207222266273220/272834592665784686\ 140985752183*c_0101_6 + 381861075900749239016979497373/272834592665\ 784686140985752183, c_0011_4 - 52752429073632565187757366735/272834592665784686140985752183\ *c_0101_6^19 + 30024476497869286923666773606/2728345926657846861409\ 85752183*c_0101_6^18 + 1504800798501524319629721894568/272834592665\ 784686140985752183*c_0101_6^17 - 4323258862406893546314085607977/27\ 2834592665784686140985752183*c_0101_6^16 + 7846667627400638573029467483609/272834592665784686140985752183*c_01\ 01_6^15 - 920005995509244123601656762414/27283459266578468614098575\ 2183*c_0101_6^14 - 16168344812052901328922137039162/272834592665784\ 686140985752183*c_0101_6^13 - 12682684106254867161663085379234/2728\ 34592665784686140985752183*c_0101_6^12 - 5406017434986564945408686081938/272834592665784686140985752183*c_01\ 01_6^11 + 70489497311979175669988180047500/272834592665784686140985\ 752183*c_0101_6^10 + 59687564581779250319263516610532/2728345926657\ 84686140985752183*c_0101_6^9 - 64802891376092663432504740279175/272\ 834592665784686140985752183*c_0101_6^8 - 88394317857936215499345310879785/272834592665784686140985752183*c_0\ 101_6^7 - 4401752813229016236358451068910/2728345926657846861409857\ 52183*c_0101_6^6 + 40361570468679406597011015875207/272834592665784\ 686140985752183*c_0101_6^5 + 18465419143655970679871740293446/27283\ 4592665784686140985752183*c_0101_6^4 - 1009935264093968095187584466586/272834592665784686140985752183*c_01\ 01_6^3 - 4419293210837401238848621920647/27283459266578468614098575\ 2183*c_0101_6^2 - 1684996554573136527044907933356/27283459266578468\ 6140985752183*c_0101_6 - 502637614491837303765286599448/27283459266\ 5784686140985752183, c_0101_0 + 60402693662274455473445724919/272834592665784686140985752183\ *c_0101_6^19 - 75079335757890538884117041840/2728345926657846861409\ 85752183*c_0101_6^18 - 1673860082914061526409697540814/272834592665\ 784686140985752183*c_0101_6^17 + 6087650161715491550253908101947/27\ 2834592665784686140985752183*c_0101_6^16 - 13057369477326330492385319980406/272834592665784686140985752183*c_0\ 101_6^15 + 9498089495661284388067235108355/272834592665784686140985\ 752183*c_0101_6^14 + 13212813097345785595731022669074/2728345926657\ 84686140985752183*c_0101_6^13 + 3550845285816504715287585448253/272\ 834592665784686140985752183*c_0101_6^12 + 5193974342604764214845637503416/272834592665784686140985752183*c_01\ 01_6^11 - 83554088768227520357743863042104/272834592665784686140985\ 752183*c_0101_6^10 - 11127546494107049327594963120250/2728345926657\ 84686140985752183*c_0101_6^9 + 84682565945091259268439104099679/272\ 834592665784686140985752183*c_0101_6^8 + 34763147834140563794884224809127/272834592665784686140985752183*c_0\ 101_6^7 - 20173302944285218896983997303029/272834592665784686140985\ 752183*c_0101_6^6 - 26750113182785152476890647084798/27283459266578\ 4686140985752183*c_0101_6^5 - 804993636113979772469069349691/272834\ 592665784686140985752183*c_0101_6^4 + 832502240276110138360954398816/272834592665784686140985752183*c_010\ 1_6^3 + 2602970020126588871586026405019/272834592665784686140985752\ 183*c_0101_6^2 + 726355755162080849315720136622/2728345926657846861\ 40985752183*c_0101_6 + 396673911259894928428336606721/2728345926657\ 84686140985752183, c_0101_1 + 45810897229752423150289467145/272834592665784686140985752183\ *c_0101_6^19 - 36525525837615066108991973974/2728345926657846861409\ 85752183*c_0101_6^18 - 1286533793092468351643375345161/272834592665\ 784686140985752183*c_0101_6^17 + 4040773077175006013068050457618/27\ 2834592665784686140985752183*c_0101_6^16 - 8075109514946185456142755947457/272834592665784686140985752183*c_01\ 01_6^15 + 3631749773176268207009798620840/2728345926657846861409857\ 52183*c_0101_6^14 + 11382663175367174651839761826219/27283459266578\ 4686140985752183*c_0101_6^13 + 8629165778222834554242294856403/2728\ 34592665784686140985752183*c_0101_6^12 + 6653519564854946495909769700500/272834592665784686140985752183*c_01\ 01_6^11 - 60845072319610157807368708922599/272834592665784686140985\ 752183*c_0101_6^10 - 35833116533494025119799424518352/2728345926657\ 84686140985752183*c_0101_6^9 + 49263064959677459716399514675090/272\ 834592665784686140985752183*c_0101_6^8 + 53417956001771038669709179012716/272834592665784686140985752183*c_0\ 101_6^7 + 5991544370365819903236141006687/2728345926657846861409857\ 52183*c_0101_6^6 - 23221945228637838396892372783869/272834592665784\ 686140985752183*c_0101_6^5 - 11017498440461809719635389755067/27283\ 4592665784686140985752183*c_0101_6^4 - 1017171232931975091458657877287/272834592665784686140985752183*c_01\ 01_6^3 + 3344225015190736464338262851310/27283459266578468614098575\ 2183*c_0101_6^2 + 1056180632452552234206980182785/27283459266578468\ 6140985752183*c_0101_6 + 292348038968671416721972204364/27283459266\ 5784686140985752183, c_0101_5 - 64056075320478704669718429080/272834592665784686140985752183\ *c_0101_6^19 + 55358896631360349506551786331/2728345926657846861409\ 85752183*c_0101_6^18 + 1799843820274253525008297140999/272834592665\ 784686140985752183*c_0101_6^17 - 5775456637605756432941855910857/27\ 2834592665784686140985752183*c_0101_6^16 + 11547384083086652807601800381399/272834592665784686140985752183*c_0\ 101_6^15 - 5404911196033115541519551320070/272834592665784686140985\ 752183*c_0101_6^14 - 16443627210180194125206215489454/2728345926657\ 84686140985752183*c_0101_6^13 - 10563484933752368780731855426753/27\ 2834592665784686140985752183*c_0101_6^12 - 7042209935957057518719662837221/272834592665784686140985752183*c_01\ 01_6^11 + 85374095887883475505955624228792/272834592665784686140985\ 752183*c_0101_6^10 + 45231260702961006788403084725158/2728345926657\ 84686140985752183*c_0101_6^9 - 78558213919949684031714210029407/272\ 834592665784686140985752183*c_0101_6^8 - 71119623474727929559166235564151/272834592665784686140985752183*c_0\ 101_6^7 + 3737334499223046715849896603695/2728345926657846861409857\ 52183*c_0101_6^6 + 34429100576882568324433978023926/272834592665784\ 686140985752183*c_0101_6^5 + 11637466949557753874089990149434/27283\ 4592665784686140985752183*c_0101_6^4 - 994401263645433785705768782452/272834592665784686140985752183*c_010\ 1_6^3 - 3777726195288007167447715214267/272834592665784686140985752\ 183*c_0101_6^2 - 1201515672126891471823203265485/272834592665784686\ 140985752183*c_0101_6 - 298794763492855188344281526468/272834592665\ 784686140985752183, c_0101_6^20 - c_0101_6^19 - 28*c_0101_6^18 + 94*c_0101_6^17 - 192*c_0101_6^16 + 107*c_0101_6^15 + 250*c_0101_6^14 + 124*c_0101_6^13 + 92*c_0101_6^12 - 1362*c_0101_6^11 - 520*c_0101_6^10 + 1338*c_0101_6^9 + 955*c_0101_6^8 - 204*c_0101_6^7 - 558*c_0101_6^6 - 110*c_0101_6^5 + 39*c_0101_6^4 + 58*c_0101_6^3 + 10*c_0101_6^2 + 5*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB