Magma V2.19-8 Tue Aug 20 2013 16:17:25 on localhost [Seed = 694728160] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1651 geometric_solution 5.39222926 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 2031 1302 0 0 0 0 0 0 1 -1 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.545435267834 0.133536713585 0 2 0 3 0132 0132 2310 0132 0 0 0 0 0 1 -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 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.646845349696 0.618043205166 4 1 5 3 0132 0132 0132 1230 0 0 0 0 0 -1 1 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 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.796669382888 1.241941774318 2 5 1 4 3012 1023 0132 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 -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 0 0 0 0.796669382888 1.241941774318 2 3 6 6 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.828986018859 0.597665063599 3 5 5 2 1023 3201 2310 0132 0 0 0 0 0 0 1 -1 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 -1 1 -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.855764508859 0.839972859456 6 4 4 6 3201 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.303953416193 0.941336948005 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(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' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(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_3'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), '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' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_5'], '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 675033815709137090217641069950074/221978073927346186527018772451*c_\ 0101_5^23 - 2656008652130443265528268535513980/22197807392734618652\ 7018772451*c_0101_5^22 + 51580455570830964659930165320915234/221978\ 073927346186527018772451*c_0101_5^21 - 214998787652632722337025878819913646/221978073927346186527018772451\ *c_0101_5^20 + 417809474823408532892457990694413844/221978073927346\ 186527018772451*c_0101_5^19 - 317184215830327890519776706816865210/\ 221978073927346186527018772451*c_0101_5^18 - 358579196143022758520549855985347376/221978073927346186527018772451\ *c_0101_5^17 + 1269031889799725389149650310361134820/22197807392734\ 6186527018772451*c_0101_5^16 - 159550568372292440180083693664430652\ 3/221978073927346186527018772451*c_0101_5^15 + 898406376975814663163130378828737250/221978073927346186527018772451\ *c_0101_5^14 + 360871171306751242461138493228479510/221978073927346\ 186527018772451*c_0101_5^13 - 1287471842840732632047246101120523290\ /221978073927346186527018772451*c_0101_5^12 + 1413795711957672842386342822883705329/22197807392734618652701877245\ 1*c_0101_5^11 - 955831171554315848123841841083087147/22197807392734\ 6186527018772451*c_0101_5^10 + 404839217622697393157542948733982773\ /221978073927346186527018772451*c_0101_5^9 - 66869344768467126400249497083564847/221978073927346186527018772451*\ c_0101_5^8 - 47190902632695195678080059684087924/221978073927346186\ 527018772451*c_0101_5^7 + 50014152160763161887919874476723402/22197\ 8073927346186527018772451*c_0101_5^6 - 26871845860311987573968423179412087/221978073927346186527018772451*\ c_0101_5^5 + 8769381324351435812669438763150315/2219780739273461865\ 27018772451*c_0101_5^4 - 568563002133280128196569856201542/22197807\ 3927346186527018772451*c_0101_5^3 - 975069105173371667630372874219182/221978073927346186527018772451*c_\ 0101_5^2 + 533476306875598796649227339115469/2219780739273461865270\ 18772451*c_0101_5 - 114706320018474816954201162446390/2219780739273\ 46186527018772451, c_0011_0 - 1, c_0011_3 + 78395399249386710470198344475454/221978073927346186527018772\ 451*c_0101_5^23 + 313922940017017169921341359818151/221978073927346\ 186527018772451*c_0101_5^22 - 5964173918440601404307155147969002/22\ 1978073927346186527018772451*c_0101_5^21 + 24572908811132051851920249697774494/221978073927346186527018772451*\ c_0101_5^20 - 47120510343734644154558176995071940/22197807392734618\ 6527018772451*c_0101_5^19 + 34691720941300428857286861904790670/221\ 978073927346186527018772451*c_0101_5^18 + 42198590660863907350992304106915295/221978073927346186527018772451*\ c_0101_5^17 - 143662572819941363197764650783846411/2219780739273461\ 86527018772451*c_0101_5^16 + 177998589320915634383266632329049385/2\ 21978073927346186527018772451*c_0101_5^15 - 98078192467703205081880734064166288/221978073927346186527018772451*\ c_0101_5^14 - 42729410017372755364549623360285523/22197807392734618\ 6527018772451*c_0101_5^13 + 144764622331491718167993410595379381/22\ 1978073927346186527018772451*c_0101_5^12 - 157486541245054008610208113857177477/221978073927346186527018772451\ *c_0101_5^11 + 105933875287763939627888143080443325/221978073927346\ 186527018772451*c_0101_5^10 - 44722259601977915639002238981083961/2\ 21978073927346186527018772451*c_0101_5^9 + 7359659225994048536929022644587484/221978073927346186527018772451*c\ _0101_5^8 + 5241277194555561807168366286283197/22197807392734618652\ 7018772451*c_0101_5^7 - 5558918111540868859375234679589927/22197807\ 3927346186527018772451*c_0101_5^6 + 2986201533891536511301006142483606/221978073927346186527018772451*c\ _0101_5^5 - 970924344901223955362249609146191/221978073927346186527\ 018772451*c_0101_5^4 + 64046594419127567542163365852672/22197807392\ 7346186527018772451*c_0101_5^3 + 106108372052152095133493183249878/\ 221978073927346186527018772451*c_0101_5^2 - 58703938369568797892841912340483/221978073927346186527018772451*c_0\ 101_5 + 13189165942833775092378685013901/22197807392734618652701877\ 2451, c_0011_6 + 13395779126385522752582106999444/221978073927346186527018772\ 451*c_0101_5^23 + 53366833893854422231173567293328/2219780739273461\ 86527018772451*c_0101_5^22 - 1020140167025165779773375965069835/221\ 978073927346186527018772451*c_0101_5^21 + 4220242373980260780660805378952950/221978073927346186527018772451*c\ _0101_5^20 - 8143565397116568534700923333584240/2219780739273461865\ 27018772451*c_0101_5^19 + 6110923134435076566434456536334974/221978\ 073927346186527018772451*c_0101_5^18 + 7064320323405765792668989831185150/221978073927346186527018772451*c\ _0101_5^17 - 24685655245561642592423536592038697/221978073927346186\ 527018772451*c_0101_5^16 + 30940900350434510313664866757113328/2219\ 78073927346186527018772451*c_0101_5^15 - 17439137769573545489091113620334391/221978073927346186527018772451*\ c_0101_5^14 - 6876130786602261433826754085024114/221978073927346186\ 527018772451*c_0101_5^13 + 24802850200155123091256347790578532/2219\ 78073927346186527018772451*c_0101_5^12 - 27372716570074712573248855891752037/221978073927346186527018772451*\ c_0101_5^11 + 18678260976851461048852443919374276/22197807392734618\ 6527018772451*c_0101_5^10 - 8101344462146736399486568648551804/2219\ 78073927346186527018772451*c_0101_5^9 + 1521227707496937403964596871433949/221978073927346186527018772451*c\ _0101_5^8 + 787580795880469068989056232187488/221978073927346186527\ 018772451*c_0101_5^7 - 926159901806195094983295461817043/2219780739\ 27346186527018772451*c_0101_5^6 + 517236509413636795289493863788034\ /221978073927346186527018772451*c_0101_5^5 - 175815088322028814111537902818012/221978073927346186527018772451*c_\ 0101_5^4 + 16171533355147339336546702753498/22197807392734618652701\ 8772451*c_0101_5^3 + 16780562553152448675287350954022/2219780739273\ 46186527018772451*c_0101_5^2 - 9728120395083898473962992152513/2219\ 78073927346186527018772451*c_0101_5 + 2188974031820948634901880928471/221978073927346186527018772451, c_0101_0 + 14168317067787787060600515525030/221978073927346186527018772\ 451*c_0101_5^23 + 59420041032127211379321354052032/2219780739273461\ 86527018772451*c_0101_5^22 - 1066003089433328420238858139014739/221\ 978073927346186527018772451*c_0101_5^21 + 4241562330646968515514304587222616/221978073927346186527018772451*c\ _0101_5^20 - 7760556638648477530930977577177578/2219780739273461865\ 27018772451*c_0101_5^19 + 4997120627658476688184559100919818/221978\ 073927346186527018772451*c_0101_5^18 + 8198829191176515788946733279889059/221978073927346186527018772451*c\ _0101_5^17 - 24145186668444374885865076344116588/221978073927346186\ 527018772451*c_0101_5^16 + 27945568285407464402374127519455588/2219\ 78073927346186527018772451*c_0101_5^15 - 13570951634816009745616258085640809/221978073927346186527018772451*\ c_0101_5^14 - 8908194368286070182369951655565822/221978073927346186\ 527018772451*c_0101_5^13 + 23730728165045507258271380729902346/2219\ 78073927346186527018772451*c_0101_5^12 - 24315215024732234465335808277271116/221978073927346186527018772451*\ c_0101_5^11 + 15664644622156190865772847676130190/22197807392734618\ 6527018772451*c_0101_5^10 - 6328071451645945802664608257069384/2219\ 78073927346186527018772451*c_0101_5^9 + 946826157987498476215157843054020/221978073927346186527018772451*c_\ 0101_5^8 + 776307225068112198211623981971844/2219780739273461865270\ 18772451*c_0101_5^7 - 787908963088994455319847018242065/22197807392\ 7346186527018772451*c_0101_5^6 + 416973977820891899620370299544545/\ 221978073927346186527018772451*c_0101_5^5 - 129558377948748304466676051810175/221978073927346186527018772451*c_\ 0101_5^4 + 4780999254225915837264512797930/221978073927346186527018\ 772451*c_0101_5^3 + 14415268111220495803146334916443/22197807392734\ 6186527018772451*c_0101_5^2 - 7609704866515519479192308455567/22197\ 8073927346186527018772451*c_0101_5 + 1501897361648047366000890572980/221978073927346186527018772451, c_0101_1 - 45299620434453864683399737912764/221978073927346186527018772\ 451*c_0101_5^23 - 185608118815110868022218107103698/221978073927346\ 186527018772451*c_0101_5^22 + 3427419454355577280060959035949816/22\ 1978073927346186527018772451*c_0101_5^21 - 13887551433656597678503705021328349/221978073927346186527018772451*\ c_0101_5^20 + 26057728772335432404133033426162753/22197807392734618\ 6527018772451*c_0101_5^19 - 18085776272296231831327501762868787/221\ 978073927346186527018772451*c_0101_5^18 - 25270828424295641099223631501938264/221978073927346186527018772451*\ c_0101_5^17 + 80258059509491024608252803523045930/22197807392734618\ 6527018772451*c_0101_5^16 - 96419946788545205410820141429560430/221\ 978073927346186527018772451*c_0101_5^15 + 50265230733527474415045808874428820/221978073927346186527018772451*\ c_0101_5^14 + 26689188046440324116494662314995933/22197807392734618\ 6527018772451*c_0101_5^13 - 80165220844062211334321647430447091/221\ 978073927346186527018772451*c_0101_5^12 + 84780700506738342098980568602696296/221978073927346186527018772451*\ c_0101_5^11 - 55808952162183859588922224859580596/22197807392734618\ 6527018772451*c_0101_5^10 + 22943536281016705226834132232389794/221\ 978073927346186527018772451*c_0101_5^9 - 3445962629844048888716095315624043/221978073927346186527018772451*c\ _0101_5^8 - 2908396457923014211935439999899949/22197807392734618652\ 7018772451*c_0101_5^7 + 2939328480114934590532351076796743/22197807\ 3927346186527018772451*c_0101_5^6 - 1552909777732057267859288188172931/221978073927346186527018772451*c\ _0101_5^5 + 490046810010158669547207964015573/221978073927346186527\ 018772451*c_0101_5^4 - 23917322664793548090242159058394/22197807392\ 7346186527018772451*c_0101_5^3 - 56350657851348213047842256344821/2\ 21978073927346186527018772451*c_0101_5^2 + 30157998886389904386168943853306/221978073927346186527018772451*c_0\ 101_5 - 6227372898059767887849575065771/221978073927346186527018772\ 451, c_0101_2 - 24671176174324721001102891781050/221978073927346186527018772\ 451*c_0101_5^23 - 99353117108908753837766241060150/2219780739273461\ 86527018772451*c_0101_5^22 + 1874659543688302808806456568563512/221\ 978073927346186527018772451*c_0101_5^21 - 7690577355276998314157699454703681/221978073927346186527018772451*c\ _0101_5^20 + 14655278952337405412171535219652392/221978073927346186\ 527018772451*c_0101_5^19 - 10591077361672862532432449622454198/2219\ 78073927346186527018772451*c_0101_5^18 - 13498899174271862591897685425970232/221978073927346186527018772451*\ c_0101_5^17 + 44864142331447259873471920730779598/22197807392734618\ 6527018772451*c_0101_5^16 - 54970503041277356795694411920372096/221\ 978073927346186527018772451*c_0101_5^15 + 29662817296906279172773660908142362/221978073927346186527018772451*\ c_0101_5^14 + 13983760754093931597554423109612033/22197807392734618\ 6527018772451*c_0101_5^13 - 45085863640348123522337522467150565/221\ 978073927346186527018772451*c_0101_5^12 + 48473753512090652955410139815624730/221978073927346186527018772451*\ c_0101_5^11 - 32303596606403339822615633194656923/22197807392734618\ 6527018772451*c_0101_5^10 + 13481690937614579898433545920688504/221\ 978073927346186527018772451*c_0101_5^9 - 2137813884268942890158892360638708/221978073927346186527018772451*c\ _0101_5^8 - 1626574517251428258916446373753439/22197807392734618652\ 7018772451*c_0101_5^7 + 1690322230577230623548941616092699/22197807\ 3927346186527018772451*c_0101_5^6 - 902208025308060249932452094248142/221978073927346186527018772451*c_\ 0101_5^5 + 290361284860206625236242236547110/2219780739273461865270\ 18772451*c_0101_5^4 - 17785350040645689675074864464769/221978073927\ 346186527018772451*c_0101_5^3 - 31655144435056924744057114481518/22\ 1978073927346186527018772451*c_0101_5^2 + 17192198014418775079548883581092/221978073927346186527018772451*c_0\ 101_5 - 3851689714889941766662812122521/221978073927346186527018772\ 451, c_0101_5^24 + 10/3*c_0101_5^23 - 709/9*c_0101_5^22 + 3280/9*c_0101_5^21 - 7294/9*c_0101_5^20 + 7579/9*c_0101_5^19 + 2233/9*c_0101_5^18 - 2198*c_0101_5^17 + 31436/9*c_0101_5^16 - 24782/9*c_0101_5^15 + 811/3*c_0101_5^14 + 20014/9*c_0101_5^13 - 29161/9*c_0101_5^12 + 2679*c_0101_5^11 - 4370/3*c_0101_5^10 + 4171/9*c_0101_5^9 + 85/9*c_0101_5^8 - 117*c_0101_5^7 + 769/9*c_0101_5^6 - 338/9*c_0101_5^5 + 80/9*c_0101_5^4 + 8/9*c_0101_5^3 - 5/3*c_0101_5^2 + 2/3*c_0101_5 - 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB