Magma V2.19-8 Tue Aug 20 2013 16:17:19 on localhost [Seed = 2581071182] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1558 geometric_solution 5.34426289 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 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.656985145796 0.189951649312 0 2 2 0 3201 0132 1023 0132 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 -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 1.413400845222 0.583622513772 3 1 1 4 0132 0132 1023 0132 0 0 0 0 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 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.203520242737 0.461933509719 2 4 6 5 0132 2310 0132 0132 0 0 0 0 0 -1 0 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.033768781416 1.002588970740 6 5 2 3 2310 0132 0132 3201 0 0 0 0 0 -1 0 1 -1 0 1 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 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.033768781416 1.002588970740 5 4 3 5 3012 0132 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.962050360660 1.030275265403 6 6 4 3 1302 2031 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.485293832008 0.481705674938 ==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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0011_6'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : d['c_0101_2'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_6, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 124553220314613956296626647063/8004588311573551992985668790*c_0101_\ 3^17 - 111735227244564312693379098121/800458831157355199298566879*c\ _0101_3^16 + 311143768468814334034998632201/16009176623147103985971\ 337580*c_0101_3^15 + 5190889830304620357186611719427/16009176623147\ 103985971337580*c_0101_3^14 - 4371808390413892266447108596911/32018\ 35324629420797194267516*c_0101_3^13 + 96241321525781860619465270442/800458831157355199298566879*c_0101_3^\ 12 - 18493106665939714295875255674419/4002294155786775996492834395*\ c_0101_3^11 + 89126572033310788045692526924631/80045883115735519929\ 85668790*c_0101_3^10 + 18155695483347972558801301022879/80045883115\ 73551992985668790*c_0101_3^9 + 64453505401016003458517361602753/800\ 4588311573551992985668790*c_0101_3^8 - 31918548288417776141515950678345/3201835324629420797194267516*c_010\ 1_3^7 - 7659181400142545036668305958020/800458831157355199298566879\ *c_0101_3^6 + 148680109319540957583106768734603/8004588311573551992\ 985668790*c_0101_3^5 - 48511485478630113646292334109211/32018353246\ 29420797194267516*c_0101_3^4 + 40688824228662721482975884779799/160\ 09176623147103985971337580*c_0101_3^3 + 1708152134366924017254925939197/800458831157355199298566879*c_0101_\ 3^2 - 14044070475659459921221561273553/8004588311573551992985668790\ *c_0101_3 + 7713169543718617985873553024619/16009176623147103985971\ 337580, c_0011_0 - 1, c_0011_1 + 4739136094534498207597/305402072169918046279499*c_0101_3^17 + 96955820772035434552659/610804144339836092558998*c_0101_3^16 + 97405840918202806747609/610804144339836092558998*c_0101_3^15 - 196838515304820693339553/610804144339836092558998*c_0101_3^14 + 534436095045024001861689/610804144339836092558998*c_0101_3^13 + 443281953274207469019182/305402072169918046279499*c_0101_3^12 + 1501345903672865283521729/305402072169918046279499*c_0101_3^11 - 1775630024068985887073924/305402072169918046279499*c_0101_3^10 - 4799196678274769014898852/305402072169918046279499*c_0101_3^9 - 9775502823924950199093941/610804144339836092558998*c_0101_3^8 + 732175770778993280660304/305402072169918046279499*c_0101_3^7 + 7926535988987885076252008/305402072169918046279499*c_0101_3^6 + 1002001547067883580418325/305402072169918046279499*c_0101_3^5 - 1930696948001102896687069/305402072169918046279499*c_0101_3^4 + 988618838744340182178612/305402072169918046279499*c_0101_3^3 + 132215870247510347580455/305402072169918046279499*c_0101_3^2 - 435691026528776476289585/305402072169918046279499*c_0101_3 - 357309775017776939500573/610804144339836092558998, c_0011_4 + 775041729072583152832447149/8004588311573551992985668790*c_0\ 011_6*c_0101_3^17 + 2777932762988966365408120623/320183532462942079\ 7194267516*c_0011_6*c_0101_3^16 - 1178891047085732697891462339/8004\ 588311573551992985668790*c_0011_6*c_0101_3^15 - 17513041909868852565849477023/8004588311573551992985668790*c_0011_6\ *c_0101_3^14 + 26891810996122114095966951103/3201835324629420797194\ 267516*c_0011_6*c_0101_3^13 - 375262709350736456244371038/800458831\ 157355199298566879*c_0011_6*c_0101_3^12 + 220744313164141701766798748299/8004588311573551992985668790*c_0011_\ 6*c_0101_3^11 - 566258991503984301198958424693/80045883115735519929\ 85668790*c_0011_6*c_0101_3^10 - 149498557690869857508646801297/8004\ 588311573551992985668790*c_0011_6*c_0101_3^9 - 671313146198738057401910948433/16009176623147103985971337580*c_0011\ _6*c_0101_3^8 + 242496344319130817120281676915/32018353246294207971\ 94267516*c_0011_6*c_0101_3^7 + 57647127072391285167016463371/800458\ 831157355199298566879*c_0011_6*c_0101_3^6 - 1923123287685913847020673054183/16009176623147103985971337580*c_001\ 1_6*c_0101_3^5 + 59136301585770149764047253398/80045883115735519929\ 8566879*c_0011_6*c_0101_3^4 - 125258156028910334514663340817/160091\ 76623147103985971337580*c_0011_6*c_0101_3^3 - 18670466790519657056728672479/1600917662314710398597133758*c_0011_6\ *c_0101_3^2 + 70543061464102336460067166273/16009176623147103985971\ 337580*c_0011_6*c_0101_3 - 13639049062468775034324502047/1600917662\ 3147103985971337580*c_0011_6, c_0011_6^2 - 64554809697841966176971523/8004588311573551992985668790*c_\ 0101_3^17 - 65203261325391644909740349/800458831157355199298566879*\ c_0101_3^16 - 588920498544284614082138287/8004588311573551992985668\ 790*c_0101_3^15 + 1309522319602377373039224221/80045883115735519929\ 85668790*c_0101_3^14 - 401010710275977947721974839/8004588311573551\ 99298566879*c_0101_3^13 - 548228856651463299218937508/8004588311573\ 55199298566879*c_0101_3^12 - 10143409950364139793095078644/40022941\ 55786775996492834395*c_0101_3^11 + 12689190979318329192297183378/4002294155786775996492834395*c_0101_3\ ^10 + 58272794246671621267937124849/8004588311573551992985668790*c_\ 0101_3^9 + 57480192728536673157701531093/80045883115735519929856687\ 90*c_0101_3^8 - 1163145277293567252643142473/1600917662314710398597\ 133758*c_0101_3^7 - 9080773626275368812145439569/800458831157355199\ 298566879*c_0101_3^6 + 8171458387305973809433073229/400229415578677\ 5996492834395*c_0101_3^5 + 3762391080558416566156826003/16009176623\ 14710398597133758*c_0101_3^4 - 27016622290773288274316260653/800458\ 8311573551992985668790*c_0101_3^3 - 139841526218067867103139524/800458831157355199298566879*c_0101_3^2 + 3383321939928304045456762257/8004588311573551992985668790*c_0101_3 - 601987328908645845320403219/4002294155786775996492834395, c_0101_0 + 935114864690273042769291149/16009176623147103985971337580*c_\ 0101_3^17 + 410403951712127058707670304/800458831157355199298566879\ *c_0101_3^16 - 706025426291156970004977826/400229415578677599649283\ 4395*c_0101_3^15 - 19513502967382175945247905933/160091766231471039\ 85971337580*c_0101_3^14 + 4323424298045232066146235935/800458831157\ 355199298566879*c_0101_3^13 - 2175913702924987025102123003/16009176\ 62314710398597133758*c_0101_3^12 + 137478961584102728782249295227/8004588311573551992985668790*c_0101_\ 3^11 - 179727440676207191352854496282/4002294155786775996492834395*\ c_0101_3^10 - 12099468209628103096717000217/16009176623147103985971\ 337580*c_0101_3^9 - 412839494205212808466447536909/1600917662314710\ 3985971337580*c_0101_3^8 + 33788956125595125264575359089/8004588311\ 57355199298566879*c_0101_3^7 + 85020852530883488286031757833/320183\ 5324629420797194267516*c_0101_3^6 - 327361637600042006379966289031/4002294155786775996492834395*c_0101_\ 3^5 + 219700148745251406404372627231/3201835324629420797194267516*c\ _0101_3^4 - 106845648175490512515037570803/800458831157355199298566\ 8790*c_0101_3^3 - 31070726125347248662670969853/3201835324629420797\ 194267516*c_0101_3^2 + 131286660628739882258738927789/1600917662314\ 7103985971337580*c_0101_3 - 3951020742166224926005004769/4002294155\ 786775996492834395, c_0101_2 + 137906968653747806939812594/4002294155786775996492834395*c_0\ 101_3^17 + 250982081114280433309256372/800458831157355199298566879*\ c_0101_3^16 - 14288790636567863202127993/80045883115735519929856687\ 90*c_0101_3^15 - 5696617030873633792966806251/800458831157355199298\ 5668790*c_0101_3^14 + 2336983653015330110813022504/8004588311573551\ 99298566879*c_0101_3^13 + 70019327737466926927912896/80045883115735\ 5199298566879*c_0101_3^12 + 41386687532189944423020168729/400229415\ 5786775996492834395*c_0101_3^11 - 93697155562488848462274317653/400\ 2294155786775996492834395*c_0101_3^10 - 31229314719505592332239499002/4002294155786775996492834395*c_0101_3\ ^9 - 79591722380878770114496283794/4002294155786775996492834395*c_0\ 101_3^8 + 32312439045578530343840733883/160091766231471039859713375\ 8*c_0101_3^7 + 19076266591689893369960349190/8004588311573551992985\ 66879*c_0101_3^6 - 288690863458022502298513983353/80045883115735519\ 92985668790*c_0101_3^5 + 22900657182708867383085951754/800458831157\ 355199298566879*c_0101_3^4 - 37330339648839240975226995637/80045883\ 11573551992985668790*c_0101_3^3 - 3439766184026868787531436083/8004\ 58831157355199298566879*c_0101_3^2 + 22182955481384472121989953863/8004588311573551992985668790*c_0101_3 - 1928958926541333985145671581/4002294155786775996492834395, c_0101_3^18 + 9*c_0101_3^17 - c_0101_3^16 - 21*c_0101_3^15 + 87*c_0101_3^14 - 5*c_0101_3^13 + 296*c_0101_3^12 - 708*c_0101_3^11 - 171*c_0101_3^10 - 518*c_0101_3^9 + 636*c_0101_3^8 + 650*c_0101_3^7 - 1171*c_0101_3^6 + 926*c_0101_3^5 - 139*c_0101_3^4 - 146*c_0101_3^3 + 106*c_0101_3^2 - 30*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB