Magma V2.19-8 Tue Aug 20 2013 16:17:43 on localhost [Seed = 1983376026] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1951 geometric_solution 5.53558533 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.187608959626 1.018568804114 3 4 2 0 0132 0132 1230 0132 0 0 0 0 0 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 1 0 -1 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.847755277491 0.945998097783 4 3 0 1 2310 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.847755277491 0.945998097783 1 5 2 5 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.711984859596 0.445412195471 6 1 2 6 0132 0132 3201 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -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.328894329222 0.568567704108 5 3 5 3 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.583560581413 0.123901463678 4 4 6 6 0132 2310 2031 1302 0 0 0 0 0 -1 1 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 1 0 0 -1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.926095987550 1.572167039971 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : 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' : 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_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0101_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0110_5'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : negation(d['c_0101_1']), '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_1, c_0101_0, c_0101_1, c_0101_4, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 928553869798976282117953123719/11947235086087220029457886809*c_0110\ _5^26 + 94632146953734639280777547983/11947235086087220029457886809\ *c_0110_5^25 - 4366713648119460996367216229068/11947235086087220029\ 457886809*c_0110_5^24 + 5360802741452976127529229881123/11947235086\ 087220029457886809*c_0110_5^23 + 34417363999513824440060459973691/1\ 1947235086087220029457886809*c_0110_5^22 + 23501196295003489003108862569052/11947235086087220029457886809*c_01\ 10_5^21 + 108157039946768357571270166039144/11947235086087220029457\ 886809*c_0110_5^20 + 10108621648422674089918162514752/1194723508608\ 7220029457886809*c_0110_5^19 - 295038230185233853223495127760248/11\ 947235086087220029457886809*c_0110_5^18 - 81508392081323407981952674294565/11947235086087220029457886809*c_01\ 10_5^17 - 122044818113216999921183456299675/11947235086087220029457\ 886809*c_0110_5^16 - 454091734616675324166257124287651/119472350860\ 87220029457886809*c_0110_5^15 + 565034708666062491020405324044165/1\ 1947235086087220029457886809*c_0110_5^14 + 1348989174132528767400839346300633/11947235086087220029457886809*c_\ 0110_5^13 - 267240900424506428927007825659232/119472350860872200294\ 57886809*c_0110_5^12 - 1420518416412869804236979068973116/119472350\ 86087220029457886809*c_0110_5^11 - 161805244743015517229971687005611/11947235086087220029457886809*c_0\ 110_5^10 + 797780208449859535181601814208548/1194723508608722002945\ 7886809*c_0110_5^9 + 310752383029775880773364501653169/119472350860\ 87220029457886809*c_0110_5^8 - 252700888913515680754080286577781/11\ 947235086087220029457886809*c_0110_5^7 - 242134476292934871094148832593183/11947235086087220029457886809*c_0\ 110_5^6 + 15243211674069956695131614518974/119472350860872200294578\ 86809*c_0110_5^5 + 95049681737379644919902008986935/119472350860872\ 20029457886809*c_0110_5^4 + 11140701359362597529707334262382/119472\ 35086087220029457886809*c_0110_5^3 - 19509637579465457615153528081730/11947235086087220029457886809*c_01\ 10_5^2 - 2134968731835074838243680524731/11947235086087220029457886\ 809*c_0110_5 + 1500520367569849695467173889475/11947235086087220029\ 457886809, c_0011_0 - 1, c_0011_1 + 368350625175858368876905934/51275687064752017293810673*c_011\ 0_5^26 - 9155274090329515662489605/51275687064752017293810673*c_011\ 0_5^25 + 1538978779854199862177340963/51275687064752017293810673*c_\ 0110_5^24 - 1868357033122939639217788457/51275687064752017293810673\ *c_0110_5^23 - 14823189542256472354644789107/5127568706475201729381\ 0673*c_0110_5^22 - 8720167469616400852903469249/5127568706475201729\ 3810673*c_0110_5^21 - 37689896935822317136083602234/512756870647520\ 17293810673*c_0110_5^20 - 5579425013131879474478368678/512756870647\ 52017293810673*c_0110_5^19 + 139475509757298538777553772267/5127568\ 7064752017293810673*c_0110_5^18 + 32076056545074617406036616083/512\ 75687064752017293810673*c_0110_5^17 + 1014796746887376507863991982/51275687064752017293810673*c_0110_5^16 + 196620853589833872366803759959/51275687064752017293810673*c_0110_\ 5^15 - 253762171576791008175067085944/51275687064752017293810673*c_\ 0110_5^14 - 624295495209085333052342031950/512756870647520172938106\ 73*c_0110_5^13 + 212553759399431529438350832328/5127568706475201729\ 3810673*c_0110_5^12 + 742221736056724924226450655480/51275687064752\ 017293810673*c_0110_5^11 - 21124042923590641359450547269/5127568706\ 4752017293810673*c_0110_5^10 - 477331054804284934468353666822/51275\ 687064752017293810673*c_0110_5^9 - 96238253633609876165612194626/51275687064752017293810673*c_0110_5^8 + 177438905442900366112539978225/51275687064752017293810673*c_0110_\ 5^7 + 114761288772652959498494250036/51275687064752017293810673*c_0\ 110_5^6 - 32987325436695171889919282175/51275687064752017293810673*\ c_0110_5^5 - 59676348646625842444091404338/512756870647520172938106\ 73*c_0110_5^4 + 2003444793403269598864943812/5127568706475201729381\ 0673*c_0110_5^3 + 14496250057711000216548543554/5127568706475201729\ 3810673*c_0110_5^2 + 37670653603968871914398029/5127568706475201729\ 3810673*c_0110_5 - 1350889898467570431579921801/5127568706475201729\ 3810673, c_0101_0 + 229175557579391013191775364/51275687064752017293810673*c_011\ 0_5^26 - 585062508087516526251168996/51275687064752017293810673*c_0\ 110_5^25 + 1606218661475713429954707738/51275687064752017293810673*\ c_0110_5^24 - 4327712952215651895226491056/512756870647520172938106\ 73*c_0110_5^23 - 2827565339964872740167530856/512756870647520172938\ 10673*c_0110_5^22 + 10717567522735547142984945753/51275687064752017\ 293810673*c_0110_5^21 - 27283473035306413705546139821/5127568706475\ 2017293810673*c_0110_5^20 + 61300264227961653225655331928/512756870\ 64752017293810673*c_0110_5^19 + 25953005250207993863237698695/51275\ 687064752017293810673*c_0110_5^18 - 128113508105809771206006167660/51275687064752017293810673*c_0110_5^\ 17 + 114968859880047146369656458915/51275687064752017293810673*c_01\ 10_5^16 - 13276534961387006840607645757/51275687064752017293810673*\ c_0110_5^15 - 322977130302920900057058102992/5127568706475201729381\ 0673*c_0110_5^14 + 185278323923520435037741705112/51275687064752017\ 293810673*c_0110_5^13 + 464581163714143550944185613308/512756870647\ 52017293810673*c_0110_5^12 - 224838132179907618534549422706/5127568\ 7064752017293810673*c_0110_5^11 - 380379646461144664603300049231/51\ 275687064752017293810673*c_0110_5^10 + 140834105333831854997701164453/51275687064752017293810673*c_0110_5^\ 9 + 168548156935859055468918833773/51275687064752017293810673*c_011\ 0_5^8 + 342219577007066513569554018/51275687064752017293810673*c_01\ 10_5^7 - 66514926677632678493856882178/51275687064752017293810673*c\ _0110_5^6 - 39088010294913002462577896511/5127568706475201729381067\ 3*c_0110_5^5 + 31252060070705143815671636428/5127568706475201729381\ 0673*c_0110_5^4 + 13627792535434838260522935034/5127568706475201729\ 3810673*c_0110_5^3 - 8527684217286482934464640139/51275687064752017\ 293810673*c_0110_5^2 - 1256703675905835737549337226/512756870647520\ 17293810673*c_0110_5 + 849962918012122315503989445/5127568706475201\ 7293810673, c_0101_1 + 417265526490012712361741272/51275687064752017293810673*c_011\ 0_5^26 + 215525261177904654900924647/51275687064752017293810673*c_0\ 110_5^25 + 1526627530437475846597178064/51275687064752017293810673*\ c_0110_5^24 - 904784115776011050555092926/5127568706475201729381067\ 3*c_0110_5^23 - 19089590368994433476893568208/512756870647520172938\ 10673*c_0110_5^22 - 16480712924092082690007279579/51275687064752017\ 293810673*c_0110_5^21 - 42311797671643278628807159843/5127568706475\ 2017293810673*c_0110_5^20 - 31971195474391171121578258334/512756870\ 64752017293810673*c_0110_5^19 + 177222676690984961381064876386/5127\ 5687064752017293810673*c_0110_5^18 + 95526176026266220796521794743/51275687064752017293810673*c_0110_5^1\ 7 - 34621036854755295993862970986/51275687064752017293810673*c_0110\ _5^16 + 273248096695979917553946053390/51275687064752017293810673*c\ _0110_5^15 - 214163291744901214707507162087/51275687064752017293810\ 673*c_0110_5^14 - 916775417876849201175080792848/512756870647520172\ 93810673*c_0110_5^13 + 85120630442458875446971389402/51275687064752\ 017293810673*c_0110_5^12 + 1077683036879302945479481906927/51275687\ 064752017293810673*c_0110_5^11 + 141283772326363775744855170563/512\ 75687064752017293810673*c_0110_5^10 - 683149024449426494402108697756/51275687064752017293810673*c_0110_5^\ 9 - 207178045812611178694338916828/51275687064752017293810673*c_011\ 0_5^8 + 229523664392749866878877028928/51275687064752017293810673*c\ _0110_5^7 + 182057873091341331147648211508/512756870647520172938106\ 73*c_0110_5^6 - 24343816339946338453356501755/512756870647520172938\ 10673*c_0110_5^5 - 90760608140373780762740293840/512756870647520172\ 93810673*c_0110_5^4 - 4153134672619934784625396049/5127568706475201\ 7293810673*c_0110_5^3 + 22105116557501566085056073167/5127568706475\ 2017293810673*c_0110_5^2 + 805067166294344717555464638/512756870647\ 52017293810673*c_0110_5 - 2059541946960200984705150852/512756870647\ 52017293810673, c_0101_4 + 358903759714124211102839553/51275687064752017293810673*c_011\ 0_5^26 - 120064825254032365284298864/51275687064752017293810673*c_0\ 110_5^25 + 1662273850487762519623528723/51275687064752017293810673*\ c_0110_5^24 - 2411240995212602140481583118/512756870647520172938106\ 73*c_0110_5^23 - 13045750430248041906614085018/51275687064752017293\ 810673*c_0110_5^22 - 5498113115436733855036589435/51275687064752017\ 293810673*c_0110_5^21 - 39040479127523008047759264605/5127568706475\ 2017293810673*c_0110_5^20 + 5454043837598630893698187232/5127568706\ 4752017293810673*c_0110_5^19 + 119359682659964434463393986983/51275\ 687064752017293810673*c_0110_5^18 - 590032110518840948624531964/51275687064752017293810673*c_0110_5^17 + 35226383199472595760680025954/51275687064752017293810673*c_0110_5^1\ 6 + 171867484309014935171968509785/51275687064752017293810673*c_011\ 0_5^15 - 274831108840878175619614594370/51275687064752017293810673*\ c_0110_5^14 - 471831506711471907084804296180/5127568706475201729381\ 0673*c_0110_5^13 + 255521869121571168483007175589/51275687064752017\ 293810673*c_0110_5^12 + 526488373590043666234894290298/512756870647\ 52017293810673*c_0110_5^11 - 91829148065799618683262546903/51275687\ 064752017293810673*c_0110_5^10 - 319709565313971434234671436477/512\ 75687064752017293810673*c_0110_5^9 - 37422777166143917256183013862/51275687064752017293810673*c_0110_5^8 + 120750266199083480696606059567/51275687064752017293810673*c_0110_\ 5^7 + 72339010760288194324117476989/51275687064752017293810673*c_01\ 10_5^6 - 29304999366220967082860789237/51275687064752017293810673*c\ _0110_5^5 - 35504002878304801737867457373/5127568706475201729381067\ 3*c_0110_5^4 + 5010191653946833576602427881/51275687064752017293810\ 673*c_0110_5^3 + 7158375783459477132251729079/512756870647520172938\ 10673*c_0110_5^2 - 440502928605515058944014412/51275687064752017293\ 810673*c_0110_5 - 527603093197730478426876566/512756870647520172938\ 10673, c_0101_6 + 28310376444105998400072772/51275687064752017293810673*c_0110\ _5^26 - 248960982780383794372786791/51275687064752017293810673*c_01\ 10_5^25 + 395860310506671417753552771/51275687064752017293810673*c_\ 0110_5^24 - 1510756544704695772714546919/51275687064752017293810673\ *c_0110_5^23 + 1624780651974151649128151148/51275687064752017293810\ 673*c_0110_5^22 + 6181184738049485939878764867/51275687064752017293\ 810673*c_0110_5^21 - 4326018172486037229533748499/51275687064752017\ 293810673*c_0110_5^20 + 27521414678962957803734663731/5127568706475\ 2017293810673*c_0110_5^19 - 15750118400174562571270193622/512756870\ 64752017293810673*c_0110_5^18 - 59933978359905597018994254716/51275\ 687064752017293810673*c_0110_5^17 + 45940227822412438852424050578/51275687064752017293810673*c_0110_5^1\ 6 - 45373819725792010915322639446/51275687064752017293810673*c_0110\ _5^15 - 85701903035565482028149819681/51275687064752017293810673*c_\ 0110_5^14 + 193969888472048176829396872054/512756870647520172938106\ 73*c_0110_5^13 + 160453262174266372504951647303/5127568706475201729\ 3810673*c_0110_5^12 - 220723117872327653494656094298/51275687064752\ 017293810673*c_0110_5^11 - 160963104520287840465927527926/512756870\ 64752017293810673*c_0110_5^10 + 129307508870620379186983231354/5127\ 5687064752017293810673*c_0110_5^9 + 89322396029819792285014740042/51275687064752017293810673*c_0110_5^8 - 19662840465468012485073900052/51275687064752017293810673*c_0110_5\ ^7 - 48210861543996697006982422353/51275687064752017293810673*c_011\ 0_5^6 - 14462143195508832143795544010/51275687064752017293810673*c_\ 0110_5^5 + 21137419978360907025062961445/51275687064752017293810673\ *c_0110_5^4 + 5952612194765313970047117029/512756870647520172938106\ 73*c_0110_5^3 - 4538382426731240937133260791/5127568706475201729381\ 0673*c_0110_5^2 - 669224039774313285862748947/512756870647520172938\ 10673*c_0110_5 + 342957379779240818691364687/5127568706475201729381\ 0673, c_0110_5^27 - c_0110_5^26 + 5*c_0110_5^25 - 10*c_0110_5^24 - 31*c_0110_5^23 + 7*c_0110_5^22 - 102*c_0110_5^21 + 89*c_0110_5^20 + 305*c_0110_5^19 - 203*c_0110_5^18 + 128*c_0110_5^17 + 382*c_0110_5^16 - 1035*c_0110_5^15 - 782*c_0110_5^14 + 1446*c_0110_5^13 + 950*c_0110_5^12 - 1081*c_0110_5^11 - 680*c_0110_5^10 + 403*c_0110_5^9 + 385*c_0110_5^8 - 8*c_0110_5^7 - 193*c_0110_5^6 - 43*c_0110_5^5 + 68*c_0110_5^4 + 12*c_0110_5^3 - 13*c_0110_5^2 - c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB