Magma V2.19-8 Tue Aug 20 2013 16:17:28 on localhost [Seed = 3920131372] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1694 geometric_solution 5.41083564 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 2 0 3012 0132 0132 1230 0 0 0 0 0 0 -1 1 -1 0 0 1 -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 1 -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.475118171386 0.646295285197 3 0 4 2 0132 0132 0132 2031 0 0 0 0 0 0 0 0 -1 0 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 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 0 0 0 0.475118171386 0.646295285197 4 1 3 0 2310 1302 2310 0132 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 1 0 -1 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.475118171386 0.646295285197 1 2 5 5 0132 3201 0132 2310 0 0 0 0 0 0 0 0 1 0 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 0 0 -1 0 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.800416146219 2.185110884819 4 4 2 1 1230 3012 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.261590890189 1.004445535780 3 6 6 3 3201 0132 3201 0132 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 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.173324030957 0.202342774073 5 5 6 6 2310 0132 2031 1302 0 0 0 0 0 0 0 0 1 0 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 0 0 -1 0 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 5.297198228147 2.930511207796 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(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' : 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' : 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_0101_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0011_4'], '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' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0011_2'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_3'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : 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_2, c_0011_4, c_0011_5, c_0101_0, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t + 5/3*c_0101_0*c_0101_6^2 + 11/3*c_0101_0*c_0101_6 - 10/3*c_0101_0 + 65/6*c_0101_6^2 + 149/6*c_0101_6 - 109/6, c_0011_0 - 1, c_0011_2 + 1/2*c_0101_0*c_0101_6 + 1/2*c_0101_0, c_0011_4 - 1, c_0011_5 + c_0101_6^2 + 2*c_0101_6, c_0101_0^2 + 1/2*c_0101_0*c_0101_6 + 1/2*c_0101_0 - 1, c_0101_3 - c_0101_6 - 1, c_0101_6^3 + 3*c_0101_6^2 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0011_5, c_0101_0, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 17671620042489480281196914718119308120181/2934901794223046710113999\ 037886477807504*c_0101_6^19 - 2175375206889443686968574858629864350\ 14955/5869803588446093420227998075772955615008*c_0101_6^18 + 2057889063808930599320110825211701474800359/58698035884460934202279\ 98075772955615008*c_0101_6^17 + 54471428159149771745325305407426044\ 37131479/5869803588446093420227998075772955615008*c_0101_6^16 - 1518213855458221664782752398076751939383463/73372544855576167752849\ 9759471619451876*c_0101_6^15 - 291657538980522268366326942761493619\ 02395679/2934901794223046710113999037886477807504*c_0101_6^14 - 33529497878769354928182395604927447701670425/2934901794223046710113\ 999037886477807504*c_0101_6^13 + 8384589566628952266184465761642651\ 503674559/255208851671569279140347742424911113696*c_0101_6^12 + 50058220723494357304189060827635179400509341/7337254485557616775284\ 99759471619451876*c_0101_6^11 - 16271419542955172023652696010272008\ 278194405/1467450897111523355056999518943238903752*c_0101_6^10 - 3483854338781361321412366463840054882229705/25520885167156927914034\ 7742424911113696*c_0101_6^9 + 2471053464887860421233952801423115900\ 97160801/5869803588446093420227998075772955615008*c_0101_6^8 - 4039221184218185984181278339813230222433395/29349017942230467101139\ 99037886477807504*c_0101_6^7 + 130530250186147260342458266894211314\ 54561673/2934901794223046710113999037886477807504*c_0101_6^6 + 7368115232830554279126229046551404772961701/29349017942230467101139\ 99037886477807504*c_0101_6^5 + 118122397435791989162288729954721435\ 58159957/5869803588446093420227998075772955615008*c_0101_6^4 + 5149692945595999846333346807488114403106713/58698035884460934202279\ 98075772955615008*c_0101_6^3 + 175145194544207007725143754136189559\ 8266059/5869803588446093420227998075772955615008*c_0101_6^2 + 1183841404315884705175615600465430394148087/58698035884460934202279\ 98075772955615008*c_0101_6 + 43862926302253596100710301540313675249\ 3605/5869803588446093420227998075772955615008, c_0011_0 - 1, c_0011_2 - 11381752776964628693557523455591911/215801602516400493390735\ 22337400572114*c_0101_6^19 + 54802673377839608654633453909102455/10\ 790080125820024669536761168700286057*c_0101_6^18 + 1052002059980725792289867135051009137/10790080125820024669536761168\ 700286057*c_0101_6^17 - 6600845627202611959817049338020944873/21580\ 160251640049339073522337400572114*c_0101_6^16 - 25454250724585463927029743434329335968/1079008012582002466953676116\ 8700286057*c_0101_6^15 - 5671803101231926605437791728513029732/1079\ 0080125820024669536761168700286057*c_0101_6^14 + 385044617827012092969809549231622175185/215801602516400493390735223\ 37400572114*c_0101_6^13 + 42502501129332497821493418804106222497/93\ 8267837027828232133631405973937918*c_0101_6^12 - 73142356140748815942634070338022283928/1079008012582002466953676116\ 8700286057*c_0101_6^11 - 3864072131604784794719960974870065469839/2\ 1580160251640049339073522337400572114*c_0101_6^10 - 83973300682441880764562510063403934228/4691339185139141160668157029\ 86968959*c_0101_6^9 + 623044728373826395246755909677739194415/21580\ 160251640049339073522337400572114*c_0101_6^8 + 31393406914285178445368660435246602794/1079008012582002466953676116\ 8700286057*c_0101_6^7 - 761509292726038834761304717804735862466/107\ 90080125820024669536761168700286057*c_0101_6^6 - 21739750232960132065762818722739861347/2158016025164004933907352233\ 7400572114*c_0101_6^5 - 30495599840456324573021869747423673641/1079\ 0080125820024669536761168700286057*c_0101_6^4 + 14063311833908119471895092146113257175/1079008012582002466953676116\ 8700286057*c_0101_6^3 - 33619845819820093849708601780510240969/1079\ 0080125820024669536761168700286057*c_0101_6^2 + 2119838948464263520633733439996821306/10790080125820024669536761168\ 700286057*c_0101_6 + 15546939834638477711707412946419126051/2158016\ 0251640049339073522337400572114, c_0011_4 + 11381752776964628693557523455591911/215801602516400493390735\ 22337400572114*c_0101_6^19 - 54802673377839608654633453909102455/10\ 790080125820024669536761168700286057*c_0101_6^18 - 1052002059980725792289867135051009137/10790080125820024669536761168\ 700286057*c_0101_6^17 + 6600845627202611959817049338020944873/21580\ 160251640049339073522337400572114*c_0101_6^16 + 25454250724585463927029743434329335968/1079008012582002466953676116\ 8700286057*c_0101_6^15 + 5671803101231926605437791728513029732/1079\ 0080125820024669536761168700286057*c_0101_6^14 - 385044617827012092969809549231622175185/215801602516400493390735223\ 37400572114*c_0101_6^13 - 42502501129332497821493418804106222497/93\ 8267837027828232133631405973937918*c_0101_6^12 + 73142356140748815942634070338022283928/1079008012582002466953676116\ 8700286057*c_0101_6^11 + 3864072131604784794719960974870065469839/2\ 1580160251640049339073522337400572114*c_0101_6^10 + 83973300682441880764562510063403934228/4691339185139141160668157029\ 86968959*c_0101_6^9 - 623044728373826395246755909677739194415/21580\ 160251640049339073522337400572114*c_0101_6^8 - 31393406914285178445368660435246602794/1079008012582002466953676116\ 8700286057*c_0101_6^7 + 761509292726038834761304717804735862466/107\ 90080125820024669536761168700286057*c_0101_6^6 + 21739750232960132065762818722739861347/2158016025164004933907352233\ 7400572114*c_0101_6^5 + 30495599840456324573021869747423673641/1079\ 0080125820024669536761168700286057*c_0101_6^4 - 14063311833908119471895092146113257175/1079008012582002466953676116\ 8700286057*c_0101_6^3 + 33619845819820093849708601780510240969/1079\ 0080125820024669536761168700286057*c_0101_6^2 - 2119838948464263520633733439996821306/10790080125820024669536761168\ 700286057*c_0101_6 + 6033220417001571627366109390981446063/21580160\ 251640049339073522337400572114, c_0011_5 - 2513989783385614291119737120/128367464638268282577029467927*\ c_0101_6^19 - 20942690383696447714813481504/12836746463826828257702\ 9467927*c_0101_6^18 + 110068931937309734971899937729/12836746463826\ 8282577029467927*c_0101_6^17 + 688079769697861644918138982299/12836\ 7464638268282577029467927*c_0101_6^16 + 124180395070998302135845788446/128367464638268282577029467927*c_010\ 1_6^15 - 5528654484350253184340813523215/12836746463826828257702946\ 7927*c_0101_6^14 - 14490970854440473962518092395699/128367464638268\ 282577029467927*c_0101_6^13 - 1648850154146717359641097809063/12836\ 7464638268282577029467927*c_0101_6^12 + 50802715135490182278621281768500/128367464638268282577029467927*c_0\ 101_6^11 + 69685684392830069072689495659628/12836746463826828257702\ 9467927*c_0101_6^10 + 24493215414064274020235188978562/128367464638\ 268282577029467927*c_0101_6^9 + 17495849122024576585025779482387/12\ 8367464638268282577029467927*c_0101_6^8 + 22335725687077595730525200103731/128367464638268282577029467927*c_0\ 101_6^7 + 6917006706826813526386787894679/1283674646382682825770294\ 67927*c_0101_6^6 + 9571132503392464117086692039128/1283674646382682\ 82577029467927*c_0101_6^5 + 941023330881657336829888717392/12836746\ 4638268282577029467927*c_0101_6^4 + 1347528082617179367622722459260/128367464638268282577029467927*c_01\ 01_6^3 + 239218582325196510616094319272/128367464638268282577029467\ 927*c_0101_6^2 + 290924185514220401724818882062/1283674646382682825\ 77029467927*c_0101_6 - 1185327424781718964112635644/128367464638268\ 282577029467927, c_0101_0 - 2568363210970033780174062599567358593/4316032050328009867814\ 7044674801144228*c_0101_6^19 - 693436370780028537313881595374357471\ 9/21580160251640049339073522337400572114*c_0101_6^18 + 80929872398107647994806731810843867835/2158016025164004933907352233\ 7400572114*c_0101_6^17 + 286098559185981076739910341003479749253/43\ 160320503280098678147044674801144228*c_0101_6^16 - 598824754325631240203838439723820562821/215801602516400493390735223\ 37400572114*c_0101_6^15 - 1839105363722390275899602986315848327659/\ 21580160251640049339073522337400572114*c_0101_6^14 - 1704118097379302688218986606979233755219/43160320503280098678147044\ 674801144228*c_0101_6^13 + 806000703586581022149584585490403480093/\ 1876535674055656464267262811947875836*c_0101_6^12 + 10415704955237003239616412120625482718067/2158016025164004933907352\ 2337400572114*c_0101_6^11 - 262803351218114048289530125923749170357\ 83/43160320503280098678147044674801144228*c_0101_6^10 - 223794765939680177411788063248689814847/938267837027828232133631405\ 973937918*c_0101_6^9 + 10456850803467572857950972992709842326225/43\ 160320503280098678147044674801144228*c_0101_6^8 - 4476629421177001402464592397421450567348/10790080125820024669536761\ 168700286057*c_0101_6^7 + 1053328211858430503163801764498902721673/\ 21580160251640049339073522337400572114*c_0101_6^6 - 3096253208242038154013362890177583930369/43160320503280098678147044\ 674801144228*c_0101_6^5 - 272686213382688475797244799912957898080/1\ 0790080125820024669536761168700286057*c_0101_6^4 - 284563407193302450415006169362079856611/215801602516400493390735223\ 37400572114*c_0101_6^3 - 61815986490116087855550398864153763034/107\ 90080125820024669536761168700286057*c_0101_6^2 - 510308970112271357998000713595455604/107900801258200246695367611687\ 00286057*c_0101_6 - 13617312695540756485825676833235107193/43160320\ 503280098678147044674801144228, c_0101_3 - 5151967452860637170249567666/128367464638268282577029467927*\ c_0101_6^19 - 35649213272658960516834548775/12836746463826828257702\ 9467927*c_0101_6^18 + 272530633809986533816706351377/12836746463826\ 8282577029467927*c_0101_6^17 + 1003913019878345673718923822186/1283\ 67464638268282577029467927*c_0101_6^16 - 975122681714557676190118621269/128367464638268282577029467927*c_010\ 1_6^15 - 9375708005951397474812642345524/12836746463826828257702946\ 7927*c_0101_6^14 - 17421911037381086552736227195738/128367464638268\ 282577029467927*c_0101_6^13 + 15360747250156905316039588472958/1283\ 67464638268282577029467927*c_0101_6^12 + 74109196789802730636050760164163/128367464638268282577029467927*c_0\ 101_6^11 + 53626948318474221273851504384490/12836746463826828257702\ 9467927*c_0101_6^10 + 17992604837584783180977855057374/128367464638\ 268282577029467927*c_0101_6^9 + 20073177413776906443668694875237/12\ 8367464638268282577029467927*c_0101_6^8 + 14192500798751994032279165935161/128367464638268282577029467927*c_0\ 101_6^7 + 13065731039488336885054504417908/128367464638268282577029\ 467927*c_0101_6^6 - 4731003317349396519448993709313/128367464638268\ 282577029467927*c_0101_6^5 + 3866059417157180281990866211323/128367\ 464638268282577029467927*c_0101_6^4 - 535244979005539662276006515034/128367464638268282577029467927*c_010\ 1_6^3 - 14158278348314933917038574979/12836746463826828257702946792\ 7*c_0101_6^2 - 252436115379916420335945854401/128367464638268282577\ 029467927*c_0101_6 - 57000575146154538445325378739/1283674646382682\ 82577029467927, c_0101_6^20 + 6*c_0101_6^19 - 59*c_0101_6^18 - 144*c_0101_6^17 + 357*c_0101_6^16 + 1570*c_0101_6^15 + 1705*c_0101_6^14 - 5455*c_0101_6^13 - 10157*c_0101_6^12 + 2583*c_0101_6^11 - 60*c_0101_6^10 - 6958*c_0101_6^9 + 1861*c_0101_6^8 - 1652*c_0101_6^7 - 5*c_0101_6^6 - 368*c_0101_6^5 - 19*c_0101_6^4 - 37*c_0101_6^3 - 15*c_0101_6^2 - 2*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB