Magma V2.19-8 Tue Aug 20 2013 16:19:14 on localhost [Seed = 357861394] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3345 geometric_solution 6.49185404 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.929479693842 1.164499271598 0 3 5 4 0132 0132 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 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.590611027844 0.795743199155 3 0 4 5 2310 0132 3201 2310 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 0 0 0 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.590611027844 0.795743199155 6 1 2 6 0132 0132 3201 3201 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 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.134715176754 0.626258502094 2 4 1 4 2310 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.694245010977 0.515261186807 2 6 6 1 3201 2310 1023 0132 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 0 0 0 -1 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 0.556715708030 0.424440916272 3 3 5 5 0132 2310 1023 3201 0 0 0 0 0 0 0 0 0 0 -1 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 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 1.156070067804 1.198931049819 ==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' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : negation(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' : 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' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_0']), '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 54937430531255057440533998632476667049710719/3647738011092019020612\ 5500022869539325198*c_0101_6^22 + 245567122767909225072079488373543\ 056150667264/18238690055460095103062750011434769662599*c_0101_6^21 - 137543337258791299405163130059130589203481177/364773801109201902061\ 25500022869539325198*c_0101_6^20 - 19528788667086093281093531729470394660331463543/1459095204436807608\ 24502000091478157300792*c_0101_6^19 + 25918725101801904652543618638429534600729690955/1459095204436807608\ 24502000091478157300792*c_0101_6^18 + 69646222773283240856494553415185454470723643055/1459095204436807608\ 24502000091478157300792*c_0101_6^17 - 23038921655221367470749119451874581811518548711/2084421720624010868\ 9214571441639736757256*c_0101_6^16 - 87363891890862981081721093795482256388879012911/1459095204436807608\ 24502000091478157300792*c_0101_6^15 + 116137747590694525134465479702342324764882095563/364773801109201902\ 06125500022869539325198*c_0101_6^14 - 66676552887393416651038725344598989798139351067/1459095204436807608\ 24502000091478157300792*c_0101_6^13 - 379386723945860440677396839862421035328777904089/729547602218403804\ 12251000045739078650396*c_0101_6^12 + 42798544945367485409339482233948498487246214358/1823869005546009510\ 3062750011434769662599*c_0101_6^11 + 760348124748633273152830167593680472823840801941/145909520443680760\ 824502000091478157300792*c_0101_6^10 - 467302331948416219604967735292513225473767230909/145909520443680760\ 824502000091478157300792*c_0101_6^9 - 239955226136435949445948814503485372695808721353/729547602218403804\ 12251000045739078650396*c_0101_6^8 + 343638793145901002410651850025374690690690274535/145909520443680760\ 824502000091478157300792*c_0101_6^7 + 187099688304531920034329191495964883128662692077/145909520443680760\ 824502000091478157300792*c_0101_6^6 - 21687982177976387884550000606918457809291012835/2084421720624010868\ 9214571441639736757256*c_0101_6^5 - 2827913591358019877649604761959698330999372129/10422108603120054344\ 607285720819868378628*c_0101_6^4 + 40420265825049579903543674457132359480119555697/1459095204436807608\ 24502000091478157300792*c_0101_6^3 + 1473287076379154737312832452082379144632551077/14590952044368076082\ 4502000091478157300792*c_0101_6^2 - 5395059156584104753558494925108150249645657783/14590952044368076082\ 4502000091478157300792*c_0101_6 + 467355969578897210317194218852072\ 273428890667/72954760221840380412251000045739078650396, c_0011_0 - 1, c_0011_4 - 4799670583572072556625585185684648710750/6059365466930264153\ 8414451865231792899*c_0101_6^22 + 416881556659201231661375155845000\ 69061324/60593654669302641538414451865231792899*c_0101_6^21 - 2227799816031438663689961931739129240498/60593654669302641538414451\ 865231792899*c_0101_6^20 - 8419286271914629713202100094741865820725\ 59/121187309338605283076828903730463585798*c_0101_6^19 + 931964260788660522598768430783036869980437/121187309338605283076828\ 903730463585798*c_0101_6^18 + 3143970145996400297727077073314466238\ 811661/121187309338605283076828903730463585798*c_0101_6^17 - 6233941435387821619525671173017263371448991/12118730933860528307682\ 8903730463585798*c_0101_6^16 - 239227690676196138936354286133406389\ 6928472/60593654669302641538414451865231792899*c_0101_6^15 + 9296856524938480850029937471957446396922938/60593654669302641538414\ 451865231792899*c_0101_6^14 + 2733710509167007427474944192344579931\ 65227/121187309338605283076828903730463585798*c_0101_6^13 - 31063896441133900558106074557588009983682891/1211873093386052830768\ 28903730463585798*c_0101_6^12 + 93980157811561685112608522540985159\ 37797879/121187309338605283076828903730463585798*c_0101_6^11 + 31636539508992955405353302388191223203367301/1211873093386052830768\ 28903730463585798*c_0101_6^10 - 14618171325600735292508134202440355\ 625496551/121187309338605283076828903730463585798*c_0101_6^9 - 20226846151421557731825291902498105516514231/1211873093386052830768\ 28903730463585798*c_0101_6^8 + 112462443760068115906664195103213229\ 08826957/121187309338605283076828903730463585798*c_0101_6^7 + 8005838647004449121272487523510733101951311/12118730933860528307682\ 8903730463585798*c_0101_6^6 - 2552004765912651395613117284979968777\ 021626/60593654669302641538414451865231792899*c_0101_6^5 - 881513838759870846982133227546646516134258/605936546693026415384144\ 51865231792899*c_0101_6^4 + 139490616053377626523366186524268968373\ 0309/121187309338605283076828903730463585798*c_0101_6^3 + 51754302742772546069835783455482072140074/6059365466930264153841445\ 1865231792899*c_0101_6^2 - 9577104836415770903697824266465633234284\ 9/60593654669302641538414451865231792899*c_0101_6 + 15530285902155572236552392483753149795455/6059365466930264153841445\ 1865231792899, c_0101_0 + 30523213072399190641731327844286792374887/121187309338605283\ 076828903730463585798*c_0101_6^22 - 265135913529485417832474201321073584279283/121187309338605283076828\ 903730463585798*c_0101_6^21 + 7042354087951990528357435962874323525\ 390/60593654669302641538414451865231792899*c_0101_6^20 + 10719068271317579543238961769692575816614127/4847492373544211323073\ 15614921854343192*c_0101_6^19 - 59357336555075363868823522290005817\ 59812815/242374618677210566153657807460927171596*c_0101_6^18 - 40070212209835975443029704738662042659684197/4847492373544211323073\ 15614921854343192*c_0101_6^17 + 39754357226212038661524505274899689\ 630284651/242374618677210566153657807460927171596*c_0101_6^16 + 61010685242169660600972215519784729959443181/4847492373544211323073\ 15614921854343192*c_0101_6^15 - 23747118450879701064397701067171694\ 1499715393/484749237354421132307315614921854343192*c_0101_6^14 - 386631749028189499685849147986108204523609/605936546693026415384144\ 51865231792899*c_0101_6^13 + 19859525199325537266843890298141251670\ 6416477/242374618677210566153657807460927171596*c_0101_6^12 - 60767775383706887579868911221009679497091223/2423746186772105661536\ 57807460927171596*c_0101_6^11 - 40470512893441156306671660325970672\ 3233239219/484749237354421132307315614921854343192*c_0101_6^10 + 23670150779175448463689913808065438827504949/6059365466930264153841\ 4451865231792899*c_0101_6^9 + 1292630474395107349782640608354054395\ 92554187/242374618677210566153657807460927171596*c_0101_6^8 - 146162046120422758256702659258554236702812765/484749237354421132307\ 315614921854343192*c_0101_6^7 - 12747266006270238097992264146351956\ 153203371/60593654669302641538414451865231792899*c_0101_6^6 + 66589303244582044400809307212193024696678797/4847492373544211323073\ 15614921854343192*c_0101_6^5 + 222377215202064718925719453804390732\ 45193941/484749237354421132307315614921854343192*c_0101_6^4 - 9138593228006665800935736514709785941486529/24237461867721056615365\ 7807460927171596*c_0101_6^3 - 1207148364218946187277973920915702559\ 983771/484749237354421132307315614921854343192*c_0101_6^2 + 1261100604979480597573030271334065040775109/24237461867721056615365\ 7807460927171596*c_0101_6 - 524953470891058368123657456421483189722\ 45/60593654669302641538414451865231792899, c_0101_1 - 10873584960706138186577232620470069358571/242374618677210566\ 153657807460927171596*c_0101_6^22 + 95623206351737852581959842273366987765513/2423746186772105661536578\ 07460927171596*c_0101_6^21 - 72910996140839363933846213187563515199\ 97/121187309338605283076828903730463585798*c_0101_6^20 - 3834045015505247427453229358545872567122819/96949847470884226461463\ 1229843708686384*c_0101_6^19 + 576459516181393595793110987006698046\ 618175/121187309338605283076828903730463585798*c_0101_6^18 + 14030170487001642605970170502596806329787817/9694984747088422646146\ 31229843708686384*c_0101_6^17 - 74507555070392355031587542588957080\ 55102873/242374618677210566153657807460927171596*c_0101_6^16 - 19760902126013770272104704615004017651951369/9694984747088422646146\ 31229843708686384*c_0101_6^15 + 87430870289620184533232623547837418\ 086236107/969498474708842264614631229843708686384*c_0101_6^14 - 2449132642629523780527237269384239013537805/48474923735442113230731\ 5614921854343192*c_0101_6^13 - 722851779081440074107305416818958421\ 62427623/484749237354421132307315614921854343192*c_0101_6^12 + 26488066843281037670800263214849887388941221/4847492373544211323073\ 15614921854343192*c_0101_6^11 + 14645267633329068585173647018161127\ 6223554747/969498474708842264614631229843708686384*c_0101_6^10 - 38318340945547187233974489559934664810006109/4847492373544211323073\ 15614921854343192*c_0101_6^9 - 468388385070554355595858958972061949\ 15063389/484749237354421132307315614921854343192*c_0101_6^8 + 57313065270597973462556815496373126146712133/9694984747088422646146\ 31229843708686384*c_0101_6^7 + 186708104922229767011949053097441954\ 16174669/484749237354421132307315614921854343192*c_0101_6^6 - 25466854205973263454515359389291609136095653/9694984747088422646146\ 31229843708686384*c_0101_6^5 - 833025695965167014759950244006256876\ 0052395/969498474708842264614631229843708686384*c_0101_6^4 + 1701581663513572560713488558917542462909433/24237461867721056615365\ 7807460927171596*c_0101_6^3 + 5085977151100030730303792000093492830\ 49471/969498474708842264614631229843708686384*c_0101_6^2 - 228450994464214197243962631287986476031249/242374618677210566153657\ 807460927171596*c_0101_6 + 8862809817162545164949624887770242823543\ /60593654669302641538414451865231792899, c_0101_2 + 34806807556844106588781450571747815505751/242374618677210566\ 153657807460927171596*c_0101_6^22 - 301797431801051803870037703418935703710037/242374618677210566153657\ 807460927171596*c_0101_6^21 + 5574419091205803839055342514355390392\ 049/121187309338605283076828903730463585798*c_0101_6^20 + 12229629711137555026888807574543477433362735/9694984747088422646146\ 31229843708686384*c_0101_6^19 - 83401446998159213523540396309981405\ 6921076/60593654669302641538414451865231792899*c_0101_6^18 - 45955910667240737635381185273125350888704741/9694984747088422646146\ 31229843708686384*c_0101_6^17 + 22497289557517275553468105476206510\ 945632755/242374618677210566153657807460927171596*c_0101_6^16 + 71169430284829294621140863639539798081610901/9694984747088422646146\ 31229843708686384*c_0101_6^15 - 26997652463828189728783059397656160\ 3747575943/969498474708842264614631229843708686384*c_0101_6^14 - 4022559281002164249514681181141292079259455/48474923735442113230731\ 5614921854343192*c_0101_6^13 + 226794419717115306000559686205311060\ 102492167/484749237354421132307315614921854343192*c_0101_6^12 - 65646488842543971748568542594596069485145253/4847492373544211323073\ 15614921854343192*c_0101_6^11 - 46462202631053057044236745450204254\ 7278228415/969498474708842264614631229843708686384*c_0101_6^10 + 104288722257956421707986617144558647641170789/484749237354421132307\ 315614921854343192*c_0101_6^9 + 14943060829456033482131597414275440\ 8377514845/484749237354421132307315614921854343192*c_0101_6^8 - 161838264567473399044881359668666204337862145/969498474708842264614\ 631229843708686384*c_0101_6^7 - 59553560178097440753770091852815738\ 414214941/484749237354421132307315614921854343192*c_0101_6^6 + 73846260094995142632375946493655064279673057/9694984747088422646146\ 31229843708686384*c_0101_6^5 + 265110086564920082522256863966592603\ 41479799/969498474708842264614631229843708686384*c_0101_6^4 - 5071226111501010939500485381035124365383465/24237461867721056615365\ 7807460927171596*c_0101_6^3 - 1649255975128025888334451926838419877\ 771171/969498474708842264614631229843708686384*c_0101_6^2 + 701584833950050943861574417744025966918273/242374618677210566153657\ 807460927171596*c_0101_6 - 2798648961573244772313358159044701167759\ 9/60593654669302641538414451865231792899, c_0101_3 + 29148619746816282838171424170769623914147/121187309338605283\ 076828903730463585798*c_0101_6^22 - 255086249405167476884523252192433391631273/121187309338605283076828\ 903730463585798*c_0101_6^21 + 1432627536029765464018801370700694564\ 2693/60593654669302641538414451865231792899*c_0101_6^20 + 10271537105142719468145482046388810059838331/4847492373544211323073\ 15614921854343192*c_0101_6^19 - 14966992277168204945873809282839539\ 28733596/60593654669302641538414451865231792899*c_0101_6^18 - 37938693248769883786566959133514435794429577/4847492373544211323073\ 15614921854343192*c_0101_6^17 + 19643516917128494926184594724535999\ 936990069/121187309338605283076828903730463585798*c_0101_6^16 + 55073142596662655633539129608125214343426677/4847492373544211323073\ 15614921854343192*c_0101_6^15 - 23242358627969719260610671660292562\ 7372137155/484749237354421132307315614921854343192*c_0101_6^14 + 3925666820033653966480207139870896306879917/24237461867721056615365\ 7807460927171596*c_0101_6^13 + 193051731899433121767996353266212267\ 695359781/242374618677210566153657807460927171596*c_0101_6^12 - 67713262190717361755331099291385831144440391/2423746186772105661536\ 57807460927171596*c_0101_6^11 - 39117154419429248714799485371754750\ 0401102099/484749237354421132307315614921854343192*c_0101_6^10 + 100743671057471402153694645812581717817116777/242374618677210566153\ 657807460927171596*c_0101_6^9 + 12429051847102505747671971618177204\ 3538487127/242374618677210566153657807460927171596*c_0101_6^8 - 153259389341202085880662051080746719842197589/484749237354421132307\ 315614921854343192*c_0101_6^7 - 48742942440987514064649618099032726\ 894549913/242374618677210566153657807460927171596*c_0101_6^6 + 69226156611186964749160485516705380792215129/4847492373544211323073\ 15614921854343192*c_0101_6^5 + 209915005263715145921521628248164719\ 65586715/484749237354421132307315614921854343192*c_0101_6^4 - 4706714286898293320192378894827830614741009/12118730933860528307682\ 8903730463585798*c_0101_6^3 - 1001893404057012510224202498200906439\ 651107/484749237354421132307315614921854343192*c_0101_6^2 + 320878115492386094488265483075178373244068/605936546693026415384144\ 51865231792899*c_0101_6 - 54314696998255552924913082523687281633241\ /60593654669302641538414451865231792899, c_0101_6^23 - 83/9*c_0101_6^22 + 46/9*c_0101_6^21 + 1051/12*c_0101_6^20 - 1298/9*c_0101_6^19 - 9955/36*c_0101_6^18 + 827*c_0101_6^17 + 5507/36*c_0101_6^16 - 79705/36*c_0101_6^15 + 18191/18*c_0101_6^14 + 58925/18*c_0101_6^13 - 49103/18*c_0101_6^12 - 100697/36*c_0101_6^11 + 59687/18*c_0101_6^10 + 23519/18*c_0101_6^9 - 83687/36*c_0101_6^8 - 3767/18*c_0101_6^7 + 11885/12*c_0101_6^6 - 3703/36*c_0101_6^5 - 247*c_0101_6^4 + 2459/36*c_0101_6^3 + 235/9*c_0101_6^2 - 128/9*c_0101_6 + 16/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB