Magma V2.19-8 Tue Aug 20 2013 16:14:25 on localhost [Seed = 2017059962] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s419 geometric_solution 4.69310157 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 -1 0 1 -1 0 0 1 0 -1 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 -0.792207203393 0.625350293581 0 0 3 2 0132 3201 0132 0132 0 0 0 0 0 -1 0 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 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 1.005644227705 1.568753461593 4 3 1 3 0132 2031 0132 3012 0 0 0 0 0 0 -1 1 -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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.632784362019 0.687402868185 2 4 2 1 1302 3201 1230 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 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.632784362019 0.687402868185 2 5 3 5 0132 0132 2310 2310 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 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.547595850297 1.037429073651 4 4 5 5 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.483155826712 0.148993317812 ==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' : negation(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_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_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_5' : negation(d['c_0101_0']), 'c_1100_4' : d['c_0011_2'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0101_4'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_2']), '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_2'], 'c_0011_4' : negation(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_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0101_0, c_0101_1, c_0101_4, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 109096144145567240507632457210366619/312768415705113247717651245501\ 3646*c_0110_5^20 - 170974256224307003871395460469542915/15638420785\ 25566238588256227506823*c_0110_5^19 - 1449542878938622081164234694848664433/15638420785255662385882562275\ 06823*c_0110_5^18 + 14024487734307564195135837067919987383/31276841\ 57051132477176512455013646*c_0110_5^17 + 196478880580276150282701271844326478/156384207852556623858825622750\ 6823*c_0110_5^16 - 120415042897223775398569189161282039635/31276841\ 57051132477176512455013646*c_0110_5^15 + 135108128366021901946255489857809798778/156384207852556623858825622\ 7506823*c_0110_5^14 + 31797805754188428954953600093448687825/156384\ 2078525566238588256227506823*c_0110_5^13 - 455393525692692423821094679565431024980/156384207852556623858825622\ 7506823*c_0110_5^12 + 537940593048649615307188414770777382407/31276\ 84157051132477176512455013646*c_0110_5^11 + 475316762853744546263439169226863420561/156384207852556623858825622\ 7506823*c_0110_5^10 - 399179500553978861671850234278823890669/15638\ 42078525566238588256227506823*c_0110_5^9 - 252572052305083410463954757178353008268/156384207852556623858825622\ 7506823*c_0110_5^8 + 280904989848800661000383292289207045398/156384\ 2078525566238588256227506823*c_0110_5^7 + 132336111478202070554513135310994788547/312768415705113247717651245\ 5013646*c_0110_5^6 - 218411554391740414137293020517482506133/312768\ 4157051132477176512455013646*c_0110_5^5 - 12447514748884531453580129460046924925/3127684157051132477176512455\ 013646*c_0110_5^4 + 39015751414454628238137467078840656661/31276841\ 57051132477176512455013646*c_0110_5^3 + 1293481279983474230938686215457561215/15638420785255662385882562275\ 06823*c_0110_5^2 - 1899120289272982209914601619437861243/3127684157\ 051132477176512455013646*c_0110_5 - 467554005865604679394777983183635620/156384207852556623858825622750\ 6823, c_0011_0 - 1, c_0011_2 + 1195065180755586156246024696232314/1563842078525566238588256\ 227506823*c_0110_5^20 - 2933197147863494906360141362243858/15638420\ 78525566238588256227506823*c_0110_5^19 - 33828772879284489258862684943003059/1563842078525566238588256227506\ 823*c_0110_5^18 + 130815219513458337654481642688333133/156384207852\ 5566238588256227506823*c_0110_5^17 + 95440841574192643081410771691724155/1563842078525566238588256227506\ 823*c_0110_5^16 - 1262628999166563665670927006448408822/15638420785\ 25566238588256227506823*c_0110_5^15 + 2095163297098085487287098960569516788/15638420785255662385882562275\ 06823*c_0110_5^14 + 2203602367847985082990957983847146732/156384207\ 8525566238588256227506823*c_0110_5^13 - 8613772420753044674343010341348719210/15638420785255662385882562275\ 06823*c_0110_5^12 - 113815512853104481864181604380964726/1563842078\ 525566238588256227506823*c_0110_5^11 + 10907755320378498769094108913523188048/1563842078525566238588256227\ 506823*c_0110_5^10 - 1313510156820024250761233762761912144/15638420\ 78525566238588256227506823*c_0110_5^9 - 7188552879578191941843250635817259971/15638420785255662385882562275\ 06823*c_0110_5^8 + 1369448031978669371929264817444925511/1563842078\ 525566238588256227506823*c_0110_5^7 + 2907904930557047168480013065947588633/15638420785255662385882562275\ 06823*c_0110_5^6 - 539041653573501372746978617193776337/15638420785\ 25566238588256227506823*c_0110_5^5 - 724394930519339070511364021005795909/156384207852556623858825622750\ 6823*c_0110_5^4 - 7163386045159160726299056265329315/15638420785255\ 66238588256227506823*c_0110_5^3 + 814540494104970875532827659287730\ 37/1563842078525566238588256227506823*c_0110_5^2 + 25447045302669371277507763645409610/1563842078525566238588256227506\ 823*c_0110_5 + 1123983987749559252469310004021025/15638420785255662\ 38588256227506823, c_0101_0 + 739806949461684125560434622844818/15638420785255662385882562\ 27506823*c_0110_5^20 - 1942203993861841190855950252103141/156384207\ 8525566238588256227506823*c_0110_5^19 - 20612665721123472363707264752981760/1563842078525566238588256227506\ 823*c_0110_5^18 + 84472110108552964472304588555332921/1563842078525\ 566238588256227506823*c_0110_5^17 + 44820040658923262669225642991619098/1563842078525566238588256227506\ 823*c_0110_5^16 - 788529154330504505893154269374740472/156384207852\ 5566238588256227506823*c_0110_5^15 + 1427428412317962748927738098423817432/15638420785255662385882562275\ 06823*c_0110_5^14 + 1120383297679374608435038243846452674/156384207\ 8525566238588256227506823*c_0110_5^13 - 5489981921871659843519418318395670697/15638420785255662385882562275\ 06823*c_0110_5^12 + 796071506519635267110944393534162643/1563842078\ 525566238588256227506823*c_0110_5^11 + 6577382241940792847741283427536999668/15638420785255662385882562275\ 06823*c_0110_5^10 - 1686657145184825339876779913578587776/156384207\ 8525566238588256227506823*c_0110_5^9 - 4196224573768935510027147501825743251/15638420785255662385882562275\ 06823*c_0110_5^8 + 1303259993991966456339099795195335927/1563842078\ 525566238588256227506823*c_0110_5^7 + 1625111988401554116706606454201437312/15638420785255662385882562275\ 06823*c_0110_5^6 - 472842717372123531578761884455745263/15638420785\ 25566238588256227506823*c_0110_5^5 - 401989428164179408647306788146262830/156384207852556623858825622750\ 6823*c_0110_5^4 + 20124982532293731990301781560905241/1563842078525\ 566238588256227506823*c_0110_5^3 + 52690292645904737311735760574656613/1563842078525566238588256227506\ 823*c_0110_5^2 + 14115677827027617425022830559068841/15638420785255\ 66238588256227506823*c_0110_5 + 181501120067813180636856086300122/1\ 563842078525566238588256227506823, c_0101_1 - 400930369682997923573957599113299/15638420785255662385882562\ 27506823*c_0110_5^20 + 1043432054647979961576673796948765/156384207\ 8525566238588256227506823*c_0110_5^19 + 11291589875877899797946183677312093/1563842078525566238588256227506\ 823*c_0110_5^18 - 45823432419927757110678651232636939/1563842078525\ 566238588256227506823*c_0110_5^17 - 27887463300813531477721455343818085/1563842078525566238588256227506\ 823*c_0110_5^16 + 439009318363712329525946764225305003/156384207852\ 5566238588256227506823*c_0110_5^15 - 763745495981531396194799943204502797/156384207852556623858825622750\ 6823*c_0110_5^14 - 727635709995244982838542206116766955/15638420785\ 25566238588256227506823*c_0110_5^13 + 3196141656329290125428013961399148000/15638420785255662385882562275\ 06823*c_0110_5^12 - 329508044901537400197464553631438575/1563842078\ 525566238588256227506823*c_0110_5^11 - 4302933234486997535979701710934415666/15638420785255662385882562275\ 06823*c_0110_5^10 + 1282507244793772836741400025230821776/156384207\ 8525566238588256227506823*c_0110_5^9 + 2922217541336250208214904536989651462/15638420785255662385882562275\ 06823*c_0110_5^8 - 1174838746018890144244002319287268286/1563842078\ 525566238588256227506823*c_0110_5^7 - 1168167111989763534415323116930553222/15638420785255662385882562275\ 06823*c_0110_5^6 + 546992111949787805042421060708824525/15638420785\ 25566238588256227506823*c_0110_5^5 + 264951301559494462941914920070614066/156384207852556623858825622750\ 6823*c_0110_5^4 - 97418092867279779463749115709584084/1563842078525\ 566238588256227506823*c_0110_5^3 - 28681911526445035405349016747949318/1563842078525566238588256227506\ 823*c_0110_5^2 - 2420157899922277269535189184945346/156384207852556\ 6238588256227506823*c_0110_5 + 1009424794790781248111440911027435/1\ 563842078525566238588256227506823, c_0101_4 + 849018037763267128896871732083696/15638420785255662385882562\ 27506823*c_0110_5^20 - 2016599381246854118412290280717762/156384207\ 8525566238588256227506823*c_0110_5^19 - 24231584700807737543352678398011992/1563842078525566238588256227506\ 823*c_0110_5^18 + 91130858694359417742737662981698996/1563842078525\ 566238588256227506823*c_0110_5^17 + 76049803670517675509973287923617783/1563842078525566238588256227506\ 823*c_0110_5^16 - 895722013130619620577925201321713520/156384207852\ 5566238588256227506823*c_0110_5^15 + 1417111639237026712033237974173880320/15638420785255662385882562275\ 06823*c_0110_5^14 + 1717864920777252611477801012215844728/156384207\ 8525566238588256227506823*c_0110_5^13 - 6072580927170568530585968912412146159/15638420785255662385882562275\ 06823*c_0110_5^12 - 578484456876666880142744224489155125/1563842078\ 525566238588256227506823*c_0110_5^11 + 7977163689801775116481567641294604007/15638420785255662385882562275\ 06823*c_0110_5^10 - 457838980195723544039384124724600636/1563842078\ 525566238588256227506823*c_0110_5^9 - 5358080349820249513797401583642015748/15638420785255662385882562275\ 06823*c_0110_5^8 + 722351142917844462963366233544536063/15638420785\ 25566238588256227506823*c_0110_5^7 + 2197361272795556110890423473121830035/15638420785255662385882562275\ 06823*c_0110_5^6 - 306908290348020445260768093944801953/15638420785\ 25566238588256227506823*c_0110_5^5 - 540068866633607264331138339731572862/156384207852556623858825622750\ 6823*c_0110_5^4 - 23669147435872800933278147205161110/1563842078525\ 566238588256227506823*c_0110_5^3 + 51383563499237793836323232833450201/1563842078525566238588256227506\ 823*c_0110_5^2 + 22476707499494369192891520568056310/15638420785255\ 66238588256227506823*c_0110_5 + 1553219460577629344408113111340982/\ 1563842078525566238588256227506823, c_0110_5^21 - 3*c_0110_5^20 - 27*c_0110_5^19 + 125*c_0110_5^18 + 21*c_0110_5^17 - 1104*c_0110_5^16 + 2329*c_0110_5^15 + 921*c_0110_5^14 - 8286*c_0110_5^13 + 3817*c_0110_5^12 + 9411*c_0110_5^11 - 6193*c_0110_5^10 - 5620*c_0110_5^9 + 4560*c_0110_5^8 + 1897*c_0110_5^7 - 1854*c_0110_5^6 - 375*c_0110_5^5 + 343*c_0110_5^4 + 70*c_0110_5^3 - 14*c_0110_5^2 - 11*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB