Magma V2.19-8 Tue Aug 20 2013 16:16:48 on localhost [Seed = 1377029765] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1073 geometric_solution 4.94294566 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 -1 0 1 -1 0 0 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 -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 1.757291439510 0.523540813514 0 2 3 0 0132 0132 0132 1023 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 1 -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 -0.032647078324 0.758191702277 3 1 4 3 2310 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 -1 0 1 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.234625308050 0.679256049763 4 2 2 1 1023 1302 3201 0132 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 1 -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.234625308050 0.679256049763 5 3 5 2 0132 1023 2310 0132 0 0 0 0 0 0 0 0 1 0 0 -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 1 0 0 -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 1.434211276712 0.443023787985 4 4 6 6 0132 3201 0132 3201 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 -1 0 0 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.347234960711 0.404488245530 6 5 6 5 2031 2310 1302 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.957572512325 1.563014403818 ==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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], '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_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_2'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 886093594245187176870713960184091741484903/112319104382547866850746\ 527177191849247943*c_0101_4^27 + 9303422613021422843692157151179129\ 5227704014/112319104382547866850746527177191849247943*c_0101_4^25 - 1341841670009671797596183941226553476773205267/11231910438254786685\ 0746527177191849247943*c_0101_4^23 + 7683483125457568757462050900422642460265859757/11231910438254786685\ 0746527177191849247943*c_0101_4^21 - 24675658748194111652721286981977825092416237053/1123191043825478668\ 50746527177191849247943*c_0101_4^19 + 71837958826091520859642956182799117451984493469/1123191043825478668\ 50746527177191849247943*c_0101_4^17 - 170896512295804120692415337937759866249361011076/112319104382547866\ 850746527177191849247943*c_0101_4^15 + 115369860436789503267771377122607720561333174659/112319104382547866\ 850746527177191849247943*c_0101_4^13 + 144803646167431956971201519202043639302224937609/112319104382547866\ 850746527177191849247943*c_0101_4^11 + 37334538221130306465538221448925094966042672307/1123191043825478668\ 50746527177191849247943*c_0101_4^9 - 57316431283467127766715086699130978032781881843/1123191043825478668\ 50746527177191849247943*c_0101_4^7 - 8035622653331573615647150065180534047370684395/11231910438254786685\ 0746527177191849247943*c_0101_4^5 - 835355061123662889955624032277322931276775354/112319104382547866850\ 746527177191849247943*c_0101_4^3 - 19052495841766403676123381260080635951238831/1123191043825478668507\ 46527177191849247943*c_0101_4, c_0011_0 - 1, c_0011_3 - 12490924827686501234442208414942329507501/112319104382547866\ 850746527177191849247943*c_0101_4^27 + 1311644674557267666884533426513763272376751/11231910438254786685074\ 6527177191849247943*c_0101_4^25 - 189339531992790159252900531943464\ 26819339480/112319104382547866850746527177191849247943*c_0101_4^23 + 108577068247619295230158058595186035818126637/112319104382547866850\ 746527177191849247943*c_0101_4^21 - 349354236922621769504019299831579853915706252/112319104382547866850\ 746527177191849247943*c_0101_4^19 + 1017477541858893059286894907018583717098002624/11231910438254786685\ 0746527177191849247943*c_0101_4^17 - 2423032315842527662240399581124754941832811536/11231910438254786685\ 0746527177191849247943*c_0101_4^15 + 1659388089206144285505508589151354498118484818/11231910438254786685\ 0746527177191849247943*c_0101_4^13 + 2020540536975943943129273179654835906271340907/11231910438254786685\ 0746527177191849247943*c_0101_4^11 + 496412927737002333814069617258545120879150175/112319104382547866850\ 746527177191849247943*c_0101_4^9 - 818257061130755416890536695041667251450764079/112319104382547866850\ 746527177191849247943*c_0101_4^7 - 102696312620737663691365070101311588557417889/112319104382547866850\ 746527177191849247943*c_0101_4^5 - 9256879054321826313250324398211104314097203/11231910438254786685074\ 6527177191849247943*c_0101_4^3 + 2078688014415651762521103096653712\ 37306169/112319104382547866850746527177191849247943*c_0101_4, c_0011_6 + 11948493422684573836735855129166957411470/112319104382547866\ 850746527177191849247943*c_0101_4^27 - 1254832199711439478976974736577314254581002/11231910438254786685074\ 6527177191849247943*c_0101_4^25 + 181271798221451658965360147805242\ 57223237812/112319104382547866850746527177191849247943*c_0101_4^23 - 104086045982200966923307848806769644613794370/112319104382547866850\ 746527177191849247943*c_0101_4^21 + 335477641976383378158346089972301011993705722/112319104382547866850\ 746527177191849247943*c_0101_4^19 - 977496074898076806194425683509341185393545882/112319104382547866850\ 746527177191849247943*c_0101_4^17 + 2330070131952755511929860771355063901828111067/11231910438254786685\ 0746527177191849247943*c_0101_4^15 - 1616664485898485256993172274913618748851349855/11231910438254786685\ 0746527177191849247943*c_0101_4^13 - 1911373244848121554196729841272764484024055758/11231910438254786685\ 0746527177191849247943*c_0101_4^11 - 451985336899481136357730204762486649829825839/112319104382547866850\ 746527177191849247943*c_0101_4^9 + 786338001126945285476837557127377059744372086/112319104382547866850\ 746527177191849247943*c_0101_4^7 + 87985266097128619273780764847036298628527183/1123191043825478668507\ 46527177191849247943*c_0101_4^5 + 837773232706409841537981462618585\ 7636983092/112319104382547866850746527177191849247943*c_0101_4^3 - 142656395396306141045896539566812033741348/112319104382547866850746\ 527177191849247943*c_0101_4, c_0101_0 + 24097490105048104072547733410270503789823/112319104382547866\ 850746527177191849247943*c_0101_4^27 - 2530649928876373455988879611149485782099567/11231910438254786685074\ 6527177191849247943*c_0101_4^25 + 365511125036988412154093076444520\ 56762877345/112319104382547866850746527177191849247943*c_0101_4^23 - 209816808651109760999733612250184686242877973/112319104382547866850\ 746527177191849247943*c_0101_4^21 + 676055385671999670100947497968785662523891572/112319104382547866850\ 746527177191849247943*c_0101_4^19 - 1969927520637724655538562987178111218064053393/11231910438254786685\ 0746527177191849247943*c_0101_4^17 + 4695157692296277130560710206637711523845141075/11231910438254786685\ 0746527177191849247943*c_0101_4^15 - 3251675583378556031423985529716930808997491693/11231910438254786685\ 0746527177191849247943*c_0101_4^13 - 3852128490187545594707575352621196279108361999/11231910438254786685\ 0746527177191849247943*c_0101_4^11 - 932555967258427394630808721225363734135519344/112319104382547866850\ 746527177191849247943*c_0101_4^9 + 1574562918636821101440140343944685469030947688/11231910438254786685\ 0746527177191849247943*c_0101_4^7 + 180902890793145496614324678488051570387043256/112319104382547866850\ 746527177191849247943*c_0101_4^5 + 21643340441681421056807380268932859451524771/1123191043825478668507\ 46527177191849247943*c_0101_4^3 - 184655716287300396653137958009638\ 758319910/112319104382547866850746527177191849247943*c_0101_4, c_0101_1 - 13535863660768854476541991099711389688963/112319104382547866\ 850746527177191849247943*c_0101_4^27 + 1421241216113638448636286256120769363092328/11231910438254786685074\ 6527177191849247943*c_0101_4^25 - 205041981952775746581116069681238\ 71800394023/112319104382547866850746527177191849247943*c_0101_4^23 + 117460819851126007895442140426273198625313614/112319104382547866850\ 746527177191849247943*c_0101_4^21 - 377418817108269501625766085965712549982820066/112319104382547866850\ 746527177191849247943*c_0101_4^19 + 1098782854767311875055776892741946453149179030/11231910438254786685\ 0746527177191849247943*c_0101_4^17 - 2614560035647109683351476326874987153166149050/11231910438254786685\ 0746527177191849247943*c_0101_4^15 + 1771278618064220285649611701551502894730125718/11231910438254786685\ 0746527177191849247943*c_0101_4^13 + 2210918325203995269644679182140235002173640570/11231910438254786685\ 0746527177191849247943*c_0101_4^11 + 555577549671419590679520761129328673572755737/112319104382547866850\ 746527177191849247943*c_0101_4^9 - 883726229427476872307263072960544059076882700/112319104382547866850\ 746527177191849247943*c_0101_4^7 - 120293489916595874627315049022419365536219419/112319104382547866850\ 746527177191849247943*c_0101_4^5 - 9843429034042472479197514512716675556114085/11231910438254786685074\ 6527177191849247943*c_0101_4^3 - 6328547782537446497060062591353453\ 9983713/112319104382547866850746527177191849247943*c_0101_4, c_0101_2 + 369809787522206032549249918768944715678/11231910438254786685\ 0746527177191849247943*c_0101_4^26 - 38770935834927544391627925845930811107285/1123191043825478668507465\ 27177191849247943*c_0101_4^24 + 55405400775313776606013791018471955\ 0182799/112319104382547866850746527177191849247943*c_0101_4^22 - 3120460218514005822404819856818338243251065/11231910438254786685074\ 6527177191849247943*c_0101_4^20 + 980202534170455464137548843716684\ 5976493355/112319104382547866850746527177191849247943*c_0101_4^18 - 28376115930925059142746313399328559276235267/1123191043825478668507\ 46527177191849247943*c_0101_4^16 + 66639239547493843098620432988305619402268769/1123191043825478668507\ 46527177191849247943*c_0101_4^14 - 36962078038811167970706386651321267810299456/1123191043825478668507\ 46527177191849247943*c_0101_4^12 - 68406751168178259609036950157607645101942625/1123191043825478668507\ 46527177191849247943*c_0101_4^10 - 24364809476339701652629503985169851280157554/1123191043825478668507\ 46527177191849247943*c_0101_4^8 + 219661475111737853347907887468097\ 50888602496/112319104382547866850746527177191849247943*c_0101_4^6 + 6850837278596482304966635419818791827268480/11231910438254786685074\ 6527177191849247943*c_0101_4^4 + 5773913150648825846419279106133251\ 19559251/112319104382547866850746527177191849247943*c_0101_4^2 + 78814067076013062232554367916176452670986/1123191043825478668507465\ 27177191849247943, c_0101_4^28 - 105*c_0101_4^26 + 1515*c_0101_4^24 - 8681*c_0101_4^22 + 27906*c_0101_4^20 - 81269*c_0101_4^18 + 193444*c_0101_4^16 - 131614*c_0101_4^14 - 162128*c_0101_4^12 - 41460*c_0101_4^10 + 64621*c_0101_4^8 + 8611*c_0101_4^6 + 1042*c_0101_4^4 + 17*c_0101_4^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB