Magma V2.19-8 Tue Aug 20 2013 16:14:23 on localhost [Seed = 3869735620] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s379 geometric_solution 4.60060966 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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.341321385003 0.211593347834 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.542246030428 1.100434189001 1 3 4 3 0132 3201 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.230749232069 1.265438867357 2 4 2 1 3201 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.230749232069 1.265438867357 5 3 5 2 0132 0132 1023 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 1 0 -1 0 1 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.604190569736 0.869137317842 4 5 4 5 0132 1302 1023 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 -1 1 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.506249374841 0.146935970453 ==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_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' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_1'], '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_0101_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_0'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : 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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 561183212687691662337775824/45316647406730952159567179*c_0101_4^19 + 2864464513794771946767090817/45316647406730952159567179*c_0101_4^18 - 20011455114590305550067190365/45316647406730952159567179*c_0101_4\ ^17 - 27274501960198141620580727800/45316647406730952159567179*c_01\ 01_4^16 + 168418851226781559243375462334/45316647406730952159567179\ *c_0101_4^15 + 14438230245823473525809720141/3485895954363919396889\ 783*c_0101_4^14 - 559561892104363458725980120276/453166474067309521\ 59567179*c_0101_4^13 - 851954600364326991470398740014/4531664740673\ 0952159567179*c_0101_4^12 + 278835440964249078633829828745/45316647\ 406730952159567179*c_0101_4^11 + 924312867480230136752956723547/453\ 16647406730952159567179*c_0101_4^10 + 29763017970211359778389813603/3485895954363919396889783*c_0101_4^9 + 86014421229640137084757570579/45316647406730952159567179*c_0101_4^8 - 4346574993751392768909652573/45316647406730952159567179*c_0101_4^\ 7 - 91776159239083891811158450773/45316647406730952159567179*c_0101\ _4^6 + 24236177844057563222942702507/45316647406730952159567179*c_0\ 101_4^5 + 12206924626636214168165647277/45316647406730952159567179*\ c_0101_4^4 - 37549059881175457728127346957/453166474067309521595671\ 79*c_0101_4^3 + 5183762788261429993594393710/4531664740673095215956\ 7179*c_0101_4^2 + 5602966652833350926126990307/45316647406730952159\ 567179*c_0101_4 - 4008189034162992455429705980/45316647406730952159\ 567179, c_0011_0 - 1, c_0011_1 + 2162202549312636059382859/3485895954363919396889783*c_0101_4\ ^19 + 8959325270353577332501924/3485895954363919396889783*c_0101_4^\ 18 - 85901123403639056769267746/3485895954363919396889783*c_0101_4^\ 17 - 23357996514898125784757676/3485895954363919396889783*c_0101_4^\ 16 + 679057615277541076250166625/3485895954363919396889783*c_0101_4\ ^15 + 73789165662153256222036750/3485895954363919396889783*c_0101_4\ ^14 - 2292863685452375146356866928/3485895954363919396889783*c_0101\ _4^13 - 1089922161042954247284411513/3485895954363919396889783*c_01\ 01_4^12 + 2370118366489714828288619285/3485895954363919396889783*c_\ 0101_4^11 + 1394845958086697056685352290/3485895954363919396889783*\ c_0101_4^10 - 203662961801752595171959135/3485895954363919396889783\ *c_0101_4^9 + 304372076343179226252722593/3485895954363919396889783\ *c_0101_4^8 - 173423158985179885477509923/3485895954363919396889783\ *c_0101_4^7 - 96734214028971518423997064/3485895954363919396889783*\ c_0101_4^6 + 234440231151637524727248979/3485895954363919396889783*\ c_0101_4^5 - 152096194745614178389256263/3485895954363919396889783*\ c_0101_4^4 - 26181515006675496850857413/3485895954363919396889783*c\ _0101_4^3 + 59625012925922422237369196/3485895954363919396889783*c_\ 0101_4^2 - 28211829420029048070567754/3485895954363919396889783*c_0\ 101_4 + 1701252547616406440511382/3485895954363919396889783, c_0011_3 + 2149939910046475509294013/3485895954363919396889783*c_0101_4\ ^19 + 9503695246283759527206978/3485895954363919396889783*c_0101_4^\ 18 - 82669787936360947476120143/3485895954363919396889783*c_0101_4^\ 17 - 45762734010147841299985371/3485895954363919396889783*c_0101_4^\ 16 + 657640579812224852682144664/3485895954363919396889783*c_0101_4\ ^15 + 259283488136289594269814926/3485895954363919396889783*c_0101_\ 4^14 - 2175452780385190082160778172/3485895954363919396889783*c_010\ 1_4^13 - 1716390235752665266674731209/3485895954363919396889783*c_0\ 101_4^12 + 1784592143352381605809297773/3485895954363919396889783*c\ _0101_4^11 + 1924551373425318402048242924/3485895954363919396889783\ *c_0101_4^10 + 440002322064610003660801498/348589595436391939688978\ 3*c_0101_4^9 + 402697251582618899560409619/348589595436391939688978\ 3*c_0101_4^8 - 86627854045246900224134693/3485895954363919396889783\ *c_0101_4^7 - 110272764552620499165034885/3485895954363919396889783\ *c_0101_4^6 + 200663153952421472898945167/3485895954363919396889783\ *c_0101_4^5 - 92430215613380952508514400/3485895954363919396889783*\ c_0101_4^4 - 63174830691838910145477003/3485895954363919396889783*c\ _0101_4^3 + 42732869598959898218710833/3485895954363919396889783*c_\ 0101_4^2 - 11763669749546535307940762/3485895954363919396889783*c_0\ 101_4 - 1569467327152363861540642/3485895954363919396889783, c_0101_0 - 2426530448274269264854678/3485895954363919396889783*c_0101_4\ ^19 - 10543276717197126158989565/3485895954363919396889783*c_0101_4\ ^18 + 94157215647963419359485006/3485895954363919396889783*c_0101_4\ ^17 + 44633983422160280621666890/3485895954363919396889783*c_0101_4\ ^16 - 748396769632193814764629327/3485895954363919396889783*c_0101_\ 4^15 - 230851005966605326713517855/3485895954363919396889783*c_0101\ _4^14 + 2488833553935700445751457729/3485895954363919396889783*c_01\ 01_4^13 + 1711278245954597167665688310/3485895954363919396889783*c_\ 0101_4^12 - 2189981265878937429294294490/3485895954363919396889783*\ c_0101_4^11 - 1923274811834015735990222340/348589595436391939688978\ 3*c_0101_4^10 - 262587679577880739128702163/34858959543639193968897\ 83*c_0101_4^9 - 458587388150458025770239744/34858959543639193968897\ 83*c_0101_4^8 + 101479092509153295452246097/34858959543639193968897\ 83*c_0101_4^7 + 66090560486514771763038462/348589595436391939688978\ 3*c_0101_4^6 - 279355293124265481850814524/348589595436391939688978\ 3*c_0101_4^5 + 120450279117125075408581999/348589595436391939688978\ 3*c_0101_4^4 + 51845864123270736705939872/3485895954363919396889783\ *c_0101_4^3 - 53462884320532329480619877/3485895954363919396889783*\ c_0101_4^2 + 20164772439528554666731406/3485895954363919396889783*c\ _0101_4 + 365384555239872786853070/3485895954363919396889783, c_0101_1 - 1961561303087066573347364/3485895954363919396889783*c_0101_4\ ^19 - 8979699753777217163488692/3485895954363919396889783*c_0101_4^\ 18 + 73853522426118521959500269/3485895954363919396889783*c_0101_4^\ 17 + 52649677236899542851691766/3485895954363919396889783*c_0101_4^\ 16 - 585610028969255619404334736/3485895954363919396889783*c_0101_4\ ^15 - 324176066426722191379212647/3485895954363919396889783*c_0101_\ 4^14 + 1881868802168054135142715105/3485895954363919396889783*c_010\ 1_4^13 + 1837706198910045995578588242/3485895954363919396889783*c_0\ 101_4^12 - 1156214002971724766865756207/3485895954363919396889783*c\ _0101_4^11 - 1798487517566473020765048354/3485895954363919396889783\ *c_0101_4^10 - 867832313200302961864806279/348589595436391939688978\ 3*c_0101_4^9 - 679741550425398441165726105/348589595436391939688978\ 3*c_0101_4^8 - 33022485226556831449985049/3485895954363919396889783\ *c_0101_4^7 + 95118103989336453785218084/3485895954363919396889783*\ c_0101_4^6 - 129874050688573830655845131/3485895954363919396889783*\ c_0101_4^5 + 73919708772666543576616392/3485895954363919396889783*c\ _0101_4^4 + 35364311653810108820795490/3485895954363919396889783*c_\ 0101_4^3 - 24602919559788093924012498/3485895954363919396889783*c_0\ 101_4^2 + 14131026577887942335264998/3485895954363919396889783*c_01\ 01_4 - 753380345802725399937035/3485895954363919396889783, c_0101_4^20 + 5*c_0101_4^19 - 36*c_0101_4^18 - 44*c_0101_4^17 + 298*c_0101_4^16 + 298*c_0101_4^15 - 976*c_0101_4^14 - 1381*c_0101_4^13 + 480*c_0101_4^12 + 1408*c_0101_4^11 + 603*c_0101_4^10 + 261*c_0101_4^9 + 87*c_0101_4^8 - 94*c_0101_4^7 + 66*c_0101_4^6 + 12*c_0101_4^5 - 60*c_0101_4^4 + 13*c_0101_4^3 + 6*c_0101_4^2 - 7*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB