Magma V2.19-8 Tue Aug 20 2013 16:17:35 on localhost [Seed = 1444399759] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1815 geometric_solution 5.47564965 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.458313250477 0.250570733022 0 3 0 3 0132 0132 2310 2310 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 -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.679807752263 0.918390771775 4 0 5 0 0132 2310 0132 0132 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 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.861878997260 0.667820038753 1 1 4 5 3201 0132 3012 1230 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 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.296995443865 1.435983701950 2 3 4 4 0132 1230 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 -1 1 0 0 -1 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.023054591754 1.047704441443 3 6 6 2 3012 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.810050546230 0.592747326321 6 5 5 6 3201 0132 1023 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 0 0 0 0 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.269503216388 0.382270364143 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : 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' : 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' : d['1'], 's_1_1' : 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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_2'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_0']), '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_2']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], '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' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : negation(d['c_0101_5'])})} 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_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 4864610472285001961226609941313676052501464/17847404556533603015540\ 4852788471841705129*c_0101_6^24 - 106253736993534684897219872814289\ 80378448525/356948091130672060310809705576943683410258*c_0101_6^23 - 173756955068754401387034193928697265413892987/178474045565336030155\ 404852788471841705129*c_0101_6^22 - 1456898768552044750662810697180426810738137/59491348521778676718468\ 284262823947235043*c_0101_6^21 + 1870990220998204935227000170662432\ 099351041776/178474045565336030155404852788471841705129*c_0101_6^20 - 340084577900750541672447740937878970295230794/1784740455653360301\ 55404852788471841705129*c_0101_6^19 - 4044063927054594707182329807589920416574549410/59491348521778676718\ 468284262823947235043*c_0101_6^18 + 1827015482855680809732879643255108596851250449/17847404556533603015\ 5404852788471841705129*c_0101_6^17 + 42099685546041422790929341122616753353357765586/1784740455653360301\ 55404852788471841705129*c_0101_6^16 - 18766958215697037945463037826378235153310245909/3569480911306720603\ 10809705576943683410258*c_0101_6^15 - 159389855746885568995986469071882657412055999327/356948091130672060\ 310809705576943683410258*c_0101_6^14 + 21461973000624262099545511277977340203289398915/1189826970435573534\ 36936568525647894470086*c_0101_6^13 + 164071262361803755863081601737877376196126378151/356948091130672060\ 310809705576943683410258*c_0101_6^12 - 14408666818629438354393625329331353056178504281/5949134852177867671\ 8468284262823947235043*c_0101_6^11 - 52804457155123277604810046600095674110009155526/1784740455653360301\ 55404852788471841705129*c_0101_6^10 + 24863474134244207802686806135919864775666190921/1784740455653360301\ 55404852788471841705129*c_0101_6^9 + 25147079724241440786230100355637558728675912531/1784740455653360301\ 55404852788471841705129*c_0101_6^8 - 13204834093676019937848231591892178325421337099/3569480911306720603\ 10809705576943683410258*c_0101_6^7 - 14412877746564901642732813236863783032447118821/3569480911306720603\ 10809705576943683410258*c_0101_6^6 - 325352105795684451958822998951731781633106045/356948091130672060310\ 809705576943683410258*c_0101_6^5 + 766183091668621779468709916123020229602481032/178474045565336030155\ 404852788471841705129*c_0101_6^4 + 260825676174904602393579405995545382967639455/356948091130672060310\ 809705576943683410258*c_0101_6^3 - 18636211911405967911984556141686850930637993/1189826970435573534369\ 36568525647894470086*c_0101_6^2 - 227627081014915373281150095636458\ 935058611/1919075758767054087692525298800772491453*c_0101_6 + 1912466237950575644103690425911872184632173/35694809113067206031080\ 9705576943683410258, c_0011_0 - 1, c_0011_2 + 1582642744502743806613183330581544992147/3838151517534108175\ 385050597601544982906*c_0101_6^24 - 2560878889344211377872394703392021065205/38381515175341081753850505\ 97601544982906*c_0101_6^23 - 27756977346902397342343611125760740434\ 770/1919075758767054087692525298800772491453*c_0101_6^22 + 28158814201710932166932836141102955133363/3838151517534108175385050\ 597601544982906*c_0101_6^21 + 3028275241357585838626096117023563962\ 38542/1919075758767054087692525298800772491453*c_0101_6^20 - 429542698492843043898525252806092650252527/383815151753410817538505\ 0597601544982906*c_0101_6^19 - 192341830477121324894269069358764371\ 2268074/1919075758767054087692525298800772491453*c_0101_6^18 + 1324143691431065404659505780803155846431772/19190757587670540876925\ 25298800772491453*c_0101_6^17 + 65550573527140165977978081473754993\ 95708233/1919075758767054087692525298800772491453*c_0101_6^16 - 5058408719438714507593861036501259143450784/19190757587670540876925\ 25298800772491453*c_0101_6^15 - 23348160322544205549734088691690652\ 364160661/3838151517534108175385050597601544982906*c_0101_6^14 + 23538387678453641883092528483166255356081155/3838151517534108175385\ 050597601544982906*c_0101_6^13 + 9646999329661850966251827394814056\ 645839447/1919075758767054087692525298800772491453*c_0101_6^12 - 26621674232598007748234662727604040809935773/3838151517534108175385\ 050597601544982906*c_0101_6^11 - 3947340929897762100503014197649417\ 469292306/1919075758767054087692525298800772491453*c_0101_6^10 + 7598298346127921021932499811488469692642200/19190757587670540876925\ 25298800772491453*c_0101_6^9 + 290244738546983358088232178977821870\ 8055803/3838151517534108175385050597601544982906*c_0101_6^8 - 5177405662087932060105301832911269202550883/38381515175341081753850\ 50597601544982906*c_0101_6^7 - 821683916982836768377786157296470311\ 782463/3838151517534108175385050597601544982906*c_0101_6^6 + 364204127190627209316533865406113816949848/191907575876705408769252\ 5298800772491453*c_0101_6^5 + 7685563425743521338889668233109695279\ 2671/1919075758767054087692525298800772491453*c_0101_6^4 - 10240188988022259952961308484410681149982/1919075758767054087692525\ 298800772491453*c_0101_6^3 - 15647510298753853770643062405814189328\ 683/3838151517534108175385050597601544982906*c_0101_6^2 - 365142002480170205166895726500117960613/191907575876705408769252529\ 8800772491453*c_0101_6 + 2916046774117300903903207078452788349665/3\ 838151517534108175385050597601544982906, c_0101_0 - 552883622729632660316588978381306242741/38381515175341081753\ 85050597601544982906*c_0101_6^24 - 345586071364101796542681859196196475959/383815151753410817538505059\ 7601544982906*c_0101_6^23 + 212344691394433404022296531926939631630\ 39/3838151517534108175385050597601544982906*c_0101_6^22 + 16937890364107655959771849565891170752785/1919075758767054087692525\ 298800772491453*c_0101_6^21 - 2277660744919036968239553790003757854\ 72023/3838151517534108175385050597601544982906*c_0101_6^20 - 325449891559466842592431465690210067036591/383815151753410817538505\ 0597601544982906*c_0101_6^19 + 161688410853547965683439944832603818\ 9276277/3838151517534108175385050597601544982906*c_0101_6^18 + 2112255039843463668061908943421000153490217/38381515175341081753850\ 50597601544982906*c_0101_6^17 - 62458399517455204274364065347388300\ 15011323/3838151517534108175385050597601544982906*c_0101_6^16 - 6874877945229497222521026736870822226328255/38381515175341081753850\ 50597601544982906*c_0101_6^15 + 73364249540753847341376430566136664\ 46276156/1919075758767054087692525298800772491453*c_0101_6^14 + 5324737709322048657391308456599959314191236/19190757587670540876925\ 25298800772491453*c_0101_6^13 - 11283448732215746185919666206965665\ 777027417/1919075758767054087692525298800772491453*c_0101_6^12 - 7411675001205358044672644807172661786545197/38381515175341081753850\ 50597601544982906*c_0101_6^11 + 10546013528285714238657785009934060\ 896068980/1919075758767054087692525298800772491453*c_0101_6^10 + 2887309170028724635587118734887601940986171/38381515175341081753850\ 50597601544982906*c_0101_6^9 - 114703684538469793601947170053342227\ 28282793/3838151517534108175385050597601544982906*c_0101_6^8 - 852214220187174124531610241616641604409119/191907575876705408769252\ 5298800772491453*c_0101_6^7 + 1871987928761942441788430663277001234\ 518176/1919075758767054087692525298800772491453*c_0101_6^6 + 408840187324783202175888231248243300113227/191907575876705408769252\ 5298800772491453*c_0101_6^5 - 2517782626441600273503216379991975122\ 57946/1919075758767054087692525298800772491453*c_0101_6^4 - 81573588257222662267270247157646544101543/1919075758767054087692525\ 298800772491453*c_0101_6^3 + 14957932974161207475759385204624286401\ 817/3838151517534108175385050597601544982906*c_0101_6^2 + 7767306173149947369345394330087258250891/19190757587670540876925252\ 98800772491453*c_0101_6 + 120882989508820103806876861301515138022/1\ 919075758767054087692525298800772491453, c_0101_1 - 1, c_0101_2 - 1143829898656848153710380618127923286281/3838151517534108175\ 385050597601544982906*c_0101_6^24 + 937813165262230839000993399868069839874/191907575876705408769252529\ 8800772491453*c_0101_6^23 + 200478131823373046525773067547475434892\ 38/1919075758767054087692525298800772491453*c_0101_6^22 - 21207731990373562158037120136705496821089/3838151517534108175385050\ 597601544982906*c_0101_6^21 - 4378164100722535028542189515974501581\ 79235/3838151517534108175385050597601544982906*c_0101_6^20 + 159463220016655887542209599435021689382336/191907575876705408769252\ 5298800772491453*c_0101_6^19 + 138944247689589886724156584233506886\ 1125667/1919075758767054087692525298800772491453*c_0101_6^18 - 982489169004171715177200891814038895317533/191907575876705408769252\ 5298800772491453*c_0101_6^17 - 473553317032147567027895455145209305\ 0856980/1919075758767054087692525298800772491453*c_0101_6^16 + 3729270458733018992515211390665426273752788/19190757587670540876925\ 25298800772491453*c_0101_6^15 + 16850018254526193743129060231074253\ 325263291/3838151517534108175385050597601544982906*c_0101_6^14 - 8601283066299391522344232072984646552836998/19190757587670540876925\ 25298800772491453*c_0101_6^13 - 69322090699840173279833759090768617\ 66043383/1919075758767054087692525298800772491453*c_0101_6^12 + 19310052812798305467244627905258068058317393/3838151517534108175385\ 050597601544982906*c_0101_6^11 + 5689350705266830015522265176575122\ 284156033/3838151517534108175385050597601544982906*c_0101_6^10 - 10987446806198506213931623342734853830552205/3838151517534108175385\ 050597601544982906*c_0101_6^9 - 10700046202587531551510387224154289\ 57045686/1919075758767054087692525298800772491453*c_0101_6^8 + 3733091369008669722415437305588350879186125/38381515175341081753850\ 50597601544982906*c_0101_6^7 + 292790209636113682615212962195491341\ 723852/1919075758767054087692525298800772491453*c_0101_6^6 - 240431770271278202010318995334689344889269/191907575876705408769252\ 5298800772491453*c_0101_6^5 - 5137863713839081421962422764428792812\ 8584/1919075758767054087692525298800772491453*c_0101_6^4 - 1595427831106792263741479024795862858494/19190757587670540876925252\ 98800772491453*c_0101_6^3 - 333211768133070892607175604816504373926\ 7/3838151517534108175385050597601544982906*c_0101_6^2 + 1847219870066979828245983434311566139739/38381515175341081753850505\ 97601544982906*c_0101_6 + 846511868952902506016361328557593629191/1\ 919075758767054087692525298800772491453, c_0101_5 - 770918994488997740550879137966430625141/38381515175341081753\ 85050597601544982906*c_0101_6^24 + 1209731840334893393453681850420052331007/38381515175341081753850505\ 97601544982906*c_0101_6^23 + 27067831242784168959961241063135621119\ 619/3838151517534108175385050597601544982906*c_0101_6^22 - 6167326175587097208664546095080335695250/19190757587670540876925252\ 98800772491453*c_0101_6^21 - 29447824463386074654649802694047691611\ 7857/3838151517534108175385050597601544982906*c_0101_6^20 + 194049884011889588049730162498121275552643/383815151753410817538505\ 0597601544982906*c_0101_6^19 + 187064555737719292440165333063767743\ 5124515/3838151517534108175385050597601544982906*c_0101_6^18 - 1187444099896423413187635968889946449181669/38381515175341081753850\ 50597601544982906*c_0101_6^17 - 63636614837701409674109764221729084\ 42185403/3838151517534108175385050597601544982906*c_0101_6^16 + 4546420021298632195666091937233301535493463/38381515175341081753850\ 50597601544982906*c_0101_6^15 + 56600133433315580007556206189678271\ 77830310/1919075758767054087692525298800772491453*c_0101_6^14 - 5322072210189920827643828232299931470452834/19190757587670540876925\ 25298800772491453*c_0101_6^13 - 47205178381812399609848386106430202\ 46551703/1919075758767054087692525298800772491453*c_0101_6^12 + 11887568936190001349131617510219179106398285/3838151517534108175385\ 050597601544982906*c_0101_6^11 + 2051302606302199132803140847192499\ 542109633/1919075758767054087692525298800772491453*c_0101_6^10 - 6493182601876499618427752984092999791462821/38381515175341081753850\ 50597601544982906*c_0101_6^9 - 173617739944181474519500363175502742\ 6355197/3838151517534108175385050597601544982906*c_0101_6^8 + 1039198434272523206850297516728028935540059/19190757587670540876925\ 25298800772491453*c_0101_6^7 + 283892141268510882573965011384732804\ 126626/1919075758767054087692525298800772491453*c_0101_6^6 - 129230074275395168811667863953257058231924/191907575876705408769252\ 5298800772491453*c_0101_6^5 - 4814257885169748883663117769508955734\ 5864/1919075758767054087692525298800772491453*c_0101_6^4 + 1578508289885469212195201409849675284716/19190757587670540876925252\ 98800772491453*c_0101_6^3 + 331093116885681648587519481041198386298\ 3/3838151517534108175385050597601544982906*c_0101_6^2 - 2945224264341240817359609100390260291676/19190757587670540876925252\ 98800772491453*c_0101_6 + 173008435308820838680656421672449796686/1\ 919075758767054087692525298800772491453, c_0101_6^25 - c_0101_6^24 - 36*c_0101_6^23 - 4*c_0101_6^22 + 391*c_0101_6^21 - 34*c_0101_6^20 - 2570*c_0101_6^19 + 155*c_0101_6^18 + 9141*c_0101_6^17 - 1177*c_0101_6^16 - 18132*c_0101_6^15 + 5378*c_0101_6^14 + 20465*c_0101_6^13 - 8377*c_0101_6^12 - 14806*c_0101_6^11 + 5562*c_0101_6^10 + 7712*c_0101_6^9 - 1707*c_0101_6^8 - 2610*c_0101_6^7 + 29*c_0101_6^6 + 446*c_0101_6^5 + 62*c_0101_6^4 - 35*c_0101_6^3 - 12*c_0101_6^2 + c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB