Magma V2.19-8 Tue Aug 20 2013 16:17:18 on localhost [Seed = 3137021551] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1537 geometric_solution 5.33110654 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 0 0 0 0 0 -1 0 1 -1 0 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 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.177454894972 0.130244724931 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 1 0 1 0 0 -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 0 0 0 -1 0 0 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 2.823319477308 2.595202725673 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -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 1 0 -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 0.174873187836 0.479740510726 2 5 4 6 0132 0132 1302 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.266716028751 0.661328098250 3 6 2 5 2031 2310 0132 2310 0 0 0 0 0 -1 0 1 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 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 0.266716028751 0.661328098250 4 3 5 5 3201 0132 1230 3012 0 0 0 0 0 0 -1 1 0 0 -1 1 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 -1 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.475476753244 1.300566609696 6 6 3 4 1230 3012 0132 3201 0 0 0 0 0 1 0 -1 0 0 0 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.513198436110 0.888266156777 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(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' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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' : d['c_0011_4'], '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), '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_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 19183931834766400195994174232525810400094816298829499051883497/7290\ 856093886813399088880579777114062457755165774446221941880*c_0101_5^\ 28 - 84405463682826473511199395412889734982793012914704471131056090\ 7/3645428046943406699544440289888557031228877582887223110970940*c_0\ 101_5^26 - 52692616399477135045041858285807368115885402025723323410\ 31201965/1458171218777362679817776115955422812491551033154889244388\ 376*c_0101_5^24 - 1534849809826290564264557346424929887789832197264\ 54157559032101501/3645428046943406699544440289888557031228877582887\ 223110970940*c_0101_5^22 + 1966384286505097115501334233758065013339\ 14853488768500618011853877/9113570117358516748861100724721392578072\ 19395721805777742735*c_0101_5^20 - 1163073445964396114849591680744413458874654481791694198840823538851\ /729085609388681339908888057977711406245775516577444622194188*c_010\ 1_5^18 + 7876672975700074455328196997221262905083257518418534379181\ 505539115/145817121877736267981777611595542281249155103315488924438\ 8376*c_0101_5^16 - 104029509100993414504654923718954289849712435229\ 882566296387231080791/729085609388681339908888057977711406245775516\ 5774446221941880*c_0101_5^14 + 411571220181186670422591970152765143\ 16903712615940879612968927629645/1458171218777362679817776115955422\ 812491551033154889244388376*c_0101_5^12 - 1102925634219739488412245328223722371239956681206162316364714196187\ 89/3645428046943406699544440289888557031228877582887223110970940*c_\ 0101_5^10 + 7233898977055355761283073870695493368456153042780610052\ 4254047199659/36454280469434066995444402898885570312288775828872231\ 10970940*c_0101_5^8 - 550130349944918362880653948237363922276544777\ 40039137485527931310499/7290856093886813399088880579777114062457755\ 165774446221941880*c_0101_5^6 + 12346687127282327659125312149327736\ 453277469233957422822372703862001/729085609388681339908888057977711\ 4062457755165774446221941880*c_0101_5^4 - 642296151419523265460623964788370624493322460940001861923769547243/\ 3645428046943406699544440289888557031228877582887223110970940*c_010\ 1_5^2 + 81370025655417497426710190807280396772573105835086462320423\ 94053/1822714023471703349772220144944278515614438791443611555485470\ , c_0011_0 - 1, c_0011_2 - 88252186474212755039122782444861559387731325472165471471/383\ 72926809930596837309897788300600328725027188286559062852*c_0101_5^2\ 8 + 1940681446145901396642426184718897725239129416337882862443/9593\ 231702482649209327474447075150082181256797071639765713*c_0101_5^26 + 121475081977725696085161101657075729249353631176472091215655/383729\ 26809930596837309897788300600328725027188286559062852*c_0101_5^24 + 354115504527871026233097491901766678004209989729099948567918/959323\ 1702482649209327474447075150082181256797071639765713*c_0101_5^22 - 1796635704637173161016979530369993329041758364799722300214470/95932\ 31702482649209327474447075150082181256797071639765713*c_0101_5^20 + 26627405409913941110085341519579395935038372702413345988631841/1918\ 6463404965298418654948894150300164362513594143279531426*c_0101_5^18 - 179310449906915218687164914366498135754144888279794671621009905/3\ 8372926809930596837309897788300600328725027188286559062852*c_0101_5\ ^16 + 4723484096510879832692813392732556823580066953272036920975823\ 99/38372926809930596837309897788300600328725027188286559062852*c_01\ 01_5^14 - 930327341265292748119580410247809242622269617900543087429\ 222297/38372926809930596837309897788300600328725027188286559062852*\ c_0101_5^12 + 24568233136205137487069190432153313801938377936233969\ 1436959498/95932317024826492093274744470751500821812567970716397657\ 13*c_0101_5^10 - 31616275464994364803749460506998440650612972611234\ 3889811314949/19186463404965298418654948894150300164362513594143279\ 531426*c_0101_5^8 + 23182523411903051097548184273056278231310868688\ 5675261131168585/38372926809930596837309897788300600328725027188286\ 559062852*c_0101_5^6 - 49182491781205038511673721249010085107403293\ 704200702060588141/383729268099305968373098977883006003287250271882\ 86559062852*c_0101_5^4 + 109381744949498175996311929362864386734437\ 4241146288697016641/95932317024826492093274744470751500821812567970\ 71639765713*c_0101_5^2 - 135898256697442660487786465908086127701053\ 93428209776558783/9593231702482649209327474447075150082181256797071\ 639765713, c_0011_4 + 2244830178748948805753926460994217177636577044233674943/9593\ 231702482649209327474447075150082181256797071639765713*c_0101_5^28 - 197333499246104121934670327839718352834187544405534259320/959323170\ 2482649209327474447075150082181256797071639765713*c_0101_5^26 - 3100759696850452922679563956485977843502919977560980893421/95932317\ 02482649209327474447075150082181256797071639765713*c_0101_5^24 - 36199547071783534701918658952054243314626071445754044449887/9593231\ 702482649209327474447075150082181256797071639765713*c_0101_5^22 + 180820995716027586610181934272884763370922600107213042611766/959323\ 1702482649209327474447075150082181256797071639765713*c_0101_5^20 - 1344575820493197278920829744173752285616943458900633575677177/95932\ 31702482649209327474447075150082181256797071639765713*c_0101_5^18 + 4486076084932640892565857133940531564553220928561385863720214/95932\ 31702482649209327474447075150082181256797071639765713*c_0101_5^16 - 11761892180102511477682736603165608769735505080088639205605357/9593\ 231702482649209327474447075150082181256797071639765713*c_0101_5^14 + 22989656990431309734903173175581123762938736420937247596236572/9593\ 231702482649209327474447075150082181256797071639765713*c_0101_5^12 - 23658349236368376139486932991263322400857493594601546978359111/9593\ 231702482649209327474447075150082181256797071639765713*c_0101_5^10 + 14622874923699946570882062160677398722300630766604800649216893/9593\ 231702482649209327474447075150082181256797071639765713*c_0101_5^8 - 4878244952246236366021325114492585982493113839558126148706793/95932\ 31702482649209327474447075150082181256797071639765713*c_0101_5^6 + 875911514890609034163543559723552985153692105621877458412999/959323\ 1702482649209327474447075150082181256797071639765713*c_0101_5^4 - 46226602322301339299034033521685351091186957079972211560705/9593231\ 702482649209327474447075150082181256797071639765713*c_0101_5^2 - 143554717450661821469281138745273034647633330502478338399/959323170\ 2482649209327474447075150082181256797071639765713, c_0011_6 - 79487614089285976505147987643687774874351019528210769575/383\ 72926809930596837309897788300600328725027188286559062852*c_0101_5^2\ 8 + 1748134193658048167749616911942463035682188720647921519389/9593\ 231702482649209327474447075150082181256797071639765713*c_0101_5^26 + 109345430736935422110178277359095523213442217561696737647071/383729\ 26809930596837309897788300600328725027188286559062852*c_0101_5^24 + 318683666515750964547693967649543820324342387443787307076732/959323\ 1702482649209327474447075150082181256797071639765713*c_0101_5^22 - 1621311167910965807680357802131595113651983431155664992495958/95932\ 31702482649209327474447075150082181256797071639765713*c_0101_5^20 + 24011107359401662844925918628379372326022153723490876322193509/1918\ 6463404965298418654948894150300164362513594143279531426*c_0101_5^18 - 161937171882628886981044121696288691521216845377430652897774529/3\ 8372926809930596837309897788300600328725027188286559062852*c_0101_5\ ^16 + 4268170450765485895251785627645969578954087850330235014118267\ 23/38372926809930596837309897788300600328725027188286559062852*c_01\ 01_5^14 - 841546084231804303157152409857852592076989955901536925324\ 009217/38372926809930596837309897788300600328725027188286559062852*\ c_0101_5^12 + 22301213948391434246743186100465240733011157074407067\ 9620625178/95932317024826492093274744470751500821812567970716397657\ 13*c_0101_5^10 - 28809653766652662353882819252289752887699586924003\ 6504659962203/19186463404965298418654948894150300164362513594143279\ 531426*c_0101_5^8 + 21329948207825120168548496737046267121494042640\ 5386018621023349/38372926809930596837309897788300600328725027188286\ 559062852*c_0101_5^6 - 46004365396415874289798975366900186937221800\ 161018511186992157/383729268099305968373098977883006003287250271882\ 86559062852*c_0101_5^4 + 108403492283648513326502614586900403188709\ 6252122197020209656/95932317024826492093274744470751500821812567970\ 71639765713*c_0101_5^2 - 137847239734061574414536889612961091557340\ 15758344036746811/9593231702482649209327474447075150082181256797071\ 639765713, c_0101_0 - 976500912524002109511766654177298936719762793586439583367/76\ 745853619861193674619795576601200657450054376573118125704*c_0101_5^\ 29 + 21478260229969113910586521750510842425175364395323437357171/19\ 186463404965298418654948894150300164362513594143279531426*c_0101_5^\ 27 + 1342411976241906600320737960572779443131533754779597303257659/\ 76745853619861193674619795576601200657450054376573118125704*c_0101_\ 5^25 + 195577286818932543056026252497501643973011154234461737804361\ 6/9593231702482649209327474447075150082181256797071639765713*c_0101\ _5^23 - 99790066973552913586197271128123985262962036202202818076537\ 09/9593231702482649209327474447075150082181256797071639765713*c_010\ 1_5^21 + 2953942722255479505997882444641056947043039007965222233496\ 03775/38372926809930596837309897788300600328725027188286559062852*c\ _0101_5^19 - 199552128765436713082181496485819315719766232726863003\ 2213341741/76745853619861193674619795576601200657450054376573118125\ 704*c_0101_5^17 + 5264283901832105040934153490234328756202771919313\ 275163945367675/767458536198611936746197955766012006574500543765731\ 18125704*c_0101_5^15 - 10392915763926585452399592449372871350794471\ 144064887450154593257/767458536198611936746197955766012006574500543\ 76573118125704*c_0101_5^13 + 27665258626183239764630938752303153844\ 87306748419933378510729079/1918646340496529841865494889415030016436\ 2513594143279531426*c_0101_5^11 - 359535469344930403749618225373955\ 3530572426352610419135485527161/38372926809930596837309897788300600\ 328725027188286559062852*c_0101_5^9 + 2686196572164365661646979016509304518178953680938458491470894429/76\ 745853619861193674619795576601200657450054376573118125704*c_0101_5^\ 7 - 585569170346327357396212605371954410439557077607969397872905613\ /76745853619861193674619795576601200657450054376573118125704*c_0101\ _5^5 + 701644768766765241989491844516150313562092424541528869290341\ 2/9593231702482649209327474447075150082181256797071639765713*c_0101\ _5^3 - 106816514617461237452369789109924760178605658398840669791708\ /9593231702482649209327474447075150082181256797071639765713*c_0101_\ 5, c_0101_1 + 67568372876442606611150389991159055395296385456694224259/383\ 72926809930596837309897788300600328725027188286559062852*c_0101_5^2\ 8 - 1485870262441696701886116700582402397440583451314744523834/9593\ 231702482649209327474447075150082181256797071639765713*c_0101_5^26 - 92994357370118740869180509312219504763793783036918050567467/3837292\ 6809930596837309897788300600328725027188286559062852*c_0101_5^24 - 271079950779657329922705556042712581388942035669859078041377/959323\ 1702482649209327474447075150082181256797071639765713*c_0101_5^22 + 1376033576758824429411597686710337098045597041616714054593094/95932\ 31702482649209327474447075150082181256797071639765713*c_0101_5^20 - 20391430736639405979416148890406174292663549386268541911568295/1918\ 6463404965298418654948894150300164362513594143279531426*c_0101_5^18 + 137356420365846073112839562420606927236090164675574091678715781/3\ 8372926809930596837309897788300600328725027188286559062852*c_0101_5\ ^16 - 3618811756027479192773626606203372859324668746568419510256777\ 99/38372926809930596837309897788300600328725027188286559062852*c_01\ 01_5^14 + 712917818939352070944465094440758875377324156229275140013\ 649401/38372926809930596837309897788300600328725027188286559062852*\ c_0101_5^12 - 18841453787431132056929571355497288242825671477554259\ 1432951655/95932317024826492093274744470751500821812567970716397657\ 13*c_0101_5^10 + 24273430944684088916356124693252049409514363597219\ 9559700665781/19186463404965298418654948894150300164362513594143279\ 531426*c_0101_5^8 - 17844610372325203395190051045814106061549604001\ 7113101421699133/38372926809930596837309897788300600328725027188286\ 559062852*c_0101_5^6 + 38013309493556250770857825506563721546226317\ 246145896814666537/383729268099305968373098977883006003287250271882\ 86559062852*c_0101_5^4 - 853308169827393715066422503655504453407038\ 003211479721681962/959323170248264920932747444707515008218125679707\ 1639765713*c_0101_5^2 + 1510220810930562535874162547190321407440797\ 8012238437462235/95932317024826492093274744470751500821812567970716\ 39765713, c_0101_5^30 - 88*c_0101_5^28 - 1373*c_0101_5^26 - 15996*c_0101_5^24 + 82064*c_0101_5^22 - 606618*c_0101_5^20 + 2055435*c_0101_5^18 - 5431513*c_0101_5^16 + 10750523*c_0101_5^14 - 11546184*c_0101_5^12 + 7597038*c_0101_5^10 - 2907331*c_0101_5^8 + 660775*c_0101_5^6 - 71356*c_0101_5^4 + 2264*c_0101_5^2 - 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB