Magma V2.19-8 Tue Aug 20 2013 16:15:57 on localhost [Seed = 3566553320] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0192 geometric_solution 4.00467077 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 3201 0 0 0 0 0 1 -1 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 -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.997895487044 0.583219536791 0 0 2 3 0132 2310 2031 1302 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 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.253038935142 0.436561034600 2 0 2 1 2310 0132 3201 1302 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 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.464257147572 0.872191174384 4 4 1 0 0132 3201 2031 0132 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 -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.407969213895 0.638355369069 3 5 3 5 0132 0132 2310 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 -2.377295593074 1.915536121956 4 4 6 6 3201 0132 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.132817637019 0.049140099003 6 5 5 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 -2.615711745981 0.468368359058 ==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' : 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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(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_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 21661543793757847405262723940904/256256403642585117356780855695*c_0\ 101_6^17 - 11823154329897184291212229440457/73216115326452890673365\ 958770*c_0101_6^16 - 588544083747381341679110508992771/256256403642\ 585117356780855695*c_0101_6^15 - 27886278393670761458130719665672/5\ 1251280728517023471356171139*c_0101_6^14 - 531058443026193546180313418964672/36608057663226445336682979385*c_0\ 101_6^13 + 7353245217395192079188503209255/357151782080258003284711\ 994*c_0101_6^12 + 14234774589433875990581002147573051/5125128072851\ 70234713561711390*c_0101_6^11 - 2268073198054586716108745822447121/\ 51251280728517023471356171139*c_0101_6^10 + 2923087701235221937060103521166852/36608057663226445336682979385*c_\ 0101_6^9 - 5974546623162143723971343974911479/732161153264528906733\ 65958770*c_0101_6^8 + 6505823093031571059893860696139578/2562564036\ 42585117356780855695*c_0101_6^7 - 213272002604666814249466419931883\ 9/512512807285170234713561711390*c_0101_6^6 - 6702925197200964527691148203454888/256256403642585117356780855695*c\ _0101_6^5 + 7607392512229135392238907291820214/25625640364258511735\ 6780855695*c_0101_6^4 - 5888467129245111196322376883907349/51251280\ 7285170234713561711390*c_0101_6^3 + 481930968692796732269042822887857/73216115326452890673365958770*c_0\ 101_6^2 - 43721234076065792098385829277593/732161153264528906733659\ 58770*c_0101_6 - 502667308826864796155905845546447/5125128072851702\ 34713561711390, c_0011_0 - 1, c_0011_3 + 31336814042911042719514523/178575891040129001642355997*c_010\ 1_6^17 - 43172229434009251069213357/178575891040129001642355997*c_0\ 101_6^16 - 870057073198370351915079584/178575891040129001642355997*\ c_0101_6^15 - 670153869449309832041316199/1785758910401290016423559\ 97*c_0101_6^14 - 5860220075265951720581811508/178575891040129001642\ 355997*c_0101_6^13 + 4394462984092606285078205110/17857589104012900\ 1642355997*c_0101_6^12 + 11884017384815511068467032107/178575891040\ 129001642355997*c_0101_6^11 - 9608096940086091849666207051/17857589\ 1040129001642355997*c_0101_6^10 + 26776039130178581289608206057/178\ 575891040129001642355997*c_0101_6^9 - 17515556689705812749113615123/178575891040129001642355997*c_0101_6^\ 8 + 2167785555243144054237477770/178575891040129001642355997*c_0101\ _6^7 - 579098839922604156408658003/178575891040129001642355997*c_01\ 01_6^6 - 12159000106890100367083519571/178575891040129001642355997*\ c_0101_6^5 + 6072567951965252200666927182/1785758910401290016423559\ 97*c_0101_6^4 - 2414299861036073142722389173/1785758910401290016423\ 55997*c_0101_6^3 + 1329426838724928228371397260/1785758910401290016\ 42355997*c_0101_6^2 + 776842492729414818683422459/17857589104012900\ 1642355997*c_0101_6 - 138296722098523446923123156/17857589104012900\ 1642355997, c_0011_6 - 15657647693165018248878522/178575891040129001642355997*c_010\ 1_6^17 + 23335229156039099502627745/178575891040129001642355997*c_0\ 101_6^16 + 431136741147809361908966897/178575891040129001642355997*\ c_0101_6^15 + 286644862058435917306611032/1785758910401290016423559\ 97*c_0101_6^14 + 2924682444468583791427372112/178575891040129001642\ 355997*c_0101_6^13 - 2477270581921200305737916446/17857589104012900\ 1642355997*c_0101_6^12 - 5481481881304363076039758726/1785758910401\ 29001642355997*c_0101_6^11 + 5395611038338593675994221463/178575891\ 040129001642355997*c_0101_6^10 - 14689168804741070004316155170/1785\ 75891040129001642355997*c_0101_6^9 + 10131658343069898802063458932/178575891040129001642355997*c_0101_6^\ 8 - 2313509092530626701260221783/178575891040129001642355997*c_0101\ _6^7 + 918379124792598798936371455/178575891040129001642355997*c_01\ 01_6^6 + 6747072629836070898662135857/178575891040129001642355997*c\ _0101_6^5 - 3562575604519290624968433378/17857589104012900164235599\ 7*c_0101_6^4 + 1775778796238656975306701742/17857589104012900164235\ 5997*c_0101_6^3 - 944588404899932820425096348/178575891040129001642\ 355997*c_0101_6^2 - 502084760104603785199150447/1785758910401290016\ 42355997*c_0101_6 + 80077342946565184417491228/17857589104012900164\ 2355997, c_0101_0 + 24401789727690741128134042/178575891040129001642355997*c_010\ 1_6^17 - 41499649622849462765045943/178575891040129001642355997*c_0\ 101_6^16 - 662427802511614825079903560/178575891040129001642355997*\ c_0101_6^15 - 309159373522661581143147400/1785758910401290016423559\ 97*c_0101_6^14 - 4510826231919727135932588988/178575891040129001642\ 355997*c_0101_6^13 + 4814786961071327577679042689/17857589104012900\ 1642355997*c_0101_6^12 + 7346274087162073539824169688/1785758910401\ 29001642355997*c_0101_6^11 - 9861081302745649246122987177/178575891\ 040129001642355997*c_0101_6^10 + 24644816664929144672353569271/1785\ 75891040129001642355997*c_0101_6^9 - 21876485029105383472443626372/178575891040129001642355997*c_0101_6^\ 8 + 10074190791289432877070366788/178575891040129001642355997*c_010\ 1_6^7 - 3232600089976092584241615521/178575891040129001642355997*c_\ 0101_6^6 - 8230633322395201030684975506/178575891040129001642355997\ *c_0101_6^5 + 7366199790841176029671555218/178575891040129001642355\ 997*c_0101_6^4 - 4823129524985111344176489769/178575891040129001642\ 355997*c_0101_6^3 + 2219589000009051010483096449/178575891040129001\ 642355997*c_0101_6^2 - 191349421097844976895007105/1785758910401290\ 01642355997*c_0101_6 - 113056882631048209293012775/1785758910401290\ 01642355997, c_0101_2 - 26380160438008232593735309/178575891040129001642355997*c_010\ 1_6^17 + 48934751432321908448985843/178575891040129001642355997*c_0\ 101_6^16 + 717752447331154696858247818/178575891040129001642355997*\ c_0101_6^15 + 212427709896627162927749965/1785758910401290016423559\ 97*c_0101_6^14 + 4585505217451531296280525321/178575891040129001642\ 355997*c_0101_6^13 - 6149232519199198993761185961/17857589104012900\ 1642355997*c_0101_6^12 - 8699696928498571480906581956/1785758910401\ 29001642355997*c_0101_6^11 + 12976220224757782920085780000/17857589\ 1040129001642355997*c_0101_6^10 - 24774365083964123931860397518/178\ 575891040129001642355997*c_0101_6^9 + 24739407993469864122337711722/178575891040129001642355997*c_0101_6^\ 8 - 8136557149259100686709998844/178575891040129001642355997*c_0101\ _6^7 + 2602912146216566131788255019/178575891040129001642355997*c_0\ 101_6^6 + 7631116014026471224479264080/178575891040129001642355997*\ c_0101_6^5 - 8748043012493433627027645687/1785758910401290016423559\ 97*c_0101_6^4 + 3806070915751483204631865509/1785758910401290016423\ 55997*c_0101_6^3 - 2788266348332860135085329175/1785758910401290016\ 42355997*c_0101_6^2 + 495314395227095125925501136/17857589104012900\ 1642355997*c_0101_6 + 179469315959712402937573464/17857589104012900\ 1642355997, c_0101_3 + 6279879518632063478307943/178575891040129001642355997*c_0101\ _6^17 - 9339586479986052428951194/178575891040129001642355997*c_010\ 1_6^16 - 174159397096040554505059449/178575891040129001642355997*c_\ 0101_6^15 - 113140915247061095746362379/178575891040129001642355997\ *c_0101_6^14 - 1138322380530731989270415866/17857589104012900164235\ 5997*c_0101_6^13 + 993523918049484343846754615/17857589104012900164\ 2355997*c_0101_6^12 + 2347363305805650244204307873/1785758910401290\ 01642355997*c_0101_6^11 - 2510217426253411575425060487/178575891040\ 129001642355997*c_0101_6^10 + 5100533296314106785408730727/17857589\ 1040129001642355997*c_0101_6^9 - 3116631684628343096411827317/17857\ 5891040129001642355997*c_0101_6^8 + 690025320664940163627136680/178575891040129001642355997*c_0101_6^7 + 28089575798347673505958148/178575891040129001642355997*c_0101_6^6 - 1509153448516862501580193816/178575891040129001642355997*c_0101_6^5 + 976372416704516365219242094/178575891040129001642355997*c_0101_6^\ 4 - 716791968557519883976710278/178575891040129001642355997*c_0101_\ 6^3 + 312647217277040784334084862/178575891040129001642355997*c_010\ 1_6^2 - 401731279986850264045235266/178575891040129001642355997*c_0\ 101_6 - 14009684164853982209252144/178575891040129001642355997, c_0101_6^18 - 2*c_0101_6^17 - 27*c_0101_6^16 - 4*c_0101_6^15 - 171*c_0101_6^14 + 259*c_0101_6^13 + 307*c_0101_6^12 - 553*c_0101_6^11 + 991*c_0101_6^10 - 1050*c_0101_6^9 + 386*c_0101_6^8 - 76*c_0101_6^7 - 305*c_0101_6^6 + 379*c_0101_6^5 - 167*c_0101_6^4 + 90*c_0101_6^3 - 14*c_0101_6^2 - 11*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB