Magma V2.19-8 Tue Aug 20 2013 16:14:11 on localhost [Seed = 2033771871] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s150 geometric_solution 4.22043067 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1302 2031 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 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 5.034434713750 3.447553911649 0 2 2 0 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 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.135916676867 0.210169001764 1 1 3 4 2310 0132 0132 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 1 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.462598517845 2.574939045002 5 4 5 2 0132 1023 2310 0132 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 0 1 -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.578605796305 0.825501806330 3 5 2 5 1023 3201 0132 1023 0 0 0 0 0 0 0 0 1 0 0 -1 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 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.578605796305 0.825501806330 3 3 4 4 0132 3201 2310 1023 0 0 0 0 0 0 -1 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 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.526088704766 0.305536053929 ==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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_1_5' : negation(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_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(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' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : 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' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_1'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 662842570996912540903367337/103831722201543484059375861760*c_0101_3\ ^16 + 981258936748665579058020851/103831722201543484059375861760*c_\ 0101_3^15 + 1060499629688329665163220763/51915861100771742029687930\ 880*c_0101_3^14 + 18262485691221273662280497481/1038317222015434840\ 59375861760*c_0101_3^13 + 75656100713985948364672952397/10383172220\ 1543484059375861760*c_0101_3^12 + 237795341163641534172411582273/10\ 3831722201543484059375861760*c_0101_3^11 + 19015375307361056387975241207/10383172220154348405937586176*c_0101_\ 3^10 + 69540273724713233591824960107/5191586110077174202968793088*c\ _0101_3^9 + 203257786529667446769919272961/129789652751929355074219\ 82720*c_0101_3^8 - 92817492167291806520539088227/648948263759646775\ 3710991360*c_0101_3^7 + 3507048647277410523650953103/81118532969955\ 846921387392*c_0101_3^6 + 13674824752313291904169589/31686926941389\ 00270366695*c_0101_3^5 - 76100238143649510662452765803/811185329699\ 558469213873920*c_0101_3^4 - 48620781928195265371605191551/40559266\ 4849779234606936960*c_0101_3^3 + 191978340093867769897950819/506990\ 8310622240432586712*c_0101_3^2 - 1728769469275307898880196229/10139\ 8166212444808651734240*c_0101_3 + 2995807309367275624284988557/5069\ 9083106222404325867120, c_0011_0 - 1, c_0011_1 + 322858084950123091997/58995296705422434124645376*c_0101_3^16 + 679624557611822687343/58995296705422434124645376*c_0101_3^15 - 1310431193469095796717/29497648352711217062322688*c_0101_3^14 - 11662585620857732155939/58995296705422434124645376*c_0101_3^13 - 69824562591101168326635/58995296705422434124645376*c_0101_3^12 - 253291547091165849188089/58995296705422434124645376*c_0101_3^11 - 280416179253608753254493/29497648352711217062322688*c_0101_3^10 - 602653465496244168116835/29497648352711217062322688*c_0101_3^9 - 977306083440742808581191/14748824176355608531161344*c_0101_3^8 - 434740992815917569855439/7374412088177804265580672*c_0101_3^7 - 248764725546113116779905/3687206044088902132790336*c_0101_3^6 - 111781648651960102313755/460900755511112766598792*c_0101_3^5 - 79328178318006790843721/921801511022225533197584*c_0101_3^4 + 65338768376661536709125/230450377755556383299396*c_0101_3^3 + 13343472027276026535841/115225188877778191649698*c_0101_3^2 + 1515076324579233840260/57612594438889095824849*c_0101_3 + 48981945809321831730847/57612594438889095824849, c_0011_3 - 56613400451022910979/3687206044088902132790336*c_0101_3^16 - 1496415174055208245765/58995296705422434124645376*c_0101_3^15 + 7528260926874497550569/58995296705422434124645376*c_0101_3^14 + 3999346035895792233595/7374412088177804265580672*c_0101_3^13 + 178212733170028673111753/58995296705422434124645376*c_0101_3^12 + 650971741454409703735191/58995296705422434124645376*c_0101_3^11 + 1284332883940819907230931/58995296705422434124645376*c_0101_3^10 + 705422510769824382261455/14748824176355608531161344*c_0101_3^9 + 276720206272949996001069/1843603022044451066395168*c_0101_3^8 + 160040086725468415632469/1843603022044451066395168*c_0101_3^7 + 24965993700251107426391/3687206044088902132790336*c_0101_3^6 + 870175024886950950506633/1843603022044451066395168*c_0101_3^5 - 247552645380973005196681/921801511022225533197584*c_0101_3^4 - 268425263996221313495729/230450377755556383299396*c_0101_3^3 - 20840516026020968237289/57612594438889095824849*c_0101_3^2 + 9638122964571186733692/57612594438889095824849*c_0101_3 - 4271900553062803167677/57612594438889095824849, c_0101_1 + 348367385023626555077/7374412088177804265580672*c_0101_3^16 - 6268267462727158222373/58995296705422434124645376*c_0101_3^15 - 7260254120833229648557/58995296705422434124645376*c_0101_3^14 - 33861582620803938141165/29497648352711217062322688*c_0101_3^13 - 255114361245814538553527/58995296705422434124645376*c_0101_3^12 - 711106105182502623141443/58995296705422434124645376*c_0101_3^11 + 138732289693265764771909/58995296705422434124645376*c_0101_3^10 - 2326398433053386802220913/29497648352711217062322688*c_0101_3^9 - 225131632521348093053373/7374412088177804265580672*c_0101_3^8 + 235955007462274180255825/921801511022225533197584*c_0101_3^7 - 1216938257419805500452679/3687206044088902132790336*c_0101_3^6 + 209562090711980175716369/921801511022225533197584*c_0101_3^5 + 431103009660506238472951/460900755511112766598792*c_0101_3^4 + 275200771461642861499943/460900755511112766598792*c_0101_3^3 - 217999026058235271521063/230450377755556383299396*c_0101_3^2 - 15693275834242509544509/115225188877778191649698*c_0101_3 - 12935123440752234399467/57612594438889095824849, c_0101_2 + 190853363094390673907/14748824176355608531161344*c_0101_3^16 + 481236857809432659033/29497648352711217062322688*c_0101_3^15 - 2558290828689169313723/29497648352711217062322688*c_0101_3^14 - 6770840363207540710063/14748824176355608531161344*c_0101_3^13 - 71640812261711295389981/29497648352711217062322688*c_0101_3^12 - 267944063559084740228391/29497648352711217062322688*c_0101_3^11 - 533481692226345686712113/29497648352711217062322688*c_0101_3^10 - 330022010085511573488565/7374412088177804265580672*c_0101_3^9 - 458669514842073962462733/3687206044088902132790336*c_0101_3^8 - 397388951657294339374885/3687206044088902132790336*c_0101_3^7 - 10567836058918522637957/115225188877778191649698*c_0101_3^6 - 210615385442658579849669/460900755511112766598792*c_0101_3^5 - 240959827268089692034/57612594438889095824849*c_0101_3^4 + 167333293175401252510123/230450377755556383299396*c_0101_3^3 + 14647937651400534586620/57612594438889095824849*c_0101_3^2 - 2795503245200534326649/115225188877778191649698*c_0101_3 + 30431109648680586323016/57612594438889095824849, c_0101_3^17 - c_0101_3^16 - 4*c_0101_3^15 - 29*c_0101_3^14 - 127*c_0101_3^13 - 411*c_0101_3^12 - 448*c_0101_3^11 - 2200*c_0101_3^10 - 3424*c_0101_3^9 + 1248*c_0101_3^8 - 5408*c_0101_3^7 - 4096*c_0101_3^6 + 14720*c_0101_3^5 + 26112*c_0101_3^4 + 1536*c_0101_3^3 - 3072*c_0101_3^2 - 8192*c_0101_3 - 4096 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB