Magma V2.19-8 Tue Aug 20 2013 16:17:12 on localhost [Seed = 2084429987] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1433 geometric_solution 5.26275005 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 3201 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.585581809633 0.234754525730 2 0 3 0 0132 2310 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 0 -1 1 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.125799105826 0.555901363237 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 -1 1 0 0 0 1 -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 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.981209600062 0.756784650306 5 2 4 1 0132 1230 1023 0132 0 0 0 0 0 -1 0 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 -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.981209600062 0.756784650305 4 2 3 4 3201 0132 1023 2310 0 0 0 0 0 1 0 -1 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.211561904465 0.781063666318 3 6 2 6 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 1 -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 1.565302011421 0.330486633509 5 5 6 6 3201 0132 1230 3012 0 0 0 0 0 0 -1 1 0 0 -1 1 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 -1 1 0 0 -1 1 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.555860034456 0.568782880511 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], '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_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : 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_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : negation(d['c_0110_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0110_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0110_0']), 'c_1010_0' : d['c_0011_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_3, c_0101_1, c_0101_3, c_0110_0, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 22915672615441910972818891268672060/3127449803012500970577725593796\ 29*c_0110_6^14 + 376574527645498921452322425658804320/3127449803012\ 50097057772559379629*c_0110_6^13 + 47376957310357055499747502382306264/3127449803012500970577725593796\ 29*c_0110_6^12 - 675744534733185996284886447421923810/2405730617701\ 9238235213273798433*c_0110_6^11 - 206981380103285126500373655395982\ 29221/312744980301250097057772559379629*c_0110_6^10 + 52268426793040347950681508684807335107/3127449803012500970577725593\ 79629*c_0110_6^9 + 24373847721437003244427098259257573897/312744980\ 301250097057772559379629*c_0110_6^8 - 64167611410096183517706123412723374461/3127449803012500970577725593\ 79629*c_0110_6^7 - 41758894721713778506403910931807503044/312744980\ 301250097057772559379629*c_0110_6^6 + 94719694363333659191508544192295226134/3127449803012500970577725593\ 79629*c_0110_6^5 - 1810349422901261413941856943018677008/2405730617\ 7019238235213273798433*c_0110_6^4 - 29119951777145731467885712061687881605/3127449803012500970577725593\ 79629*c_0110_6^3 + 21359244670343189603241500000854199842/312744980\ 301250097057772559379629*c_0110_6^2 - 5339028897506563518444016514589373856/31274498030125009705777255937\ 9629*c_0110_6 + 456789691621879747873280833711951629/31274498030125\ 0097057772559379629, c_0011_0 - 1, c_0011_1 + 8178249991224389101667156899592/2405730617701923823521327379\ 8433*c_0110_6^14 - 128200291212275452158554496587004/24057306177019\ 238235213273798433*c_0110_6^13 - 115689663196439359135131426768380/\ 24057306177019238235213273798433*c_0110_6^12 + 3074151742133367592109476589764548/24057306177019238235213273798433\ *c_0110_6^11 + 9737912791734926254673823088743752/24057306177019238\ 235213273798433*c_0110_6^10 - 11916916455971515911727761971531613/2\ 4057306177019238235213273798433*c_0110_6^9 - 19720696909634423368666274502502768/2405730617701923823521327379843\ 3*c_0110_6^8 + 10488458892154128814035865763306088/2405730617701923\ 8235213273798433*c_0110_6^7 + 26804967114777627961445732801421005/2\ 4057306177019238235213273798433*c_0110_6^6 - 15708612926581179119730042848050421/2405730617701923823521327379843\ 3*c_0110_6^5 - 8894026033681226366727414634857821/24057306177019238\ 235213273798433*c_0110_6^4 + 7010538725487894863009500191355958/240\ 57306177019238235213273798433*c_0110_6^3 - 716818159787602526041869579242874/24057306177019238235213273798433*\ c_0110_6^2 - 24133179284484608429165163572954/240573061770192382352\ 13273798433*c_0110_6 - 5356631075653506920870423248805/240573061770\ 19238235213273798433, c_0011_3 + 29000034849704077022341821526104/240573061770192382352132737\ 98433*c_0110_6^14 - 458948339512015085446493635236192/2405730617701\ 9238235213273798433*c_0110_6^13 - 341126883335324675583254776273848\ /24057306177019238235213273798433*c_0110_6^12 + 10948672879454488505173062557781932/2405730617701923823521327379843\ 3*c_0110_6^11 + 32876044837842844933226017237283626/240573061770192\ 38235213273798433*c_0110_6^10 - 47107160881805228294290958520467670\ /24057306177019238235213273798433*c_0110_6^9 - 62356031050524157774135081849159008/2405730617701923823521327379843\ 3*c_0110_6^8 + 46968318126636551274985786542118010/2405730617701923\ 8235213273798433*c_0110_6^7 + 87015808809816650770338240699076020/2\ 4057306177019238235213273798433*c_0110_6^6 - 70215763923052555170979496912446543/2405730617701923823521327379843\ 3*c_0110_6^5 - 20457888667541019240193497706696294/2405730617701923\ 8235213273798433*c_0110_6^4 + 29383971546141997197729829288592537/2\ 4057306177019238235213273798433*c_0110_6^3 - 7110864043135993529292488951510743/24057306177019238235213273798433\ *c_0110_6^2 + 369062565143110040325442635119801/2405730617701923823\ 5213273798433*c_0110_6 + 36118321085497179634246517993448/240573061\ 77019238235213273798433, c_0101_1 - 75176470500079743023704940908160/240573061770192382352132737\ 98433*c_0110_6^14 + 1185468208327566568175923621853828/240573061770\ 19238235213273798433*c_0110_6^13 + 950233488318305537062574375485212/24057306177019238235213273798433*\ c_0110_6^12 - 28309603294780723834856731298090880/24057306177019238\ 235213273798433*c_0110_6^11 - 86804364998909366822105730118589570/2\ 4057306177019238235213273798433*c_0110_6^10 + 116749949545230850167136522488376897/240573061770192382352132737984\ 33*c_0110_6^9 + 166656827294522001696057629754268840/24057306177019\ 238235213273798433*c_0110_6^8 - 11113257393070587570066489614826941\ 2/24057306177019238235213273798433*c_0110_6^7 - 228703324010542408217526249115476490/240573061770192382352132737984\ 33*c_0110_6^6 + 168673170049254226085248988693711398/24057306177019\ 238235213273798433*c_0110_6^5 + 58821802296985125554299929835511416\ /24057306177019238235213273798433*c_0110_6^4 - 71785571365092473581147650826615766/2405730617701923823521327379843\ 3*c_0110_6^3 + 15589197696905574401912317877258591/2405730617701923\ 8235213273798433*c_0110_6^2 - 608178303017400858801601271812103/240\ 57306177019238235213273798433*c_0110_6 - 63082402185042078869903558409088/24057306177019238235213273798433, c_0101_3 + 24812846603670427573920652915616/240573061770192382352132737\ 98433*c_0110_6^14 - 389773632336065898946193086348480/2405730617701\ 9238235213273798433*c_0110_6^13 - 336720441693377545203281429231336\ /24057306177019238235213273798433*c_0110_6^12 + 9315403021936930411958442099811904/24057306177019238235213273798433\ *c_0110_6^11 + 29203629106487251692009279719721892/2405730617701923\ 8235213273798433*c_0110_6^10 - 36571758503966611730448996121610004/\ 24057306177019238235213273798433*c_0110_6^9 - 56489227454986949037657181810172402/2405730617701923823521327379843\ 3*c_0110_6^8 + 32894251021654818687995016818904788/2405730617701923\ 8235213273798433*c_0110_6^7 + 76130123767419890624173408832142607/2\ 4057306177019238235213273798433*c_0110_6^6 - 51181690824915309280144130426249783/2405730617701923823521327379843\ 3*c_0110_6^5 - 21041232523047274825985257834968678/2405730617701923\ 8235213273798433*c_0110_6^4 + 22174714987578891638523454968468241/2\ 4057306177019238235213273798433*c_0110_6^3 - 4259792734639457022344674514480311/24057306177019238235213273798433\ *c_0110_6^2 + 90693458970322639297800872698054/24057306177019238235\ 213273798433*c_0110_6 + 21959455478784703629446997019821/2405730617\ 7019238235213273798433, c_0110_0 + 57174918344406447121990607781104/240573061770192382352132737\ 98433*c_0110_6^14 - 900598481564828632486960148548004/2405730617701\ 9238235213273798433*c_0110_6^13 - 738463228400157117724935791154232\ /24057306177019238235213273798433*c_0110_6^12 + 21517680114653123460466990613701856/2405730617701923823521327379843\ 3*c_0110_6^11 + 66397651777994075400545818814540718/240573061770192\ 38235213273798433*c_0110_6^10 - 87630986548767170728223663291389179\ /24057306177019238235213273798433*c_0110_6^9 - 128351059074261588788660685440691785/240573061770192382352132737984\ 33*c_0110_6^8 + 82082936044688993997905942145167661/240573061770192\ 38235213273798433*c_0110_6^7 + 175585058113417986093406471963693735\ /24057306177019238235213273798433*c_0110_6^6 - 124816635713483967130268229930210904/240573061770192382352132737984\ 33*c_0110_6^5 - 47010717866634851214993167026752118/240573061770192\ 38235213273798433*c_0110_6^4 + 53292478132977900038649129167381660/\ 24057306177019238235213273798433*c_0110_6^3 - 10769898364997541498123698426229629/2405730617701923823521327379843\ 3*c_0110_6^2 + 371208018663014836985553460000485/240573061770192382\ 35213273798433*c_0110_6 + 27649091263807859306130874281558/24057306\ 177019238235213273798433, c_0110_6^15 - 16*c_0110_6^14 - 9*c_0110_6^13 + 759/2*c_0110_6^12 + 4271/4*c_0110_6^11 - 7279/4*c_0110_6^10 - 1859*c_0110_6^9 + 3981/2*c_0110_6^8 + 2703*c_0110_6^7 - 5893/2*c_0110_6^6 - 267*c_0110_6^5 + 2271/2*c_0110_6^4 - 426*c_0110_6^3 + 221/4*c_0110_6^2 - 3/4*c_0110_6 - 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB