Magma V2.19-8 Tue Aug 20 2013 16:18:15 on localhost [Seed = 913812237] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2464 geometric_solution 5.80346291 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0.469369291861 0.243390036721 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.851590817257 0.627271056335 1 4 3 5 0132 0132 3012 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 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.971284236902 1.043545376606 5 2 4 1 1023 1230 0132 0132 0 0 0 0 0 0 -1 1 -1 0 1 0 1 -1 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.971284236902 1.043545376606 6 2 6 3 0132 0132 1023 0132 0 0 0 0 0 0 -1 1 1 0 0 -1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.756214432630 1.037626082663 5 3 2 5 3201 1023 0132 2310 0 0 0 0 0 1 0 -1 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.635233675119 0.757969954646 4 6 4 6 0132 1302 1023 2031 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 0 0 0 0 0.491059450507 0.174015966131 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : d['c_0011_1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), '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_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], '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' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 98071481861109195666197163977857465552071158699756657897/1917464890\ 314486955904032776924575664542825163341552032*c_0101_4^37 - 5292490027627596044141223695188727201538010351586875514945/19174648\ 90314486955904032776924575664542825163341552032*c_0101_4^35 + 7041146343290641971075205475504982179402504335231058166407/13696177\ 7879606211136002341208898261753058940238682288*c_0101_4^33 - 503961036667336158118791198431624597571299196884004630328855/958732\ 445157243477952016388462287832271412581670776016*c_0101_4^31 + 5749455251487587909696949321885198491207398208926933760999317/19174\ 64890314486955904032776924575664542825163341552032*c_0101_4^29 - 2268849884067452594981070981511729695833666446816594891892749/27392\ 3555759212422272004682417796523506117880477364576*c_0101_4^27 + 609153400101187355036272788145314389619951125397075971094055/136961\ 777879606211136002341208898261753058940238682288*c_0101_4^25 + 7901357496735722790653248519696401498142856109275917368021885/27392\ 3555759212422272004682417796523506117880477364576*c_0101_4^23 - 119872796371377078705593331067945815370243597292952582362655685/191\ 7464890314486955904032776924575664542825163341552032*c_0101_4^21 + 3015379618116871418369448266546777871223300381916349270967095/11984\ 1555644655434744002048557785979033926572708847002*c_0101_4^19 + 57005949146869707272029374814794001497702063733284514089718367/9587\ 32445157243477952016388462287832271412581670776016*c_0101_4^17 - 1761560923231075716585524699929200505170393139287360586629933/19565\ 968268515173019428905886985465964722705748383184*c_0101_4^15 + 111094286914417230374821220132740762145887385437717025774975155/191\ 7464890314486955904032776924575664542825163341552032*c_0101_4^13 - 11074617931993467037843407813934712536830932680637490516727495/4793\ 66222578621738976008194231143916135706290835388008*c_0101_4^11 + 1470114409602976577354204118067196603016298310019607075235811/23968\ 3111289310869488004097115571958067853145417694004*c_0101_4^9 - 277112202710441469392106380437880258850828934865862735629195/479366\ 222578621738976008194231143916135706290835388008*c_0101_4^7 - 134955076794219710902534300111029665233279254296784098217023/191746\ 4890314486955904032776924575664542825163341552032*c_0101_4^5 + 8267855973762799695905456329693532686129202874449928757061/19174648\ 90314486955904032776924575664542825163341552032*c_0101_4^3 + 2424757005842255055254342691565885960005894046530393545557/19174648\ 90314486955904032776924575664542825163341552032*c_0101_4, c_0011_0 - 1, c_0011_1 + 2099596240134870898441104424081863959562613641388241/2396831\ 11289310869488004097115571958067853145417694004*c_0101_4^36 - 55899559300374004718550215108261450396280608731878641/1198415556446\ 55434744002048557785979033926572708847002*c_0101_4^34 + 144961742114152006064850143276214392361582660616246067/171202222349\ 50776392000292651112282719132367529835286*c_0101_4^32 - 5021138115729445385633855443706091222097625288735192705/59920777822\ 327717372001024278892989516963286354423501*c_0101_4^30 + 107983533588749927012631472731435632596183122202195442681/239683111\ 289310869488004097115571958067853145417694004*c_0101_4^28 - 9125225520633531236353598842984894188839552330492726601/85601111174\ 75388196000146325556141359566183764917643*c_0101_4^26 - 1436200142462134235011871377577571389509986725957358348/85601111174\ 75388196000146325556141359566183764917643*c_0101_4^24 + 180051232948436893232255550952432327128425028105377075173/342404444\ 69901552784000585302224565438264735059670572*c_0101_4^22 - 425432418464036399509080960654494749930013160510142922640/599207778\ 22327717372001024278892989516963286354423501*c_0101_4^20 - 295298642547608787739494974168571450340819892944651197095/119841555\ 644655434744002048557785979033926572708847002*c_0101_4^18 + 697377716257418617654944578079890821497531514437038376878/599207778\ 22327717372001024278892989516963286354423501*c_0101_4^16 - 134057123726899451574744968559313752291363268789029205075/171202222\ 34950776392000292651112282719132367529835286*c_0101_4^14 + 181983168669016133952998649154690886479590538522030707289/239683111\ 289310869488004097115571958067853145417694004*c_0101_4^12 + 228886616317201111267199340556851657890494209066405734135/239683111\ 289310869488004097115571958067853145417694004*c_0101_4^10 - 157383363565024335727569396386989780077833444493166073413/239683111\ 289310869488004097115571958067853145417694004*c_0101_4^8 + 68846513611134660111822488681748883972215055079921166255/2396831112\ 89310869488004097115571958067853145417694004*c_0101_4^6 - 489913695850976988174347845741626206434456893210713157/599207778223\ 27717372001024278892989516963286354423501*c_0101_4^4 - 405535055166696511477959892389964908803973616614172493/239683111289\ 310869488004097115571958067853145417694004*c_0101_4^2 - 75813195202762545166172828423773862046813478495252689/1198415556446\ 55434744002048557785979033926572708847002, c_0011_3 - 45071791115967957061591507885737781823808520652228097/239683\ 111289310869488004097115571958067853145417694004*c_0101_4^37 + 2425792864446710328858344762109955365034462243492916519/23968311128\ 9310869488004097115571958067853145417694004*c_0101_4^35 - 3210870640872393613818199369397932383682452347521669153/17120222234\ 950776392000292651112282719132367529835286*c_0101_4^33 + 228358214752938194644528826077569120366253215217125693599/119841555\ 644655434744002048557785979033926572708847002*c_0101_4^31 - 2576345389027312135993037398235004198533080554791909349385/23968311\ 1289310869488004097115571958067853145417694004*c_0101_4^29 + 989678233118425285426418779907382002675651654863266229823/342404444\ 69901552784000585302224565438264735059670572*c_0101_4^27 - 209093118963818849005753337015253731172838448299004937299/171202222\ 34950776392000292651112282719132367529835286*c_0101_4^25 - 3687477076514743221612904990924955036262163566513503032589/34240444\ 469901552784000585302224565438264735059670572*c_0101_4^23 + 51343604552388560824337795524954944192375132939034139390783/2396831\ 11289310869488004097115571958067853145417694004*c_0101_4^21 - 3715172073111885047828577024933831654901738654173855298384/59920777\ 822327717372001024278892989516963286354423501*c_0101_4^19 - 27166545331444958167093704771541165152346178222974228478189/1198415\ 55644655434744002048557785979033926572708847002*c_0101_4^17 + 5103655438269930729103243227905571901731606006702769229977/17120222\ 234950776392000292651112282719132367529835286*c_0101_4^15 - 40974163067008734566229849452973607748743164695773717180043/2396831\ 11289310869488004097115571958067853145417694004*c_0101_4^13 + 7349095600989996508603095533884429330725953159984214623677/11984155\ 5644655434744002048557785979033926572708847002*c_0101_4^11 - 1699044611958968981697927905840744007290880469257550531299/11984155\ 5644655434744002048557785979033926572708847002*c_0101_4^9 + 25673029023696105527369684777865227907992245644381949691/1198415556\ 44655434744002048557785979033926572708847002*c_0101_4^7 + 64253490258565887080491818659346975699293073663633484517/2396831112\ 89310869488004097115571958067853145417694004*c_0101_4^5 + 4470407181449577984328266416171631599163040875912776911/23968311128\ 9310869488004097115571958067853145417694004*c_0101_4^3 - 759470973657094312962612035198623038475741688127490723/239683111289\ 310869488004097115571958067853145417694004*c_0101_4, c_0101_0 + 127534039038871036602231724152223378198336776131370873/47936\ 6222578621738976008194231143916135706290835388008*c_0101_4^37 - 6871479768098683592299695192571208572463105955422356549/47936622257\ 8621738976008194231143916135706290835388008*c_0101_4^35 + 9114328353792868732553651253793951821204143080313512565/34240444469\ 901552784000585302224565438264735059670572*c_0101_4^33 - 649917931019760807037330106544610007694972201454856022049/239683111\ 289310869488004097115571958067853145417694004*c_0101_4^31 + 7366621071131007928658430730727335152774688690152081661593/47936622\ 2578621738976008194231143916135706290835388008*c_0101_4^29 - 2862481912392979468359649893046538264550290908986010435941/68480888\ 939803105568001170604449130876529470119341144*c_0101_4^27 + 676315437598253842259725943686953632357504370290356743239/342404444\ 69901552784000585302224565438264735059670572*c_0101_4^25 + 10351865518031718300316482807510160881157720604425737510269/6848088\ 8939803105568001170604449130876529470119341144*c_0101_4^23 - 149527561085430342151026045331411074062806753699369671175305/479366\ 222578621738976008194231143916135706290835388008*c_0101_4^21 + 12724769907621824023513643240229538004961774930805854866381/1198415\ 55644655434744002048557785979033926572708847002*c_0101_4^19 + 75291657138977673419383523565240999556575033542228427354573/2396831\ 11289310869488004097115571958067853145417694004*c_0101_4^17 - 15066093592162287421275329886709874637604851350678307933969/3424044\ 4469901552784000585302224565438264735059670572*c_0101_4^15 + 128479320964209716087417317124344409406388800680406236408911/479366\ 222578621738976008194231143916135706290835388008*c_0101_4^13 - 12351418110347083008310658913721849589608183919452494809793/1198415\ 55644655434744002048557785979033926572708847002*c_0101_4^11 + 3173865699047482385139799166642010642052121418656194462573/11984155\ 5644655434744002048557785979033926572708847002*c_0101_4^9 - 241281043487543050304947259236193658228482949760258987963/119841555\ 644655434744002048557785979033926572708847002*c_0101_4^7 - 103178532862444688245756159788357720425399567643738545355/479366222\ 578621738976008194231143916135706290835388008*c_0101_4^5 - 6044600954914417162366662798564133554679076702559067895/47936622257\ 8621738976008194231143916135706290835388008*c_0101_4^3 + 1757270458546420298232159583474249851462023808499112637/47936622257\ 8621738976008194231143916135706290835388008*c_0101_4, c_0101_1 - 5321903341666177386361086150539508406773427194835843/1198415\ 55644655434744002048557785979033926572708847002*c_0101_4^36 + 574159827053336809276184016146841200214585176589010795/239683111289\ 310869488004097115571958067853145417694004*c_0101_4^34 - 381632599233684942544606847125840457171785189643678771/856011111747\ 5388196000146325556141359566183764917643*c_0101_4^32 + 54577442760107686592891773850972263793383713434825934643/1198415556\ 44655434744002048557785979033926572708847002*c_0101_4^30 - 310813170616168200801650703904521091573763794096080906915/119841555\ 644655434744002048557785979033926572708847002*c_0101_4^28 + 34910791710283098389216034844474714694843885874954801223/4891492067\ 128793254857226471746366491180676437095796*c_0101_4^26 - 9107764488394192069663244549879028893877079607977917657/24457460335\ 64396627428613235873183245590338218547898*c_0101_4^24 - 429084992957526832271898426089208051180676118598090536985/171202222\ 34950776392000292651112282719132367529835286*c_0101_4^22 + 12865680851583973512401412022180229161331317383040258883313/2396831\ 11289310869488004097115571958067853145417694004*c_0101_4^20 - 2501275579271514898892717270611214935590231318316106709639/11984155\ 5644655434744002048557785979033926572708847002*c_0101_4^18 - 6183164072384659151795844541701847679215429733110134608069/11984155\ 5644655434744002048557785979033926572708847002*c_0101_4^16 + 657793552237816539084643548163478631171524244043548177843/856011111\ 7475388196000146325556141359566183764917643*c_0101_4^14 - 2940922685848368694295732836106451535473286860177983706460/59920777\ 822327717372001024278892989516963286354423501*c_0101_4^12 + 4705696569689840526006456996102733408660593970731726699581/23968311\ 1289310869488004097115571958067853145417694004*c_0101_4^10 - 1267923557313663469304389472383750783220996841905494612535/23968311\ 1289310869488004097115571958067853145417694004*c_0101_4^8 + 129994815404223162029702884681728768080333012370357580705/239683111\ 289310869488004097115571958067853145417694004*c_0101_4^6 + 8075689842265751142875283922129422436310315071501635599/23968311128\ 9310869488004097115571958067853145417694004*c_0101_4^4 - 18026581225214750388028880557178155347432039022480632/5992077782232\ 7717372001024278892989516963286354423501*c_0101_4^2 - 63096914670463155162294973292784890145871619617219095/2396831112893\ 10869488004097115571958067853145417694004, c_0101_3 - 6421486404067343521122316665499335532610166574475495/2396831\ 11289310869488004097115571958067853145417694004*c_0101_4^36 + 346693067304677412158068637914929516599754658480120403/239683111289\ 310869488004097115571958067853145417694004*c_0101_4^34 - 461618634029598022278500460169079836718258833260759501/171202222349\ 50776392000292651112282719132367529835286*c_0101_4^32 + 33071396954347381029418110451629133358024290101409779003/1198415556\ 44655434744002048557785979033926572708847002*c_0101_4^30 - 377894124724294114686653975096320914168707790784744628159/239683111\ 289310869488004097115571958067853145417694004*c_0101_4^28 + 149637083312901515099963785634805988852910513399686572571/342404444\ 69901552784000585302224565438264735059670572*c_0101_4^26 - 41085449425059820321537073650797126998727079936375124427/1712022223\ 4950776392000292651112282719132367529835286*c_0101_4^24 - 518421420253470984471940625430359221926431438996150057583/342404444\ 69901552784000585302224565438264735059670572*c_0101_4^22 + 7939692240031223861046499957133315087622817644590432356983/23968311\ 1289310869488004097115571958067853145417694004*c_0101_4^20 - 814640248438725381907975246711269702154203612915980592183/599207778\ 22327717372001024278892989516963286354423501*c_0101_4^18 - 3768359952723241236045267375055987163055804113670876483297/11984155\ 5644655434744002048557785979033926572708847002*c_0101_4^16 + 820315974790213953938997851058338606740099287844862772949/171202222\ 34950776392000292651112282719132367529835286*c_0101_4^14 - 7357299765971515348360638845442279625523121862284083204217/23968311\ 1289310869488004097115571958067853145417694004*c_0101_4^12 + 723413275679282969143373115560862621180845221762684202731/599207778\ 22327717372001024278892989516963286354423501*c_0101_4^10 - 190347405362659076620498027990292447198421659845240277508/599207778\ 22327717372001024278892989516963286354423501*c_0101_4^8 + 17135382522222352138223896267061252997581050353418719946/5992077782\ 2327717372001024278892989516963286354423501*c_0101_4^6 + 9524003699903025032686984475318427778738655547941830833/23968311128\ 9310869488004097115571958067853145417694004*c_0101_4^4 + 728761074142511339207640944257472167191434911141192233/239683111289\ 310869488004097115571958067853145417694004*c_0101_4^2 - 204382908083894344934365824171849978798692681791850963/239683111289\ 310869488004097115571958067853145417694004, c_0101_4^38 - 54*c_0101_4^36 + 1007*c_0101_4^34 - 10312*c_0101_4^32 + 58979*c_0101_4^30 - 163964*c_0101_4^28 + 92561*c_0101_4^26 + 560889*c_0101_4^24 - 1241668*c_0101_4^22 + 534353*c_0101_4^20 + 1144974*c_0101_4^18 - 1800208*c_0101_4^16 + 1194141*c_0101_4^14 - 491483*c_0101_4^12 + 135788*c_0101_4^10 - 15484*c_0101_4^8 - 995*c_0101_4^6 + 144*c_0101_4^4 + 20*c_0101_4^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB