Magma V2.19-8 Tue Aug 20 2013 16:16:46 on localhost [Seed = 2564359255] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1047 geometric_solution 4.92334446 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 1 -1 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 -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 1.236436338179 0.139517860087 0 2 2 0 0132 0132 1023 1023 0 0 0 0 0 -1 1 0 0 0 0 0 -1 1 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 -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 1.273560053825 0.359918621460 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 1 0 -1 0 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 -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.544871305239 0.579107864013 2 4 4 5 0132 0321 1302 0132 0 0 0 0 0 0 0 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 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.725853210705 0.712814678212 3 5 2 3 2031 2310 0132 0321 0 0 0 0 0 -1 1 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 1 -1 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.725853210705 0.712814678212 6 6 3 4 0132 2310 0132 3201 0 0 0 0 0 0 0 0 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 -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.377129035912 0.477393919676 5 6 6 5 0132 3201 2310 3201 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 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 0 0 0 -1.153820723051 0.558924030556 ==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' : negation(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' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0011_0'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 710141884421941428530/9935650096035099711*c_0101_6^26 - 4073833907149346404363/9935650096035099711*c_0101_6^25 + 3155182517957684692540/9935650096035099711*c_0101_6^24 + 9109833175957783906821/3311883365345033237*c_0101_6^23 - 74140842847144830183233/9935650096035099711*c_0101_6^22 + 211909300209129836174/903240917821372701*c_0101_6^21 + 284770372377590656858496/9935650096035099711*c_0101_6^20 - 436712092867790093787572/9935650096035099711*c_0101_6^19 - 57947704762460111071619/3311883365345033237*c_0101_6^18 + 1265136531053415564822122/9935650096035099711*c_0101_6^17 - 1186549686974439836877557/9935650096035099711*c_0101_6^16 - 307764035003335164967706/3311883365345033237*c_0101_6^15 + 952819596251702438273649/3311883365345033237*c_0101_6^14 - 1563070114750396996969649/9935650096035099711*c_0101_6^13 - 2008263725978990344312406/9935650096035099711*c_0101_6^12 + 3379641374765283108995686/9935650096035099711*c_0101_6^11 - 281883029351278603439230/3311883365345033237*c_0101_6^10 - 2078706102828566859844645/9935650096035099711*c_0101_6^9 + 660928143321212539834491/3311883365345033237*c_0101_6^8 + 13127632787303145954584/9935650096035099711*c_0101_6^7 - 327492363106488092953865/3311883365345033237*c_0101_6^6 + 155351753752309426129474/3311883365345033237*c_0101_6^5 + 41769209817044750829881/3311883365345033237*c_0101_6^4 - 52637720629892954545087/3311883365345033237*c_0101_6^3 + 24730415346227749462342/9935650096035099711*c_0101_6^2 + 14953986494239700158340/9935650096035099711*c_0101_6 - 3524490008107517159278/9935650096035099711, c_0011_0 - 1, c_0011_4 - 343026975780318289/301080305940457567*c_0101_6^26 + 5749343077581126644/903240917821372701*c_0101_6^25 - 1290335574737010552/301080305940457567*c_0101_6^24 - 39067624746568779929/903240917821372701*c_0101_6^23 + 99662241848095163933/903240917821372701*c_0101_6^22 + 6900697677959713298/903240917821372701*c_0101_6^21 - 388901080152743250601/903240917821372701*c_0101_6^20 + 184148333765602742270/301080305940457567*c_0101_6^19 + 284557306579558935661/903240917821372701*c_0101_6^18 - 1637405786950410928510/903240917821372701*c_0101_6^17 + 460970064631629030903/301080305940457567*c_0101_6^16 + 1311930173535873106873/903240917821372701*c_0101_6^15 - 3462655801871167230616/903240917821372701*c_0101_6^14 + 1578614602763392695376/903240917821372701*c_0101_6^13 + 866588455120883958549/301080305940457567*c_0101_6^12 - 3729851427349616457827/903240917821372701*c_0101_6^11 + 185466860710549672283/301080305940457567*c_0101_6^10 + 809717915887106112079/301080305940457567*c_0101_6^9 - 1889005458520267001578/903240917821372701*c_0101_6^8 - 270853125757048898864/903240917821372701*c_0101_6^7 + 988476203350076577124/903240917821372701*c_0101_6^6 - 320056551799250219323/903240917821372701*c_0101_6^5 - 171468724824328717067/903240917821372701*c_0101_6^4 + 116871391963631731133/903240917821372701*c_0101_6^3 - 4659877779459567665/903240917821372701*c_0101_6^2 - 4193884366004246465/301080305940457567*c_0101_6 + 1431098586232540193/903240917821372701, c_0011_5 - 132721551974498435/903240917821372701*c_0101_6^26 + 692099922236947364/903240917821372701*c_0101_6^25 - 249629674140217954/903240917821372701*c_0101_6^24 - 5112173222430301843/903240917821372701*c_0101_6^23 + 3694521301221949372/301080305940457567*c_0101_6^22 + 1498549201024148498/301080305940457567*c_0101_6^21 - 48562423444153700005/903240917821372701*c_0101_6^20 + 56400971925830165456/903240917821372701*c_0101_6^19 + 52624784094434055437/903240917821372701*c_0101_6^18 - 195880617505592056150/903240917821372701*c_0101_6^17 + 128010014808437706932/903240917821372701*c_0101_6^16 + 196620183328776300764/903240917821372701*c_0101_6^15 - 398431201658457409214/903240917821372701*c_0101_6^14 + 126636336969966404827/903240917821372701*c_0101_6^13 + 341120688929160685157/903240917821372701*c_0101_6^12 - 413041072609039535843/903240917821372701*c_0101_6^11 + 9943800046477110801/301080305940457567*c_0101_6^10 + 281013919225335264721/903240917821372701*c_0101_6^9 - 200917142915925712871/903240917821372701*c_0101_6^8 - 9454353368576497521/301080305940457567*c_0101_6^7 + 97096579199289435035/903240917821372701*c_0101_6^6 - 31963085136128538986/903240917821372701*c_0101_6^5 - 13873256088775617976/903240917821372701*c_0101_6^4 + 9376850527158486514/903240917821372701*c_0101_6^3 - 679140787011813296/903240917821372701*c_0101_6^2 - 2384954018960715230/903240917821372701*c_0101_6 + 102479799974621096/903240917821372701, c_0101_0 + 1508333910885202982/903240917821372701*c_0101_6^26 - 8712580711833665812/903240917821372701*c_0101_6^25 + 7018110983660829610/903240917821372701*c_0101_6^24 + 19285652381939217921/301080305940457567*c_0101_6^23 - 159477630536864861402/903240917821372701*c_0101_6^22 + 9950011951825420336/903240917821372701*c_0101_6^21 + 604481636684112184235/903240917821372701*c_0101_6^20 - 944536502109633656948/903240917821372701*c_0101_6^19 - 113989636690361829111/301080305940457567*c_0101_6^18 + 2689158961255296548444/903240917821372701*c_0101_6^17 - 2580481033798158516404/903240917821372701*c_0101_6^16 - 628660391361480581154/301080305940457567*c_0101_6^15 + 2023976789733534567571/301080305940457567*c_0101_6^14 - 3423244613439821724350/903240917821372701*c_0101_6^13 - 4146030852020722080914/903240917821372701*c_0101_6^12 + 7149506801874584596318/903240917821372701*c_0101_6^11 - 626587307406593887516/301080305940457567*c_0101_6^10 - 4291844876383455546529/903240917821372701*c_0101_6^9 + 1381591196969570290778/301080305940457567*c_0101_6^8 - 4758236498206656301/903240917821372701*c_0101_6^7 - 667684439870825288020/301080305940457567*c_0101_6^6 + 313208391725877329457/301080305940457567*c_0101_6^5 + 84918451929695916971/301080305940457567*c_0101_6^4 - 101854335220563580052/301080305940457567*c_0101_6^3 + 42525990219880133242/903240917821372701*c_0101_6^2 + 27363356344151244596/903240917821372701*c_0101_6 - 5613397770508524049/903240917821372701, c_0101_1 + 166139427073181788/301080305940457567*c_0101_6^26 - 2830686786915775837/903240917821372701*c_0101_6^25 + 708027079290099163/301080305940457567*c_0101_6^24 + 18905637735011577856/903240917821372701*c_0101_6^23 - 50695110701520896494/903240917821372701*c_0101_6^22 + 1351327616106691172/903240917821372701*c_0101_6^21 + 193606001403522543101/903240917821372701*c_0101_6^20 - 98843747793131477301/301080305940457567*c_0101_6^19 - 114579207754351571642/903240917821372701*c_0101_6^18 + 851535738167083161473/903240917821372701*c_0101_6^17 - 269641411462040727748/301080305940457567*c_0101_6^16 - 600375368756102854607/903240917821372701*c_0101_6^15 + 1920701545562399657252/903240917821372701*c_0101_6^14 - 1096603212943004562713/903240917821372701*c_0101_6^13 - 432199675270419477321/301080305940457567*c_0101_6^12 + 2299038576701523408223/903240917821372701*c_0101_6^11 - 224717441990805957884/301080305940457567*c_0101_6^10 - 447553199458365785212/301080305940457567*c_0101_6^9 + 1407378664565027840072/903240917821372701*c_0101_6^8 - 99496627649481374372/903240917821372701*c_0101_6^7 - 645172145126642937950/903240917821372701*c_0101_6^6 + 375207925806865775894/903240917821372701*c_0101_6^5 + 43053015107684080945/903240917821372701*c_0101_6^4 - 112065304865820283612/903240917821372701*c_0101_6^3 + 30731590677623915227/903240917821372701*c_0101_6^2 + 2739808185253789022/301080305940457567*c_0101_6 - 3039781440062491669/903240917821372701, c_0101_2 - 603938440876352309/903240917821372701*c_0101_6^26 + 3445864237746429098/903240917821372701*c_0101_6^25 - 2879376289257581806/903240917821372701*c_0101_6^24 - 21414640877795089024/903240917821372701*c_0101_6^23 + 19943651498408298297/301080305940457567*c_0101_6^22 - 3218702513877751233/301080305940457567*c_0101_6^21 - 206582299328109702373/903240917821372701*c_0101_6^20 + 340952440558457086706/903240917821372701*c_0101_6^19 + 64472019679546329236/903240917821372701*c_0101_6^18 - 849984305083224206716/903240917821372701*c_0101_6^17 + 903506490577846473239/903240917821372701*c_0101_6^16 + 414370086263414566010/903240917821372701*c_0101_6^15 - 1760560408271595809996/903240917821372701*c_0101_6^14 + 1175937017273679460774/903240917821372701*c_0101_6^13 + 889895010787980906512/903240917821372701*c_0101_6^12 - 1861737344665975808024/903240917821372701*c_0101_6^11 + 226455844758632916924/301080305940457567*c_0101_6^10 + 846040157333203616557/903240917821372701*c_0101_6^9 - 932784435154142161292/903240917821372701*c_0101_6^8 + 28902841284947830016/301080305940457567*c_0101_6^7 + 338109440666806356866/903240917821372701*c_0101_6^6 - 162994959957694870394/903240917821372701*c_0101_6^5 - 33128046807403641184/903240917821372701*c_0101_6^4 + 37146633701132999704/903240917821372701*c_0101_6^3 - 4427195809538286674/903240917821372701*c_0101_6^2 - 4751023338176685785/903240917821372701*c_0101_6 + 402017658891585326/903240917821372701, c_0101_6^27 - 6*c_0101_6^26 + 6*c_0101_6^25 + 37*c_0101_6^24 - 114*c_0101_6^23 + 32*c_0101_6^22 + 394*c_0101_6^21 - 714*c_0101_6^20 - 71*c_0101_6^19 + 1805*c_0101_6^18 - 2109*c_0101_6^17 - 809*c_0101_6^16 + 4237*c_0101_6^15 - 3188*c_0101_6^14 - 2135*c_0101_6^13 + 5286*c_0101_6^12 - 2356*c_0101_6^11 - 2480*c_0101_6^10 + 3374*c_0101_6^9 - 666*c_0101_6^8 - 1308*c_0101_6^7 + 943*c_0101_6^6 + 14*c_0101_6^5 - 248*c_0101_6^4 + 82*c_0101_6^3 + 12*c_0101_6^2 - 9*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB