Magma V2.19-8 Tue Aug 20 2013 16:18:12 on localhost [Seed = 2033771587] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2418 geometric_solution 5.76948318 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 -1 1 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.530899835493 0.298482463671 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.037896594514 0.506168694657 1 3 4 5 0132 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577086107570 0.574866932899 5 4 2 1 0132 1023 0213 0132 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 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.577086107570 0.574866932899 3 4 4 2 1023 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 0 0 0 -1 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 0.658205484056 0.713261641108 3 6 2 6 0132 0132 0132 1023 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 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.335459841989 1.474658521906 6 5 6 5 2031 0132 1302 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436694702394 0.237535963712 ==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_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], '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_0011_1']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_1']), '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_0101_0, c_0101_1, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 53297193052443644115810835156137088428257/4978401922364252822123507\ 82034630460811*c_0110_6^22 - 12584045708147533545555134443845824044\ 6729/497840192236425282212350782034630460811*c_0110_6^21 + 2148570118700469453887216360097961735743520/49784019223642528221235\ 0782034630460811*c_0110_6^20 - 361826787602861078726469881908217118\ 3000541/497840192236425282212350782034630460811*c_0110_6^19 - 13837572333388911932026316222899816378724828/4978401922364252822123\ 50782034630460811*c_0110_6^18 + 57589057311247984917757378855950922\ 428048457/497840192236425282212350782034630460811*c_0110_6^17 - 59436306864799299043307187691694872824576832/4978401922364252822123\ 50782034630460811*c_0110_6^16 - 40901877515934816674912325510884987\ 749844392/497840192236425282212350782034630460811*c_0110_6^15 + 180389549787398259595285668603061100688982456/497840192236425282212\ 350782034630460811*c_0110_6^14 - 1258577247910713718371295239492208\ 36541829995/165946730745475094070783594011543486937*c_0110_6^13 + 237146954743713222512607989090780289269959121/165946730745475094070\ 783594011543486937*c_0110_6^12 - 1035671970610242099926588225313802\ 270044682319/497840192236425282212350782034630460811*c_0110_6^11 + 1025000641838956378043475345069030523543232570/49784019223642528221\ 2350782034630460811*c_0110_6^10 - 203458635899303395720028543762225\ 582180716160/165946730745475094070783594011543486937*c_0110_6^9 + 208986836895603059542786680750594891980040173/497840192236425282212\ 350782034630460811*c_0110_6^8 + 20697597978758197047579812268690932\ 853287209/497840192236425282212350782034630460811*c_0110_6^7 - 224133538496141177957426657512179520785711665/497840192236425282212\ 350782034630460811*c_0110_6^6 + 85730248597539351054217129272945469\ 879403590/165946730745475094070783594011543486937*c_0110_6^5 - 108589514544051984660069336715011451148568280/497840192236425282212\ 350782034630460811*c_0110_6^4 - 28908685705009695570757321218047776\ 94416472/497840192236425282212350782034630460811*c_0110_6^3 + 2332147807063840018730419269806016228658330/55315576915158364690261\ 198003847828979*c_0110_6^2 - 79090201856863857019650156681960812703\ 12622/497840192236425282212350782034630460811*c_0110_6 + 254215583211207320722856056791080932551692/165946730745475094070783\ 594011543486937, c_0011_0 - 1, c_0011_1 - 1477541411953338347607089400213489619/7193182953856744433063\ 8749029711091*c_0110_6^22 - 3985404430540285527451950552795322898/7\ 1931829538567444330638749029711091*c_0110_6^21 + 57794237678565796754819895678984915665/7193182953856744433063874902\ 9711091*c_0110_6^20 - 82354419143566750978138250088208477115/719318\ 29538567444330638749029711091*c_0110_6^19 - 395568711857529141117295305424332659986/719318295385674443306387490\ 29711091*c_0110_6^18 + 1451223631292101532391200594254393765490/719\ 31829538567444330638749029711091*c_0110_6^17 - 1284337154874975764515667855978503936739/71931829538567444330638749\ 029711091*c_0110_6^16 - 1235233702008639020774565270981388299407/71\ 931829538567444330638749029711091*c_0110_6^15 + 4458703374292820676657332454853622615327/71931829538567444330638749\ 029711091*c_0110_6^14 - 3142686302501988070592930406927317294700/23\ 977276512855814776879583009903697*c_0110_6^13 + 5837572129143185333518353045492616185240/23977276512855814776879583\ 009903697*c_0110_6^12 - 24848056378306317649395744087505343505775/7\ 1931829538567444330638749029711091*c_0110_6^11 + 23642652115403740757163605573950002016084/7193182953856744433063874\ 9029711091*c_0110_6^10 - 4505574094191768985504296559070167277002/2\ 3977276512855814776879583009903697*c_0110_6^9 + 4700831778032576751544085604492715801381/71931829538567444330638749\ 029711091*c_0110_6^8 + 27665114445624908386793154896075316932/23203\ 81598018304655827056420313261*c_0110_6^7 - 5576362536945359559458762333581649756995/71931829538567444330638749\ 029711091*c_0110_6^6 + 1926986620525383526214530468546021726108/239\ 77276512855814776879583009903697*c_0110_6^5 - 2305292309011978436217933124711395142859/71931829538567444330638749\ 029711091*c_0110_6^4 - 99571620620330248468522861228716651850/71931\ 829538567444330638749029711091*c_0110_6^3 + 153612085665152989693156178036251934914/239772765128558147768795830\ 09903697*c_0110_6^2 - 170605364514046144620886184018525387909/71931\ 829538567444330638749029711091*c_0110_6 + 6394872209660815923388824644415244857/23977276512855814776879583009\ 903697, c_0011_3 + 1342521638684812749222281293450803766/7193182953856744433063\ 8749029711091*c_0110_6^22 + 3540807317613098073650183810338289030/7\ 1931829538567444330638749029711091*c_0110_6^21 - 52784709254785493888999467189214565899/7193182953856744433063874902\ 9711091*c_0110_6^20 + 77788507078875570189025113208673854151/719318\ 29538567444330638749029711091*c_0110_6^19 + 356961752410528299543195169763317603828/719318295385674443306387490\ 29711091*c_0110_6^18 - 1341825116670867502382962946780363122637/719\ 31829538567444330638749029711091*c_0110_6^17 + 1230098907837072891342285568981994112800/71931829538567444330638749\ 029711091*c_0110_6^16 + 1095660022400784949202469301796774164901/71\ 931829538567444330638749029711091*c_0110_6^15 - 4136931027287364605416401920144308278788/71931829538567444330638749\ 029711091*c_0110_6^14 + 2916901300754151859840627890639383721120/23\ 977276512855814776879583009903697*c_0110_6^13 - 5433104562183360974566733251652175250692/23977276512855814776879583\ 009903697*c_0110_6^12 + 23265553114014768869718959966110020735259/7\ 1931829538567444330638749029711091*c_0110_6^11 - 22363118647120368757193615646297779695795/7193182953856744433063874\ 9029711091*c_0110_6^10 + 4321413438478292330472344725156026928132/2\ 3977276512855814776879583009903697*c_0110_6^9 - 4537787212212561835062681735507236467912/71931829538567444330638749\ 029711091*c_0110_6^8 - 22821348409636652750949567864270479885/23203\ 81598018304655827056420313261*c_0110_6^7 + 5163095092530703825078773149686810786774/71931829538567444330638749\ 029711091*c_0110_6^6 - 1830197869734058924677081532568487253218/239\ 77276512855814776879583009903697*c_0110_6^5 + 2246587317008907539634361363356116197454/71931829538567444330638749\ 029711091*c_0110_6^4 + 69408326140432152064094519043549142309/71931\ 829538567444330638749029711091*c_0110_6^3 - 146275329857743682570999914876939105016/239772765128558147768795830\ 09903697*c_0110_6^2 + 166294654798071503230021625046167406887/71931\ 829538567444330638749029711091*c_0110_6 - 6313671085330294174799432002401811305/23977276512855814776879583009\ 903697, c_0101_0 - 4052332745693167723326182031349181600642/5531557691515836469\ 0261198003847828979*c_0110_6^22 - 110847157634274120984853786011529\ 40278660/55315576915158364690261198003847828979*c_0110_6^21 + 157974094445726640504922946004377253456199/553155769151583646902611\ 98003847828979*c_0110_6^20 - 22023804502572069063495777930336509972\ 0440/55315576915158364690261198003847828979*c_0110_6^19 - 1089210759657430653076802435902136972611910/55315576915158364690261\ 198003847828979*c_0110_6^18 + 3935561512421654006959170023991086768\ 092606/55315576915158364690261198003847828979*c_0110_6^17 - 3404837551365810038172411386439559119502450/55315576915158364690261\ 198003847828979*c_0110_6^16 - 3432357498464164607645323416386120768\ 366395/55315576915158364690261198003847828979*c_0110_6^15 + 12065495022470809718903427820479552306189019/5531557691515836469026\ 1198003847828979*c_0110_6^14 - 850534160371069188815331125312676221\ 3580268/18438525638386121563420399334615942993*c_0110_6^13 + 15768811838202052019668015295870427549187158/1843852563838612156342\ 0399334615942993*c_0110_6^12 - 668716489160280263591432716451586688\ 21068197/55315576915158364690261198003847828979*c_0110_6^11 + 63220512580539964226028057953522982450871154/5531557691515836469026\ 1198003847828979*c_0110_6^10 - 119459222271988797786308459123631849\ 68845386/18438525638386121563420399334615942993*c_0110_6^9 + 12420620586074113098297656051447582127349562/5531557691515836469026\ 1198003847828979*c_0110_6^8 + 8013118732268151182869579085693952628\ 8958/1784373448876076280331006387220897709*c_0110_6^7 - 15105701108459363053909177125275679279224285/5531557691515836469026\ 1198003847828979*c_0110_6^6 + 5139288947038861890435226257610345260\ 446474/18438525638386121563420399334615942993*c_0110_6^5 - 6053010120777278208422365656909143304444826/55315576915158364690261\ 198003847828979*c_0110_6^4 - 30735789822583606151755726960223611059\ 0494/55315576915158364690261198003847828979*c_0110_6^3 + 408908816168048510406595790967365377391721/184385256383861215634203\ 99334615942993*c_0110_6^2 - 448279820735788215301305062556018498405\ 937/55315576915158364690261198003847828979*c_0110_6 + 16725176809946830603351628713637508381606/1843852563838612156342039\ 9334615942993, c_0101_1 - 892926296504038893477523993130071564/23977276512855814776879\ 583009903697*c_0110_6^22 - 2460647465409092774908695067981883638/23\ 977276512855814776879583009903697*c_0110_6^21 + 34749159868485195645171966891225593210/2397727651285581477687958300\ 9903697*c_0110_6^20 - 47856759844647242137341147855553060251/239772\ 76512855814776879583009903697*c_0110_6^19 - 240598629862067480252165243548761677669/239772765128558147768795830\ 09903697*c_0110_6^18 + 861965157609423001156036512451817635750/2397\ 7276512855814776879583009903697*c_0110_6^17 - 735684698707897641567813393748922131131/239772765128558147768795830\ 09903697*c_0110_6^16 - 762986069731440499388513037113648132278/2397\ 7276512855814776879583009903697*c_0110_6^15 + 2639234648507406869272629409590835129548/23977276512855814776879583\ 009903697*c_0110_6^14 - 5579758696819907125350710060126454408469/23\ 977276512855814776879583009903697*c_0110_6^13 + 10334779630050810089395762411743430008827/2397727651285581477687958\ 3009903697*c_0110_6^12 - 14575613528530905835814653877599835886901/\ 23977276512855814776879583009903697*c_0110_6^11 + 13725079070119503685849421325722789737032/2397727651285581477687958\ 3009903697*c_0110_6^10 - 7734988739751041052283424115011875413559/2\ 3977276512855814776879583009903697*c_0110_6^9 + 2672326428339195843622423288342466931846/23977276512855814776879583\ 009903697*c_0110_6^8 + 18209050551749052317258454826235190417/77346\ 0532672768218609018806771087*c_0110_6^7 - 3307009729067571958974925135693248067276/23977276512855814776879583\ 009903697*c_0110_6^6 + 3341822142353661017471065547168305536237/239\ 77276512855814776879583009903697*c_0110_6^5 - 1297331230399896826539827188555430670361/23977276512855814776879583\ 009903697*c_0110_6^4 - 73306098932183792270800946829437453619/23977\ 276512855814776879583009903697*c_0110_6^3 + 265667620840736091191640900256574818830/239772765128558147768795830\ 09903697*c_0110_6^2 - 95971030289978225714050427648763669440/239772\ 76512855814776879583009903697*c_0110_6 + 10666316434298320894163461263608411853/2397727651285581477687958300\ 9903697, c_0101_4 + 939388370988563150517985813207737772318/18438525638386121563\ 420399334615942993*c_0110_6^22 + 2567089123863679367135899905398529\ 740268/18438525638386121563420399334615942993*c_0110_6^21 - 36630143068943324521638199704716518960371/1843852563838612156342039\ 9334615942993*c_0110_6^20 + 511425424924101544042611122257472239148\ 24/18438525638386121563420399334615942993*c_0110_6^19 + 252453854448354594523565012441552884198164/184385256383861215634203\ 99334615942993*c_0110_6^18 - 91305616208364276201587805460705466122\ 1100/18438525638386121563420399334615942993*c_0110_6^17 + 790952506194112608399281463200995311059440/184385256383861215634203\ 99334615942993*c_0110_6^16 + 79549469566424383545472907356689205245\ 8634/18438525638386121563420399334615942993*c_0110_6^15 - 2799637159675837690780316804094597354792914/18438525638386121563420\ 399334615942993*c_0110_6^14 + 5919610002021921551178348419115613905\ 965470/18438525638386121563420399334615942993*c_0110_6^13 - 10976546241644067372490173008885297652895260/1843852563838612156342\ 0399334615942993*c_0110_6^12 + 155191872092196857971323659465272932\ 79432836/18438525638386121563420399334615942993*c_0110_6^11 - 14676084094115021324205614023017875902600319/1843852563838612156342\ 0399334615942993*c_0110_6^10 + 832109145869542908337455021066390641\ 1248503/18438525638386121563420399334615942993*c_0110_6^9 - 2882817753847425908536058227788651649232155/18438525638386121563420\ 399334615942993*c_0110_6^8 - 18534080007159177026855887663903176032\ 812/594791149625358760110335462406965903*c_0110_6^7 + 3505050175619210035914353453702773231331626/18438525638386121563420\ 399334615942993*c_0110_6^6 - 35800009377019853954376071986010818383\ 12234/18438525638386121563420399334615942993*c_0110_6^5 + 1405572569554939168914128481394099434337025/18438525638386121563420\ 399334615942993*c_0110_6^4 + 71411428711431956818833083853273668445\ 529/18438525638386121563420399334615942993*c_0110_6^3 - 284849789766173651319336337587592998157683/184385256383861215634203\ 99334615942993*c_0110_6^2 + 104046562264145252193934524346585234628\ 712/18438525638386121563420399334615942993*c_0110_6 - 11626863940080405884451346678381163994698/1843852563838612156342039\ 9334615942993, c_0110_6^23 + 2*c_0110_6^22 - 41*c_0110_6^21 + 83*c_0110_6^20 + 229*c_0110_6^19 - 1169*c_0110_6^18 + 1553*c_0110_6^17 + 233*c_0110_6^16 - 3602*c_0110_6^15 + 8481*c_0110_6^14 - 16293*c_0110_6^13 + 25063*c_0110_6^12 - 27694*c_0110_6^11 + 20262*c_0110_6^10 - 9526*c_0110_6^9 + 1624*c_0110_6^8 + 4183*c_0110_6^7 - 6540*c_0110_6^6 + 4277*c_0110_6^5 - 1013*c_0110_6^4 - 360*c_0110_6^3 + 332*c_0110_6^2 - 93*c_0110_6 + 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB