Magma V2.19-8 Tue Aug 20 2013 16:18:43 on localhost [Seed = 1696921622] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2885 geometric_solution 6.09614822 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 0 0 0 0 0 -1 0 1 0 0 -1 1 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 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.099739745433 0.833737011029 0 1 0 1 0132 1302 2310 2031 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.527397002519 1.509828369570 4 5 4 0 0132 0132 1230 0132 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 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.090450738192 1.142864954859 5 5 0 4 2310 2031 0132 2031 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 -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.413833932095 1.042346504065 2 3 6 2 0132 1302 0132 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.003668791505 1.157662017177 3 2 3 6 1302 0132 3201 3120 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 -1 0 1 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.251432944480 0.806735463350 5 6 6 4 3120 3201 2310 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 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.002737506136 0.863801301091 ==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' : 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' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), '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_2'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : negation(d['c_0101_1']), '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_2, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 21312183588987504724011155680873497452124185/9903143172759786527336\ 2676457781781030182*c_0101_2^24 + 155077114175131915094605100417677\ 65619955237/99031431727597865273362676457781781030182*c_0101_2^23 - 124026156560418203977392611723696308056095777/990314317275978652733\ 62676457781781030182*c_0101_2^22 + 925678424383160157063019308088972989618663219/990314317275978652733\ 62676457781781030182*c_0101_2^21 + 3204496649012251528469856297573995032403757833/49515715863798932636\ 681338228890890515091*c_0101_2^20 + 13590964983349540420968593448437714318082116871/9903143172759786527\ 3362676457781781030182*c_0101_2^19 + 2415831092493812886070858282068372933269948386/49515715863798932636\ 681338228890890515091*c_0101_2^18 - 16810836699418510880239965752584686581479851189/9903143172759786527\ 3362676457781781030182*c_0101_2^17 - 1307895847894697140094214527559419822917198960/70736736948284189480\ 97334032698698645013*c_0101_2^16 + 2664951272616653995220169899895857101218925428/49515715863798932636\ 681338228890890515091*c_0101_2^15 - 1126891062592975954486509195129675926206850831/49515715863798932636\ 681338228890890515091*c_0101_2^14 - 25117956230046426816485340748908860614939765579/4951571586379893263\ 6681338228890890515091*c_0101_2^13 - 28487935617492788918438125054164887943361619259/4951571586379893263\ 6681338228890890515091*c_0101_2^12 + 8824639379274722045191741863010491566143751789/49515715863798932636\ 681338228890890515091*c_0101_2^11 + 92585216457609809012664362179127681078485543217/9903143172759786527\ 3362676457781781030182*c_0101_2^10 + 69385690005020292479791275559130176552320131953/9903143172759786527\ 3362676457781781030182*c_0101_2^9 - 2138943292836002854761018313506231141268663755/49515715863798932636\ 681338228890890515091*c_0101_2^8 - 42024507755707450705526591670347950477053263609/9903143172759786527\ 3362676457781781030182*c_0101_2^7 - 12042190522888385150278436840526843545881282399/4951571586379893263\ 6681338228890890515091*c_0101_2^6 - 21681985322717134142803534949684724284673137/4305714422939037620580\ 985932947033957834*c_0101_2^5 + 16653527353116484759150838941900671\ 22032644454/49515715863798932636681338228890890515091*c_0101_2^4 + 131018293804604691188412621312040380714836388/495157158637989326366\ 81338228890890515091*c_0101_2^3 - 859070875809583232669401909220398\ 427559946849/99031431727597865273362676457781781030182*c_0101_2^2 - 11774691442057936383725357117973321990872973/4951571586379893263668\ 1338228890890515091*c_0101_2 + 689172673253327689604527787341587280\ 84307839/99031431727597865273362676457781781030182, c_0011_0 - 1, c_0011_2 + 4272790381516828475541066123237653202285/1414734738965683789\ 6194668065397397290026*c_0101_2^24 - 1775451528643791747911989168378172632691/14147347389656837896194668\ 065397397290026*c_0101_2^23 + 2329021487347553559854706677713335340\ 3679/14147347389656837896194668065397397290026*c_0101_2^22 - 177249445336795560711794068855430438716929/141473473896568378961946\ 68065397397290026*c_0101_2^21 - 67318832353339083213219275569832576\ 6296356/7073673694828418948097334032698698645013*c_0101_2^20 - 3098941618509967752784915814443875345254911/14147347389656837896194\ 668065397397290026*c_0101_2^19 - 8213076323658446751585036813213917\ 78937855/7073673694828418948097334032698698645013*c_0101_2^18 + 3409356038338601889604182384276297899523229/14147347389656837896194\ 668065397397290026*c_0101_2^17 + 2377137311081712215847639919512896\ 760862470/7073673694828418948097334032698698645013*c_0101_2^16 - 224266038867093244160374659198367203579272/707367369482841894809733\ 4032698698645013*c_0101_2^15 - 122363067365517143100139746780525687\ 888329/7073673694828418948097334032698698645013*c_0101_2^14 + 5278029667667900187862474842841046144981755/70736736948284189480973\ 34032698698645013*c_0101_2^13 + 72120331901401570643085731159298038\ 44542982/7073673694828418948097334032698698645013*c_0101_2^12 - 738669425519180224660169586381090861105197/707367369482841894809733\ 4032698698645013*c_0101_2^11 - 208701025704127797593433019502883479\ 41351303/14147347389656837896194668065397397290026*c_0101_2^10 - 18674951132173099793333065159207898140343703/1414734738965683789619\ 4668065397397290026*c_0101_2^9 - 5419068024023600093759593079624226\ 98211504/7073673694828418948097334032698698645013*c_0101_2^8 + 9773974981003316709939941862252852912184563/14147347389656837896194\ 668065397397290026*c_0101_2^7 + 33907236700452342747592628775399470\ 44640539/7073673694828418948097334032698698645013*c_0101_2^6 + 27547830531094694231378665100609589141383/6151020604198625172258551\ 33278147708262*c_0101_2^5 - 427957879723357227919725834371513266834\ 131/7073673694828418948097334032698698645013*c_0101_2^4 - 59390776667968539690505940912260919968286/7073673694828418948097334\ 032698698645013*c_0101_2^3 + 20223949853617489155226825676568008475\ 0981/14147347389656837896194668065397397290026*c_0101_2^2 + 10249884940198977329241953957154996271540/7073673694828418948097334\ 032698698645013*c_0101_2 - 2302983314818435512930797780641058063775\ 9/14147347389656837896194668065397397290026, c_0011_3 + 969934153486822199657537655142726361673/70736736948284189480\ 97334032698698645013*c_0101_2^24 - 392023084062077767019741773685827159901/707367369482841894809733403\ 2698698645013*c_0101_2^23 + 544630490888831121994082510513362179104\ 8/7073673694828418948097334032698698645013*c_0101_2^22 - 40287246363074435728672390577149648561311/7073673694828418948097334\ 032698698645013*c_0101_2^21 - 3052115520484008989555675794285061527\ 00609/7073673694828418948097334032698698645013*c_0101_2^20 - 713932077166742576570984880283174000210869/707367369482841894809733\ 4032698698645013*c_0101_2^19 - 430921140801320450309526478576405400\ 063519/7073673694828418948097334032698698645013*c_0101_2^18 + 665878713812708397128571088693911375333778/707367369482841894809733\ 4032698698645013*c_0101_2^17 + 106659159487416559067090188031059705\ 1595465/7073673694828418948097334032698698645013*c_0101_2^16 + 74267487192261120648437357352892947640250/7073673694828418948097334\ 032698698645013*c_0101_2^15 + 8541143609325770153455612130477896880\ 8646/7073673694828418948097334032698698645013*c_0101_2^14 + 2303961698135965582088427470143628770062061/70736736948284189480973\ 34032698698645013*c_0101_2^13 + 33081199789354374788296845214579814\ 23943588/7073673694828418948097334032698698645013*c_0101_2^12 + 140203687294426853458706017250917626509120/707367369482841894809733\ 4032698698645013*c_0101_2^11 - 433709336587784504482202586562954137\ 7526987/7073673694828418948097334032698698645013*c_0101_2^10 - 4586529688073541175509897522766024797362804/70736736948284189480973\ 34032698698645013*c_0101_2^9 - 108407874528808451331590099174986709\ 9687617/7073673694828418948097334032698698645013*c_0101_2^8 + 1778288964876114127161085235741420531045378/70736736948284189480973\ 34032698698645013*c_0101_2^7 + 174658799183388263212657856254733769\ 6373812/7073673694828418948097334032698698645013*c_0101_2^6 + 22835082459549290894899349502448394313412/3075510302099312586129275\ 66639073854131*c_0101_2^5 - 565521329015424219502482731403848512148\ 84/7073673694828418948097334032698698645013*c_0101_2^4 - 51305842398455864796913512420099653362885/7073673694828418948097334\ 032698698645013*c_0101_2^3 + 14371101311267998668865405531740146945\ 301/7073673694828418948097334032698698645013*c_0101_2^2 + 9551324069816665420443594061492685384879/70736736948284189480973340\ 32698698645013*c_0101_2 - 1038969065119769144997798900599086431101/\ 7073673694828418948097334032698698645013, c_0011_6 - 4634733445619814013019574814652134279265/7073673694828418948\ 097334032698698645013*c_0101_2^24 + 6504140391831080954205821275410913250531/14147347389656837896194668\ 065397397290026*c_0101_2^23 - 2668326745594481332109342420227591099\ 8528/7073673694828418948097334032698698645013*c_0101_2^22 + 400777392465452225019515390613927282128283/141473473896568378961946\ 68065397397290026*c_0101_2^21 + 14003219380564531948752428393740190\ 18441157/7073673694828418948097334032698698645013*c_0101_2^20 + 2982527161078293658585203928698991676443791/70736736948284189480973\ 34032698698645013*c_0101_2^19 + 21417210800304923800333405849128098\ 41527413/14147347389656837896194668065397397290026*c_0101_2^18 - 7481601542276199420522191627603813000759695/14147347389656837896194\ 668065397397290026*c_0101_2^17 - 4110238138810939510786006564363408\ 726162855/7073673694828418948097334032698698645013*c_0101_2^16 + 1172557836800812073646204764915322162003256/70736736948284189480973\ 34032698698645013*c_0101_2^15 - 33646892053444709560190252959326974\ 6145070/7073673694828418948097334032698698645013*c_0101_2^14 - 10959505091685638706175686140579476838627721/7073673694828418948097\ 334032698698645013*c_0101_2^13 - 1260769439705817551403284808339664\ 3002056743/7073673694828418948097334032698698645013*c_0101_2^12 + 3906053828948310103294204293541547658387782/70736736948284189480973\ 34032698698645013*c_0101_2^11 + 20674934118902978612284644101864366\ 457336610/7073673694828418948097334032698698645013*c_0101_2^10 + 31073118365954207414760581911980199085550395/1414734738965683789619\ 4668065397397290026*c_0101_2^9 - 1210454711721271590922599479825019\ 210499555/7073673694828418948097334032698698645013*c_0101_2^8 - 9717029606639484616270481983925894587208786/70736736948284189480973\ 34032698698645013*c_0101_2^7 - 110449948461259049516241231825839937\ 15027751/14147347389656837896194668065397397290026*c_0101_2^6 + 5688228163153036771364117892793748849765/61510206041986251722585513\ 3278147708262*c_0101_2^5 + 9161590213063567112779885586132012284316\ 88/7073673694828418948097334032698698645013*c_0101_2^4 + 85711591448141618048959049167456410899554/7073673694828418948097334\ 032698698645013*c_0101_2^3 - 22150457837378676155877374517752647205\ 6784/7073673694828418948097334032698698645013*c_0101_2^2 - 31970216525148182302270227184024759499221/1414734738965683789619466\ 8065397397290026*c_0101_2 + 411241968280060766538988670928075556579\ 75/14147347389656837896194668065397397290026, c_0101_0 - 510892497455478554249524499553185929861/61510206041986251722\ 5855133278147708262*c_0101_2^24 + 362146960272905161325593633063154\ 496309/615102060419862517225855133278147708262*c_0101_2^23 - 2952168187659672837525534122176603795637/61510206041986251722585513\ 3278147708262*c_0101_2^22 + 221239993133772245031599936755136544268\ 19/615102060419862517225855133278147708262*c_0101_2^21 + 77065484345313496728328549673873169383920/3075510302099312586129275\ 66639073854131*c_0101_2^20 + 32808220127875478239814265555135211633\ 1445/615102060419862517225855133278147708262*c_0101_2^19 + 58866917972804921014837985479758323435980/3075510302099312586129275\ 66639073854131*c_0101_2^18 - 40954668618050030127120245457797906881\ 5413/615102060419862517225855133278147708262*c_0101_2^17 - 224333390397325091716318910351806993224091/307551030209931258612927\ 566639073854131*c_0101_2^16 + 6614687089893289895550928705588808667\ 9543/307551030209931258612927566639073854131*c_0101_2^15 - 19787737831147406858991415983670088768338/3075510302099312586129275\ 66639073854131*c_0101_2^14 - 60561192313529304115562037261619890376\ 8068/307551030209931258612927566639073854131*c_0101_2^13 - 693788744441831721237236772472213162822524/307551030209931258612927\ 566639073854131*c_0101_2^12 + 2162609773855535268549786638722522708\ 17670/307551030209931258612927566639073854131*c_0101_2^11 + 2262606932611115480005642063432579770696949/61510206041986251722585\ 5133278147708262*c_0101_2^10 + 168439356636129880334301103386283084\ 0475645/615102060419862517225855133278147708262*c_0101_2^9 - 68449507792745150440354832090015261376566/3075510302099312586129275\ 66639073854131*c_0101_2^8 - 104943392020078771263351270700836483668\ 0017/615102060419862517225855133278147708262*c_0101_2^7 - 292537177971995162742668023401539217115822/307551030209931258612927\ 566639073854131*c_0101_2^6 + 59397600100297641172652733126197348607\ 67/615102060419862517225855133278147708262*c_0101_2^5 + 46078795316747600516148510580623012901329/3075510302099312586129275\ 66639073854131*c_0101_2^4 + 406832813283580624820163713826377240886\ 0/307551030209931258612927566639073854131*c_0101_2^3 - 21353138298848012206394944934672271420349/6151020604198625172258551\ 33278147708262*c_0101_2^2 - 140233669782085862876659602042294900887\ /307551030209931258612927566639073854131*c_0101_2 + 1577983675551102208963440027949339216877/61510206041986251722585513\ 3278147708262, c_0101_1 - 180773524353103370760620997201/89638629643126292482167697193\ 38*c_0101_2^24 + 231499958136922089926087788673/8963862964312629248\ 216769719338*c_0101_2^23 - 1243735134494649028538816756235/89638629\ 64312629248216769719338*c_0101_2^22 + 8563497147003814339915066387623/8963862964312629248216769719338*c_0\ 101_2^21 + 24613088510763938968184859077086/44819314821563146241083\ 84859669*c_0101_2^20 + 90712671907141734047631529067277/89638629643\ 12629248216769719338*c_0101_2^19 + 5330707916625881363599163661521/4481931482156314624108384859669*c_0\ 101_2^18 - 99224643944318495772993403625369/89638629643126292482167\ 69719338*c_0101_2^17 - 28633008365148338889782842204620/44819314821\ 56314624108384859669*c_0101_2^16 + 34148236955366954925748818516310/4481931482156314624108384859669*c_\ 0101_2^15 - 47559566505527746590268280225585/4481931482156314624108\ 384859669*c_0101_2^14 - 189793309751144183506307707676792/448193148\ 2156314624108384859669*c_0101_2^13 - 150969837197893036201142276249499/4481931482156314624108384859669*c\ _0101_2^12 + 78329835440799742923607363605212/448193148215631462410\ 8384859669*c_0101_2^11 + 454180961319944210925132010481707/89638629\ 64312629248216769719338*c_0101_2^10 + 214188222166785793345013612264549/8963862964312629248216769719338*c\ _0101_2^9 - 21426932131477968590523832006407/4481931482156314624108\ 384859669*c_0101_2^8 - 130898224433932039714251865404519/8963862964\ 312629248216769719338*c_0101_2^7 + 306193412301773126038720780539/4481931482156314624108384859669*c_01\ 01_2^6 + 16818841588693360014664831610087/8963862964312629248216769\ 719338*c_0101_2^5 + 4991014950180168750500654531367/448193148215631\ 4624108384859669*c_0101_2^4 - 3625840430306182740481614018444/44819\ 31482156314624108384859669*c_0101_2^3 + 529688521595989875649370111291/8963862964312629248216769719338*c_01\ 01_2^2 - 1611292159796428077579202193822/44819314821563146241083848\ 59669*c_0101_2 - 5660144484491140149048239419977/896386296431262924\ 8216769719338, c_0101_2^25 - c_0101_2^24 + 6*c_0101_2^23 - 45*c_0101_2^22 - 289*c_0101_2^21 - 555*c_0101_2^20 - 48*c_0101_2^19 + 860*c_0101_2^18 + 645*c_0101_2^17 - 498*c_0101_2^16 + 164*c_0101_2^15 + 2336*c_0101_2^14 + 2026*c_0101_2^13 - 1596*c_0101_2^12 - 4151*c_0101_2^11 - 2047*c_0101_2^10 + 1153*c_0101_2^9 + 1951*c_0101_2^8 + 580*c_0101_2^7 - 312*c_0101_2^6 - 173*c_0101_2^5 + 32*c_0101_2^4 + 45*c_0101_2^3 - 10*c_0101_2^2 - 4*c_0101_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB