Magma V2.19-8 Tue Aug 20 2013 16:16:43 on localhost [Seed = 3953817376] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1010 geometric_solution 4.89376413 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 0321 0132 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 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.623235835591 1.207971269831 0 2 0 3 0132 3201 0321 2310 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 -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.623235835591 1.207971269831 4 0 1 4 0132 0132 2310 1023 0 0 0 0 0 1 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.004103819426 0.325816307462 1 5 0 5 3201 0132 0132 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 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 1.313669827509 0.441077481184 2 4 4 2 0132 3201 2310 1023 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 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 2.019370221576 1.009868167164 6 3 6 3 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 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.901041966738 0.292374315077 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.603865614015 0.198103102666 ==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' : negation(d['1']), 's_2_1' : negation(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' : 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' : 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' : d['c_0101_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_0']), '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_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_3'], '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_6'], 'c_1001_4' : negation(d['c_0101_4']), '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' : d['c_0110_3'], 'c_1001_2' : d['c_0110_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0110_3'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_0110_3']), 'c_1010_0' : d['c_0110_3']})} 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_0101_0, c_0101_4, c_0101_5, c_0101_6, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 36475699636337671403757676763528633/1483660421593324064764362778952\ 6728*c_0110_3^30 - 1078760870146127145498923959370346403/1483660421\ 5933240647643627789526728*c_0110_3^28 - 1144423287546732938023658221095239142/18545755269916550809554534736\ 90841*c_0110_3^26 + 1438096734304349244718197543713346059/370915105\ 3983310161910906947381682*c_0110_3^24 + 284701355815371433476526204391427935653/148366042159332406476436277\ 89526728*c_0110_3^22 - 138281494623950020037461996840706104935/7418\ 302107966620323821813894763364*c_0110_3^20 - 462496887675461774236990838974633510947/185457552699165508095545347\ 3690841*c_0110_3^18 + 1924445025949409424848642676369554686146/1854\ 575526991655080955453473690841*c_0110_3^16 - 3866649328126149424258464475802609128503/18545755269916550809554534\ 73690841*c_0110_3^14 + 38927499505440297475975740987407121242895/14\ 836604215933240647643627789526728*c_0110_3^12 - 32605619885235551517703396755964793965991/1483660421593324064764362\ 7789526728*c_0110_3^10 + 4531923623658988837836929936754205514229/3\ 709151053983310161910906947381682*c_0110_3^8 - 1590779421656151529594877176731071295133/37091510539833101619109069\ 47381682*c_0110_3^6 + 625338107450073357013845349883489458035/74183\ 02107966620323821813894763364*c_0110_3^4 - 103408247408332930777047215747107000841/148366042159332406476436277\ 89526728*c_0110_3^2 + 257705024945933416747892058227522923/37091510\ 53983310161910906947381682, c_0011_0 - 1, c_0011_3 + 3245118898627557568178937693347399/1483660421593324064764362\ 7789526728*c_0110_3^31 + 95723359549024116644874984036814143/148366\ 04215933240647643627789526728*c_0110_3^29 + 100880024598395247390748525243790304/185457552699165508095545347369\ 0841*c_0110_3^27 - 72129704472333022344527633242410384/185457552699\ 1655080955453473690841*c_0110_3^25 - 25311601126123988366314667047294134275/1483660421593324064764362778\ 9526728*c_0110_3^23 + 3319047052496765860149251725307035900/1854575\ 526991655080955453473690841*c_0110_3^21 + 163947098727630827139195109524744056519/741830210796662032382181389\ 4763364*c_0110_3^19 - 697583128709609298894873305107460737699/74183\ 02107966620323821813894763364*c_0110_3^17 + 1424765376584469453108214001732702467139/74183021079666203238218138\ 94763364*c_0110_3^15 - 3648658576548671950438505066303816771483/148\ 36604215933240647643627789526728*c_0110_3^13 + 3122226977661408250357128079941315755305/14836604215933240647643627\ 789526728*c_0110_3^11 - 893859909394558604901896614318109615981/741\ 8302107966620323821813894763364*c_0110_3^9 + 328298678859101123741275957971535146959/741830210796662032382181389\ 4763364*c_0110_3^7 - 34968389027840115043109296397640084565/3709151\ 053983310161910906947381682*c_0110_3^5 + 13824811276502086111409301560801139817/1483660421593324064764362778\ 9526728*c_0110_3^3 - 35687602056381290253983905990858253/1854575526\ 991655080955453473690841*c_0110_3, c_0101_0 + 132176711003560703105796258754447/18545755269916550809554534\ 73690841*c_0110_3^30 + 7835853906875966467126349810922607/370915105\ 3983310161910906947381682*c_0110_3^28 + 66890775667760454011638600854468019/3709151053983310161910906947381\ 682*c_0110_3^26 - 36777605292335541530051654556322583/3709151053983\ 310161910906947381682*c_0110_3^24 - 1030927340886069849649522356739275376/18545755269916550809554534736\ 90841*c_0110_3^22 + 1866446314912026175704559099155748509/370915105\ 3983310161910906947381682*c_0110_3^20 + 26824288173500529049465267045694180421/3709151053983310161910906947\ 381682*c_0110_3^18 - 54869321943522047101479912658142565187/1854575\ 526991655080955453473690841*c_0110_3^16 + 218386883209495835913177832268327394419/370915105398331016191090694\ 7381682*c_0110_3^14 - 272893619753077004169198018393606146157/37091\ 51053983310161910906947381682*c_0110_3^12 + 113707800099352854760777558560194099616/185457552699165508095545347\ 3690841*c_0110_3^10 - 126223012586614166195781101744904929763/37091\ 51053983310161910906947381682*c_0110_3^8 + 22267098719331450393689706636668400828/1854575526991655080955453473\ 690841*c_0110_3^6 - 8925085550148801352266352941371920361/370915105\ 3983310161910906947381682*c_0110_3^4 + 770333803282233369166736964303779865/370915105398331016191090694738\ 1682*c_0110_3^2 - 1404514499805565726077415205798345/18545755269916\ 55080955453473690841, c_0101_4 - 6114738965563217278749713480958139/1483660421593324064764362\ 7789526728*c_0110_3^31 - 180447445149158077502301918391981117/14836\ 604215933240647643627789526728*c_0110_3^29 - 761429470461892366758842030858631893/741830210796662032382181389476\ 3364*c_0110_3^27 + 535731914861849855369214243589885779/74183021079\ 66620323821813894763364*c_0110_3^25 + 47737540726095479119860066962846303577/1483660421593324064764362778\ 9526728*c_0110_3^23 - 6179100241582547095873514130384853245/1854575\ 526991655080955453473690841*c_0110_3^21 - 154835277187293760048406849024758051073/370915105398331016191090694\ 7381682*c_0110_3^19 + 1310737131277080271920141445082503408245/7418\ 302107966620323821813894763364*c_0110_3^17 - 1331192906507770629768927769111822697209/37091510539833101619109069\ 47381682*c_0110_3^15 + 6767134784165556226091746986730183500755/148\ 36604215933240647643627789526728*c_0110_3^13 - 5725639745710352683776455267997615411565/14836604215933240647643627\ 789526728*c_0110_3^11 + 804382980529782879358564476341928435691/370\ 9151053983310161910906947381682*c_0110_3^9 - 570841159711931820636965437051277413027/741830210796662032382181389\ 4763364*c_0110_3^7 + 112880234812633537655415613602576928485/741830\ 2107966620323821813894763364*c_0110_3^5 - 17934636828375835275128030757764516857/1483660421593324064764362778\ 9526728*c_0110_3^3 - 22265409803856188949194787560170377/3709151053\ 983310161910906947381682*c_0110_3, c_0101_5 - 1353171028602044646530106858029395/1483660421593324064764362\ 7789526728*c_0110_3^31 - 40092099945116362705402850424316965/148366\ 04215933240647643627789526728*c_0110_3^29 - 170914952475892521144123024170648707/741830210796662032382181389476\ 3364*c_0110_3^27 + 96952575635389796761534305916985817/741830210796\ 6620323821813894763364*c_0110_3^25 + 10561487379767321507998453879637604837/1483660421593324064764362778\ 9526728*c_0110_3^23 - 2423343171050281458802184521383946517/3709151\ 053983310161910906947381682*c_0110_3^21 - 34365921671873555022652919983100354361/3709151053983310161910906947\ 381682*c_0110_3^19 + 281807601521771673343464276370261742255/741830\ 2107966620323821813894763364*c_0110_3^17 - 280393031214093259736695283459451529905/370915105398331016191090694\ 7381682*c_0110_3^15 + 1399553723238978679681354237160996316271/1483\ 6604215933240647643627789526728*c_0110_3^13 - 1163087821795119187967053099544136293725/14836604215933240647643627\ 789526728*c_0110_3^11 + 160665132053711020321482848413200091879/370\ 9151053983310161910906947381682*c_0110_3^9 - 112830532161167199067320259721895261565/741830210796662032382181389\ 4763364*c_0110_3^7 + 22758461526013975328901531975076052665/7418302\ 107966620323821813894763364*c_0110_3^5 - 4362380983722335904477700605395892045/14836604215933240647643627789\ 526728*c_0110_3^3 + 33580417763801597560223062484396727/37091510539\ 83310161910906947381682*c_0110_3, c_0101_6 + 696068961343716875503697988062864/18545755269916550809554534\ 73690841*c_0110_3^30 + 41046295130950635859610542158020683/37091510\ 53983310161910906947381682*c_0110_3^28 + 345643264441109324443456087504654317/370915105398331016191090694738\ 1682*c_0110_3^26 - 126477043075878258414301842446602592/18545755269\ 91655080955453473690841*c_0110_3^24 - 10862345524469173903321205981317188473/3709151053983310161910906947\ 381682*c_0110_3^22 + 11536540349913141965492420859755889981/3709151\ 053983310161910906947381682*c_0110_3^20 + 140725464497936421295764132016845843219/370915105398331016191090694\ 7381682*c_0110_3^18 - 300252910780448291871650356723775946413/18545\ 75526991655080955453473690841*c_0110_3^16 + 613789863501068506411961195184542538997/185457552699165508095545347\ 3690841*c_0110_3^14 - 1571236714932028269707120731398461928597/3709\ 151053983310161910906947381682*c_0110_3^12 + 670837836233081052795736209766004096510/185457552699165508095545347\ 3690841*c_0110_3^10 - 763994015685514291038057042403656884279/37091\ 51053983310161910906947381682*c_0110_3^8 + 138493061443157530684523271169190565702/185457552699165508095545347\ 3690841*c_0110_3^6 - 28559392697531136100686853548033266401/1854575\ 526991655080955453473690841*c_0110_3^4 + 5103297240417856900370646861558985247/37091510539833101619109069473\ 81682*c_0110_3^2 - 20992710377082506010328073808296531/185457552699\ 1655080955453473690841, c_0110_3^32 + 29*c_0110_3^30 + 234*c_0110_3^28 - 302*c_0110_3^26 - 7715*c_0110_3^24 + 12066*c_0110_3^22 + 97082*c_0110_3^20 - 480316*c_0110_3^18 + 1090594*c_0110_3^16 - 1555347*c_0110_3^14 + 1509763*c_0110_3^12 - 1014934*c_0110_3^10 + 464364*c_0110_3^8 - 137256*c_0110_3^6 + 23525*c_0110_3^4 - 1812*c_0110_3^2 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB