Magma V2.19-8 Tue Aug 20 2013 16:17:07 on localhost [Seed = 458917832] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1359 geometric_solution 5.22537658 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.594329958612 0.163898092693 2 0 2 0 0132 2310 1023 0132 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 -1 1 1 0 -1 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.842016989995 0.267309772640 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 -1 1 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 1 -1 -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 1.221341688103 0.606182382747 5 2 6 4 0132 0132 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 0 0 0 0 0 0 0 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.244744198639 0.813334256058 3 6 2 5 3012 1023 0132 1023 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 -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 1.244744198639 0.813334256058 3 5 5 4 0132 1230 3012 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.411064259418 0.505453141831 4 6 6 3 1023 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 -1 0 1 0 -1 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.936528665451 0.708238605940 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_4'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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' : d['c_0011_1'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_6'], '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_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 1342565410897166798502256169410511177507/10436922843063676452759300\ 929075546353*c_0101_6^15 - 8590708061760374269863633704458046619790\ 5/41747691372254705811037203716302185412*c_0101_6^14 + 165074320902246396732132546633504023391965/104369228430636764527593\ 00929075546353*c_0101_6^13 - 95853394592186319365406351905434496898\ 067/20873845686127352905518601858151092706*c_0101_6^12 + 3347833286342019195397633309565619003403745/10436922843063676452759\ 300929075546353*c_0101_6^11 + 8891085396852422824384522492305521890\ 567187/20873845686127352905518601858151092706*c_0101_6^10 - 9708132758189540146239630644125973930399/20873845686127352905518601\ 858151092706*c_0101_6^9 - 12401700812373271770691317168750943387790\ 657/41747691372254705811037203716302185412*c_0101_6^8 - 31288337076863692338006052197853595335446511/2087384568612735290551\ 8601858151092706*c_0101_6^7 - 1515782749770987049620674358123581418\ 3968305/41747691372254705811037203716302185412*c_0101_6^6 + 39379054421082919270682484744209634734783843/4174769137225470581103\ 7203716302185412*c_0101_6^5 + 4311479886110887401179562871420284488\ 010130/10436922843063676452759300929075546353*c_0101_6^4 + 1360429905089098833865752627782189324996919/20873845686127352905518\ 601858151092706*c_0101_6^3 - 25200325458057904140083578483062391972\ 29239/20873845686127352905518601858151092706*c_0101_6^2 - 915377743385940711489565965823467932019903/104369228430636764527593\ 00929075546353*c_0101_6 + 43345285271216679314904299319201333866667\ 5/41747691372254705811037203716302185412, c_0011_0 - 1, c_0011_1 + 1820441809463600640771472970630845821/1043692284306367645275\ 9300929075546353*c_0101_6^15 - 304175415842073486424989238121718815\ 27/10436922843063676452759300929075546353*c_0101_6^14 + 245469348742093707023456542052228106703/104369228430636764527593009\ 29075546353*c_0101_6^13 - 239419960967716328190675270967928457175/1\ 0436922843063676452759300929075546353*c_0101_6^12 + 4707073499883358417125430575570521022525/10436922843063676452759300\ 929075546353*c_0101_6^11 + 2679074812968291964053673595475773845861\ /10436922843063676452759300929075546353*c_0101_6^10 - 1968862149355634612311157839922936967043/10436922843063676452759300\ 929075546353*c_0101_6^9 - 2829840740749744360649513237956207362960/\ 10436922843063676452759300929075546353*c_0101_6^8 - 19163322093632631037000057562431900617213/1043692284306367645275930\ 0929075546353*c_0101_6^7 + 8554758018864888520936438212218081797560\ /10436922843063676452759300929075546353*c_0101_6^6 + 7492639359107764689246380701244556741332/10436922843063676452759300\ 929075546353*c_0101_6^5 + 400874820245869293040165897591141788290/1\ 0436922843063676452759300929075546353*c_0101_6^4 + 517002644156616569294594084727573189171/104369228430636764527593009\ 29075546353*c_0101_6^3 - 2103508210489553777060852177332963652674/1\ 0436922843063676452759300929075546353*c_0101_6^2 + 239019727252211721482463753771675386249/104369228430636764527593009\ 29075546353*c_0101_6 + 1716931166892246769742318667165270456/104369\ 22843063676452759300929075546353, c_0011_4 - 786474898194783029565658558539285942/10436922843063676452759\ 300929075546353*c_0101_6^15 + 1302423795054696621770748116607835970\ 9/10436922843063676452759300929075546353*c_0101_6^14 - 104107185031836862184676070186630211168/104369228430636764527593009\ 29075546353*c_0101_6^13 + 87864828580775088994427702990601426506/10\ 436922843063676452759300929075546353*c_0101_6^12 - 2019719854632346864039285781259576515827/10436922843063676452759300\ 929075546353*c_0101_6^11 - 1458221154736330985989986430793462688895\ /10436922843063676452759300929075546353*c_0101_6^10 + 649476656327197575171165546365817112178/104369228430636764527593009\ 29075546353*c_0101_6^9 + 1330948045902198924378643549928899286169/1\ 0436922843063676452759300929075546353*c_0101_6^8 + 8476116779024774492177969402604008449933/10436922843063676452759300\ 929075546353*c_0101_6^7 - 2442797119130035973417861934874178842843/\ 10436922843063676452759300929075546353*c_0101_6^6 - 3658470199750096557217800073879741129803/10436922843063676452759300\ 929075546353*c_0101_6^5 - 698044844582207154805944569167032427665/1\ 0436922843063676452759300929075546353*c_0101_6^4 - 310024153635769706407640150895041272723/104369228430636764527593009\ 29075546353*c_0101_6^3 + 865043433355117974631085997527041580757/10\ 436922843063676452759300929075546353*c_0101_6^2 + 17183164640728461393453394628850392947/1043692284306367645275930092\ 9075546353*c_0101_6 - 3047750324945511422486704605380313463/1043692\ 2843063676452759300929075546353, c_0101_0 + 894741905670430958122904465326055488/10436922843063676452759\ 300929075546353*c_0101_6^15 - 1499487205399677194495141584088792666\ 3/10436922843063676452759300929075546353*c_0101_6^14 + 121349182126219910927633062866597227510/104369228430636764527593009\ 29075546353*c_0101_6^13 - 122966712459684040445584335209452396086/1\ 0436922843063676452759300929075546353*c_0101_6^12 + 2313628040110316783649789439608606950541/10436922843063676452759300\ 929075546353*c_0101_6^11 + 1203942748055040188965754117824629844454\ /10436922843063676452759300929075546353*c_0101_6^10 - 1150806874851738133262151767562753159688/10436922843063676452759300\ 929075546353*c_0101_6^9 - 1475392223424810440147220009992903111755/\ 10436922843063676452759300929075546353*c_0101_6^8 - 9382661889825355439819697290006797010438/10436922843063676452759300\ 929075546353*c_0101_6^7 + 4711818698184691493826807448357456027855/\ 10436922843063676452759300929075546353*c_0101_6^6 + 3965233796572415704897952723319775737632/10436922843063676452759300\ 929075546353*c_0101_6^5 + 76756755398827824829538899783516658032/10\ 436922843063676452759300929075546353*c_0101_6^4 + 131981231054326843905474029547639306664/104369228430636764527593009\ 29075546353*c_0101_6^3 - 1097234485825323767758399200000447090507/1\ 0436922843063676452759300929075546353*c_0101_6^2 + 122483246730029329395719684483020082721/104369228430636764527593009\ 29075546353*c_0101_6 + 6606371105687387300867386085434649825/104369\ 22843063676452759300929075546353, c_0101_1 + 662290213331142477272230470324223737/10436922843063676452759\ 300929075546353*c_0101_6^15 - 1103721811854470231527317003304056031\ 4/10436922843063676452759300929075546353*c_0101_6^14 + 88828841788307941858624232787851078902/1043692284306367645275930092\ 9075546353*c_0101_6^13 - 83337886809959726017344047724856822159/104\ 36922843063676452759300929075546353*c_0101_6^12 + 1709695016430767948780227270221283530365/10436922843063676452759300\ 929075546353*c_0101_6^11 + 1049043538889581513265509667324148847695\ /10436922843063676452759300929075546353*c_0101_6^10 - 652721143510795169190108654238737231009/104369228430636764527593009\ 29075546353*c_0101_6^9 - 1034070607364746813165276694835849186383/1\ 0436922843063676452759300929075546353*c_0101_6^8 - 7011766057164724921702466125241098268134/10436922843063676452759300\ 929075546353*c_0101_6^7 + 2797855006741349212188031470691954512475/\ 10436922843063676452759300929075546353*c_0101_6^6 + 2765537155665248146615704818677758731316/10436922843063676452759300\ 929075546353*c_0101_6^5 + 242453635205416203424040951197532825933/1\ 0436922843063676452759300929075546353*c_0101_6^4 + 231418114453337693461847164710497665263/104369228430636764527593009\ 29075546353*c_0101_6^3 - 743145323871202865781093893173649187303/10\ 436922843063676452759300929075546353*c_0101_6^2 + 76196533890266435238791214424150366610/1043692284306367645275930092\ 9075546353*c_0101_6 + 3412246225011194210978180757182089423/1043692\ 2843063676452759300929075546353, c_0101_3 - 1259067475533862664496408576863689650/1043692284306367645275\ 9300929075546353*c_0101_6^15 + 209282665250714872187149843852985441\ 78/10436922843063676452759300929075546353*c_0101_6^14 - 167963699085669135805468025135115728204/104369228430636764527593009\ 29075546353*c_0101_6^13 + 151130933272048696848483739789787920303/1\ 0436922843063676452759300929075546353*c_0101_6^12 - 3243425473612458696085178933516458522679/10436922843063676452759300\ 929075546353*c_0101_6^11 - 2133904206654963212554868129815320993853\ /10436922843063676452759300929075546353*c_0101_6^10 + 1156408537474076186340576897278262564756/10436922843063676452759300\ 929075546353*c_0101_6^9 + 2039019127717861925909858812040854354789/\ 10436922843063676452759300929075546353*c_0101_6^8 + 13431578897970491154599294672250016123413/1043692284306367645275930\ 0929075546353*c_0101_6^7 - 4742513771044189373262044654951558857588\ /10436922843063676452759300929075546353*c_0101_6^6 - 5514078636702436800179476189609612251164/10436922843063676452759300\ 929075546353*c_0101_6^5 - 765955320072635025383208004959870965210/1\ 0436922843063676452759300929075546353*c_0101_6^4 - 452390083128987406401065196498051580424/104369228430636764527593009\ 29075546353*c_0101_6^3 + 1412985787730901215399910343220440313774/1\ 0436922843063676452759300929075546353*c_0101_6^2 - 45936965113624906747173621224792367114/1043692284306367645275930092\ 9075546353*c_0101_6 - 2340904703078841214656042519122198383/1043692\ 2843063676452759300929075546353, c_0101_6^16 - 16*c_0101_6^15 + 123*c_0101_6^14 - 36*c_0101_6^13 + 2493*c_0101_6^12 + 3304*c_0101_6^11 - 28*c_0101_6^10 - 2317*c_0101_6^9 - 11639*c_0101_6^8 - 2777*c_0101_6^7 + 7398*c_0101_6^6 + 3162*c_0101_6^5 + 474*c_0101_6^4 - 941*c_0101_6^3 - 680*c_0101_6^2 + 89*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB