Magma V2.19-8 Tue Aug 20 2013 16:18:06 on localhost [Seed = 1427425681] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2331 geometric_solution 5.71867959 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 -1 0 1 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.236010986285 0.175434038415 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 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.034853260016 1.853214348632 1 3 4 5 0132 3201 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 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.294771828044 0.950208485595 5 4 2 1 1023 0132 2310 0132 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 -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.294771828044 0.950208485595 6 3 6 2 0132 0132 2310 0132 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 0 0 0 0 0 0 0 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.084774355444 0.610579238820 5 3 2 5 3012 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1.070830046253 0.819779684716 4 4 6 6 0132 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.491519806433 0.321944096001 ==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_0101_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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' : d['c_0101_0'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), '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_0'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t - 64809559990339989124894945396714287468720804265/1787317228501561677\ 357227215245694379289366*c_0101_4^37 + 9833465726323113659771445087969622353641694593915/35746344570031233\ 54714454430491388758578732*c_0101_4^35 - 275800255748352053130684950534777305801322806840681/357463445700312\ 3354714454430491388758578732*c_0101_4^33 + 1957146863831539361784571328233642859336774573373083/17873172285015\ 61677357227215245694379289366*c_0101_4^31 - 32523378160619822337856198853412120204715111740039157/3574634457003\ 123354714454430491388758578732*c_0101_4^29 + 42760810136133194437940307322914699618633796107572518/8936586142507\ 80838678613607622847189644683*c_0101_4^27 - 299025401055013551825785164994095395839258672956462387/178731722850\ 1561677357227215245694379289366*c_0101_4^25 + 359507455503213862120627260417736469659478257611947369/893658614250\ 780838678613607622847189644683*c_0101_4^23 - 2427894549093387121164498593117611211876584962551111765/35746344570\ 03123354714454430491388758578732*c_0101_4^21 + 2908475083913384309966243241163461939713681852562367975/35746344570\ 03123354714454430491388758578732*c_0101_4^19 - 619544000434168375375157689380043563127385754350380508/893658614250\ 780838678613607622847189644683*c_0101_4^17 + 1494667337958184871456127213496436206001868170713597099/35746344570\ 03123354714454430491388758578732*c_0101_4^15 - 157427613753604225148432117116386769186233971093429597/893658614250\ 780838678613607622847189644683*c_0101_4^13 + 180807078181243614587222786324432678326026275350506053/357463445700\ 3123354714454430491388758578732*c_0101_4^11 - 33974988715167777763476632354708818592421716274459019/3574634457003\ 123354714454430491388758578732*c_0101_4^9 + 327165426206792903840127118535744739642854045162718/297886204750260\ 279559537869207615729881561*c_0101_4^7 - 63850643823894096684680720905789238666108015835961/8936586142507808\ 38678613607622847189644683*c_0101_4^5 + 8294231250716253496703257565044857398885827790675/35746344570031233\ 54714454430491388758578732*c_0101_4^3 - 26445737613101918277621088566359066585703366320/8936586142507808386\ 78613607622847189644683*c_0101_4, c_0011_0 - 1, c_0011_1 + 475880058029648471669799086746793392469335/49237389214919054\ 47265088747233317849282*c_0101_4^36 - 72266416051869445871917566422173188145191589/9847477842983810894530\ 177494466635698564*c_0101_4^34 + 2029785058090965250920583343717882\ 019738706447/9847477842983810894530177494466635698564*c_0101_4^32 - 14435311462540279586220826620097658607437261611/4923738921491905447\ 265088747233317849282*c_0101_4^30 + 240607273473175118129575440352190179727878134343/984747784298381089\ 4530177494466635698564*c_0101_4^28 - 317615468595860028848557197264223047243019179110/246186946074595272\ 3632544373616658924641*c_0101_4^26 + 2232512511648006757158871249776601926840107926635/49237389214919054\ 47265088747233317849282*c_0101_4^24 - 2701087010935074881740217150130513270648836521376/24618694607459527\ 23632544373616658924641*c_0101_4^22 + 18380108444776649452415549585041276174920456446947/9847477842983810\ 894530177494466635698564*c_0101_4^20 - 22213508014744562250060916384835052534553899457617/9847477842983810\ 894530177494466635698564*c_0101_4^18 + 4779006633194321483899362928952735938186211771919/24618694607459527\ 23632544373616658924641*c_0101_4^16 - 11653058600091428397668651780601913288402217819525/9847477842983810\ 894530177494466635698564*c_0101_4^14 + 1240689407586296976722243424172287308942296495957/24618694607459527\ 23632544373616658924641*c_0101_4^12 - 1439413314310180425070240742295394866721468297611/98474778429838108\ 94530177494466635698564*c_0101_4^10 + 272734501874965456089484453717946423072563453337/984747784298381089\ 4530177494466635698564*c_0101_4^8 - 7918693785938176103007026921114228202226016115/24618694607459527236\ 32544373616658924641*c_0101_4^6 + 515011787322750703670306902463164\ 419876845328/2461869460745952723632544373616658924641*c_0101_4^4 - 66260352110436766915200601843266307596558169/9847477842983810894530\ 177494466635698564*c_0101_4^2 + 20632928099095170719089517003398158\ 1782837/2461869460745952723632544373616658924641, c_0011_3 + 417582300903395319829055428815196481414956/24618694607459527\ 23632544373616658924641*c_0101_4^37 - 63414211980189835462175681521978268264018933/4923738921491905447265\ 088747233317849282*c_0101_4^35 + 3562369931011283417920180885985296\ 986090585435/9847477842983810894530177494466635698564*c_0101_4^33 - 50670771645121137692785527994475174720754400577/9847477842983810894\ 530177494466635698564*c_0101_4^31 + 211151834296093746882471155245305414975513098621/492373892149190544\ 7265088747233317849282*c_0101_4^29 - 2229937398855388032946984167479729654446314538193/98474778429838108\ 94530177494466635698564*c_0101_4^27 + 1959319884203799754258839749857818237100258341240/24618694607459527\ 23632544373616658924641*c_0101_4^25 - 9482161797506457085337923256370529628288059266285/49237389214919054\ 47265088747233317849282*c_0101_4^23 + 8064872673195194807242250173544225056431860298634/24618694607459527\ 23632544373616658924641*c_0101_4^21 - 38980548143143888696311988886987589782362837689549/9847477842983810\ 894530177494466635698564*c_0101_4^19 + 33532309376035641403030564573535706066305915691983/9847477842983810\ 894530177494466635698564*c_0101_4^17 - 5106641329875836528724015294877540050878154372673/24618694607459527\ 23632544373616658924641*c_0101_4^15 + 8688144463511221685383763277086184913239055289427/98474778429838108\ 94530177494466635698564*c_0101_4^13 - 628595630545804292540572262981212534698239045375/246186946074595272\ 3632544373616658924641*c_0101_4^11 + 474575161880532023366234815679058205843982528389/984747784298381089\ 4530177494466635698564*c_0101_4^9 - 54730197835069926557902181115500136081193722215/9847477842983810894\ 530177494466635698564*c_0101_4^7 + 878303756043201402171769270021108473502154459/246186946074595272363\ 2544373616658924641*c_0101_4^5 - 2763641270121151444755062728218340\ 7721889994/2461869460745952723632544373616658924641*c_0101_4^3 + 1378133158070291086211847447301055756966139/98474778429838108945301\ 77494466635698564*c_0101_4, c_0101_0 + 211690838537485685312417349229693129927617/49237389214919054\ 47265088747233317849282*c_0101_4^36 - 32027773943840698475291885599446571914993927/9847477842983810894530\ 177494466635698564*c_0101_4^34 + 8939400695212349782749980343837039\ 09626190031/9847477842983810894530177494466635698564*c_0101_4^32 - 3148344614386626601920721125635932097053135085/24618694607459527236\ 32544373616658924641*c_0101_4^30 + 103550327898194377219600832311623701659553562349/984747784298381089\ 4530177494466635698564*c_0101_4^28 - 268452251052953882053964879395644743229874630739/492373892149190544\ 7265088747233317849282*c_0101_4^26 + 921228370020977306017587755117312279030306646271/492373892149190544\ 7265088747233317849282*c_0101_4^24 - 1081310652749059618461702539275572104751236670818/24618694607459527\ 23632544373616658924641*c_0101_4^22 + 7085009413513585615791094919769744301400686999913/98474778429838108\ 94530177494466635698564*c_0101_4^20 - 8173898882375434007509879339629456690305141422737/98474778429838108\ 94530177494466635698564*c_0101_4^18 + 3325613125699885671453930111028884958832417834435/49237389214919054\ 47265088747233317849282*c_0101_4^16 - 3796955329109793028705947739639105354996664206203/98474778429838108\ 94530177494466635698564*c_0101_4^14 + 750316498336755560235364627658852435500476559583/492373892149190544\ 7265088747233317849282*c_0101_4^12 - 400872727652684147518464870597404452740925054349/984747784298381089\ 4530177494466635698564*c_0101_4^10 + 69615570627308120645363431669808445279269113317/9847477842983810894\ 530177494466635698564*c_0101_4^8 - 3701894461944265392056416074296829062410764175/49237389214919054472\ 65088747233317849282*c_0101_4^6 + 110595923346641647520005937884813\ 488167578366/2461869460745952723632544373616658924641*c_0101_4^4 - 13218170409404046434120512229426945147001543/9847477842983810894530\ 177494466635698564*c_0101_4^2 + 79549792658266582736810511474433082\ 570861/4923738921491905447265088747233317849282, c_0101_1 + 315290293756021917211075460425376987291006/24618694607459527\ 23632544373616658924641*c_0101_4^36 - 23942016898775722290181148771819431640062230/2461869460745952723632\ 544373616658924641*c_0101_4^34 + 1345156489949443860759108099296677\ 185141296509/4923738921491905447265088747233317849282*c_0101_4^32 - 19137310285929270451998071987710721309367469579/4923738921491905447\ 265088747233317849282*c_0101_4^30 + 79770166856528945360308789962520033944717200761/2461869460745952723\ 632544373616658924641*c_0101_4^28 - 842748491289380072958642183798087023209370689067/492373892149190544\ 7265088747233317849282*c_0101_4^26 + 1481631648407058701831442278188368020540624989181/24618694607459527\ 23632544373616658924641*c_0101_4^24 - 3587163503989473287157670944844816112011618070774/24618694607459527\ 23632544373616658924641*c_0101_4^22 + 6105899414342566304916566279011479986664907137559/24618694607459527\ 23632544373616658924641*c_0101_4^20 - 14766877095328213620841121250889796532351788147255/4923738921491905\ 447265088747233317849282*c_0101_4^18 + 12713556414003124398914601342644809456628096586581/4923738921491905\ 447265088747233317849282*c_0101_4^16 - 3876099496042482316502156537771655779166009741966/24618694607459527\ 23632544373616658924641*c_0101_4^14 + 3301458545722606721914435049775090506169754621845/49237389214919054\ 47265088747233317849282*c_0101_4^12 - 478630815268194224407753300766323349043634015450/246186946074595272\ 3632544373616658924641*c_0101_4^10 + 181267164444250899463103684926020595503232128157/492373892149190544\ 7265088747233317849282*c_0101_4^8 - 21033720381492382542027020137414765828637175257/4923738921491905447\ 265088747233317849282*c_0101_4^6 + 683120028349685078915046267714175675929791554/246186946074595272363\ 2544373616658924641*c_0101_4^4 - 2191897632013187364097410680993435\ 6571098217/2461869460745952723632544373616658924641*c_0101_4^2 + 546724129697876341025220935258658313481415/492373892149190544726508\ 8747233317849282, c_0101_3 + 32601333490708592301508347721629701675673/492373892149190544\ 7265088747233317849282*c_0101_4^37 - 4937119812263794644170703730687375253218643/98474778429838108945301\ 77494466635698564*c_0101_4^35 + 13802394045459187310172929764578117\ 5603038469/9847477842983810894530177494466635698564*c_0101_4^33 - 974594491911884882136389313436259650825908421/492373892149190544726\ 5088747233317849282*c_0101_4^31 + 160825491097994502550416569106676\ 20146098360301/9847477842983810894530177494466635698564*c_0101_4^29 - 20944727158962764140215472001860970616928162589/24618694607459527\ 23632544373616658924641*c_0101_4^27 + 144658891495770570312649959246886632418125140873/492373892149190544\ 7265088747233317849282*c_0101_4^25 - 171261432152057613219208026534840092933984298191/246186946074595272\ 3632544373616658924641*c_0101_4^23 + 1136101228292364725961827231001538208469735643877/98474778429838108\ 94530177494466635698564*c_0101_4^21 - 1336357345906319121136114152431987450866417633067/98474778429838108\ 94530177494466635698564*c_0101_4^19 + 281100118442474245518420063304176783389550640470/246186946074595272\ 3632544373616658924641*c_0101_4^17 - 683065285769061716992126358759222923824253751303/984747784298381089\ 4530177494466635698564*c_0101_4^15 + 75963651816678661756759086134481943123954837320/2461869460745952723\ 632544373616658924641*c_0101_4^13 - 100650950845570451272818620961422160924407618449/984747784298381089\ 4530177494466635698564*c_0101_4^11 + 24849034941394580243914205517185395787578118871/9847477842983810894\ 530177494466635698564*c_0101_4^9 - 1087521932243779490419203756471142948192067016/24618694607459527236\ 32544373616658924641*c_0101_4^7 + 119085889514466636379320305624528\ 721888104566/2461869460745952723632544373616658924641*c_0101_4^5 - 26515956292840440212701582372911689720620811/9847477842983810894530\ 177494466635698564*c_0101_4^3 + 12531223334911382168402147960937828\ 3809895/2461869460745952723632544373616658924641*c_0101_4, c_0101_4^38 - 153/2*c_0101_4^36 + 2176*c_0101_4^34 - 31551*c_0101_4^32 + 270111*c_0101_4^30 - 2958153/2*c_0101_4^28 + 10905325/2*c_0101_4^26 - 14026785*c_0101_4^24 + 51563295/2*c_0101_4^22 - 34340929*c_0101_4^20 + 33374150*c_0101_4^18 - 23673532*c_0101_4^16 + 24355921/2*c_0101_4^14 - 4476447*c_0101_4^12 + 1145875*c_0101_4^10 - 196048*c_0101_4^8 + 42133/2*c_0101_4^6 - 2599/2*c_0101_4^4 + 81/2*c_0101_4^2 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.250 seconds, Total memory usage: 32.09MB