Magma V2.19-8 Tue Aug 20 2013 16:18:35 on localhost [Seed = 1612840274] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2766 geometric_solution 5.99985661 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 1 -1 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.729260140611 0.725885760801 0 5 1 1 0132 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.425502016386 0.644742305657 6 0 6 5 0132 0132 2310 2310 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.115883522453 2.060968742175 5 3 3 0 3201 1230 3012 0132 0 0 0 0 0 0 1 -1 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 0 -1 1 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.921536802423 0.496625795866 5 4 0 4 2310 1302 0132 2031 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 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.854490360913 0.568939142793 2 1 4 3 3201 0132 3201 2310 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 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.729260140611 0.725885760801 2 2 6 6 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.219412911521 0.184928180804 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_2'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_0'], '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_1']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_5'])})} 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_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 537426709891894737122/2486438004286481*c_0101_5^19 + 2114826099605813123248/2486438004286481*c_0101_5^18 - 1991668991122319073965/2486438004286481*c_0101_5^17 - 31922622247713992115361/4972876008572962*c_0101_5^16 - 478507282481858129067/121289658745682*c_0101_5^15 + 76158063584530830589917/4972876008572962*c_0101_5^14 + 53502257362571296698696/2486438004286481*c_0101_5^13 - 26405195551546475068074/2486438004286481*c_0101_5^12 - 89867591121350982423168/2486438004286481*c_0101_5^11 - 24408356460575746904412/2486438004286481*c_0101_5^10 + 129888327805500596078349/4972876008572962*c_0101_5^9 + 48400645573716585738111/2486438004286481*c_0101_5^8 - 30788238658621301177739/4972876008572962*c_0101_5^7 - 28117878304237412504613/2486438004286481*c_0101_5^6 - 4643456278060470667964/2486438004286481*c_0101_5^5 + 930312286369048010396/355205429183783*c_0101_5^4 + 5972108610457191209443/4972876008572962*c_0101_5^3 - 259959429320986013145/2486438004286481*c_0101_5^2 - 821293350288857849131/4972876008572962*c_0101_5 - 143928324849775344437/4972876008572962, c_0011_0 - 1, c_0011_3 - 399454083586796810/8663547053263*c_0101_5^19 - 1538959374845034554/8663547053263*c_0101_5^18 + 1592580672978353587/8663547053263*c_0101_5^17 + 23359709216030154051/17327094106526*c_0101_5^16 + 6400559842574920399/8663547053263*c_0101_5^15 - 56847905416008937173/17327094106526*c_0101_5^14 - 74603479990060071509/17327094106526*c_0101_5^13 + 43273892123297673285/17327094106526*c_0101_5^12 + 127923737244025698673/17327094106526*c_0101_5^11 + 27882220664694415669/17327094106526*c_0101_5^10 - 47444883453693100967/8663547053263*c_0101_5^9 - 32139178571451351487/8663547053263*c_0101_5^8 + 24904411999651397349/17327094106526*c_0101_5^7 + 38492160007907440317/17327094106526*c_0101_5^6 + 4959666177589013551/17327094106526*c_0101_5^5 - 9170968479086440697/17327094106526*c_0101_5^4 - 1904004329510255827/8663547053263*c_0101_5^3 + 220570097349761565/8663547053263*c_0101_5^2 + 538071826397726439/17327094106526*c_0101_5 + 44456324205447160/8663547053263, c_0101_0 - 188601052331643380/8663547053263*c_0101_5^19 - 741036427854589988/8663547053263*c_0101_5^18 + 706681598224285758/8663547053263*c_0101_5^17 + 5605265433158598063/8663547053263*c_0101_5^16 + 3382278066007401846/8663547053263*c_0101_5^15 - 13448770205192254129/8663547053263*c_0101_5^14 - 18641841086271053494/8663547053263*c_0101_5^13 + 9584495005069429132/8663547053263*c_0101_5^12 + 31480394811172416934/8663547053263*c_0101_5^11 + 8063100931951728042/8663547053263*c_0101_5^10 - 22968445941564998341/8663547053263*c_0101_5^9 - 16600896332800786273/8663547053263*c_0101_5^8 + 5677601227509645479/8663547053263*c_0101_5^7 + 9739829786212818265/8663547053263*c_0101_5^6 + 1465624083020557202/8663547053263*c_0101_5^5 - 2284412308932979852/8663547053263*c_0101_5^4 - 1002847016264288892/8663547053263*c_0101_5^3 + 100522594570742735/8663547053263*c_0101_5^2 + 139379949381005390/8663547053263*c_0101_5 + 23675077786596521/8663547053263, c_0101_1 + 305475165866831090/8663547053263*c_0101_5^19 + 1184791661181010986/8663547053263*c_0101_5^18 - 1192351483260742275/8663547053263*c_0101_5^17 - 17956154858671619991/17327094106526*c_0101_5^16 - 5092915428648062587/8663547053263*c_0101_5^15 + 43454614352075708423/17327094106526*c_0101_5^14 + 58125127776862906331/17327094106526*c_0101_5^13 - 32305624969104165803/17327094106526*c_0101_5^12 - 99022688160353806255/17327094106526*c_0101_5^11 - 22949657600510444043/17327094106526*c_0101_5^10 + 36454305492920299096/8663547053263*c_0101_5^9 + 25278378703063946510/8663547053263*c_0101_5^8 - 18686508687388724339/17327094106526*c_0101_5^7 - 29983807256028039419/17327094106526*c_0101_5^6 - 4110876119847074033/17327094106526*c_0101_5^5 + 7083383377949749441/17327094106526*c_0101_5^4 + 1501701265731321036/8663547053263*c_0101_5^3 - 164045916741644941/8663547053263*c_0101_5^2 - 420421402197096427/17327094106526*c_0101_5 - 35102387518057728/8663547053263, c_0101_2 + 37247540274521824/8663547053263*c_0101_5^19 + 147412526401440272/8663547053263*c_0101_5^18 - 136703548117724860/8663547053263*c_0101_5^17 - 1115581875206440580/8663547053263*c_0101_5^16 - 692927814030325894/8663547053263*c_0101_5^15 + 2672065857934017565/8663547053263*c_0101_5^14 + 3766565580656679914/8663547053263*c_0101_5^13 - 1877470403473038100/8663547053263*c_0101_5^12 - 6355744350753818528/8663547053263*c_0101_5^11 - 1683172413889583963/8663547053263*c_0101_5^10 + 4643957066469880141/8663547053263*c_0101_5^9 + 3403818037272114297/8663547053263*c_0101_5^8 - 1145537189477318931/8663547053263*c_0101_5^7 - 2001890689158061466/8663547053263*c_0101_5^6 - 306409456706381740/8663547053263*c_0101_5^5 + 472498764936021581/8663547053263*c_0101_5^4 + 209006667762428582/8663547053263*c_0101_5^3 - 20924311926309526/8663547053263*c_0101_5^2 - 29284277485703358/8663547053263*c_0101_5 - 5009320814564531/8663547053263, c_0101_3 + 69620935993683152/8663547053263*c_0101_5^19 + 272597398338151212/8663547053263*c_0101_5^18 - 264949100751963288/8663547053263*c_0101_5^17 - 2067230173788073402/8663547053263*c_0101_5^16 - 1220238272795599583/8663547053263*c_0101_5^15 + 4992375894471360775/8663547053263*c_0101_5^14 + 6828282878320707001/8663547053263*c_0101_5^13 - 3647740894902527016/8663547053263*c_0101_5^12 - 11620992934479391017/8663547053263*c_0101_5^11 - 2833793211408452792/8663547053263*c_0101_5^10 + 8571901624672929454/8663547053263*c_0101_5^9 + 6067942280328914118/8663547053263*c_0101_5^8 - 2187492999158232294/8663547053263*c_0101_5^7 - 3609822725057514746/8663547053263*c_0101_5^6 - 511700427013086968/8663547053263*c_0101_5^5 + 859493355499294428/8663547053263*c_0101_5^4 + 369679511472392749/8663547053263*c_0101_5^3 - 39852225544622217/8663547053263*c_0101_5^2 - 52266353032196414/8663547053263*c_0101_5 - 8819507385251963/8663547053263, c_0101_5^20 + 59/13*c_0101_5^19 - 35/26*c_0101_5^18 - 1663/52*c_0101_5^17 - 469/13*c_0101_5^16 + 3131/52*c_0101_5^15 + 569/4*c_0101_5^14 + 511/52*c_0101_5^13 - 10269/52*c_0101_5^12 - 7531/52*c_0101_5^11 + 2471/26*c_0101_5^10 + 4217/26*c_0101_5^9 + 1249/52*c_0101_5^8 - 279/4*c_0101_5^7 - 2047/52*c_0101_5^6 + 29/4*c_0101_5^5 + 165/13*c_0101_5^4 + 71/26*c_0101_5^3 - 55/52*c_0101_5^2 - 15/26*c_0101_5 - 1/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB