Magma V2.19-8 Tue Aug 20 2013 16:16:23 on localhost [Seed = 1680210052] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0654 geometric_solution 4.63742099 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 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 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.728895453497 0.056756806018 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.515348316650 0.183417304352 3 1 3 1 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.170787952918 3.021035976988 2 2 5 4 0132 3201 0132 0132 0 0 0 0 0 0 -1 1 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 -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 -0.395985874886 0.556351715654 5 5 3 6 1302 1023 0132 0132 0 0 0 0 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 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.340286152420 0.727970093810 4 4 6 3 1023 2031 2310 0132 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 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.340286152420 0.727970093810 6 5 4 6 3012 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 -1 1 -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 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.473025176586 1.127350933640 ==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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_0011_6, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 595018437592899205866159851945752329594850651491556/602203989420006\ 89789487058895286161403878064269971*c_0101_6^22 + 10686850234853902786567007437864702784758547913908677/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^21 - 63871748349595647786807668953388518967473815117579350/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^20 + 117646587998288190665439510689964473658048828811101987/602203989420\ 00689789487058895286161403878064269971*c_0101_6^19 - 39842873326614465361326407339329456358499686512108043/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^18 + 6471607388872240514533533014771093239350976956307594/50605377262185\ 4536046109738615850095830908103109*c_0101_6^17 - 388034048414358376212862516274246708097676245087006390/602203989420\ 00689789487058895286161403878064269971*c_0101_6^16 - 6740630926747225949757831587317751792075525520836476433/60220398942\ 000689789487058895286161403878064269971*c_0101_6^15 + 460444721349179847717205353313260589099799862851940020/602203989420\ 00689789487058895286161403878064269971*c_0101_6^14 - 4170467672748814672282733975247035102603652069275729650/60220398942\ 000689789487058895286161403878064269971*c_0101_6^13 + 3963712118886712901288917803104258908234682334402533628/60220398942\ 000689789487058895286161403878064269971*c_0101_6^12 + 1088072793352928755485044821183126508167774438438984565/86029141345\ 71527112783865556469451629125437752853*c_0101_6^11 - 690801846989289436534299230502629476946979706486798858/602203989420\ 00689789487058895286161403878064269971*c_0101_6^10 + 2581501314443683410476078903726919184199115001893752467/60220398942\ 000689789487058895286161403878064269971*c_0101_6^9 + 126701804129365304933808882407246298894528503053127043/860291413457\ 1527112783865556469451629125437752853*c_0101_6^8 - 980701090269737625388396006919921439019509950097565335/602203989420\ 00689789487058895286161403878064269971*c_0101_6^7 - 196098027832964765175055619787621682569896073815770597/602203989420\ 00689789487058895286161403878064269971*c_0101_6^6 - 322183230578936269613615045900387781013701282527963339/602203989420\ 00689789487058895286161403878064269971*c_0101_6^5 - 1385680764753287891511104431378732904127370553545308/86029141345715\ 27112783865556469451629125437752853*c_0101_6^4 - 658654535272644425781650239341276000125049023948715/354237640835298\ 1752322768170310950670816356721763*c_0101_6^3 - 30338835463226472019834501974398262166689977834534051/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^2 + 11012945772051038922182984421898168229689288012213288/6022039894200\ 0689789487058895286161403878064269971*c_0101_6 + 102802194498976756303108337434939554889110951571027/860291413457152\ 7112783865556469451629125437752853, c_0011_0 - 1, c_0011_4 - 8610040305001175870269942672934341420755600442521/6022039894\ 2000689789487058895286161403878064269971*c_0101_6^22 + 157050915892996920736267710906113792263415905264976/602203989420006\ 89789487058895286161403878064269971*c_0101_6^21 - 967698889108583169064462781264867458311480521366162/602203989420006\ 89789487058895286161403878064269971*c_0101_6^20 + 1964786183381522730483781695287776858240406068341373/60220398942000\ 689789487058895286161403878064269971*c_0101_6^19 - 1081928496770119326393889702855771799473458196240833/60220398942000\ 689789487058895286161403878064269971*c_0101_6^18 + 670697371375644468490969114721573774451948228639136/354237640835298\ 1752322768170310950670816356721763*c_0101_6^17 - 8876960446555153404858447385187639014442411137652257/60220398942000\ 689789487058895286161403878064269971*c_0101_6^16 - 13663260224312008750440768698638115604207162298238606/8602914134571\ 527112783865556469451629125437752853*c_0101_6^15 + 33091235145351593132713439046324510507324865093359385/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^14 - 9081410719700413084899075458171209409882316413811987/86029141345715\ 27112783865556469451629125437752853*c_0101_6^13 + 80131339859847229552812323277555014417972698737334005/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^12 + 90528082323510590181588983952333014125658698939563839/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^11 - 34031872356850770555678865705842044606646284056316715/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^10 + 5181248557368271124101217673649729605562759898618680/86029141345715\ 27112783865556469451629125437752853*c_0101_6^9 - 1390869034953214914590627724084548407281605178635721/60220398942000\ 689789487058895286161403878064269971*c_0101_6^8 - 16247609791766172032834999363646148927269592921216154/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^7 - 1746325566866773555074436906444493178109146974683042/60220398942000\ 689789487058895286161403878064269971*c_0101_6^6 - 3707281106914994962509823800723962498296903135173082/60220398942000\ 689789487058895286161403878064269971*c_0101_6^5 + 1185568499842800879212142475425346729572588441880673/60220398942000\ 689789487058895286161403878064269971*c_0101_6^4 + 5920495039055429985721904927864871781100478337845/35423764083529817\ 52322768170310950670816356721763*c_0101_6^3 - 180898425047396485798818689713721798153245854260831/602203989420006\ 89789487058895286161403878064269971*c_0101_6^2 + 221253927570734820786255507854972091824533138201711/602203989420006\ 89789487058895286161403878064269971*c_0101_6 + 7542746032750509204209435698578972005392584400143/60220398942000689\ 789487058895286161403878064269971, c_0011_6 + 2887389585858612597585320929383276359776036770700/6022039894\ 2000689789487058895286161403878064269971*c_0101_6^22 - 53152103806663925092157617470666490121640770576419/6022039894200068\ 9789487058895286161403878064269971*c_0101_6^21 + 333905185218244658829508654242160008481006938572863/602203989420006\ 89789487058895286161403878064269971*c_0101_6^20 - 723210692162431740792870512924985027069914887869198/602203989420006\ 89789487058895286161403878064269971*c_0101_6^19 + 533403694376809946847353637253619172038247260435081/602203989420006\ 89789487058895286161403878064269971*c_0101_6^18 - 33649707599034171649454187586029487383297094200714/5060537726218545\ 36046109738615850095830908103109*c_0101_6^17 + 3692261594893602729681599307867522381667629876571112/60220398942000\ 689789487058895286161403878064269971*c_0101_6^16 + 30825671445944211989761165549123226130048189187335732/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^15 - 15988840303780662731175334069134629711363352940230175/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^14 + 29025264292481381818453586462964587329852812526562367/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^13 - 31670674486756120387413488788036117761284049097181905/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^12 - 2872437590975603455762053988080081752518006418466865/86029141345715\ 27112783865556469451629125437752853*c_0101_6^11 + 11606602595085386673276668528394044899768705334411849/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^10 - 18737148078658733205556164556676643173512400293711317/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^9 + 351105795657214560722955805670879905579214223089697/860291413457152\ 7112783865556469451629125437752853*c_0101_6^8 + 1609659186010892656980064932338719303851524225550171/60220398942000\ 689789487058895286161403878064269971*c_0101_6^7 - 483430308648253818249691762363645410536010934839653/602203989420006\ 89789487058895286161403878064269971*c_0101_6^6 + 1192503586644111140756450849076108045052320880300463/60220398942000\ 689789487058895286161403878064269971*c_0101_6^5 - 82697294851183405982492972314429895892536794924058/8602914134571527\ 112783865556469451629125437752853*c_0101_6^4 + 21406910139244611195689668481436906163870963113718/3542376408352981\ 752322768170310950670816356721763*c_0101_6^3 + 127064068536644480507361767528892898648722000540313/602203989420006\ 89789487058895286161403878064269971*c_0101_6^2 - 25207310706136463685537407420060999323919152760059/6022039894200068\ 9789487058895286161403878064269971*c_0101_6 + 3272245831900710585742806782137445631944590446641/86029141345715271\ 12783865556469451629125437752853, c_0101_0 - 17937285338278894614120729752304368009078105546449/602203989\ 42000689789487058895286161403878064269971*c_0101_6^22 + 46270885602320553634236701565443833487001031584164/8602914134571527\ 112783865556469451629125437752853*c_0101_6^21 - 279565712439758733794657834094547191914619051897256/860291413457152\ 7112783865556469451629125437752853*c_0101_6^20 + 3740077755841834188476073323236458918255298196819108/60220398942000\ 689789487058895286161403878064269971*c_0101_6^19 - 1598494036901788801245191496557118502747927566226256/60220398942000\ 689789487058895286161403878064269971*c_0101_6^18 + 1382081420078241197649481402716094573022144874741588/35423764083529\ 81752322768170310950670816356721763*c_0101_6^17 - 14142512623016051908564998984064335095297058658265576/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^16 - 201491406660696918216328640591114076859346649076399541/602203989420\ 00689789487058895286161403878064269971*c_0101_6^15 + 4595025152172311311597472567625671965840708713856822/86029141345715\ 27112783865556469451629125437752853*c_0101_6^14 - 130557698037235041054810421150282497256746171464350511/602203989420\ 00689789487058895286161403878064269971*c_0101_6^13 + 140836712340639933401686288100043010749033108670164694/602203989420\ 00689789487058895286161403878064269971*c_0101_6^12 + 213654509985084116825881895567791217131338777115754765/602203989420\ 00689789487058895286161403878064269971*c_0101_6^11 - 33157454560996695436910240871870904755422658797571871/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^10 + 77175101024485531342836633859584444602243819579122437/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^9 + 11066860024900747885504084518825577853377188520850629/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^8 - 30188087101288385162798047560401108494600787706707895/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^7 - 6690350805147466430988930948611233686989329342038366/60220398942000\ 689789487058895286161403878064269971*c_0101_6^6 - 9907238415782259700367848667274057027294831450817786/60220398942000\ 689789487058895286161403878064269971*c_0101_6^5 + 997390157456029911316858444527202915870503736168226/602203989420006\ 89789487058895286161403878064269971*c_0101_6^4 + 17810691657010535476834368938774904239677723403/3542376408352981752\ 322768170310950670816356721763*c_0101_6^3 - 482545094574971559832540863367526427312211595802101/602203989420006\ 89789487058895286161403878064269971*c_0101_6^2 + 352266061857811836279150902112945009285028570557261/602203989420006\ 89789487058895286161403878064269971*c_0101_6 + 28851384736009007734058650076910889826030628946225/6022039894200068\ 9789487058895286161403878064269971, c_0101_1 + 26302283134864423975193535882808703110034774890029/602203989\ 42000689789487058895286161403878064269971*c_0101_6^22 - 469105410222442528770019790567645136543209581110765/602203989420006\ 89789487058895286161403878064269971*c_0101_6^21 + 2764864673705316952320946539195012239185431570495237/60220398942000\ 689789487058895286161403878064269971*c_0101_6^20 - 4859951684295977573469692898706122651223619919486726/60220398942000\ 689789487058895286161403878064269971*c_0101_6^19 + 171649237035318172971104461456583148847153779751793/860291413457152\ 7112783865556469451629125437752853*c_0101_6^18 - 2004047985729381933454542375843286291343872553716636/35423764083529\ 81752322768170310950670816356721763*c_0101_6^17 + 13162666764269931647311275683778616252716288945577616/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^16 + 299051509439159947286866704050163542656951988811133292/602203989420\ 00689789487058895286161403878064269971*c_0101_6^15 + 18782800304768479453665689376648977465275726229510488/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^14 + 188553293901111794221400651713031249435366125827544543/602203989420\ 00689789487058895286161403878064269971*c_0101_6^13 - 162932522921208302470679663103214297270894187553663860/602203989420\ 00689789487058895286161403878064269971*c_0101_6^12 - 349364982162415633639811284219772513833563878167505553/602203989420\ 00689789487058895286161403878064269971*c_0101_6^11 - 25531251617142216047940323723149853135858451388483606/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^10 - 108284974159866241043657069089122146797225170806637526/602203989420\ 00689789487058895286161403878064269971*c_0101_6^9 - 45052828398320777092920666710880110416739309966246385/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^8 + 32924528335104893028574970586202408535037120186264514/6022039894200\ 0689789487058895286161403878064269971*c_0101_6^7 + 2634248999432439934802091304973612034523488498021098/86029141345715\ 27112783865556469451629125437752853*c_0101_6^6 + 2119395783552861725048352534264507670671118936034755/86029141345715\ 27112783865556469451629125437752853*c_0101_6^5 + 1538902294351976439756756445653878925566969736201156/60220398942000\ 689789487058895286161403878064269971*c_0101_6^4 + 31754239701196650089915472193530962902959969756688/3542376408352981\ 752322768170310950670816356721763*c_0101_6^3 + 862343724778239000163757902973235968924840216458946/602203989420006\ 89789487058895286161403878064269971*c_0101_6^2 - 188903997224825862163937714736643425115164583398457/602203989420006\ 89789487058895286161403878064269971*c_0101_6 - 112095117074236690677582380674437212195784889019120/602203989420006\ 89789487058895286161403878064269971, c_0101_3 + 33224920205987985845727903591804275314466460/251410674829878\ 0519746464279851632839472219107*c_0101_6^22 - 577935246907121135943106016727033845776216182/251410674829878051974\ 6464279851632839472219107*c_0101_6^21 + 3220763995355530062743445237374572617923147453/25141067482987805197\ 46464279851632839472219107*c_0101_6^20 - 4411488959504937483155883590709816107664923071/25141067482987805197\ 46464279851632839472219107*c_0101_6^19 - 2265792329536333377037892024915917606421769312/25141067482987805197\ 46464279851632839472219107*c_0101_6^18 - 40697285248119633442911314028863049780379689422/2514106748298780519\ 746464279851632839472219107*c_0101_6^17 - 2169260649742061832268822290025354492353778762/25141067482987805197\ 46464279851632839472219107*c_0101_6^16 + 56943613393096408479496403292954953942100352459/3591581068998257885\ 35209182835947548496031301*c_0101_6^15 + 188594301905315969043594350177126398439135091122/251410674829878051\ 9746464279851632839472219107*c_0101_6^14 + 17633256057624846459711468138498139332251358303/3591581068998257885\ 35209182835947548496031301*c_0101_6^13 - 139256144262403396925583503745425056396896110536/251410674829878051\ 9746464279851632839472219107*c_0101_6^12 - 598549095705654898148242826312712668556113167025/251410674829878051\ 9746464279851632839472219107*c_0101_6^11 - 187423665817122978104805034230617282183511010084/251410674829878051\ 9746464279851632839472219107*c_0101_6^10 + 2549172730199797199015169154224775405829250904/35915810689982578853\ 5209182835947548496031301*c_0101_6^9 - 79085493289216737611882759200994994423208254226/2514106748298780519\ 746464279851632839472219107*c_0101_6^8 + 52865752134506242261139274692044959919051619399/2514106748298780519\ 746464279851632839472219107*c_0101_6^7 + 82028338806531804245791628472734834568169828223/2514106748298780519\ 746464279851632839472219107*c_0101_6^6 + 14064147677260650206447597294592016305981990627/2514106748298780519\ 746464279851632839472219107*c_0101_6^5 - 2090052575371129147486704202134486069576876447/25141067482987805197\ 46464279851632839472219107*c_0101_6^4 - 4613386746986437161805953912145003928841388500/25141067482987805197\ 46464279851632839472219107*c_0101_6^3 - 5646512212470078270769568567278794351796783245/25141067482987805197\ 46464279851632839472219107*c_0101_6^2 + 232934051775748682687284395547469790636178861/251410674829878051974\ 6464279851632839472219107*c_0101_6 - 639148001262234438977088711038531383378987985/251410674829878051974\ 6464279851632839472219107, c_0101_6^23 - 18*c_0101_6^22 + 108*c_0101_6^21 - 201*c_0101_6^20 + 69*c_0101_6^19 - 1286*c_0101_6^18 + 699*c_0101_6^17 + 11371*c_0101_6^16 - 1261*c_0101_6^15 + 6440*c_0101_6^14 - 6842*c_0101_6^13 - 12890*c_0101_6^12 + 2037*c_0101_6^11 - 3721*c_0101_6^10 - 1463*c_0101_6^9 + 1929*c_0101_6^8 + 336*c_0101_6^7 + 429*c_0101_6^6 - 17*c_0101_6^5 - 6*c_0101_6^4 + 50*c_0101_6^3 - 23*c_0101_6^2 - 3*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB