Magma V2.19-8 Tue Aug 20 2013 16:18:36 on localhost [Seed = 2446331044] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2776 geometric_solution 6.00799973 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 1230 0132 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 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.091605054423 0.967720234923 0 4 4 5 0132 0132 1230 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 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.257548488716 0.809580146375 4 0 5 0 0132 0132 1302 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.083480335863 1.323735046898 3 4 0 3 3012 0213 0132 1230 0 0 0 0 0 -1 0 1 -1 0 0 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 -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.389113731396 0.895454964153 2 1 3 1 0132 0132 0213 3012 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 -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.137011820895 0.902630204796 2 6 1 6 2031 0132 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 -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.826407270773 1.481834108269 5 5 6 6 3201 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 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.443021118449 0.188066745376 ==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' : 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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0101_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0101_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_0101_6']), 'c_1010_0' : negation(d['c_0101_6'])})} 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_5, c_0101_0, c_0101_1, c_0101_6, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 4259812023245164290478912570676/1538828927253141610036574265691*c_0\ 110_6^20 - 14749524612457078063536072844122/15388289272531416100365\ 74265691*c_0110_6^19 + 172648188988775956548388074013063/1538828927\ 253141610036574265691*c_0110_6^18 + 838030486346156617832879542975674/1538828927253141610036574265691*c\ _0110_6^17 - 89567206727588135553561271431500/153882892725314161003\ 6574265691*c_0110_6^16 - 5969366674113766078472369490716834/1538828\ 927253141610036574265691*c_0110_6^15 - 6597006579300993380167690688591248/1538828927253141610036574265691*\ c_0110_6^14 + 15044069119669389891608715720400458/15388289272531416\ 10036574265691*c_0110_6^13 + 27780419590094019115207029076456622/15\ 38828927253141610036574265691*c_0110_6^12 - 2324682347938041529440290848508242/219832703893305944290939180813*c\ _0110_6^11 - 50860440562526966452420469055126760/153882892725314161\ 0036574265691*c_0110_6^10 + 4711706739491971866566269822203845/1538\ 828927253141610036574265691*c_0110_6^9 + 49980383915817116800610759166332705/1538828927253141610036574265691\ *c_0110_6^8 + 5812085521180656412921612205987528/153882892725314161\ 0036574265691*c_0110_6^7 - 25576844311411600574093040227217574/1538\ 828927253141610036574265691*c_0110_6^6 - 6678554633761647185687547503743547/1538828927253141610036574265691*\ c_0110_6^5 + 4974522760789485194241147348678073/1538828927253141610\ 036574265691*c_0110_6^4 + 3143962999296126614247915374319752/153882\ 8927253141610036574265691*c_0110_6^3 + 158800775752379013307214969210349/1538828927253141610036574265691*c\ _0110_6^2 - 391348738099112291084939519104851/153882892725314161003\ 6574265691*c_0110_6 - 101382033208709350087572305309084/15388289272\ 53141610036574265691, c_0011_0 - 1, c_0011_3 + 311193322688873803287320769516/21983270389330594429093918081\ 3*c_0110_6^20 - 673609380447338904441128883406/21983270389330594429\ 0939180813*c_0110_6^19 - 9500285138920687077194697083267/2198327038\ 93305944290939180813*c_0110_6^18 - 6647044530279197400300931322775/219832703893305944290939180813*c_01\ 10_6^17 + 65186102651374071678850580352632/219832703893305944290939\ 180813*c_0110_6^16 + 94821990444102013261249189228313/2198327038933\ 05944290939180813*c_0110_6^15 - 178910088935063022371003302918145/2\ 19832703893305944290939180813*c_0110_6^14 - 361038177264462104866581139721633/219832703893305944290939180813*c_\ 0110_6^13 + 248463989023327810509347341145918/219832703893305944290\ 939180813*c_0110_6^12 + 676818571445339390009793769867113/219832703\ 893305944290939180813*c_0110_6^11 - 196300580809079371011621060035043/219832703893305944290939180813*c_\ 0110_6^10 - 709018728559222091578727000513452/219832703893305944290\ 939180813*c_0110_6^9 + 98793546833012965539288313499819/21983270389\ 3305944290939180813*c_0110_6^8 + 397908227713876660405140394850302/\ 219832703893305944290939180813*c_0110_6^7 - 19382707133857410008774210916337/219832703893305944290939180813*c_0\ 110_6^6 - 96695850185435460499449496625557/219832703893305944290939\ 180813*c_0110_6^5 - 18632435850347826449240882220243/21983270389330\ 5944290939180813*c_0110_6^4 + 8059051462391805584140738971687/21983\ 2703893305944290939180813*c_0110_6^3 + 6212030749761768680906132005799/219832703893305944290939180813*c_01\ 10_6^2 + 121520832212959539073049594959/219832703893305944290939180\ 813*c_0110_6 - 199804014210169292011434006610/219832703893305944290\ 939180813, c_0011_5 - 62694709838048256673160010924/219832703893305944290939180813\ *c_0110_6^20 + 152033054173553213103118052390/219832703893305944290\ 939180813*c_0110_6^19 + 1835722846768424509832238122327/21983270389\ 3305944290939180813*c_0110_6^18 + 932797674192491375536401549741/21\ 9832703893305944290939180813*c_0110_6^17 - 12181643336109576276741458406356/219832703893305944290939180813*c_0\ 110_6^16 - 14720371282046606378892421694654/21983270389330594429093\ 9180813*c_0110_6^15 + 32434910093489114515500533497879/219832703893\ 305944290939180813*c_0110_6^14 + 50611048683907664360254638060060/2\ 19832703893305944290939180813*c_0110_6^13 - 46664700383555533867810422150864/219832703893305944290939180813*c_0\ 110_6^12 - 77843187427245380438421500439044/21983270389330594429093\ 9180813*c_0110_6^11 + 44761863300087993420361941468387/219832703893\ 305944290939180813*c_0110_6^10 + 52027951301153901883269783795113/2\ 19832703893305944290939180813*c_0110_6^9 - 31706610184719509354256040337257/219832703893305944290939180813*c_0\ 110_6^8 + 4438374894522151236142477415867/2198327038933059442909391\ 80813*c_0110_6^7 + 9619103170078247628597614908903/2198327038933059\ 44290939180813*c_0110_6^6 - 21592699049240464344371838013662/219832\ 703893305944290939180813*c_0110_6^5 + 3027646802128342272111447668039/219832703893305944290939180813*c_01\ 10_6^4 + 4761307120020755968761815375190/21983270389330594429093918\ 0813*c_0110_6^3 + 919297896613010542354054452651/219832703893305944\ 290939180813*c_0110_6^2 - 150296609647286829326337674434/2198327038\ 93305944290939180813*c_0110_6 - 239158348353945850119548591293/2198\ 32703893305944290939180813, c_0101_0 - 665059079778934784016803617040/21983270389330594429093918081\ 3*c_0110_6^20 + 1359613497772274709245818903884/2198327038933059442\ 90939180813*c_0110_6^19 + 20417527359493909179916285485818/21983270\ 3893305944290939180813*c_0110_6^18 + 16760577971036636172064480493499/219832703893305944290939180813*c_0\ 110_6^17 - 135812503118068948621479042940549/2198327038933059442909\ 39180813*c_0110_6^16 - 217654125225358226322749268554954/2198327038\ 93305944290939180813*c_0110_6^15 + 347106489554350615792149186802586/219832703893305944290939180813*c_\ 0110_6^14 + 798179094623571850524610040976244/219832703893305944290\ 939180813*c_0110_6^13 - 414990742030082664969063171510870/219832703\ 893305944290939180813*c_0110_6^12 - 1448281603821202100740814466627156/219832703893305944290939180813*c\ _0110_6^11 + 224436089555067274597573446384677/21983270389330594429\ 0939180813*c_0110_6^10 + 1468453608624106544603765196876579/2198327\ 03893305944290939180813*c_0110_6^9 - 20812007762091733396902599435468/219832703893305944290939180813*c_0\ 110_6^8 - 792399201786520412952634234613921/21983270389330594429093\ 9180813*c_0110_6^7 - 63254384139043943411423244656916/2198327038933\ 05944290939180813*c_0110_6^6 + 177706604481408674676184967896377/21\ 9832703893305944290939180813*c_0110_6^5 + 64215161122373115311012799738150/219832703893305944290939180813*c_0\ 110_6^4 - 9939941195713683158953273312255/2198327038933059442909391\ 80813*c_0110_6^3 - 12601063787754338529954240955412/219832703893305\ 944290939180813*c_0110_6^2 - 1356600198011190995482767557763/219832\ 703893305944290939180813*c_0110_6 + 374876173118349567109391158497/219832703893305944290939180813, c_0101_1 + 750079895048050842751838255404/21983270389330594429093918081\ 3*c_0110_6^20 - 1445572748278293115980859240350/2198327038933059442\ 90939180813*c_0110_6^19 - 23197793198761408199857695448299/21983270\ 3893305944290939180813*c_0110_6^18 - 21578033563866057681569785513591/219832703893305944290939180813*c_0\ 110_6^17 + 150606458919758566140236319301470/2198327038933059442909\ 39180813*c_0110_6^16 + 261882818845963800909589185699124/2198327038\ 93305944290939180813*c_0110_6^15 - 362581939409376073772775371578417/219832703893305944290939180813*c_\ 0110_6^14 - 935998118361999422826090930398477/219832703893305944290\ 939180813*c_0110_6^13 + 374374131750900729061478241883925/219832703\ 893305944290939180813*c_0110_6^12 + 1667404293794155309808087705992444/219832703893305944290939180813*c\ _0110_6^11 - 103906767261570075399777852949340/21983270389330594429\ 0939180813*c_0110_6^10 - 1670028864588986159046957118747933/2198327\ 03893305944290939180813*c_0110_6^9 - 106696353456526920835297119628107/219832703893305944290939180813*c_\ 0110_6^8 + 896416291353308800822336612249346/2198327038933059442909\ 39180813*c_0110_6^7 + 125393136871378641374681917351452/21983270389\ 3305944290939180813*c_0110_6^6 - 197542942463905670692820600418238/\ 219832703893305944290939180813*c_0110_6^5 - 76711678620238213806286574608578/219832703893305944290939180813*c_0\ 110_6^4 + 5225910737107234088319654725004/2198327038933059442909391\ 80813*c_0110_6^3 + 13740824067204314176731836075339/219832703893305\ 944290939180813*c_0110_6^2 + 2300178808259666123625872754633/219832\ 703893305944290939180813*c_0110_6 - 259148426087860336538114043591/219832703893305944290939180813, c_0101_6 + 148110172055464597683996438540/21983270389330594429093918081\ 3*c_0110_6^20 - 271392646454847488892524031314/21983270389330594429\ 0939180813*c_0110_6^19 - 4643312765959003987047033517337/2198327038\ 93305944290939180813*c_0110_6^18 - 4632042650691044616797518292550/219832703893305944290939180813*c_01\ 10_6^17 + 30436562174555472306274092288043/219832703893305944290939\ 180813*c_0110_6^16 + 55735040755114436937740628926060/2198327038933\ 05944290939180813*c_0110_6^15 - 73368207361344071692334885865502/21\ 9832703893305944290939180813*c_0110_6^14 - 204583225615764264130461532474817/219832703893305944290939180813*c_\ 0110_6^13 + 70144152282758895537631143558443/2198327038933059442909\ 39180813*c_0110_6^12 + 378437787613337478232172379419822/2198327038\ 93305944290939180813*c_0110_6^11 + 607692990336608812586175899695/219832703893305944290939180813*c_011\ 0_6^10 - 399724031386321725173483892360473/219832703893305944290939\ 180813*c_0110_6^9 - 52953799099086518052568502716181/21983270389330\ 5944290939180813*c_0110_6^8 + 236652077473658285222515855560315/219\ 832703893305944290939180813*c_0110_6^7 + 44337381116557784155306446454178/219832703893305944290939180813*c_0\ 110_6^6 - 66275569577215155074277385058782/219832703893305944290939\ 180813*c_0110_6^5 - 19421678442922979093460776335440/21983270389330\ 5944290939180813*c_0110_6^4 + 4971206162064985034709621375555/21983\ 2703893305944290939180813*c_0110_6^3 + 3949584770352737280367221428671/219832703893305944290939180813*c_01\ 10_6^2 + 369462304556192569913766379822/219832703893305944290939180\ 813*c_0110_6 - 337616738965037981252106374618/219832703893305944290\ 939180813, c_0110_6^21 - 3/2*c_0110_6^20 - 127/4*c_0110_6^19 - 42*c_0110_6^18 + 377/2*c_0110_6^17 + 871/2*c_0110_6^16 - 333*c_0110_6^15 - 5827/4*c_0110_6^14 - 173/4*c_0110_6^13 + 2435*c_0110_6^12 + 3333/4*c_0110_6^11 - 9081/4*c_0110_6^10 - 4467/4*c_0110_6^9 + 4443/4*c_0110_6^8 + 689*c_0110_6^7 - 178*c_0110_6^6 - 865/4*c_0110_6^5 - 39*c_0110_6^4 + 21*c_0110_6^3 + 43/4*c_0110_6^2 + 3/4*c_0110_6 - 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB