Magma V2.19-8 Tue Aug 20 2013 16:17:40 on localhost [Seed = 3381155112] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1903 geometric_solution 5.51208387 oriented_manifold CS_known 0.0000000000000002 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 0.451275743414 0.569712549008 3 2 4 0 0132 3012 0132 0132 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 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.711490905966 0.881834651231 1 3 0 4 1230 0132 0132 3201 0 0 0 0 0 0 -1 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.711490905966 0.881834651231 1 2 5 5 0132 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 1 -1 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.163836875526 1.512565668076 4 2 4 1 2031 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.344121687344 1.133683693785 3 6 6 3 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 -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.340764028266 0.363762450338 5 5 6 6 2310 0132 1230 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 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.606044307399 0.455830266773 ==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_1'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : negation(d['c_0011_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_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), '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' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(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' : d['c_0011_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), '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_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 15179657208910802381785473893655/47674122595656344958837053503*c_01\ 01_6^25 + 7212686857371961858110309325315/4767412259565634495883705\ 3503*c_0101_6^24 - 26375062051738847134132200433768/476741225956563\ 44958837053503*c_0101_6^23 - 407282010399521048200908321723091/4767\ 4122595656344958837053503*c_0101_6^22 - 27311433935162645475236626264667/47674122595656344958837053503*c_01\ 01_6^21 + 1551266663094607924808734038668648/4767412259565634495883\ 7053503*c_0101_6^20 + 2308269020951090018592739232443374/4767412259\ 5656344958837053503*c_0101_6^19 - 160260126672170510071377372284950\ 1/47674122595656344958837053503*c_0101_6^18 - 22458236344837701286726547068864818/47674122595656344958837053503*c\ _0101_6^17 + 17605567858056643089096521911330177/476741225956563449\ 58837053503*c_0101_6^16 + 61088098588952108849575514138278716/47674\ 122595656344958837053503*c_0101_6^15 - 72174407892182834438001036578954067/47674122595656344958837053503*c\ _0101_6^14 - 67114250578583381305666390210094655/476741225956563449\ 58837053503*c_0101_6^13 + 118199686287470000088950867444729884/4767\ 4122595656344958837053503*c_0101_6^12 + 24368736966709872093200959047644873/47674122595656344958837053503*c\ _0101_6^11 - 96865314209799758498104059056746307/476741225956563449\ 58837053503*c_0101_6^10 + 8739959812958576557332490611004304/476741\ 22595656344958837053503*c_0101_6^9 + 42852000294110544755015041391417226/47674122595656344958837053503*c\ _0101_6^8 - 9259680958712054020193360620521907/47674122595656344958\ 837053503*c_0101_6^7 - 10613067053044500136149985730419402/47674122\ 595656344958837053503*c_0101_6^6 + 3000490571561846201118790119292470/47674122595656344958837053503*c_\ 0101_6^5 + 1664451953482165178687977366672769/476741225956563449588\ 37053503*c_0101_6^4 - 719363866811551760328571427639182/47674122595\ 656344958837053503*c_0101_6^3 - 226844757234442182401656891885405/4\ 7674122595656344958837053503*c_0101_6^2 + 93916605863400726973492697880167/47674122595656344958837053503*c_01\ 01_6 + 30442667769019813713404146139333/476741225956563449588370535\ 03, c_0011_0 - 1, c_0011_1 - 66487932736378650672209159238/47674122595656344958837053503*\ c_0101_6^25 + 24988204851473778053470557585/47674122595656344958837\ 053503*c_0101_6^24 + 119377960641861927333548464962/476741225956563\ 44958837053503*c_0101_6^23 + 1697115335627404543371507291682/476741\ 22595656344958837053503*c_0101_6^22 - 1357198740902575247428732848944/47674122595656344958837053503*c_010\ 1_6^21 - 6302469320033206162642946291670/47674122595656344958837053\ 503*c_0101_6^20 - 4872257921627141195073854401584/47674122595656344\ 958837053503*c_0101_6^19 + 13465048842622369938326905303545/4767412\ 2595656344958837053503*c_0101_6^18 + 90695744032346626410589235380224/47674122595656344958837053503*c_01\ 01_6^17 - 155756463536528656985598629986419/47674122595656344958837\ 053503*c_0101_6^16 - 170218247007443486151320071501937/476741225956\ 56344958837053503*c_0101_6^15 + 487166564118249172573263327889021/4\ 7674122595656344958837053503*c_0101_6^14 - 29605106383582768572700037420226/47674122595656344958837053503*c_01\ 01_6^13 - 604444852347109195401105446688783/47674122595656344958837\ 053503*c_0101_6^12 + 324838214326076827753771231330980/476741225956\ 56344958837053503*c_0101_6^11 + 321763929932596713910221463976783/4\ 7674122595656344958837053503*c_0101_6^10 - 311413982273101723969058193964175/47674122595656344958837053503*c_0\ 101_6^9 - 45741894155622906255300140049429/476741225956563449588370\ 53503*c_0101_6^8 + 119854299609576763015045433468970/47674122595656\ 344958837053503*c_0101_6^7 - 16857767806457284263049434878313/47674\ 122595656344958837053503*c_0101_6^6 - 20716126105152069188665989276343/47674122595656344958837053503*c_01\ 01_6^5 + 5964237196680600749551811485339/47674122595656344958837053\ 503*c_0101_6^4 + 2814501816065898345002458082380/476741225956563449\ 58837053503*c_0101_6^3 - 1072309063931530599975904084760/4767412259\ 5656344958837053503*c_0101_6^2 - 235996193264318722080234716676/476\ 74122595656344958837053503*c_0101_6 + 68691907887902494933973600689/47674122595656344958837053503, c_0011_4 - 2314890515953961478631884251/47674122595656344958837053503*c\ _0101_6^25 + 9606390486318601292019138528/4767412259565634495883705\ 3503*c_0101_6^24 + 2077976678669845077744277492/4767412259565634495\ 8837053503*c_0101_6^23 + 49212941329319509943074113747/476741225956\ 56344958837053503*c_0101_6^22 - 270831118838793820672728738387/4767\ 4122595656344958837053503*c_0101_6^21 - 77323903132734665401857879454/47674122595656344958837053503*c_0101_\ 6^20 + 520110945851309084923161765021/47674122595656344958837053503\ *c_0101_6^19 + 1243323587656143141201882721506/47674122595656344958\ 837053503*c_0101_6^18 + 1959316764064528257748418958213/47674122595\ 656344958837053503*c_0101_6^17 - 16783508409008456875789716965234/4\ 7674122595656344958837053503*c_0101_6^16 + 12521026720284414192801976867939/47674122595656344958837053503*c_01\ 01_6^15 + 33908841093819546883934196052332/476741225956563449588370\ 53503*c_0101_6^14 - 52922641425469226931461521287175/47674122595656\ 344958837053503*c_0101_6^13 - 10635263267179801901454017342401/4767\ 4122595656344958837053503*c_0101_6^12 + 63115620523917313325193322174655/47674122595656344958837053503*c_01\ 01_6^11 - 23771794697691457548197399282595/476741225956563449588370\ 53503*c_0101_6^10 - 29178902825591669497539890351924/47674122595656\ 344958837053503*c_0101_6^9 + 21509155943994245758578661491837/47674\ 122595656344958837053503*c_0101_6^8 + 4443572872973852147979460841532/47674122595656344958837053503*c_010\ 1_6^7 - 6646715438005733201983328906570/476741225956563449588370535\ 03*c_0101_6^6 - 157952222963710279819478641053/47674122595656344958\ 837053503*c_0101_6^5 + 1304678728954851598651631294803/476741225956\ 56344958837053503*c_0101_6^4 - 66294026070642011921943669215/476741\ 22595656344958837053503*c_0101_6^3 - 258581746694125348686930386984/47674122595656344958837053503*c_0101\ _6^2 + 38255896446680263159021135020/47674122595656344958837053503*\ c_0101_6 + 49830304085367882532430128665/47674122595656344958837053\ 503, c_0011_5 + 26087512161332911077931434757/47674122595656344958837053503*\ c_0101_6^25 + 8335118695091308570286173900/476741225956563449588370\ 53503*c_0101_6^24 - 63805706936559285012364516858/47674122595656344\ 958837053503*c_0101_6^23 - 679283131858607821721539040488/476741225\ 95656344958837053503*c_0101_6^22 + 72036833979854516100424738856/47674122595656344958837053503*c_0101_\ 6^21 + 3090157239425961862735159420663/4767412259565634495883705350\ 3*c_0101_6^20 + 3034117951056862538129227123695/4767412259565634495\ 8837053503*c_0101_6^19 - 4358102552702208283415330844741/4767412259\ 5656344958837053503*c_0101_6^18 - 39046835008804590421280354616248/\ 47674122595656344958837053503*c_0101_6^17 + 39132000559320437208981396958531/47674122595656344958837053503*c_01\ 01_6^16 + 119975459937902789423649572449183/47674122595656344958837\ 053503*c_0101_6^15 - 187131679673939911708416764310476/476741225956\ 56344958837053503*c_0101_6^14 - 100574536808107860951113866137816/4\ 7674122595656344958837053503*c_0101_6^13 + 321723637195165083526237692952212/47674122595656344958837053503*c_0\ 101_6^12 - 64485914208034350388751340534957/47674122595656344958837\ 053503*c_0101_6^11 - 232902134120614243592025246172767/476741225956\ 56344958837053503*c_0101_6^10 + 138397229848766977791893459012602/4\ 7674122595656344958837053503*c_0101_6^9 + 60917072347229799355496968873649/47674122595656344958837053503*c_01\ 01_6^8 - 69413555041416381310285391600507/4767412259565634495883705\ 3503*c_0101_6^7 + 2616947605819526110576800723892/47674122595656344\ 958837053503*c_0101_6^6 + 13641372379960445592649539609602/47674122\ 595656344958837053503*c_0101_6^5 - 2587826761106586108009432565021/47674122595656344958837053503*c_010\ 1_6^4 - 1816197626020555233304380644019/476741225956563449588370535\ 03*c_0101_6^3 + 583929140943669712285171761509/47674122595656344958\ 837053503*c_0101_6^2 + 127400354685146259479229384755/4767412259565\ 6344958837053503*c_0101_6 - 57215065698103634499877074233/476741225\ 95656344958837053503, c_0101_0 - 60916578335155404833356317512/47674122595656344958837053503*\ c_0101_6^25 - 4341062771779098937370184254/476741225956563449588370\ 53503*c_0101_6^24 + 70638872392053773418718059204/47674122595656344\ 958837053503*c_0101_6^23 + 1600810075031617381319122846485/47674122\ 595656344958837053503*c_0101_6^22 - 497362587133606256058798659611/47674122595656344958837053503*c_0101\ _6^21 - 5051464836145184008157009977272/476741225956563449588370535\ 03*c_0101_6^20 - 7458230439557789346777365681167/476741225956563449\ 58837053503*c_0101_6^19 + 6440614003028391871240923536812/476741225\ 95656344958837053503*c_0101_6^18 + 82795145905543139910015349108591/47674122595656344958837053503*c_01\ 01_6^17 - 100701281032775292838604505798661/47674122595656344958837\ 053503*c_0101_6^16 - 154444580224956194683754554098630/476741225956\ 56344958837053503*c_0101_6^15 + 294354713605322382019494856542606/4\ 7674122595656344958837053503*c_0101_6^14 + 56702473615125044547260637364482/47674122595656344958837053503*c_01\ 01_6^13 - 328672980424920658697743034619904/47674122595656344958837\ 053503*c_0101_6^12 + 74351799562525361773966229094146/4767412259565\ 6344958837053503*c_0101_6^11 + 171640980733132293191120931166811/47\ 674122595656344958837053503*c_0101_6^10 - 69273385391111456342513018495631/47674122595656344958837053503*c_01\ 01_6^9 - 46226695099413038571319785906142/4767412259565634495883705\ 3503*c_0101_6^8 + 21280745506739586975623688860793/4767412259565634\ 4958837053503*c_0101_6^7 + 7205211752345135829075702706280/47674122\ 595656344958837053503*c_0101_6^6 - 4622306998969840904257275146804/47674122595656344958837053503*c_010\ 1_6^5 - 512842121465572433196692486422/4767412259565634495883705350\ 3*c_0101_6^4 + 913473569987245573805100428804/476741225956563449588\ 37053503*c_0101_6^3 + 116890140936980115154248774215/47674122595656\ 344958837053503*c_0101_6^2 - 12524788195468285264485110844/47674122\ 595656344958837053503*c_0101_6 - 30480024578054275465505331720/4767\ 4122595656344958837053503, c_0101_1 + 36032199028474232895592966464/47674122595656344958837053503*\ c_0101_6^25 + 47010172845194091174982542961/47674122595656344958837\ 053503*c_0101_6^24 - 41701846851215165037778666987/4767412259565634\ 4958837053503*c_0101_6^23 - 1011872581129265162413578221756/4767412\ 2595656344958837053503*c_0101_6^22 - 862369716192653782930769237879/47674122595656344958837053503*c_0101\ _6^21 + 3448041275287391355514329522613/476741225956563449588370535\ 03*c_0101_6^20 + 8414942333720062814006317587709/476741225956563449\ 58837053503*c_0101_6^19 + 1041648903543855908553165881172/476741225\ 95656344958837053503*c_0101_6^18 - 55081256726984349494077889040740/47674122595656344958837053503*c_01\ 01_6^17 - 1552830769116950514799526924834/4767412259565634495883705\ 3503*c_0101_6^16 + 171478978074273914451018289605601/47674122595656\ 344958837053503*c_0101_6^15 - 49132323601695070376699562625258/4767\ 4122595656344958837053503*c_0101_6^14 - 289023738908004828994269739012107/47674122595656344958837053503*c_0\ 101_6^13 + 148587188805819250686963360524976/4767412259565634495883\ 7053503*c_0101_6^12 + 278314614069712202732024658149572/47674122595\ 656344958837053503*c_0101_6^11 - 195558312297738359244430405095904/\ 47674122595656344958837053503*c_0101_6^10 - 150732369190014205959443978728522/47674122595656344958837053503*c_0\ 101_6^9 + 134378455267768147356149502228768/47674122595656344958837\ 053503*c_0101_6^8 + 41859900276119269222941155417721/47674122595656\ 344958837053503*c_0101_6^7 - 49295245000690475299631720777022/47674\ 122595656344958837053503*c_0101_6^6 - 3628083249407310608463444101794/47674122595656344958837053503*c_010\ 1_6^5 + 10488655294374219886282836795836/47674122595656344958837053\ 503*c_0101_6^4 - 791495118403952790200427765946/4767412259565634495\ 8837053503*c_0101_6^3 - 1733844367130460106529527464589/47674122595\ 656344958837053503*c_0101_6^2 + 160993380340648929935139729024/4767\ 4122595656344958837053503*c_0101_6 + 173109665198229835550744041699/47674122595656344958837053503, c_0101_6^26 - 2*c_0101_6^24 - 26*c_0101_6^23 + 11*c_0101_6^22 + 104*c_0101_6^21 + 103*c_0101_6^20 - 181*c_0101_6^19 - 1433*c_0101_6^18 + 1868*c_0101_6^17 + 3523*c_0101_6^16 - 6739*c_0101_6^15 - 2251*c_0101_6^14 + 10102*c_0101_6^13 - 2097*c_0101_6^12 - 7378*c_0101_6^11 + 3716*c_0101_6^10 + 2651*c_0101_6^9 - 2031*c_0101_6^8 - 423*c_0101_6^7 + 550*c_0101_6^6 + 16*c_0101_6^5 - 103*c_0101_6^4 + 8*c_0101_6^3 + 14*c_0101_6^2 - c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB