Magma V2.19-8 Tue Aug 20 2013 16:17:59 on localhost [Seed = 2378961227] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2216 geometric_solution 5.66125720 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 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 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.279209865263 3.267545880634 0 1 0 1 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.407210085651 0.542248953767 3 4 5 0 1302 0132 0132 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 1 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 0.219801377054 0.628552448164 4 2 0 6 3201 2031 0132 0132 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 -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.219801377054 0.628552448164 5 2 6 3 2031 0132 2031 2310 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 -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.841817690335 1.824060055742 6 6 4 2 1023 3012 1302 0132 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 -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.954679466677 0.933431247711 5 5 3 4 1230 1023 0132 1302 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 -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.954679466677 0.933431247711 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : negation(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_0101_4'], 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_4'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0101_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0011_5'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_5'], '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_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0011_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_5']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_5'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0011_2'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : negation(d['c_0011_0']), '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_2, c_0011_3, c_0011_5, c_0101_0, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 153748833081957913533565742431111/136495765084830398090629802334938\ *c_0101_6^15 - 2737743485365791802831579451310637/13649576508483039\ 8090629802334938*c_0101_6^14 + 21461054208394151330676649986721103/\ 136495765084830398090629802334938*c_0101_6^13 - 94317378383486876506666038503973563/1364957650848303980906298023349\ 38*c_0101_6^12 + 122862208671288203395953750727086639/6824788254241\ 5199045314901167469*c_0101_6^11 - 354821775738364812742181423060285\ 731/136495765084830398090629802334938*c_0101_6^10 + 156284645066184418412801057740551808/682478825424151990453149011674\ 69*c_0101_6^9 - 20340744672665139788062689496420505/682478825424151\ 99045314901167469*c_0101_6^8 - 401055507298815318766377030911602981\ /136495765084830398090629802334938*c_0101_6^7 + 188567080758562399427004809718346346/682478825424151990453149011674\ 69*c_0101_6^6 + 63101072792053475041035168623335625/136495765084830\ 398090629802334938*c_0101_6^5 - 51824128308081888674435547158201011\ /68247882542415199045314901167469*c_0101_6^4 - 26580945170113656921360779428393771/6824788254241519904531490116746\ 9*c_0101_6^3 - 62405303940762784357229598971646123/1364957650848303\ 98090629802334938*c_0101_6^2 + 26337960591117313346814854258093519/\ 68247882542415199045314901167469*c_0101_6 + 711003908725717760664823066639969/2201544598142425775655319392499, c_0011_0 - 1, c_0011_2 + 322368108828357665345598331/75915330970428475022597220431*c_\ 0101_6^15 - 11801522935101338933488271847/1518306619408569500451944\ 40862*c_0101_6^14 + 95727633883678161996316762913/15183066194085695\ 0045194440862*c_0101_6^13 - 220385955467962665653407388187/75915330\ 970428475022597220431*c_0101_6^12 + 1232261119893537718385648788655/151830661940856950045194440862*c_01\ 01_6^11 - 2029719032649157649611096720079/1518306619408569500451944\ 40862*c_0101_6^10 + 2150403695968008666546536200277/151830661940856\ 950045194440862*c_0101_6^9 - 509702940402626083541296167561/7591533\ 0970428475022597220431*c_0101_6^8 - 1400013288529172901164139054565/151830661940856950045194440862*c_01\ 01_6^7 + 1144214587632557217608821796448/75915330970428475022597220\ 431*c_0101_6^6 - 680795124601974566603882681189/1518306619408569500\ 45194440862*c_0101_6^5 - 203625219234130616314415320857/15183066194\ 0856950045194440862*c_0101_6^4 - 82231309248525290267470879856/7591\ 5330970428475022597220431*c_0101_6^3 - 103449393946568109358280703233/151830661940856950045194440862*c_010\ 1_6^2 + 132995226692828728591649396900/7591533097042847502259722043\ 1*c_0101_6 + 36079914244354948177678801149/151830661940856950045194\ 440862, c_0011_3 + 322368108828357665345598331/75915330970428475022597220431*c_\ 0101_6^15 - 11801522935101338933488271847/1518306619408569500451944\ 40862*c_0101_6^14 + 95727633883678161996316762913/15183066194085695\ 0045194440862*c_0101_6^13 - 220385955467962665653407388187/75915330\ 970428475022597220431*c_0101_6^12 + 1232261119893537718385648788655/151830661940856950045194440862*c_01\ 01_6^11 - 2029719032649157649611096720079/1518306619408569500451944\ 40862*c_0101_6^10 + 2150403695968008666546536200277/151830661940856\ 950045194440862*c_0101_6^9 - 509702940402626083541296167561/7591533\ 0970428475022597220431*c_0101_6^8 - 1400013288529172901164139054565/151830661940856950045194440862*c_01\ 01_6^7 + 1144214587632557217608821796448/75915330970428475022597220\ 431*c_0101_6^6 - 680795124601974566603882681189/1518306619408569500\ 45194440862*c_0101_6^5 - 203625219234130616314415320857/15183066194\ 0856950045194440862*c_0101_6^4 - 82231309248525290267470879856/7591\ 5330970428475022597220431*c_0101_6^3 - 103449393946568109358280703233/151830661940856950045194440862*c_010\ 1_6^2 + 132995226692828728591649396900/7591533097042847502259722043\ 1*c_0101_6 + 36079914244354948177678801149/151830661940856950045194\ 440862, c_0011_5 - 94525012015549143694947257/75915330970428475022597220431*c_0\ 101_6^15 + 3125590411898442665250803751/151830661940856950045194440\ 862*c_0101_6^14 - 22275003345672624586488240257/1518306619408569500\ 45194440862*c_0101_6^13 + 42582148878041346698175988606/75915330970\ 428475022597220431*c_0101_6^12 - 173735083813030042736626159643/151\ 830661940856950045194440862*c_0101_6^11 + 121378966315950506842670292553/151830661940856950045194440862*c_010\ 1_6^10 + 44573468786026290038312081327/1518306619408569500451944408\ 62*c_0101_6^9 - 201368193508459911506251998600/75915330970428475022\ 597220431*c_0101_6^8 + 687138586302609776048610499949/1518306619408\ 56950045194440862*c_0101_6^7 - 146782274458363656351632088765/75915\ 330970428475022597220431*c_0101_6^6 - 56923529140683140444899842881/151830661940856950045194440862*c_0101\ _6^5 - 148181509289624385360156806635/15183066194085695004519444086\ 2*c_0101_6^4 + 31322916422407511831139194361/7591533097042847502259\ 7220431*c_0101_6^3 + 163814125737086123122331932173/151830661940856\ 950045194440862*c_0101_6^2 + 13713101232269849354382825554/75915330\ 970428475022597220431*c_0101_6 + 46462057246714893540284154779/1518\ 30661940856950045194440862, c_0101_0 - 223929019526906842286425587/75915330970428475022597220431*c_\ 0101_6^15 + 8401641917349308686262952223/15183066194085695004519444\ 0862*c_0101_6^14 - 70016016448499930365518642825/151830661940856950\ 045194440862*c_0101_6^13 + 166515334923768536986692908478/759153309\ 70428475022597220431*c_0101_6^12 - 972012953165242697678394631271/151830661940856950045194440862*c_010\ 1_6^11 + 1717946638813387543280067006383/15183066194085695004519444\ 0862*c_0101_6^10 - 2009059443866599826129216448747/1518306619408569\ 50045194440862*c_0101_6^9 + 731724929645492250851944772498/75915330\ 970428475022597220431*c_0101_6^8 + 186008813314470947673476459563/151830661940856950045194440862*c_010\ 1_6^7 - 516025837292367945264467655309/7591533097042847502259722043\ 1*c_0101_6^6 - 29409373745437988026020179765/1518306619408569500451\ 94440862*c_0101_6^5 + 274497585906543012767479010159/15183066194085\ 6950045194440862*c_0101_6^4 + 229979479685140259205994074527/759153\ 30970428475022597220431*c_0101_6^3 - 131099002462497299999669265547/151830661940856950045194440862*c_010\ 1_6^2 - 95771542306766345209984158349/75915330970428475022597220431\ *c_0101_6 - 102109569447911877236514347357/151830661940856950045194\ 440862, c_0101_4 - 205806797128370412621837977/75915330970428475022597220431*c_\ 0101_6^15 + 3662406251244437071159157574/75915330970428475022597220\ 431*c_0101_6^14 - 28778915157971711638911102181/7591533097042847502\ 2597220431*c_0101_6^13 + 127603610108865396779685196073/75915330970\ 428475022597220431*c_0101_6^12 - 340877531304219821712912418915/759\ 15330970428475022597220431*c_0101_6^11 + 531484037991117853326371439499/75915330970428475022597220431*c_0101\ _6^10 - 575609056759266926168979418149/7591533097042847502259722043\ 1*c_0101_6^9 + 300309646620926717849480290646/759153309704284750225\ 97220431*c_0101_6^8 + 296105416881016569732626277325/75915330970428\ 475022597220431*c_0101_6^7 - 417641093101263614747197184534/7591533\ 0970428475022597220431*c_0101_6^6 + 135230235714907008006054697651/75915330970428475022597220431*c_0101\ _6^5 - 148270002392650126406669671443/75915330970428475022597220431\ *c_0101_6^4 + 106012571183709078039882922179/7591533097042847502259\ 7220431*c_0101_6^3 + 104994526800520930171892281939/759153309704284\ 75022597220431*c_0101_6^2 - 22843115289177712687742602043/759153309\ 70428475022597220431*c_0101_6 - 40440333709462785088030623382/75915\ 330970428475022597220431, c_0101_6^16 - 18*c_0101_6^15 + 143*c_0101_6^14 - 640*c_0101_6^13 + 1714*c_0101_6^12 - 2608*c_0101_6^11 + 2470*c_0101_6^10 - 681*c_0101_6^9 - 2498*c_0101_6^8 + 2856*c_0101_6^7 + 20*c_0101_6^6 - 697*c_0101_6^5 - 306*c_0101_6^4 - 329*c_0101_6^3 + 427*c_0101_6^2 + 248*c_0101_6 - 31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB