Magma V2.19-8 Tue Aug 20 2013 16:18:05 on localhost [Seed = 2311591233] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2315 geometric_solution 5.70816277 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 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 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.059070937358 1.471887753204 0 3 3 0 0132 0132 3201 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 -2 0 2 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.390072024859 0.564129224632 0 4 5 0 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 1 1 0 -2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.247616962226 0.582551991702 1 1 5 4 2310 0132 1302 1302 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 2 -1 -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.215726057376 0.811734700650 5 2 3 6 2310 0132 2031 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 0 0 0 -1 0 1 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.090844156803 0.988837711926 3 6 4 2 2031 2310 3201 0132 0 0 0 0 0 0 0 0 -1 0 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 0 -1 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.090844156803 0.988837711926 6 6 4 5 1302 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422884634489 0.412408503102 ==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' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : 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' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : negation(d['c_0101_1']), '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_2']), 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0110_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(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_2, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 4924854182262942625583504554981591946366733/13962747653558696233061\ 8383069969978379595*c_0110_6^17 - 126975780509337679172274665504282\ 589646128/27925495307117392466123676613993995675919*c_0110_6^16 - 117339780109284185652607569728921629570632861/279254953071173924661\ 236766139939956759190*c_0110_6^15 + 26627658364817670031146254269537878982851389/1269340695778063293914\ 7125733633634398145*c_0110_6^14 - 151113258984032412638050450901924\ 8994773735871/279254953071173924661236766139939956759190*c_0110_6^1\ 3 + 1074858286789577797380307540186041084501000138/1396274765355869\ 62330618383069969978379595*c_0110_6^12 - 847184741686487558691712500552511817633285389/279254953071173924661\ 236766139939956759190*c_0110_6^11 - 15724890004829791282867630701697209127053493/5585099061423478493224\ 7353227987991351838*c_0110_6^10 + 339743272345966724222152921069471\ 7407709557927/279254953071173924661236766139939956759190*c_0110_6^9 + 1842657202726347287586188398147263384709341422/139627476535586962\ 330618383069969978379595*c_0110_6^8 + 975343368602982583335274671436474936351764081/279254953071173924661\ 236766139939956759190*c_0110_6^7 + 561826339106695298053414973392817296211910201/279254953071173924661\ 236766139939956759190*c_0110_6^6 - 305963966308776675888931094754843971809789167/279254953071173924661\ 236766139939956759190*c_0110_6^5 + 16938587738264479497978578591280877672288959/5585099061423478493224\ 7353227987991351838*c_0110_6^4 + 3250400409361594634676762084520542\ 12680558489/279254953071173924661236766139939956759190*c_0110_6^3 - 54228853340350997218268571929303003326180847/2792549530711739246612\ 36766139939956759190*c_0110_6^2 - 847700963237593473158503262513633\ 4145314583/279254953071173924661236766139939956759190*c_0110_6 - 57304321336062048970512592634222729331025071/2792549530711739246612\ 36766139939956759190, c_0011_0 - 1, c_0011_2 + 17788576446571031839225313140114390409/104329372255731229636\ 825690961372337519*c_0110_6^17 - 6817762773437936890690165993412262\ 733/104329372255731229636825690961372337519*c_0110_6^16 - 73183103418763142642129047967041090715/3477645741857707654560856365\ 3790779173*c_0110_6^15 + 1107871228997851509944242104003902593636/1\ 04329372255731229636825690961372337519*c_0110_6^14 - 2900794292627519091123319415319966057562/10432937225573122963682569\ 0961372337519*c_0110_6^13 + 414834895562436599623961980474672239019\ 3/104329372255731229636825690961372337519*c_0110_6^12 - 514559982820963756187375437739183828482/347764574185770765456085636\ 53790779173*c_0110_6^11 - 837356826746672179980046229244493291993/1\ 04329372255731229636825690961372337519*c_0110_6^10 + 5944288535606039209489169724578965894105/10432937225573122963682569\ 0961372337519*c_0110_6^9 + 5366801699806224064004057414816132448100\ /104329372255731229636825690961372337519*c_0110_6^8 - 2661746591899256592281503153448134503770/10432937225573122963682569\ 0961372337519*c_0110_6^7 - 1414183415407297516349180294945555853588\ /34776457418577076545608563653790779173*c_0110_6^6 - 3764687986897206653200495047616684603678/10432937225573122963682569\ 0961372337519*c_0110_6^5 - 387801254145449243107426256849781885362/\ 34776457418577076545608563653790779173*c_0110_6^4 + 638974427227064302447710565871583264811/104329372255731229636825690\ 961372337519*c_0110_6^3 + 111573527787586854189351552689728193964/3\ 4776457418577076545608563653790779173*c_0110_6^2 + 42089632895568819078435332933834589936/3477645741857707654560856365\ 3790779173*c_0110_6 - 81155504057802687791792028893767549595/104329\ 372255731229636825690961372337519, c_0011_5 - 4265022071433610279887747036517119545/2086587445114624592736\ 51381922744675038*c_0110_6^17 - 58483392414662035055654788703836644\ 61/104329372255731229636825690961372337519*c_0110_6^16 + 10038758410462578886193744531016620930/3477645741857707654560856365\ 3790779173*c_0110_6^15 - 47409049121857964790602221468624844873/104\ 329372255731229636825690961372337519*c_0110_6^14 - 164310584714617302995994492197861426999/208658744511462459273651381\ 922744675038*c_0110_6^13 + 1247367547077405271301462667128294028143\ /208658744511462459273651381922744675038*c_0110_6^12 - 912907097484529399160792480835740623031/695529148371541530912171273\ 07581558346*c_0110_6^11 + 953993130287172892822955418453673584511/2\ 08658744511462459273651381922744675038*c_0110_6^10 + 230776367827888613980873562576352510257/208658744511462459273651381\ 922744675038*c_0110_6^9 - 5980285578037817181510789010308223961173/\ 208658744511462459273651381922744675038*c_0110_6^8 - 1444239165011739730402550446766653634012/10432937225573122963682569\ 0961372337519*c_0110_6^7 + 2119022289041161120096064243537745876653\ /69552914837154153091217127307581558346*c_0110_6^6 + 3472036115250887540094107603700732063371/10432937225573122963682569\ 0961372337519*c_0110_6^5 + 668825304051528071731117678696185879759/\ 34776457418577076545608563653790779173*c_0110_6^4 + 283040577678021512767950247076300482765/104329372255731229636825690\ 961372337519*c_0110_6^3 - 168720519574582005411258712275924907902/3\ 4776457418577076545608563653790779173*c_0110_6^2 - 153405628113241782831428318009175973237/695529148371541530912171273\ 07581558346*c_0110_6 - 28007223746759362179957776276780528501/10432\ 9372255731229636825690961372337519, c_0011_6 - 25184493127992585918682987606144823813/208658744511462459273\ 651381922744675038*c_0110_6^17 - 3044900436315489514055862339048213\ 7085/208658744511462459273651381922744675038*c_0110_6^16 + 49019570632334473197251210736962687370/3477645741857707654560856365\ 3790779173*c_0110_6^15 - 546864143897404563311090270337948091967/10\ 4329372255731229636825690961372337519*c_0110_6^14 + 1984579344679482688206183968496992445157/20865874451146245927365138\ 1922744675038*c_0110_6^13 - 474799169736683059421520829058242061765\ /104329372255731229636825690961372337519*c_0110_6^12 - 594439379504608754604119503027090176289/347764574185770765456085636\ 53790779173*c_0110_6^11 + 389310032958639395224061354302655792723/1\ 04329372255731229636825690961372337519*c_0110_6^10 - 3742913985667916756339162146979846968337/10432937225573122963682569\ 0961372337519*c_0110_6^9 - 1044151233665362173399868427113905385691\ 0/104329372255731229636825690961372337519*c_0110_6^8 - 18449273904575791692977793338462895673429/2086587445114624592736513\ 81922744675038*c_0110_6^7 - 264604452394485039676284395743354891488\ 5/69552914837154153091217127307581558346*c_0110_6^6 - 906078340087166375762405391616711496825/208658744511462459273651381\ 922744675038*c_0110_6^5 + 450021514299373772197962806719003769943/3\ 4776457418577076545608563653790779173*c_0110_6^4 + 868028645576315586091870812972368925667/104329372255731229636825690\ 961372337519*c_0110_6^3 + 20339910495115991243541763391918068724/34\ 776457418577076545608563653790779173*c_0110_6^2 + 8272844356803122358036540498477308241/69552914837154153091217127307\ 581558346*c_0110_6 - 85549733252254415945267066234253662743/2086587\ 44511462459273651381922744675038, c_0101_0 - 52141064148012110952308998164248668370/104329372255731229636\ 825690961372337519*c_0110_6^17 - 6129473697541229378619653807135986\ 7077/208658744511462459273651381922744675038*c_0110_6^16 + 209775635556692903377250311426369351494/347764574185770765456085636\ 53790779173*c_0110_6^15 - 2639384717197493802490272107271019519480/\ 104329372255731229636825690961372337519*c_0110_6^14 + 5745653606925185441642116103136424039597/10432937225573122963682569\ 0961372337519*c_0110_6^13 - 112933326853461416658880327378958097547\ 91/208658744511462459273651381922744675038*c_0110_6^12 - 2204647046590934742697141939894410301897/69552914837154153091217127\ 307581558346*c_0110_6^11 + 4717876756595085849320097985305175683269\ /208658744511462459273651381922744675038*c_0110_6^10 - 31425004184262515682403081122772346488229/2086587445114624592736513\ 81922744675038*c_0110_6^9 - 641578201436433629474545234423690115639\ 57/208658744511462459273651381922744675038*c_0110_6^8 - 36656471874858513756297505492981459968893/2086587445114624592736513\ 81922744675038*c_0110_6^7 + 76696077706353771063450876196197637282/\ 34776457418577076545608563653790779173*c_0110_6^6 + 19461046809649117222390234218008477942447/2086587445114624592736513\ 81922744675038*c_0110_6^5 + 262876469687971701554473678225731101616\ 6/34776457418577076545608563653790779173*c_0110_6^4 + 1546130993992376892630857959429781926940/10432937225573122963682569\ 0961372337519*c_0110_6^3 - 228468671764220814301667728607163012140/\ 34776457418577076545608563653790779173*c_0110_6^2 - 218652797285348794367334396703481765611/347764574185770765456085636\ 53790779173*c_0110_6 - 163789872541847782534903753014626569565/2086\ 58744511462459273651381922744675038, c_0101_1 - 64982076969535545802461360440434052203/104329372255731229636\ 825690961372337519*c_0110_6^17 - 5575746229364799539145875622520420\ 3013/208658744511462459273651381922744675038*c_0110_6^16 + 258044852885567146689108563128494312064/347764574185770765456085636\ 53790779173*c_0110_6^15 - 3426557944079848579604213984090396076947/\ 104329372255731229636825690961372337519*c_0110_6^14 + 7877391818791036827861445850310950303765/10432937225573122963682569\ 0961372337519*c_0110_6^13 - 179230359249676401128065309195953406628\ 83/208658744511462459273651381922744675038*c_0110_6^12 - 918348258519762592650352475025912248155/695529148371541530912171273\ 07581558346*c_0110_6^11 + 4447660860568904117015838820877246693923/\ 208658744511462459273651381922744675038*c_0110_6^10 - 43140222126413166345876449926041395017105/2086587445114624592736513\ 81922744675038*c_0110_6^9 - 721326121652655505863752907473580208745\ 59/208658744511462459273651381922744675038*c_0110_6^8 - 42742038608777982233326133502348292271863/2086587445114624592736513\ 81922744675038*c_0110_6^7 - 246436120631788835494714323788937302638\ 4/34776457418577076545608563653790779173*c_0110_6^6 + 9375128718695922462102259866753576932251/20865874451146245927365138\ 1922744675038*c_0110_6^5 + 2072966997038442727913511179684688884675\ /34776457418577076545608563653790779173*c_0110_6^4 + 1428183332558253198247489624122163286704/10432937225573122963682569\ 0961372337519*c_0110_6^3 + 75630580845558539083303530090141130672/3\ 4776457418577076545608563653790779173*c_0110_6^2 - 105079008155486068648489509392650725461/347764574185770765456085636\ 53790779173*c_0110_6 - 124882386493057962222960216565000564411/2086\ 58744511462459273651381922744675038, c_0110_6^18 + c_0110_6^17 - 153/13*c_0110_6^16 + 596/13*c_0110_6^15 - 1169/13*c_0110_6^14 + 830/13*c_0110_6^13 + 1431/13*c_0110_6^12 - 407/13*c_0110_6^11 + 3971/13*c_0110_6^10 + 9683/13*c_0110_6^9 + 8030/13*c_0110_6^8 + 3006/13*c_0110_6^7 - 803/13*c_0110_6^6 - 1971/13*c_0110_6^5 - 838/13*c_0110_6^4 - 24/13*c_0110_6^3 + 105/13*c_0110_6^2 + 53/13*c_0110_6 - 3/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB