Magma V2.19-8 Tue Aug 20 2013 16:19:13 on localhost [Seed = 1663237735] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3341 geometric_solution 6.48727668 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 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 -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.421210453381 0.648109521388 0 3 5 4 0132 0132 0132 0132 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 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.728748707701 0.892496494760 3 0 4 5 2310 0132 3201 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 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.728748707701 0.892496494760 3 1 2 3 3012 0132 3201 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.287025454464 0.837922553451 2 6 1 6 2310 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -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 -1 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 1.050035162674 0.669083903079 2 5 5 1 3201 1230 3012 0132 0 0 0 0 0 -1 1 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.800338647269 0.708229854702 6 4 6 4 2310 0132 3201 1023 0 0 0 0 0 0 -1 1 0 0 0 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.723000633727 0.308419583061 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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' : negation(d['1']), 's_2_0' : negation(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' : 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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 3800970408013676066490289527/41022655546879985614310312*c_0101_3*c_\ 0101_6^17 - 7809678779939235218501890007/20511327773439992807155156\ *c_0101_3*c_0101_6^16 + 382191831243009582225962224039/820453110937\ 59971228620624*c_0101_3*c_0101_6^15 + 1140381004969272043413587927695/82045311093759971228620624*c_0101_3\ *c_0101_6^14 - 2232615975272047003776463609915/41022655546879985614\ 310312*c_0101_3*c_0101_6^13 - 1888857192952884100388549724773/20511\ 327773439992807155156*c_0101_3*c_0101_6^12 + 26634055562823216483734144322539/82045311093759971228620624*c_0101_\ 3*c_0101_6^11 + 3466843086504782575088871360293/4102265554687998561\ 4310312*c_0101_3*c_0101_6^10 - 17057882752834357281386823324149/205\ 11327773439992807155156*c_0101_3*c_0101_6^9 + 24233943813659308461129589506995/41022655546879985614310312*c_0101_\ 3*c_0101_6^8 + 2296792288319807812657143559839/10255663886719996403\ 577578*c_0101_3*c_0101_6^7 - 23698534238351919004803458411881/82045\ 311093759971228620624*c_0101_3*c_0101_6^6 - 207718519397159916952432434393/7458664644887270111692784*c_0101_3*c\ _0101_6^5 + 269106368440359695711696758966/512783194335999820178878\ 9*c_0101_3*c_0101_6^4 + 184374618410562313372901782805/820453110937\ 59971228620624*c_0101_3*c_0101_6^3 - 41971284083880773978950032953/41022655546879985614310312*c_0101_3*c\ _0101_6^2 + 295313820233640988370439075/5127831943359998201788789*c\ _0101_3*c_0101_6 - 11176633051122726049189460153/820453110937599712\ 28620624*c_0101_3, c_0011_0 - 1, c_0011_4 - 754716452744051210466097/466166540305454381980799*c_0101_3*c\ _0101_6^17 - 3183796975439864031895972/466166540305454381980799*c_0\ 101_3*c_0101_6^16 + 75452342280918092253193121/93233308061090876396\ 1598*c_0101_3*c_0101_6^15 + 235584902255455865303512407/93233308061\ 0908763961598*c_0101_3*c_0101_6^14 - 437262529170074239954008018/466166540305454381980799*c_0101_3*c_010\ 1_6^13 - 813225291456769242365543429/466166540305454381980799*c_010\ 1_3*c_0101_6^12 + 5282671098309793058563911135/93233308061090876396\ 1598*c_0101_3*c_0101_6^11 + 1053924940562619288184657502/4661665403\ 05454381980799*c_0101_3*c_0101_6^10 - 7163531949318375660358337848/466166540305454381980799*c_0101_3*c_01\ 01_6^9 + 4219781108064238806937878324/466166540305454381980799*c_01\ 01_3*c_0101_6^8 + 3346298729164950501791815902/46616654030545438198\ 0799*c_0101_3*c_0101_6^7 - 6969463470293308786917483477/93233308061\ 0908763961598*c_0101_3*c_0101_6^6 - 29456666678347341225468633/932333080610908763961598*c_0101_3*c_0101\ _6^5 + 532156028722235029092301412/466166540305454381980799*c_0101_\ 3*c_0101_6^4 - 35792498809461616533396339/932333080610908763961598*\ c_0101_3*c_0101_6^3 - 6340154114342227604429554/4661665403054543819\ 80799*c_0101_3*c_0101_6^2 - 194541464778436369148143/46616654030545\ 4381980799*c_0101_3*c_0101_6 - 2238135711193404343020737/9323330806\ 10908763961598*c_0101_3, c_0101_0 - 98496825531146775736998/466166540305454381980799*c_0101_6^17 + 12253837285607531050068/466166540305454381980799*c_0101_6^16 + 6374850717136280229318111/466166540305454381980799*c_0101_6^15 - 7227374453870211397298099/466166540305454381980799*c_0101_6^14 - 105199992879701724209427264/466166540305454381980799*c_0101_6^13 + 182595945560878771361948149/466166540305454381980799*c_0101_6^12 + 567948570647608339483275480/466166540305454381980799*c_0101_6^11 - 1562052820660757711019055438/466166540305454381980799*c_0101_6^10 - 125294205367635109545273845/466166540305454381980799*c_0101_6^9 + 4055712195454865810311767066/466166540305454381980799*c_0101_6^8 - 4959008438149966928892343181/466166540305454381980799*c_0101_6^7 + 1873386088781848798638495032/466166540305454381980799*c_0101_6^6 + 488197303931255407996925852/466166540305454381980799*c_0101_6^5 - 480367819116763222187705903/466166540305454381980799*c_0101_6^4 + 46240807814096715775059481/466166540305454381980799*c_0101_6^3 + 18205320043959759887600566/466166540305454381980799*c_0101_6^2 - 2357226002998792815090017/466166540305454381980799*c_0101_6 + 1055360467685337426696041/466166540305454381980799, c_0101_1 - 2002686737500039869456033/466166540305454381980799*c_0101_3*\ c_0101_6^17 - 7042924542490606856351262/466166540305454381980799*c_\ 0101_3*c_0101_6^16 + 210114686944319792192040049/932333080610908763\ 961598*c_0101_3*c_0101_6^15 + 477915561770385798026922529/932333080\ 610908763961598*c_0101_3*c_0101_6^14 - 1327898447881612498776791253/466166540305454381980799*c_0101_3*c_01\ 01_6^13 - 1231445450882244532606050209/466166540305454381980799*c_0\ 101_3*c_0101_6^12 + 15723813372862267887787274405/93233308061090876\ 3961598*c_0101_3*c_0101_6^11 - 2665874360632584035425089210/4661665\ 40305454381980799*c_0101_3*c_0101_6^10 - 17062546739246268099227030022/466166540305454381980799*c_0101_3*c_0\ 101_6^9 + 22885415666014919874380167668/466166540305454381980799*c_\ 0101_3*c_0101_6^8 - 7229646637198137858241756080/466166540305454381\ 980799*c_0101_3*c_0101_6^7 - 7055528543107723012744734725/932333080\ 610908763961598*c_0101_3*c_0101_6^6 + 3857736544711681483356468165/932333080610908763961598*c_0101_3*c_01\ 01_6^5 + 53272341236272464910284077/466166540305454381980799*c_0101\ _3*c_0101_6^4 - 17712710949813489488275917/932333080610908763961598\ *c_0101_3*c_0101_6^3 + 6851118658707717712030497/466166540305454381\ 980799*c_0101_3*c_0101_6^2 - 9114006225404487189643808/466166540305\ 454381980799*c_0101_3*c_0101_6 - 383223132439338782444391/932333080\ 610908763961598*c_0101_3, c_0101_2 + 334467656856250097167428/466166540305454381980799*c_0101_6^1\ 7 + 1127224102323797158970568/466166540305454381980799*c_0101_6^16 - 17655588227007200267139602/466166540305454381980799*c_0101_6^15 - 37080051229272480366272586/466166540305454381980799*c_0101_6^14 + 224510529089150403904831030/466166540305454381980799*c_0101_6^13 + 163859285167813673877420676/466166540305454381980799*c_0101_6^12 - 1307718372365661843713408211/466166540305454381980799*c_0101_6^11 + 696706142957739834920869169/466166540305454381980799*c_0101_6^10 + 2578267390777478364289023668/466166540305454381980799*c_0101_6^9 - 4276771104453760599048410586/466166540305454381980799*c_0101_6^8 + 2260668388531112965848740789/466166540305454381980799*c_0101_6^7 - 5403172519604700821287290/466166540305454381980799*c_0101_6^6 - 401877200433782221407591692/466166540305454381980799*c_0101_6^5 + 124786106115300674131758187/466166540305454381980799*c_0101_6^4 + 1113066017761897577865541/466166540305454381980799*c_0101_6^3 - 7083100991369535503141667/466166540305454381980799*c_0101_6^2 - 48109245752768138695399/466166540305454381980799*c_0101_6 - 179514814451049251876624/466166540305454381980799, c_0101_3^2 + 334467656856250097167428/466166540305454381980799*c_0101_6\ ^17 + 1127224102323797158970568/466166540305454381980799*c_0101_6^1\ 6 - 17655588227007200267139602/466166540305454381980799*c_0101_6^15 - 37080051229272480366272586/466166540305454381980799*c_0101_6^14 + 224510529089150403904831030/466166540305454381980799*c_0101_6^13 + 163859285167813673877420676/466166540305454381980799*c_0101_6^12 - 1307718372365661843713408211/466166540305454381980799*c_0101_6^11 + 696706142957739834920869169/466166540305454381980799*c_0101_6^10 + 2578267390777478364289023668/466166540305454381980799*c_0101_6^9 - 4276771104453760599048410586/466166540305454381980799*c_0101_6^8 + 2260668388531112965848740789/466166540305454381980799*c_0101_6^7 - 5403172519604700821287290/466166540305454381980799*c_0101_6^6 - 401877200433782221407591692/466166540305454381980799*c_0101_6^5 + 124786106115300674131758187/466166540305454381980799*c_0101_6^4 + 1113066017761897577865541/466166540305454381980799*c_0101_6^3 - 7083100991369535503141667/466166540305454381980799*c_0101_6^2 - 48109245752768138695399/466166540305454381980799*c_0101_6 - 645681354756503633857423/466166540305454381980799, c_0101_6^18 + 3*c_0101_6^17 - 109/2*c_0101_6^16 - 93*c_0101_6^15 + 1473/2*c_0101_6^14 + 299*c_0101_6^13 - 8785/2*c_0101_6^12 + 6445/2*c_0101_6^11 + 8715*c_0101_6^10 - 16135*c_0101_6^9 + 7599*c_0101_6^8 + 4967/2*c_0101_6^7 - 2694*c_0101_6^6 + 101/2*c_0101_6^5 + 525/2*c_0101_6^4 - 5/2*c_0101_6^3 - c_0101_6^2 - 1/2*c_0101_6 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB