Magma V2.19-8 Tue Aug 20 2013 16:15:57 on localhost [Seed = 1916005966] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0180 geometric_solution 3.99095525 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 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 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 6.267623924387 2.048978990003 0 1 1 0 0132 1230 3012 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.128926344684 0.037463121289 0 3 3 0 3201 0132 3201 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.268876582043 0.205684560642 2 2 4 5 2310 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 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.726004055641 1.106372345884 5 6 5 3 1302 0132 2031 0132 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 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.745808504933 0.437104059955 6 4 3 4 2310 2031 0132 1302 0 0 0 0 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 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.745808504933 0.437104059955 6 4 5 6 3201 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 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.503820890508 0.303546618425 ==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' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(d['1']), 's_2_5' : negation(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' : negation(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_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : 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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(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_0011_4'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 158898555239103901953033638171/1486858405721347440301586023*c_0101_\ 6^16 - 1552319370428001817041676039395/1486858405721347440301586023\ *c_0101_6^15 + 3377443250068723285188264464475/14868584057213474403\ 01586023*c_0101_6^14 - 1731451315921325033899793846003/148685840572\ 1347440301586023*c_0101_6^13 - 47118528083686076586642712416998/148\ 6858405721347440301586023*c_0101_6^12 + 21685304147409438764496110903464/1486858405721347440301586023*c_010\ 1_6^11 + 178575218895519445773269220459036/148685840572134744030158\ 6023*c_0101_6^10 + 65914799304331162235323867248050/148685840572134\ 7440301586023*c_0101_6^9 - 277596982718943528938178482419964/148685\ 8405721347440301586023*c_0101_6^8 - 139589847803290570386971669970899/1486858405721347440301586023*c_01\ 01_6^7 + 281245833591209885017208717490613/148685840572134744030158\ 6023*c_0101_6^6 + 15240139451203373761796523113168/1486858405721347\ 440301586023*c_0101_6^5 - 116194662404508966695642942260349/1486858\ 405721347440301586023*c_0101_6^4 + 15228630473998234783440947917598/1486858405721347440301586023*c_010\ 1_6^3 + 15568744095712793743656338848438/14868584057213474403015860\ 23*c_0101_6^2 - 2176841577872441877964766854828/1486858405721347440\ 301586023*c_0101_6 - 514374844744580300842644404376/148685840572134\ 7440301586023, c_0011_0 - 1, c_0011_2 - 29377326274197928224817147/36264839163935303421989903*c_0101\ _6^16 - 302248411413147873809193089/36264839163935303421989903*c_01\ 01_6^15 + 469239466051775261772465085/36264839163935303421989903*c_\ 0101_6^14 - 58305089229282928675451609/36264839163935303421989903*c\ _0101_6^13 - 8768748358835031790510626820/3626483916393530342198990\ 3*c_0101_6^12 - 543246411138119752971475071/36264839163935303421989\ 903*c_0101_6^11 + 33259100144681432604976131586/3626483916393530342\ 1989903*c_0101_6^10 + 29516905343224054660779175988/362648391639353\ 03421989903*c_0101_6^9 - 38016756376435408823001961813/362648391639\ 35303421989903*c_0101_6^8 - 47424388546569074310376210969/362648391\ 63935303421989903*c_0101_6^7 + 29668879476243512993366010970/362648\ 39163935303421989903*c_0101_6^6 + 21298500671247575086289353386/362\ 64839163935303421989903*c_0101_6^5 - 12150741290718245190737674093/36264839163935303421989903*c_0101_6^4 - 5002974458673127098815471835/36264839163935303421989903*c_0101_6^\ 3 + 1037575502401032263156032132/36264839163935303421989903*c_0101_\ 6^2 + 521826054366540900051811330/36264839163935303421989903*c_0101\ _6 + 75768129111939790033212843/36264839163935303421989903, c_0011_4 - 7692045789379709553675861/36264839163935303421989903*c_0101_\ 6^16 - 75028453571783013425769411/36264839163935303421989903*c_0101\ _6^15 + 164847437209170967486364142/36264839163935303421989903*c_01\ 01_6^14 - 84022787238323273600079586/36264839163935303421989903*c_0\ 101_6^13 - 2281401159779000531794127656/36264839163935303421989903*\ c_0101_6^12 + 1082243913283287396589476207/362648391639353034219899\ 03*c_0101_6^11 + 8690321711091167324033985402/362648391639353034219\ 89903*c_0101_6^10 + 3109472062871967453781235596/362648391639353034\ 21989903*c_0101_6^9 - 13721657677278815597802225916/362648391639353\ 03421989903*c_0101_6^8 - 6949707519271154927431690483/3626483916393\ 5303421989903*c_0101_6^7 + 13838780168048567392420453645/3626483916\ 3935303421989903*c_0101_6^6 + 1126970804408158806269259439/36264839\ 163935303421989903*c_0101_6^5 - 5553219765386611754373612462/362648\ 39163935303421989903*c_0101_6^4 + 475985790220200191026558874/36264\ 839163935303421989903*c_0101_6^3 + 680834433488666478565012701/36264839163935303421989903*c_0101_6^2 + 7906973866730775392205193/36264839163935303421989903*c_0101_6 - 15439255060579072002563011/36264839163935303421989903, c_0101_0 + 4972553146721361565802919/36264839163935303421989903*c_0101_\ 6^16 + 59241998609523455770634760/36264839163935303421989903*c_0101\ _6^15 + 626789805975686075701380/36264839163935303421989903*c_0101_\ 6^14 - 150431945899976794915092331/36264839163935303421989903*c_010\ 1_6^13 + 1556300484525460826461532290/36264839163935303421989903*c_\ 0101_6^12 + 2484285838424839794163296308/36264839163935303421989903\ *c_0101_6^11 - 6397959753449926140682299834/36264839163935303421989\ 903*c_0101_6^10 - 14007183855383998798458475513/3626483916393530342\ 1989903*c_0101_6^9 + 1740356425562990691912001410/36264839163935303\ 421989903*c_0101_6^8 + 20857159460655300924351568563/36264839163935\ 303421989903*c_0101_6^7 + 3679395173073794879896021481/362648391639\ 35303421989903*c_0101_6^6 - 15663209575022735891040181702/362648391\ 63935303421989903*c_0101_6^5 + 26444232797125908774096131/362648391\ 63935303421989903*c_0101_6^4 + 5430544805667848922927212373/3626483\ 9163935303421989903*c_0101_6^3 - 203817290338495200643559098/362648\ 39163935303421989903*c_0101_6^2 - 553284944387780795162165669/36264\ 839163935303421989903*c_0101_6 - 48084161014620016685951160/3626483\ 9163935303421989903, c_0101_1 - 13856897153034232823258573/36264839163935303421989903*c_0101\ _6^16 - 137123485534781246146247104/36264839163935303421989903*c_01\ 01_6^15 + 276472968885950690062360943/36264839163935303421989903*c_\ 0101_6^14 - 122642745829172407584484008/36264839163935303421989903*\ c_0101_6^13 - 4104553476332673274731958417/362648391639353034219899\ 03*c_0101_6^12 + 1356446537882612735774211301/362648391639353034219\ 89903*c_0101_6^11 + 15532439680832981217295662868/36264839163935303\ 421989903*c_0101_6^10 + 7945306117728336647952951128/36264839163935\ 303421989903*c_0101_6^9 - 22401345287434688967564230110/36264839163\ 935303421989903*c_0101_6^8 - 15203768370822740690831421458/36264839\ 163935303421989903*c_0101_6^7 + 20960724643730697979063302356/36264\ 839163935303421989903*c_0101_6^6 + 3917158381785265035892566684/36264839163935303421989903*c_0101_6^5 - 7783142570564014312162270685/36264839163935303421989903*c_0101_6^4 - 47954729221009052640759971/36264839163935303421989903*c_0101_6^3 + 699775868883850843800437069/36264839163935303421989903*c_0101_6^2 + 120752192526411223345635959/36264839163935303421989903*c_0101_6 + 14699466582323923174111910/36264839163935303421989903, c_0101_3 + 18304999034028797610470957/36264839163935303421989903*c_0101\ _6^16 + 185699538838716508234418324/36264839163935303421989903*c_01\ 01_6^15 - 318662077214670503420410928/36264839163935303421989903*c_\ 0101_6^14 + 85996639618428443390912924/36264839163935303421989903*c\ _0101_6^13 + 5440698577949211081039488521/3626483916393530342198990\ 3*c_0101_6^12 - 435527159245906153582860522/36264839163935303421989\ 903*c_0101_6^11 - 20540969180145460618126829439/3626483916393530342\ 1989903*c_0101_6^10 - 15551919347018839698794513681/362648391639353\ 03421989903*c_0101_6^9 + 25471693662165747058237722343/362648391639\ 35303421989903*c_0101_6^8 + 25893824170526258726619037122/362648391\ 63935303421989903*c_0101_6^7 - 21380637358104152841723804107/362648\ 39163935303421989903*c_0101_6^6 - 10009067053801232661083921193/362\ 64839163935303421989903*c_0101_6^5 + 8237731826376612676283432881/36264839163935303421989903*c_0101_6^4 + 2169362473221268651650422856/36264839163935303421989903*c_0101_6^3 - 739725752935321934619011386/36264839163935303421989903*c_0101_6^2 - 353544290607727303251681353/36264839163935303421989903*c_0101_6 - 24448704730769673778684728/36264839163935303421989903, c_0101_6^17 + 10*c_0101_6^16 - 19*c_0101_6^15 + 6*c_0101_6^14 + 299*c_0101_6^13 - 68*c_0101_6^12 - 1155*c_0101_6^11 - 675*c_0101_6^10 + 1650*c_0101_6^9 + 1284*c_0101_6^8 - 1563*c_0101_6^7 - 507*c_0101_6^6 + 703*c_0101_6^5 + 76*c_0101_6^4 - 117*c_0101_6^3 - 11*c_0101_6^2 + 6*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB