Magma V2.19-8 Tue Aug 20 2013 16:17:59 on localhost [Seed = 2901225578] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2212 geometric_solution 5.65890931 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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.393182888759 0.199672818798 2 0 3 0 0132 2310 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 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.584916425281 0.827123160469 1 4 3 5 0132 0132 3012 0132 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 -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 1.245123314032 1.408831712433 5 2 6 1 3201 1230 0132 0132 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 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 1.245123314032 1.408831712433 5 2 6 6 0132 0132 3201 0321 0 0 0 0 0 0 1 -1 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 0 0 0 0 0.876838754575 0.894262387612 4 6 2 3 0132 3201 0132 2310 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 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.324727268648 0.230972625108 4 4 5 3 2310 0321 2310 0132 0 0 0 0 0 1 0 -1 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.876838754575 0.894262387612 ==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' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : 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' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_3, c_0011_6, c_0101_0, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 6048922747746215433995191427545157671057/33562581457685539225513349\ 079706884570*c_0101_6^20 + 1039536784425435759437715569795573700361\ 9/11187527152561846408504449693235628190*c_0101_6^19 - 8558766987848006607053386110188507371363/12430585725068718231671610\ 77026180910*c_0101_6^18 - 84063600388766650951193984356068120555228\ 7/33562581457685539225513349079706884570*c_0101_6^17 - 369238532924690212096047338227098370730093/335625814576855392255133\ 4907970688457*c_0101_6^16 - 100007630295838979196941176667417517480\ 64963/33562581457685539225513349079706884570*c_0101_6^15 - 3475395630101631973750253361500089313890909/16781290728842769612756\ 674539853442285*c_0101_6^14 - 7292563843177712453426421905563850353\ 50449/5593763576280923204252224846617814095*c_0101_6^13 - 43776208644104569068046026219959494727806109/3356258145768553922551\ 3349079706884570*c_0101_6^12 - 148788340514916102034039908282519557\ 97721273/6712516291537107845102669815941376914*c_0101_6^11 - 3727294330916691183989377828570740208794664/55937635762809232042522\ 24846617814095*c_0101_6^10 + 48068795482645074620620726731411471501\ 8363/745835143504123093900296646215708546*c_0101_6^9 - 4206930408028638719137548660611350788124583/33562581457685539225513\ 349079706884570*c_0101_6^8 - 64756637447817743758533855194668629749\ 60707/16781290728842769612756674539853442285*c_0101_6^7 + 3512213496079405212908751923309587535475682/16781290728842769612756\ 674539853442285*c_0101_6^6 + 16528763071099929493982428639540492084\ 81649/11187527152561846408504449693235628190*c_0101_6^5 - 238323285527034687922051594631193508962257/186458785876030773475074\ 1615539271365*c_0101_6^4 - 5372491565966768307528046396514398024424\ 11/6712516291537107845102669815941376914*c_0101_6^3 + 30109114998357827883325042612057094627018/1678129072884276961275667\ 4539853442285*c_0101_6^2 + 1854486706684594174962377762936845970148\ 1/3356258145768553922551334907970688457*c_0101_6 - 32610605036266220471519949566979704979037/3356258145768553922551334\ 9079706884570, c_0011_0 - 1, c_0011_1 - 41694456869903802804871172760312782/186458785876030773475074\ 1615539271365*c_0101_6^20 - 58360766854855827053259328835487014/621\ 529286253435911583580538513090455*c_0101_6^19 + 575913417138931784604798215574163397/621529286253435911583580538513\ 090455*c_0101_6^18 + 4014394856614282153628100558805291427/18645878\ 58760307734750741615539271365*c_0101_6^17 + 4604266276560543180866337604093318079/37291757175206154695014832310\ 7854273*c_0101_6^16 + 49717408863013936353738272790580280183/186458\ 7858760307734750741615539271365*c_0101_6^15 + 16444771651619225687075302690914823438/1864587858760307734750741615\ 539271365*c_0101_6^14 + 15898960589372603386182766804813491368/6215\ 29286253435911583580538513090455*c_0101_6^13 + 248880069247898491911637488251339385724/186458785876030773475074161\ 5539271365*c_0101_6^12 + 60112606628090193202100107355056089410/372\ 917571752061546950148323107854273*c_0101_6^11 + 24684820564385210631086878428761286288/6215292862534359115835805385\ 13090455*c_0101_6^10 - 5293163987879381925751014524818794970/124305\ 857250687182316716107702618091*c_0101_6^9 + 5924184386361818954713476357877711123/18645878587603077347507416155\ 39271365*c_0101_6^8 + 65836509426656702379115857921061413409/186458\ 7858760307734750741615539271365*c_0101_6^7 - 23945783152536616789804758802825363534/1864587858760307734750741615\ 539271365*c_0101_6^6 - 10538067098470696202014747725716577759/62152\ 9286253435911583580538513090455*c_0101_6^5 + 8374906547345276452086181948927866787/62152928625343591158358053851\ 3090455*c_0101_6^4 + 2439282626326765435339467726373212350/37291757\ 1752061546950148323107854273*c_0101_6^3 - 2423887419392875622960951727517560236/18645878587603077347507416155\ 39271365*c_0101_6^2 - 326955295353557824845300089836975912/37291757\ 1752061546950148323107854273*c_0101_6 - 410157396071735993816150265124184578/186458785876030773475074161553\ 9271365, c_0011_3 + 296100058171065829331750373677107753/18645878587603077347507\ 41615539271365*c_0101_6^20 + 488713571779830642684859435764760411/6\ 21529286253435911583580538513090455*c_0101_6^19 - 3864172627146322938345498369721720848/62152928625343591158358053851\ 3090455*c_0101_6^18 - 38708617772376071692807895942911974673/186458\ 7858760307734750741615539271365*c_0101_6^17 - 34732929272383270533290682553769290948/3729175717520615469501483231\ 07854273*c_0101_6^16 - 455821857109780183729347654266213268052/1864\ 587858760307734750741615539271365*c_0101_6^15 - 255671028223524725337520059894414104387/186458785876030773475074161\ 5539271365*c_0101_6^14 - 60468304171787609503339283588143227357/621\ 529286253435911583580538513090455*c_0101_6^13 - 2094443032299152844819018820579995951086/18645878587603077347507416\ 15539271365*c_0101_6^12 - 644097365381865909283764927658555417696/3\ 72917571752061546950148323107854273*c_0101_6^11 - 190452619006806049399596890914350122487/621529286253435911583580538\ 513090455*c_0101_6^10 + 74650709572619641022160164351575637125/1243\ 05857250687182316716107702618091*c_0101_6^9 - 311858036673815699650767810048723768422/186458785876030773475074161\ 5539271365*c_0101_6^8 - 567403333820087728199698034744834439206/186\ 4587858760307734750741615539271365*c_0101_6^7 + 384490859729611420224043497214620813671/186458785876030773475074161\ 5539271365*c_0101_6^6 + 65048657917726545590731825541760595801/6215\ 29286253435911583580538513090455*c_0101_6^5 - 76246723551561760964902043910425907263/6215292862534359115835805385\ 13090455*c_0101_6^4 - 21280323737919400543780689393412039072/372917\ 571752061546950148323107854273*c_0101_6^3 + 21108083536504162091763318664829140294/1864587858760307734750741615\ 539271365*c_0101_6^2 + 1943005404868877683362462307046603513/372917\ 571752061546950148323107854273*c_0101_6 - 2796896831589161780189561866266071758/18645878587603077347507416155\ 39271365, c_0011_6 + 31869323379324106022936737607705023/186458785876030773475074\ 1615539271365*c_0101_6^20 + 76848499992730944759788637496435736/621\ 529286253435911583580538513090455*c_0101_6^19 - 332162154298351513854537681517009458/621529286253435911583580538513\ 090455*c_0101_6^18 - 7411716718627725902822219153655863578/18645878\ 58760307734750741615539271365*c_0101_6^17 - 4681571688927078151288355595638421841/37291757175206154695014832310\ 7854273*c_0101_6^16 - 83692540482434576923137133266799055272/186458\ 7858760307734750741615539271365*c_0101_6^15 - 86428814631047346476646617988352868642/1864587858760307734750741615\ 539271365*c_0101_6^14 + 5125063179732905761798029421681592468/62152\ 9286253435911583580538513090455*c_0101_6^13 - 307816629482670759604868523907266755936/186458785876030773475074161\ 5539271365*c_0101_6^12 - 151068600878918162981545141576890102160/37\ 2917571752061546950148323107854273*c_0101_6^11 - 73492511356211641320649130759451127707/6215292862534359115835805385\ 13090455*c_0101_6^10 + 22201018150995769642464801952439016614/12430\ 5857250687182316716107702618091*c_0101_6^9 - 65943161811605231025528278019713658827/1864587858760307734750741615\ 539271365*c_0101_6^8 - 198392186437281856444805182419147584051/1864\ 587858760307734750741615539271365*c_0101_6^7 + 103927990405673931739205664357347691191/186458785876030773475074161\ 5539271365*c_0101_6^6 + 20905782603404929233423183604076321946/6215\ 29286253435911583580538513090455*c_0101_6^5 - 20243946038092315426702602085937296508/6215292862534359115835805385\ 13090455*c_0101_6^4 - 4411101795330677760913363815789290722/3729175\ 71752061546950148323107854273*c_0101_6^3 + 7526497320459228645546649229442460114/18645878587603077347507416155\ 39271365*c_0101_6^2 + 415582450247358433842838700602651493/37291757\ 1752061546950148323107854273*c_0101_6 - 1354818805647685386275452406892227488/18645878587603077347507416155\ 39271365, c_0101_0 - 628153689755590419074636348790443992/18645878587603077347507\ 41615539271365*c_0101_6^20 - 1134293780444451419544057291409056764/\ 621529286253435911583580538513090455*c_0101_6^19 + 7777861930843907711168713864921407032/62152928625343591158358053851\ 3090455*c_0101_6^18 + 94318704906391388361365711675956386022/186458\ 7858760307734750741615539271365*c_0101_6^17 + 79688658091339358871682476418158851107/3729175717520615469501483231\ 07854273*c_0101_6^16 + 1121978699481015474299179576337583346033/186\ 4587858760307734750741615539271365*c_0101_6^15 + 900139961926224061306553556022475666393/186458785876030773475074161\ 5539271365*c_0101_6^14 + 147549318454717170843078062789205119353/62\ 1529286253435911583580538513090455*c_0101_6^13 + 4675292397219035210307605133029848540004/18645878587603077347507416\ 15539271365*c_0101_6^12 + 1754023235427949784021390107804676663521/\ 372917571752061546950148323107854273*c_0101_6^11 + 1056898680170959690600179608078730479383/62152928625343591158358053\ 8513090455*c_0101_6^10 - 173420647340849367399915036848463249423/12\ 4305857250687182316716107702618091*c_0101_6^9 + 236494705040199813866116315719035178653/186458785876030773475074161\ 5539271365*c_0101_6^8 + 1670508600401713436242587445319592148979/18\ 64587858760307734750741615539271365*c_0101_6^7 - 755587137266894621891695301073628853549/186458785876030773475074161\ 5539271365*c_0101_6^6 - 224497190687217512026475342186935080474/621\ 529286253435911583580538513090455*c_0101_6^5 + 163742476035279009805071911131390775092/621529286253435911583580538\ 513090455*c_0101_6^4 + 68023051711086237678424639614946847941/37291\ 7571752061546950148323107854273*c_0101_6^3 - 2884653868722025717587386724724103296/18645878587603077347507416155\ 39271365*c_0101_6^2 - 4618273916030479301449768132711080647/3729175\ 71752061546950148323107854273*c_0101_6 + 3690170792309876987401198295426749237/18645878587603077347507416155\ 39271365, c_0101_3 + c_0101_6, c_0101_6^21 + 5*c_0101_6^20 - 39*c_0101_6^19 - 133*c_0101_6^18 - 589*c_0101_6^17 - 1559*c_0101_6^16 - 895*c_0101_6^15 - 553*c_0101_6^14 - 7130*c_0101_6^13 - 11178*c_0101_6^12 - 1822*c_0101_6^11 + 4092*c_0101_6^10 - 1274*c_0101_6^9 - 2028*c_0101_6^8 + 1489*c_0101_6^7 + 634*c_0101_6^6 - 834*c_0101_6^5 - 332*c_0101_6^4 + 78*c_0101_6^3 + 27*c_0101_6^2 - 11*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB