Magma V2.19-8 Tue Aug 20 2013 16:16:20 on localhost [Seed = 3920131340] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0614 geometric_solution 4.61827594 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 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 1 -1 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 1.937517822942 0.516701581608 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 -1 0 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 -1 1 0 1 0 -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.356257421362 0.889479176597 4 1 3 3 0132 0132 1302 2031 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 1 0 -1 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.355402280227 0.366487982594 2 2 4 1 2031 1302 2310 0132 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 1 0 -1 0 0 -1 1 -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.355402280227 0.366487982594 2 3 5 5 0132 3201 2310 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 -1 1 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.944986354811 1.857628783765 6 4 4 6 0132 3201 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 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.053838525766 0.316336576681 5 5 6 6 0132 2310 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 3.367770082156 3.220518706530 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 598246576899097472074795225155706021/527516742364057418281594525053\ 2897*c_0101_6^17 - 817522689458207933836020163290835485/75359534623\ 4367740402277892933271*c_0101_6^16 - 19598795592427686951946950529148832593/5275167423640574182815945250\ 532897*c_0101_6^15 - 25666329977361793838708766909431518535/5275167\ 423640574182815945250532897*c_0101_6^14 + 9955254696856555875460398455737286646/52751674236405741828159452505\ 32897*c_0101_6^13 + 6244709625944131488025844469232664148/753595346\ 234367740402277892933271*c_0101_6^12 + 17487227493156763145080768251418769350/5275167423640574182815945250\ 532897*c_0101_6^11 + 126323331817420474695661918449094974651/527516\ 7423640574182815945250532897*c_0101_6^10 - 217249807561004163999403766955446926614/527516742364057418281594525\ 0532897*c_0101_6^9 + 119843390424782649813844407205621520524/527516\ 7423640574182815945250532897*c_0101_6^8 - 796635441637024573077500039988292929/753595346234367740402277892933\ 271*c_0101_6^7 - 93067662481424313053379357458194564210/52751674236\ 40574182815945250532897*c_0101_6^6 + 85248649632492570640666593590593151636/5275167423640574182815945250\ 532897*c_0101_6^5 - 39228628869189678267948092987482390239/52751674\ 23640574182815945250532897*c_0101_6^4 + 2500844434273386443922951796331914595/75359534623436774040227789293\ 3271*c_0101_6^3 - 5086926826397893011456907605912172334/52751674236\ 40574182815945250532897*c_0101_6^2 + 1019685546694790828016605220547581332/52751674236405741828159452505\ 32897*c_0101_6 - 219600746853844606373691151070639862/5275167423640\ 574182815945250532897, c_0011_0 - 1, c_0011_3 - 95734058800408026920554857934385/742981327273320307438865528\ 24407*c_0101_6^17 - 135576792138397521983280785746953/1061401896104\ 7432963412364689201*c_0101_6^16 - 347232893046063189683108635388879\ 6/74298132727332030743886552824407*c_0101_6^15 - 5384802179705553945808358998260575/74298132727332030743886552824407\ *c_0101_6^14 - 601524955561567906705728528331607/742981327273320307\ 43886552824407*c_0101_6^13 + 123191385999540414458168198283371/1516\ 288423006776137630337812743*c_0101_6^12 + 4087319172480054334494612819311099/74298132727332030743886552824407\ *c_0101_6^11 + 21544256564467294351919959965466738/7429813272733203\ 0743886552824407*c_0101_6^10 - 26566111258918202967706151018069311/\ 74298132727332030743886552824407*c_0101_6^9 + 12148980711664113763792634744953556/7429813272733203074388655282440\ 7*c_0101_6^8 + 590784591006302666105179190949513/106140189610474329\ 63412364689201*c_0101_6^7 - 13642342837838313154619411240568750/742\ 98132727332030743886552824407*c_0101_6^6 + 8924335439075684361624375738927063/74298132727332030743886552824407\ *c_0101_6^5 - 3315682580995259184877327599177976/742981327273320307\ 43886552824407*c_0101_6^4 + 160893889026970505546964894835339/10614\ 018961047432963412364689201*c_0101_6^3 - 531998080415173884222052742354233/74298132727332030743886552824407*\ c_0101_6^2 + 109799010725090020797449816867290/74298132727332030743\ 886552824407*c_0101_6 - 38873953837553373857650936999860/7429813272\ 7332030743886552824407, c_0011_5 + 1465718635323849757739681806/1073532816936121468940261423*c_\ 0101_6^17 + 302225260551417991683256940/21908832998696356508984927*\ c_0101_6^16 + 56219136641887714989512130719/10735328169361214689402\ 61423*c_0101_6^15 + 95340280811763526377659693603/10735328169361214\ 68940261423*c_0101_6^14 + 34251509684042638095969620824/10735328169\ 36121468940261423*c_0101_6^13 - 11386080895281960006302890305/15336\ 1830990874495562894489*c_0101_6^12 - 90514221704511974777930354726/1073532816936121468940261423*c_0101_6\ ^11 - 372570264667464604171605003706/1073532816936121468940261423*c\ _0101_6^10 + 330313830663864826164499842461/10735328169361214689402\ 61423*c_0101_6^9 - 165166637469547330907541830496/10735328169361214\ 68940261423*c_0101_6^8 + 2214493525277665573234294818/1533618309908\ 74495562894489*c_0101_6^7 + 168590570887452189937058077164/10735328\ 16936121468940261423*c_0101_6^6 - 113451627319807738655328057336/10\ 73532816936121468940261423*c_0101_6^5 + 79124869414292651304573985020/1073532816936121468940261423*c_0101_6\ ^4 - 5972717735408161113570627497/153361830990874495562894489*c_010\ 1_6^3 + 10692897307482812008080785993/1073532816936121468940261423*\ c_0101_6^2 - 1229652814405199677943927482/1073532816936121468940261\ 423*c_0101_6 + 745568134295718777141734560/107353281693612146894026\ 1423, c_0101_0 - 17253764586689452200100135187904/106140189610474329634123646\ 89201*c_0101_6^17 - 26688315375503776148207296313156/15162884230067\ 76137630337812743*c_0101_6^16 - 782846508011410459600041531727864/1\ 0614018961047432963412364689201*c_0101_6^15 - 1547353592051449119980291150882458/10614018961047432963412364689201\ *c_0101_6^14 - 1000214029867203669354950049482185/10614018961047432\ 963412364689201*c_0101_6^13 + 147743248736286213703143052988578/151\ 6288423006776137630337812743*c_0101_6^12 + 1902547475221263314053584663293816/10614018961047432963412364689201\ *c_0101_6^11 + 4761220734696416093901662463639977/10614018961047432\ 963412364689201*c_0101_6^10 - 1211969681240874872356200463269548/10\ 614018961047432963412364689201*c_0101_6^9 - 2185585862852539052155218868555135/10614018961047432963412364689201\ *c_0101_6^8 + 290507202526441676957076666536579/1516288423006776137\ 630337812743*c_0101_6^7 - 1710279472225550891737807836167441/106140\ 18961047432963412364689201*c_0101_6^6 - 664810500751166790199627328712309/10614018961047432963412364689201*\ c_0101_6^5 + 718037383352171007408164124159008/10614018961047432963\ 412364689201*c_0101_6^4 - 3254604320619165490420507941020/216612631\ 858110876804333973249*c_0101_6^3 + 77218109857619781471696479565586/10614018961047432963412364689201*c\ _0101_6^2 - 26897415396963932092873611743130/1061401896104743296341\ 2364689201*c_0101_6 - 9036281283823757628716071525312/1061401896104\ 7432963412364689201, c_0101_1 + 208452376454256652439833886758607/74298132727332030743886552\ 824407*c_0101_6^17 + 313708103124947662447501459004120/106140189610\ 47432963412364689201*c_0101_6^16 + 8838150353152048941140854487213713/74298132727332030743886552824407\ *c_0101_6^15 + 16340637427404337989701286796304018/7429813272733203\ 0743886552824407*c_0101_6^14 + 8166321400901256606480661146810073/7\ 4298132727332030743886552824407*c_0101_6^13 - 275861050917424198629537316945411/1516288423006776137630337812743*c\ _0101_6^12 - 18829127876189413852593568444393919/742981327273320307\ 43886552824407*c_0101_6^11 - 53559426106499838243082172500739689/74\ 298132727332030743886552824407*c_0101_6^10 + 29045902966885933154936560937558526/7429813272733203074388655282440\ 7*c_0101_6^9 + 12135442648828436565084747600998493/7429813272733203\ 0743886552824407*c_0101_6^8 - 3129204414910704727081871714743473/10\ 614018961047432963412364689201*c_0101_6^7 + 24459101879331048437751612507162473/7429813272733203074388655282440\ 7*c_0101_6^6 + 416900358403892244769716617524901/742981327273320307\ 43886552824407*c_0101_6^5 - 4626675771924729597754912575313539/7429\ 8132727332030743886552824407*c_0101_6^4 + 134756850812534156724322528928832/10614018961047432963412364689201*\ c_0101_6^3 - 475222924035715997460576117558945/74298132727332030743\ 886552824407*c_0101_6^2 + 204026958060262812119935133954661/7429813\ 2727332030743886552824407*c_0101_6 + 29159363798372602782245142918858/74298132727332030743886552824407, c_0101_4 - 1154717272426195819178553118/1073532816936121468940261423*c_\ 0101_6^17 - 237764146427934332416855256/21908832998696356508984927*\ c_0101_6^16 - 44275192269521364401506367063/10735328169361214689402\ 61423*c_0101_6^15 - 75841229127108132963839132655/10735328169361214\ 68940261423*c_0101_6^14 - 29995210235573332133894863853/10735328169\ 36121468940261423*c_0101_6^13 + 8608889237160814094626603506/153361\ 830990874495562894489*c_0101_6^12 + 79936705355082283722347361127/1073532816936121468940261423*c_0101_6\ ^11 + 308278724032186556767937961463/1073532816936121468940261423*c\ _0101_6^10 - 263842641617935236541906634281/10735328169361214689402\ 61423*c_0101_6^9 + 157944534457299837737044462071/10735328169361214\ 68940261423*c_0101_6^8 - 12805606224618686001516893789/153361830990\ 874495562894489*c_0101_6^7 - 97050849573811653186460403327/10735328\ 16936121468940261423*c_0101_6^6 + 96383214873902072006060042857/107\ 3532816936121468940261423*c_0101_6^5 - 96761254111163456184993639918/1073532816936121468940261423*c_0101_6\ ^4 + 8869372844030499879884336933/153361830990874495562894489*c_010\ 1_6^3 - 16577857118938734383668484489/1073532816936121468940261423*\ c_0101_6^2 + 4650950628750888835107815347/1073532816936121468940261\ 423*c_0101_6 - 1716450318218464992518063201/10735328169361214689402\ 61423, c_0101_6^18 + 127/13*c_0101_6^17 + 453/13*c_0101_6^16 + 51*c_0101_6^15 - 30/13*c_0101_6^14 - 862/13*c_0101_6^13 - 502/13*c_0101_6^12 - 2895/13*c_0101_6^11 + 4053/13*c_0101_6^10 - 2120/13*c_0101_6^9 - 8*c_0101_6^8 + 1868/13*c_0101_6^7 - 1487/13*c_0101_6^6 + 699/13*c_0101_6^5 - 310/13*c_0101_6^4 + 107/13*c_0101_6^3 - 21/13*c_0101_6^2 + 6/13*c_0101_6 - 1/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB