Magma V2.19-8 Tue Aug 20 2013 16:18:01 on localhost [Seed = 1663238061] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2255 geometric_solution 5.68431433 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 1.609682019946 0.395274040496 0 2 3 0 3201 0132 0132 0132 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 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.925377451009 0.568514262924 4 1 3 5 0132 0132 1302 0132 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 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.488376628613 0.695443902911 2 5 4 1 2031 2310 0132 0132 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 -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.488376628613 0.695443902911 2 6 6 3 0132 0132 1023 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 0 0 0 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.285142166018 0.410676749087 5 5 2 3 1302 2031 0132 3201 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.419310342453 0.464760423278 6 4 4 6 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.436975044304 0.876736456324 ==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' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : negation(d['c_0110_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0110_5']), '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_5, c_0101_0, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 193693127558799044936021935/17761889827831738650032396*c_0101_6*c_0\ 110_5^17 + 648628967749078928951954019/17761889827831738650032396*c\ _0101_6*c_0110_5^16 + 610589047700512545022513639/17761889827831738\ 650032396*c_0101_6*c_0110_5^15 - 11207087805969215851209049547/1776\ 1889827831738650032396*c_0101_6*c_0110_5^14 + 32431264690126001257347990035/17761889827831738650032396*c_0101_6*c\ _0110_5^13 - 8609920825895305668294705/27623467850438162752772*c_01\ 01_6*c_0110_5^12 - 71390415247528766034500272074/444047245695793466\ 2508099*c_0101_6*c_0110_5^11 + 321412214194032066815989116957/17761\ 889827831738650032396*c_0101_6*c_0110_5^10 + 565626826855959033727161041621/17761889827831738650032396*c_0101_6*\ c_0110_5^9 - 800898762039877608888995367285/17761889827831738650032\ 396*c_0101_6*c_0110_5^8 - 162159186877330990373908656407/8880944913\ 915869325016198*c_0101_6*c_0110_5^7 + 824645649999320998390712049629/17761889827831738650032396*c_0101_6*\ c_0110_5^6 - 26958664887886393280733209908/444047245695793466250809\ 9*c_0101_6*c_0110_5^5 - 89492857504152837841364020894/4440472456957\ 934662508099*c_0101_6*c_0110_5^4 + 78260659795203343489748696911/8880944913915869325016198*c_0101_6*c_\ 0110_5^3 + 18710814876782291684373425767/8880944913915869325016198*\ c_0101_6*c_0110_5^2 - 31696644073649388745699223727/177618898278317\ 38650032396*c_0101_6*c_0110_5 + 3390698954285438219821587771/177618\ 89827831738650032396*c_0101_6, c_0011_0 - 1, c_0011_1 - 3237673998566946289591953/4440472456957934662508099*c_0110_5\ ^17 + 11270134828513063507842266/4440472456957934662508099*c_0110_5\ ^16 + 8997882731735451305264464/4440472456957934662508099*c_0110_5^\ 15 - 189313263855801310398011960/4440472456957934662508099*c_0110_5\ ^14 + 565820165751506621052623688/4440472456957934662508099*c_0110_\ 5^13 - 236000797694165784103487/6905866962609540688193*c_0110_5^12 - 4792103066336247003505947737/4440472456957934662508099*c_0110_5^11 + 5993475602872926140933694447/4440472456957934662508099*c_0110_5^10 + 9071042419396096000818874231/4440472456957934662508099*c_0110_5^9 - 14838918331996510453508218704/4440472456957934662508099*c_0110_5^8 - 4407264976235855452083281235/4440472456957934662508099*c_0110_5^7 + 15031443694368368308263963029/4440472456957934662508099*c_0110_5^6 - 3037848190333397123885454237/4440472456957934662508099*c_0110_5^5 - 6332693938899651527413540325/4440472456957934662508099*c_0110_5^4 + 3317715212365855333825770303/4440472456957934662508099*c_0110_5^3 + 543523539738011077485763804/4440472456957934662508099*c_0110_5^2 - 673909688521492513087283726/4440472456957934662508099*c_0110_5 + 112832086829673732894641263/4440472456957934662508099, c_0011_3 - 81886574131815582961273645/71047559311326954600129584*c_0101\ _6*c_0110_5^17 + 18114804343895759510719170/44404724569579346625080\ 99*c_0101_6*c_0110_5^16 + 218541629371637138810973293/7104755931132\ 6954600129584*c_0101_6*c_0110_5^15 - 602458552074749053968291075/8880944913915869325016198*c_0101_6*c_01\ 10_5^14 + 14547051325370743223173547273/71047559311326954600129584*\ c_0101_6*c_0110_5^13 - 1659524806105854801471855/276234678504381627\ 52772*c_0101_6*c_0110_5^12 - 30464841021140199886814716217/17761889\ 827831738650032396*c_0101_6*c_0110_5^11 + 157933158439119691329071322191/71047559311326954600129584*c_0101_6*\ c_0110_5^10 + 115728763541515950630236500343/3552377965566347730006\ 4792*c_0101_6*c_0110_5^9 - 391023370748764951602563466685/710475593\ 11326954600129584*c_0101_6*c_0110_5^8 - 116949011763972391587785152651/71047559311326954600129584*c_0101_6*\ c_0110_5^7 + 49331586408208151555764254653/888094491391586932501619\ 8*c_0101_6*c_0110_5^6 - 18522835936947717964832671063/1776188982783\ 1738650032396*c_0101_6*c_0110_5^5 - 42144003909481630662973490773/17761889827831738650032396*c_0101_6*c\ _0110_5^4 + 41659282147584978934749739267/3552377965566347730006479\ 2*c_0101_6*c_0110_5^3 + 4092612281093027611092121791/17761889827831\ 738650032396*c_0101_6*c_0110_5^2 - 16944655848373431779412160189/71047559311326954600129584*c_0101_6*c\ _0110_5 + 639439033839512691568956913/17761889827831738650032396*c_\ 0101_6, c_0011_5 - 30156993674817877297530029/71047559311326954600129584*c_0101\ _6*c_0110_5^17 + 6529905525709843173624542/444047245695793466250809\ 9*c_0101_6*c_0110_5^16 + 88908891091205021435130269/710475593113269\ 54600129584*c_0101_6*c_0110_5^15 - 221316609667104207851012131/8880944913915869325016198*c_0101_6*c_01\ 10_5^14 + 5223889563972919298654726521/71047559311326954600129584*c\ _0101_6*c_0110_5^13 - 445968545810884677636951/27623467850438162752\ 772*c_0101_6*c_0110_5^12 - 11269098976757832240185654233/1776188982\ 7831738650032396*c_0101_6*c_0110_5^11 + 54863070651591313306706286271/71047559311326954600129584*c_0101_6*c\ _0110_5^10 + 45062142484824602654761751743/355237796556634773000647\ 92*c_0101_6*c_0110_5^9 - 138484021723749742149623628861/71047559311\ 326954600129584*c_0101_6*c_0110_5^8 - 54291084707590390623394614667/71047559311326954600129584*c_0101_6*c\ _0110_5^7 + 17879132472355676055013376531/8880944913915869325016198\ *c_0101_6*c_0110_5^6 - 4187381460520741449213938307/177618898278317\ 38650032396*c_0101_6*c_0110_5^5 - 15935143359672611907143937917/177\ 61889827831738650032396*c_0101_6*c_0110_5^4 + 13265724260656023206679991635/35523779655663477300064792*c_0101_6*c\ _0110_5^3 + 1900928692344610382197462379/17761889827831738650032396\ *c_0101_6*c_0110_5^2 - 5677514770531398774264081549/710475593113269\ 54600129584*c_0101_6*c_0110_5 + 184347704347827703604528769/1776188\ 9827831738650032396*c_0101_6, c_0101_0 + 4203685525003522105555579/8880944913915869325016198*c_0110_5\ ^17 - 7310892786504751400875585/4440472456957934662508099*c_0110_5^\ 16 - 11738332913852874592403687/8880944913915869325016198*c_0110_5^\ 15 + 122909694562376599213373032/4440472456957934662508099*c_0110_5\ ^14 - 733919690126563647728981303/8880944913915869325016198*c_0110_\ 5^13 + 150922350515139186754959/6905866962609540688193*c_0110_5^12 + 3112511347469375206679584832/4440472456957934662508099*c_0110_5^11 - 7764699101213297361914396713/8880944913915869325016198*c_0110_5^10 - 5912648425043593173286824112/4440472456957934662508099*c_0110_5^9 + 19257986095402688283025720827/8880944913915869325016198*c_0110_5^8 + 5835737329054585765846767057/8880944913915869325016198*c_0110_5^7 - 9790386360464570068761593235/4440472456957934662508099*c_0110_5^6 + 1930301666517033983916579842/4440472456957934662508099*c_0110_5^5 + 4160257222310494944978349055/4440472456957934662508099*c_0110_5^4 - 2154683822958971352578018650/4440472456957934662508099*c_0110_5^3 - 374583695314567571278960256/4440472456957934662508099*c_0110_5^2 + 900526505349430234808911801/8880944913915869325016198*c_0110_5 - 71836098270291011460532984/4440472456957934662508099, c_0101_6^2 + 24228929713818988443041851/142095118622653909200259168*c_0\ 110_5^17 - 2816213078875995669276671/4440472456957934662508099*c_01\ 10_5^16 - 48860605018372607753474427/142095118622653909200259168*c_\ 0110_5^15 + 179750332676054508296521145/17761889827831738650032396*\ c_0110_5^14 - 4565694861683860701986322335/142095118622653909200259\ 168*c_0110_5^13 + 797099509139043409239877/55246935700876325505544*\ c_0110_5^12 + 8962039541090292389028498627/355237796556634773000647\ 92*c_0110_5^11 - 53383908496703833326788586633/14209511862265390920\ 0259168*c_0110_5^10 - 29838589538759705884921112753/710475593113269\ 54600129584*c_0110_5^9 + 129560961334586359825010434139/14209511862\ 2653909200259168*c_0110_5^8 + 12324264611337802950865324605/1420951\ 18622653909200259168*c_0110_5^7 - 15852473158155644943092308319/177\ 61889827831738650032396*c_0110_5^6 + 11132910285964785187036395649/35523779655663477300064792*c_0110_5^5 + 12315159221207129115334232415/35523779655663477300064792*c_0110_5\ ^4 - 17564555172464873215491050997/71047559311326954600129584*c_011\ 0_5^3 - 438539918945261271202618245/35523779655663477300064792*c_01\ 10_5^2 + 6703065377775712321999801787/142095118622653909200259168*c\ _0110_5 - 373176638771821690328107819/35523779655663477300064792, c_0110_5^18 - 4*c_0110_5^17 - c_0110_5^16 + 60*c_0110_5^15 - 205*c_0110_5^14 + 136*c_0110_5^13 + 1460*c_0110_5^12 - 2619*c_0110_5^11 - 1882*c_0110_5^10 + 6073*c_0110_5^9 - 925*c_0110_5^8 - 5444*c_0110_5^7 + 3276*c_0110_5^6 + 1572*c_0110_5^5 - 2030*c_0110_5^4 + 316*c_0110_5^3 + 305*c_0110_5^2 - 136*c_0110_5 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB