Magma V2.19-8 Tue Aug 20 2013 16:17:31 on localhost [Seed = 1461111692] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1762 geometric_solution 5.44887638 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 -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 1 0 -1 0 0 1 -1 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.409830566415 0.055196783721 0 2 0 2 0132 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 -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 1 -1 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.846199790627 0.901545819988 1 1 3 4 3201 0132 0132 0132 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 -1 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.665010797306 2.167479548224 4 5 6 2 1302 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 0 1 -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.489246001706 0.647656257656 5 3 2 6 0132 2031 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.489246001706 0.647656257656 4 3 5 5 0132 0132 1230 3012 0 0 0 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.257390797088 0.983054527952 4 6 6 3 3201 1230 3012 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 -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.489246001706 0.647656257656 ==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' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : negation(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' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_6'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_6'], '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_4']), '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 11774905573/997242863*c_0101_5^9 - 18029581766/997242863*c_0101_5^8 - 318842011663/1994485726*c_0101_5^7 + 416479808701/7977942904*c_0101_5^6 + 3798038549955/7977942904*c_0101_5^5 + 8308645918215/31911771616*c_0101_5^4 - 5665383758223/15955885808*c_0101_5^3 - 919815503637/1994485726*c_0101_5^2 + 33645420065/997242863*c_0101_5 + 173181084254/997242863, c_0011_0 - 1, c_0011_3 + 329535910/997242863*c_0101_5^9 - 1212804632/997242863*c_0101_5^8 - 2983571041/997242863*c_0101_5^7 + 42698951571/3988971452*c_0101_5^6 + 14653853331/3988971452*c_0101_5^5 - 330449759319/15955885808*c_0101_5^4 + 1443080667/1994485726*c_0101_5^3 + 48467618535/3988971452*c_0101_5^2 - 1341762519/997242863*c_0101_5 - 1133694688/997242863, c_0011_6 - 578848510/997242863*c_0101_5^9 + 1740366664/997242863*c_0101_5^8 + 5919199461/997242863*c_0101_5^7 - 53320767583/3988971452*c_0101_5^6 - 41598838167/3988971452*c_0101_5^5 + 304309435635/15955885808*c_0101_5^4 + 3176849900/997242863*c_0101_5^3 - 32596390695/3988971452*c_0101_5^2 + 715952097/997242863*c_0101_5 + 966768596/997242863, c_0101_0 - 1650864666/997242863*c_0101_5^9 + 4212712224/997242863*c_0101_5^8 + 19304258567/997242863*c_0101_5^7 - 122711757853/3988971452*c_0101_5^6 - 194636003105/3988971452*c_0101_5^5 + 671624171721/15955885808*c_0101_5^4 + 139679580311/3988971452*c_0101_5^3 - 30623893893/1994485726*c_0101_5^2 - 9334754737/1994485726*c_0101_5 + 756258546/997242863, c_0101_1 - 203427226/997242863*c_0101_5^9 + 1156450188/997242863*c_0101_5^8 + 766472543/997242863*c_0101_5^7 - 44735407269/3988971452*c_0101_5^6 + 22059545893/3988971452*c_0101_5^5 + 368267823089/15955885808*c_0101_5^4 - 82114856809/7977942904*c_0101_5^3 - 47578051667/3988971452*c_0101_5^2 + 3700745602/997242863*c_0101_5 + 20426999/997242863, c_0101_4 + 578848510/997242863*c_0101_5^9 - 1740366664/997242863*c_0101_5^8 - 5919199461/997242863*c_0101_5^7 + 53320767583/3988971452*c_0101_5^6 + 41598838167/3988971452*c_0101_5^5 - 304309435635/15955885808*c_0101_5^4 - 3176849900/997242863*c_0101_5^3 + 32596390695/3988971452*c_0101_5^2 - 715952097/997242863*c_0101_5 - 966768596/997242863, c_0101_5^10 - 2*c_0101_5^9 - 27/2*c_0101_5^8 + 105/8*c_0101_5^7 + 355/8*c_0101_5^6 - 517/32*c_0101_5^5 - 745/16*c_0101_5^4 + 51/8*c_0101_5^3 + 31/2*c_0101_5^2 - 3/2*c_0101_5 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 623714386564151963861509921249/3139719578804395054346038828*c_0101_\ 5^21 - 798428760506563492136475180459/1569859789402197527173019414*\ c_0101_5^20 + 17813791170769420141902426783769/31397195788043950543\ 46038828*c_0101_5^19 - 2681701451478211465407440907900/784929894701\ 098763586509707*c_0101_5^18 - 240980688866115011172075035412107/313\ 9719578804395054346038828*c_0101_5^17 + 190769180181343173689214961776843/3139719578804395054346038828*c_01\ 01_5^16 + 764877130996568323504126825023067/15698597894021975271730\ 19414*c_0101_5^15 - 797024523449466118919249045695169/3139719578804\ 395054346038828*c_0101_5^14 - 1385804835429095396032482459254289/78\ 4929894701098763586509707*c_0101_5^13 + 1979671036403881769683894775341359/3139719578804395054346038828*c_0\ 101_5^12 + 6692784766846367727647213435052299/156985978940219752717\ 3019414*c_0101_5^11 - 348695456121965370264809510682025/78492989470\ 1098763586509707*c_0101_5^10 - 5110392602608460543642075988459715/7\ 84929894701098763586509707*c_0101_5^9 - 6043867080264628908917559100494599/3139719578804395054346038828*c_0\ 101_5^8 + 11855665665927018422813330383639659/313971957880439505434\ 6038828*c_0101_5^7 + 1288663925788393138991152038342112/78492989470\ 1098763586509707*c_0101_5^6 - 3320304656115933144577591079022667/31\ 39719578804395054346038828*c_0101_5^5 - 1593015932813418934878625195955037/3139719578804395054346038828*c_0\ 101_5^4 + 117997562240030817081467458892040/78492989470109876358650\ 9707*c_0101_5^3 + 216239273015725190872023917147445/313971957880439\ 5054346038828*c_0101_5^2 - 26549240903506296760897217205683/3139719\ 578804395054346038828*c_0101_5 - 10886841823973577544683186170611/3\ 139719578804395054346038828, c_0011_0 - 1, c_0011_3 + 1134722374109290794120711518/784929894701098763586509707*c_0\ 101_5^21 + 1063817502214308232333552428/784929894701098763586509707\ *c_0101_5^20 - 32587209653852250386001737257/7849298947010987635865\ 09707*c_0101_5^19 + 72606215351895038795951561678/78492989470109876\ 3586509707*c_0101_5^18 + 275946252626212996404310913354/78492989470\ 1098763586509707*c_0101_5^17 - 660082862348514155651428892522/78492\ 9894701098763586509707*c_0101_5^16 - 1442545133922657378838750147080/784929894701098763586509707*c_0101_\ 5^15 + 2672609160908439976616602960487/784929894701098763586509707*\ c_0101_5^14 + 4666715332876017141116631281058/784929894701098763586\ 509707*c_0101_5^13 - 6639292553432249929617533639357/78492989470109\ 8763586509707*c_0101_5^12 - 10801045850132229790158927848601/784929\ 894701098763586509707*c_0101_5^11 + 8678121028367276089505544653902/784929894701098763586509707*c_0101_\ 5^10 + 17364760684417880652684822720011/784929894701098763586509707\ *c_0101_5^9 - 455822708036058453582672677347/7849298947010987635865\ 09707*c_0101_5^8 - 10285833946279907583156826417642/784929894701098\ 763586509707*c_0101_5^7 - 2202509376201606736358365813577/784929894\ 701098763586509707*c_0101_5^6 + 2859926628488632602585647692537/784\ 929894701098763586509707*c_0101_5^5 + 895633720371906802750526259170/784929894701098763586509707*c_0101_5\ ^4 - 398745340107588183313628999598/784929894701098763586509707*c_0\ 101_5^3 - 138527967320562231592049496649/78492989470109876358650970\ 7*c_0101_5^2 + 22727814501785473325770925812/7849298947010987635865\ 09707*c_0101_5 + 7551130521619095826254944755/784929894701098763586\ 509707, c_0011_6 - 59918383744084174758381972/784929894701098763586509707*c_010\ 1_5^21 - 2408155274865417949682075516/784929894701098763586509707*c\ _0101_5^20 + 1475438309554884535533695103/7849298947010987635865097\ 07*c_0101_5^19 + 63884113605414001851710366976/78492989470109876358\ 6509707*c_0101_5^18 - 221566003859388163519977325326/78492989470109\ 8763586509707*c_0101_5^17 - 363826371762281613723382006344/78492989\ 4701098763586509707*c_0101_5^16 + 1775986896311523629949129159451/7\ 84929894701098763586509707*c_0101_5^15 + 1422865030863741907367615050538/784929894701098763586509707*c_0101_\ 5^14 - 7087312554401363299533437170145/784929894701098763586509707*\ c_0101_5^13 - 3554242488645398438007987565070/784929894701098763586\ 509707*c_0101_5^12 + 17598612832684283675623132388543/7849298947010\ 98763586509707*c_0101_5^11 + 7482665167914492328856286200971/784929\ 894701098763586509707*c_0101_5^10 - 25611988812191803831540528774266/784929894701098763586509707*c_0101\ _5^9 - 14732155255673874987693715267593/784929894701098763586509707\ *c_0101_5^8 + 14120028528418597269531790368222/78492989470109876358\ 6509707*c_0101_5^7 + 9108069346875402836219728622120/78492989470109\ 8763586509707*c_0101_5^6 - 3849036759294236571534391716051/78492989\ 4701098763586509707*c_0101_5^5 - 2458064796660837292511378151240/78\ 4929894701098763586509707*c_0101_5^4 + 551735082798435578879270336988/784929894701098763586509707*c_0101_5\ ^3 + 298552862879500195861705848552/784929894701098763586509707*c_0\ 101_5^2 - 31531517944688088862940280121/784929894701098763586509707\ *c_0101_5 - 13008201313620849365788595933/7849298947010987635865097\ 07, c_0101_0 + 2955966295704613919342936152/784929894701098763586509707*c_0\ 101_5^21 + 470059075365905125944069859/784929894701098763586509707*\ c_0101_5^20 - 85040561418847528814455744532/78492989470109876358650\ 9707*c_0101_5^19 + 255440372019307399750737200432/78492989470109876\ 3586509707*c_0101_5^18 + 513858878071461195659893841854/78492989470\ 1098763586509707*c_0101_5^17 - 2102811493772471546366844850377/7849\ 29894701098763586509707*c_0101_5^16 - 2079707316206488697115338008769/784929894701098763586509707*c_0101_\ 5^15 + 8446578076433053700580354396716/784929894701098763586509707*\ c_0101_5^14 + 5386573951006259394005666080670/784929894701098763586\ 509707*c_0101_5^13 - 20966880696507116761461542175696/7849298947010\ 98763586509707*c_0101_5^12 - 11222949180039470490741939842158/78492\ 9894701098763586509707*c_0101_5^11 + 30102887805079914730953445562031/784929894701098763586509707*c_0101\ _5^10 + 20422391312462708001520930248740/78492989470109876358650970\ 7*c_0101_5^9 - 15491980705243333723990196722969/7849298947010987635\ 86509707*c_0101_5^8 - 12345577786277519971226077270423/784929894701\ 098763586509707*c_0101_5^7 + 3614678183196226260964819719986/784929\ 894701098763586509707*c_0101_5^6 + 3215672994070887299382519926210/784929894701098763586509707*c_0101_\ 5^5 - 406410117191577939128837745294/784929894701098763586509707*c_\ 0101_5^4 - 363381577754307680353588160387/7849298947010987635865097\ 07*c_0101_5^3 + 13528034981724721698130813586/784929894701098763586\ 509707*c_0101_5^2 + 12739536397505271812862741461/78492989470109876\ 3586509707*c_0101_5 + 572659173300971868964948098/78492989470109876\ 3586509707, c_0101_1 + 6365487453169301734888665933/784929894701098763586509707*c_0\ 101_5^21 - 2122007517011578683587850808/784929894701098763586509707\ *c_0101_5^20 - 183703965335235572952686358754/784929894701098763586\ 509707*c_0101_5^19 + 640524170514488824708725865570/784929894701098\ 763586509707*c_0101_5^18 + 837674510008240034919174898402/784929894\ 701098763586509707*c_0101_5^17 - 5087914523145358891694823765089/78\ 4929894701098763586509707*c_0101_5^16 - 2229082649600465961033853586320/784929894701098763586509707*c_0101_\ 5^15 + 20469015780347887444541160306251/784929894701098763586509707\ *c_0101_5^14 + 2465747293624988294204506824060/78492989470109876358\ 6509707*c_0101_5^13 - 51068743395707262893515534238792/784929894701\ 098763586509707*c_0101_5^12 - 1222925747135311452739191010736/78492\ 9894701098763586509707*c_0101_5^11 + 76989389478047079156873262737296/784929894701098763586509707*c_0101\ _5^10 + 10439357561408446757270823667944/78492989470109876358650970\ 7*c_0101_5^9 - 55062103249972585551386710409846/7849298947010987635\ 86509707*c_0101_5^8 - 8196881507095185741299583034695/7849298947010\ 98763586509707*c_0101_5^7 + 20863585046000120847127871126768/784929\ 894701098763586509707*c_0101_5^6 + 2045673822042316837293605073020/784929894701098763586509707*c_0101_\ 5^5 - 4288444448014809200954177252932/784929894701098763586509707*c\ _0101_5^4 - 118923796801005136975829945066/784929894701098763586509\ 707*c_0101_5^3 + 416906170765596865356859308441/7849298947010987635\ 86509707*c_0101_5^2 - 4900412465624346563446843480/7849298947010987\ 63586509707*c_0101_5 - 13841965664247567214989289680/78492989470109\ 8763586509707, c_0101_4 + 1074803990365206619362329546/784929894701098763586509707*c_0\ 101_5^21 - 1344337772651109717348523088/784929894701098763586509707\ *c_0101_5^20 - 31111771344297365850468042154/7849298947010987635865\ 09707*c_0101_5^19 + 136490328957309040647661928654/7849298947010987\ 63586509707*c_0101_5^18 + 54380248766824832884333588028/78492989470\ 1098763586509707*c_0101_5^17 - 1023909234110795769374810898866/7849\ 29894701098763586509707*c_0101_5^16 + 333441762388866251110379012371/784929894701098763586509707*c_0101_5\ ^15 + 4095474191772181883984218011025/784929894701098763586509707*c\ _0101_5^14 - 2420597221525346158416805889087/7849298947010987635865\ 09707*c_0101_5^13 - 10193535042077648367625521204427/78492989470109\ 8763586509707*c_0101_5^12 + 6797566982552053885464204539942/7849298\ 94701098763586509707*c_0101_5^11 + 16160786196281768418361830854873/784929894701098763586509707*c_0101\ _5^10 - 8247228127773923178855706054255/784929894701098763586509707\ *c_0101_5^9 - 15187977963709933441276387944940/78492989470109876358\ 6509707*c_0101_5^8 + 3834194582138689686374963950580/78492989470109\ 8763586509707*c_0101_5^7 + 6905559970673796099861362808543/78492989\ 4701098763586509707*c_0101_5^6 - 989110130805603968948744023514/784\ 929894701098763586509707*c_0101_5^5 - 1562431076288930489760851892070/784929894701098763586509707*c_0101_\ 5^4 + 152989742690847395565641337390/784929894701098763586509707*c_\ 0101_5^3 + 160024895558937964269656351903/7849298947010987635865097\ 07*c_0101_5^2 - 8803703442902615537169354309/7849298947010987635865\ 09707*c_0101_5 - 5457070792001753539533651178/784929894701098763586\ 509707, c_0101_5^22 - 29*c_0101_5^20 + 91*c_0101_5^19 + 166*c_0101_5^18 - 758*c_0101_5^17 - 622*c_0101_5^16 + 3121*c_0101_5^15 + 1481*c_0101_5^14 - 7986*c_0101_5^13 - 2923*c_0101_5^12 + 12270*c_0101_5^11 + 5788*c_0101_5^10 - 8473*c_0101_5^9 - 4385*c_0101_5^8 + 3094*c_0101_5^7 + 1574*c_0101_5^6 - 637*c_0101_5^5 - 291*c_0101_5^4 + 69*c_0101_5^3 + 27*c_0101_5^2 - 3*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.260 seconds, Total memory usage: 32.09MB