Magma V2.19-8 Tue Aug 20 2013 16:18:57 on localhost [Seed = 880126299] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3112 geometric_solution 6.26739755 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 2310 0132 3201 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 1 0 -1 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.840625619932 1.496915835260 0 3 5 4 0132 0132 0132 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 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.473503268124 0.781990760524 4 5 3 0 3201 0132 1023 0132 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 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.473503268124 0.781990760524 3 1 2 3 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0.313631668122 0.554628049441 4 4 1 2 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0.752750076110 0.803290907214 6 2 6 1 0132 0132 2310 0132 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 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.392956314706 1.791237077901 5 5 6 6 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.246587033657 0.208951315567 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : negation(d['1']), 's_2_0' : negation(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' : 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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 4753693108982835505290369571652395131107057089425/18531152330784815\ 0609149791423583260076772109452*c_0101_5^28 - 218934211725595321045431890707409330030811194563985/185311523307848\ 150609149791423583260076772109452*c_0101_5^26 + 3024985376987206262164407827123076065481630013191643/18531152330784\ 8150609149791423583260076772109452*c_0101_5^24 - 44147015517146716832514323422920131747379085009871519/3706230466156\ 96301218299582847166520153544218904*c_0101_5^22 + 1453588984069227021738102056825839003110990227166043803/29649843729\ 25570409746396662777332161228353751232*c_0101_5^20 - 3428378473546639781135216190858641653614014748312185435/29649843729\ 25570409746396662777332161228353751232*c_0101_5^18 + 4687296374362794574813614222480357992048535112791961409/29649843729\ 25570409746396662777332161228353751232*c_0101_5^16 - 1922974824692597561085604325743052008542750354415407029/14824921864\ 62785204873198331388666080614176875616*c_0101_5^14 + 33822006649536252910542900794182721905915006172968388/4632788082696\ 2037652287447855895815019193027363*c_0101_5^12 - 1000906106935435432712045196033520092567442010058200189/29649843729\ 25570409746396662777332161228353751232*c_0101_5^10 + 367814732825357094456219012179255839844907649660473399/296498437292\ 5570409746396662777332161228353751232*c_0101_5^8 - 94661814606859997667639225800206879547587418567694929/2964984372925\ 570409746396662777332161228353751232*c_0101_5^6 + 16311512549196148714625136933022406808495089935253197/2964984372925\ 570409746396662777332161228353751232*c_0101_5^4 - 66305169202837905069610986439753213363760570161433/9265576165392407\ 5304574895711791630038386054726*c_0101_5^2 + 8608969835936329591028081778991122097092317694215/18531152330784815\ 0609149791423583260076772109452, c_0011_0 - 1, c_0011_2 + 1623489416482327726592204394923308082179393865/2438309517208\ 528297488813045047148158904896177*c_0101_5^29 - 75143855075316528372777800277335524316379742249/2438309517208528297\ 488813045047148158904896177*c_0101_5^27 + 1050154686784763211938155132949713856138254945875/24383095172085282\ 97488813045047148158904896177*c_0101_5^25 - 15540495552005593955948036985647966466390202494983/4876619034417056\ 594977626090094296317809792354*c_0101_5^23 + 522902141104664118450022866490329897824943463427459/390129522753364\ 52759821008720754370542478338832*c_0101_5^21 - 1276026974401181406633629829909914007858239476415587/39012952275336\ 452759821008720754370542478338832*c_0101_5^19 + 1834392190421773897725964929929249241228078380913577/39012952275336\ 452759821008720754370542478338832*c_0101_5^17 - 801170237754769994228846394669840206716210220233733/195064761376682\ 26379910504360377185271239169416*c_0101_5^15 + 58950088493350388619555049444255684028475421359630/2438309517208528\ 297488813045047148158904896177*c_0101_5^13 - 443002464547061409074628088251115978109056629373717/390129522753364\ 52759821008720754370542478338832*c_0101_5^11 + 171329740290579414111892515218411254692881281118319/390129522753364\ 52759821008720754370542478338832*c_0101_5^9 - 47404342036911834210009097703360917121292073538617/3901295227533645\ 2759821008720754370542478338832*c_0101_5^7 + 9062138410660469210498230762509900698895600270405/39012952275336452\ 759821008720754370542478338832*c_0101_5^5 - 84846434372918148328665200186618160668717479865/2438309517208528297\ 488813045047148158904896177*c_0101_5^3 + 11942771109389624667652561008509438394146396619/2438309517208528297\ 488813045047148158904896177*c_0101_5, c_0011_4 + 1501649275690991428598100445544308926234267665/2438309517208\ 528297488813045047148158904896177*c_0101_5^29 - 69769604481613099467255917309874702702002279144/2438309517208528297\ 488813045047148158904896177*c_0101_5^27 + 983628967805042020517655593149909030102418296294/243830951720852829\ 7488813045047148158904896177*c_0101_5^25 - 14718519369354025362673987086072670550113200167329/4876619034417056\ 594977626090094296317809792354*c_0101_5^23 + 504117464827660817438177708021379953416916032550819/390129522753364\ 52759821008720754370542478338832*c_0101_5^21 - 158361137227628474893735639385115398341914157778275/487661903441705\ 6594977626090094296317809792354*c_0101_5^19 + 955424488285913651545184235117416931789936030574157/195064761376682\ 26379910504360377185271239169416*c_0101_5^17 - 1797647598896180100506344074812839384394030517095197/39012952275336\ 452759821008720754370542478338832*c_0101_5^15 + 580272810921281464199446563696148289777009117860141/195064761376682\ 26379910504360377185271239169416*c_0101_5^13 - 589087145660399422283580250417057258001174210214981/390129522753364\ 52759821008720754370542478338832*c_0101_5^11 + 122232060401336547209575425402293040938032374119505/195064761376682\ 26379910504360377185271239169416*c_0101_5^9 - 38202484061211936852958630329924840141229563613371/1950647613766822\ 6379910504360377185271239169416*c_0101_5^7 + 1077347707303565898709761052825876432499031771768/24383095172085282\ 97488813045047148158904896177*c_0101_5^5 - 2689753068564680574366623692481478960840342470223/39012952275336452\ 759821008720754370542478338832*c_0101_5^3 + 57407304869120499544387469539397251340730964277/9753238068834113189\ 955252180188592635619584708*c_0101_5, c_0101_0 + 1164598218127035192717506445918531901774763485/4876619034417\ 056594977626090094296317809792354*c_0101_5^28 - 54465633109640678187308484397362811606124145421/4876619034417056594\ 977626090094296317809792354*c_0101_5^26 + 779262065290006844325845819938725124391000545951/487661903441705659\ 4977626090094296317809792354*c_0101_5^24 - 11869048977320111942491101067971220614877673645971/9753238068834113\ 189955252180188592635619584708*c_0101_5^22 + 417481030582021966428368541747355015790791659549663/780259045506729\ 05519642017441508741084956677664*c_0101_5^20 - 1091418188868657207842377191212826155882034945757103/78025904550672\ 905519642017441508741084956677664*c_0101_5^18 + 1735996346933845646330648759404693438873339988972493/78025904550672\ 905519642017441508741084956677664*c_0101_5^16 - 864183611304679712604462643393410234889873019385585/390129522753364\ 52759821008720754370542478338832*c_0101_5^14 + 71507088231708656975496841857981102255600891862633/4876619034417056\ 594977626090094296317809792354*c_0101_5^12 - 562508905424086971585322918537161050062921054000793/780259045506729\ 05519642017441508741084956677664*c_0101_5^10 + 227409488240820024315612209475571454737267953391387/780259045506729\ 05519642017441508741084956677664*c_0101_5^8 - 70764895976070758753907100391680791424328292298141/7802590455067290\ 5519642017441508741084956677664*c_0101_5^6 + 13719605473206904674941431587827247375098541507945/7802590455067290\ 5519642017441508741084956677664*c_0101_5^4 - 47212372230528311096307447504231109695400334477/2438309517208528297\ 488813045047148158904896177*c_0101_5^2 + 4438555133014894334153512562881744345836254292/24383095172085282974\ 88813045047148158904896177, c_0101_1 + 515354940279798060410876054080290337254044100/24383095172085\ 28297488813045047148158904896177*c_0101_5^28 - 23831257556666527910534707123874386876419818940/2438309517208528297\ 488813045047148158904896177*c_0101_5^26 + 332388714942008301103469712093745149497606917028/243830951720852829\ 7488813045047148158904896177*c_0101_5^24 - 2454836540482055357220667114685199855720601515190/24383095172085282\ 97488813045047148158904896177*c_0101_5^22 + 41217220191493068043774871445585754250496937672587/9753238068834113\ 189955252180188592635619584708*c_0101_5^20 - 100533603671550948810819382349106065182406644929893/975323806883411\ 3189955252180188592635619584708*c_0101_5^18 + 145547105738535286481389699736199334923854645508571/975323806883411\ 3189955252180188592635619584708*c_0101_5^16 - 32745962590438228263623870638142826866432380585529/2438309517208528\ 297488813045047148158904896177*c_0101_5^14 + 20663701503400361527118840884180830333512087581008/2438309517208528\ 297488813045047148158904896177*c_0101_5^12 - 41824444510240152628982383805258864790164841206373/9753238068834113\ 189955252180188592635619584708*c_0101_5^10 + 16842648481125636540036524673104962535351699506841/9753238068834113\ 189955252180188592635619584708*c_0101_5^8 - 5204865205508143390920178855797671998215607137607/97532380688341131\ 89955252180188592635619584708*c_0101_5^6 + 1211459706528566665882523651876869181713854388987/97532380688341131\ 89955252180188592635619584708*c_0101_5^4 - 88625556086373636858262377329453784782794197153/4876619034417056594\ 977626090094296317809792354*c_0101_5^2 + 3938198524073672567484593789659356417636445846/24383095172085282974\ 88813045047148158904896177, c_0101_3 + 3530769586953580790678295389816954051586299080/2438309517208\ 528297488813045047148158904896177*c_0101_5^29 - 163813361766630970262189636826833287732534693068/243830951720852829\ 7488813045047148158904896177*c_0101_5^27 + 2301873132077396143131442500967349474741242730316/24383095172085282\ 97488813045047148158904896177*c_0101_5^25 - 17147968653013902592614968905283459721676133894424/2438309517208528\ 297488813045047148158904896177*c_0101_5^23 + 145798519592967864189277433903057452770246696178479/487661903441705\ 6594977626090094296317809792354*c_0101_5^21 - 723933282299678264667213517616185086028125861360881/975323806883411\ 3189955252180188592635619584708*c_0101_5^19 + 1068978330189488703550122953027797650644485073116193/97532380688341\ 13189955252180188592635619584708*c_0101_5^17 - 970136096748656710773358544434231165192538963516049/975323806883411\ 3189955252180188592635619584708*c_0101_5^15 + 297618076668640421146778311207088579311157352764069/487661903441705\ 6594977626090094296317809792354*c_0101_5^13 - 144055339352706866913475470856235600361026659017489/487661903441705\ 6594977626090094296317809792354*c_0101_5^11 + 115328281987307587777235202160350548032367022526695/975323806883411\ 3189955252180188592635619584708*c_0101_5^9 - 33794024198112575941815527652956491601003882956485/9753238068834113\ 189955252180188592635619584708*c_0101_5^7 + 6806490157325385154326714688588890291039230514223/97532380688341131\ 89955252180188592635619584708*c_0101_5^5 - 1030607661662814781258564335563531603473868128549/97532380688341131\ 89955252180188592635619584708*c_0101_5^3 + 25410638634753905267617799074979633630261479954/2438309517208528297\ 488813045047148158904896177*c_0101_5, c_0101_5^30 - 233/5*c_0101_5^28 + 3307/5*c_0101_5^26 - 49891/10*c_0101_5^24 + 346059/16*c_0101_5^22 - 4432291/80*c_0101_5^20 + 6868817/80*c_0101_5^18 - 3336659/40*c_0101_5^16 + 550803/10*c_0101_5^14 - 447437/16*c_0101_5^12 + 931447/80*c_0101_5^10 - 59517/16*c_0101_5^8 + 67109/80*c_0101_5^6 - 533/4*c_0101_5^4 + 78/5*c_0101_5^2 - 4/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB