Magma V2.19-8 Tue Aug 20 2013 16:17:50 on localhost [Seed = 3364443177] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2063 geometric_solution 5.58372787 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 1.663119606262 0.281045099412 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -1 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 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.167421777056 0.680689419642 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 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 -1 0 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.343289705821 0.289796185482 2 5 6 4 0132 0132 0132 0321 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 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.910876927461 1.029861149658 6 3 2 5 0132 0321 0132 1023 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 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.910876927461 1.029861149658 5 3 5 4 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.512082282010 0.767268127611 4 6 6 3 0132 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 1 0 -1 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.756910510281 0.597226067073 ==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' : 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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_0']), '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' : negation(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' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_6'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0011_4']), '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_3, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 357768261916713573033256189726443912298/753425906905891298732313359\ 503839415*c_0101_6^22 + 1266987332380199554276273710903518328156/75\ 3425906905891298732313359503839415*c_0101_6^21 - 5925302940105441886117724565911106988432/75342590690589129873231335\ 9503839415*c_0101_6^20 - 9672985061755215410863168110093534778054/1\ 50685181381178259746462671900767883*c_0101_6^19 - 41074353988696722599623650661823078402111/1506851813811782597464626\ 71900767883*c_0101_6^18 - 51773439990775280755891721158787574791767\ 6/753425906905891298732313359503839415*c_0101_6^17 - 134227666355326347387289350497240332105384/150685181381178259746462\ 671900767883*c_0101_6^16 - 1049014151043644236754135248556237692944\ 159/753425906905891298732313359503839415*c_0101_6^15 - 1493496580654939492869902079367916700746549/75342590690589129873231\ 3359503839415*c_0101_6^14 - 124297838300959509245360535639472777834\ 4281/753425906905891298732313359503839415*c_0101_6^13 - 928164864320757685147332435056907013792017/753425906905891298732313\ 359503839415*c_0101_6^12 + 2482862497993002433269119098858974378929\ 99/753425906905891298732313359503839415*c_0101_6^11 + 1579757440931987751742687601728388709805319/75342590690589129873231\ 3359503839415*c_0101_6^10 + 703000159673468449778577720611860453528\ 446/753425906905891298732313359503839415*c_0101_6^9 - 208390797942999526361218364920259429645349/753425906905891298732313\ 359503839415*c_0101_6^8 + 15824761801632751410107338513698745054290\ 8/753425906905891298732313359503839415*c_0101_6^7 + 29966356906735135255471218401431430653867/7534259069058912987323133\ 59503839415*c_0101_6^6 - 250668074555317109308628312974859580291891\ /753425906905891298732313359503839415*c_0101_6^5 - 47479400055618505394808222521250796469196/7534259069058912987323133\ 59503839415*c_0101_6^4 + 59578984465014257269406478193838860696599/\ 753425906905891298732313359503839415*c_0101_6^3 + 7558012138131486291151213150698814536643/75342590690589129873231335\ 9503839415*c_0101_6^2 - 905228345565819515462944164258094325830/150\ 685181381178259746462671900767883*c_0101_6 + 284507825287219534619256078603940460379/753425906905891298732313359\ 503839415, c_0011_0 - 1, c_0011_1 - 148766001620008644637730486537964/73183672356084633194008097\ 086337*c_0101_6^22 - 525906884428353164727112480069471/731836723560\ 84633194008097086337*c_0101_6^21 + 2451625636181499756690648949288691/73183672356084633194008097086337\ *c_0101_6^20 + 20039310294124503032578128554422242/7318367235608463\ 3194008097086337*c_0101_6^19 + 85520693511173220857932129121748693/\ 73183672356084633194008097086337*c_0101_6^18 + 216856349371767568076039472612666639/731836723560846331940080970863\ 37*c_0101_6^17 + 286850387088492201533404722567780025/7318367235608\ 4633194008097086337*c_0101_6^16 + 458087098448072667158341702115000\ 812/73183672356084633194008097086337*c_0101_6^15 + 651206800554710817925821099777255998/731836723560846331940080970863\ 37*c_0101_6^14 + 566085791255868947766988404871159140/7318367235608\ 4633194008097086337*c_0101_6^13 + 459271042982133998132921539392833\ 851/73183672356084633194008097086337*c_0101_6^12 - 34816158882956320668233272427474567/7318367235608463319400809708633\ 7*c_0101_6^11 - 593305114514273475932516283773686575/73183672356084\ 633194008097086337*c_0101_6^10 - 2783315513504106510246439347017900\ 93/73183672356084633194008097086337*c_0101_6^9 + 33484595146431641626719960300751674/7318367235608463319400809708633\ 7*c_0101_6^8 - 97523943201123835977854582696478398/7318367235608463\ 3194008097086337*c_0101_6^7 - 18840643256556431712850240668662113/7\ 3183672356084633194008097086337*c_0101_6^6 + 88702705467830687187514747584111835/7318367235608463319400809708633\ 7*c_0101_6^5 + 16716530826215535868823202375551150/7318367235608463\ 3194008097086337*c_0101_6^4 - 18009462373272283563859038277028649/7\ 3183672356084633194008097086337*c_0101_6^3 - 1201282793543599969637682530677565/73183672356084633194008097086337\ *c_0101_6^2 + 1483199815288066192483644760109332/731836723560846331\ 94008097086337*c_0101_6 - 210084333126737848042278729930323/7318367\ 2356084633194008097086337, c_0011_4 + 617725310910587025119902530206713/73183672356084633194008097\ 086337*c_0101_6^22 + 1801630284352140068160179470584732/73183672356\ 084633194008097086337*c_0101_6^21 - 11338037263201174539139590864301296/7318367235608463319400809708633\ 7*c_0101_6^20 - 76375964477898041681626854605164417/731836723560846\ 33194008097086337*c_0101_6^19 - 30722657412307709497615058212345164\ 7/73183672356084633194008097086337*c_0101_6^18 - 704098609333983112861487059439898403/731836723560846331940080970863\ 37*c_0101_6^17 - 727252011651441349959594294056364914/7318367235608\ 4633194008097086337*c_0101_6^16 - 137519658372072003358870577301057\ 5251/73183672356084633194008097086337*c_0101_6^15 - 1736555396914356898726108210246788456/73183672356084633194008097086\ 337*c_0101_6^14 - 1102043441117298506023507294957077619/73183672356\ 084633194008097086337*c_0101_6^13 - 963581628277638764259586469997446056/731836723560846331940080970863\ 37*c_0101_6^12 + 998878648377267523199640424878154081/7318367235608\ 4633194008097086337*c_0101_6^11 + 205854743372767010034988915770813\ 9356/73183672356084633194008097086337*c_0101_6^10 - 59863512584755587730189640246206025/7318367235608463319400809708633\ 7*c_0101_6^9 - 294041580596850415188905734749417937/731836723560846\ 33194008097086337*c_0101_6^8 + 423958271697320019091898935821544959\ /73183672356084633194008097086337*c_0101_6^7 - 202593498052998356072936438849981182/731836723560846331940080970863\ 37*c_0101_6^6 - 275560226129428869208462458263520520/73183672356084\ 633194008097086337*c_0101_6^5 + 80086737431083266309321750741022665\ /73183672356084633194008097086337*c_0101_6^4 + 52608637532358453999368252452841300/7318367235608463319400809708633\ 7*c_0101_6^3 - 11985150118867419409020245089083365/7318367235608463\ 3194008097086337*c_0101_6^2 - 2765176683692463305221832935383890/73\ 183672356084633194008097086337*c_0101_6 + 563504771325522869490020089215815/73183672356084633194008097086337, c_0101_0 + 613412399631298434414974907410267/73183672356084633194008097\ 086337*c_0101_6^22 + 2365713757486783972812488613003014/73183672356\ 084633194008097086337*c_0101_6^21 - 9593771647419778436320659147055970/73183672356084633194008097086337\ *c_0101_6^20 - 86445211467904781228313313842351157/7318367235608463\ 3194008097086337*c_0101_6^19 - 375990595310220683915711021412703562\ /73183672356084633194008097086337*c_0101_6^18 - 984500974917627395093567115330406608/731836723560846331940080970863\ 37*c_0101_6^17 - 1374799351082150062912288125583798996/731836723560\ 84633194008097086337*c_0101_6^16 - 2039745033886871374091348430260999405/73183672356084633194008097086\ 337*c_0101_6^15 - 3019627010424919552041167969834143634/73183672356\ 084633194008097086337*c_0101_6^14 - 2705032922134420169370262786344595439/73183672356084633194008097086\ 337*c_0101_6^13 - 1995905905668938630795474833822393855/73183672356\ 084633194008097086337*c_0101_6^12 + 56282236210423790211787874548954217/7318367235608463319400809708633\ 7*c_0101_6^11 + 2974659377803109389127357387875497219/7318367235608\ 4633194008097086337*c_0101_6^10 + 180915670828546371315363196347216\ 4371/73183672356084633194008097086337*c_0101_6^9 - 332933998804357743514577712297111834/731836723560846331940080970863\ 37*c_0101_6^8 + 246978245172409182829925729923159521/73183672356084\ 633194008097086337*c_0101_6^7 + 17887455799966999605313860517741077\ 4/73183672356084633194008097086337*c_0101_6^6 - 491816042193951217113375669548028757/731836723560846331940080970863\ 37*c_0101_6^5 - 153104234356599768201241445121102196/73183672356084\ 633194008097086337*c_0101_6^4 + 11709312336295606303723687935155910\ 8/73183672356084633194008097086337*c_0101_6^3 + 22508644396738138933485059044722923/7318367235608463319400809708633\ 7*c_0101_6^2 - 9083753007116515659693161045982071/73183672356084633\ 194008097086337*c_0101_6 + 401926711003751748282780539351708/731836\ 72356084633194008097086337, c_0101_3 + 8922632437317872788456919572838/7318367235608463319400809708\ 6337*c_0101_6^22 + 86962564306103612847845618932336/731836723560846\ 33194008097086337*c_0101_6^21 - 27537627110704177531640656841968/73\ 183672356084633194008097086337*c_0101_6^20 - 2326271161411251750762430525422493/73183672356084633194008097086337\ *c_0101_6^19 - 11176967780191968513880576651770181/7318367235608463\ 3194008097086337*c_0101_6^18 - 35686123852879889511999786139616713/\ 73183672356084633194008097086337*c_0101_6^17 - 61083084276116305970221592468099329/7318367235608463319400809708633\ 7*c_0101_6^16 - 50827348278609214849294540931041238/731836723560846\ 33194008097086337*c_0101_6^15 - 12410945489158164193128815555969587\ 6/73183672356084633194008097086337*c_0101_6^14 - 100148817251366636014729994917164815/731836723560846331940080970863\ 37*c_0101_6^13 - 30317808171649232125260294032208888/73183672356084\ 633194008097086337*c_0101_6^12 - 2334170206403457743666257543025249\ 3/73183672356084633194008097086337*c_0101_6^11 + 195016859695675823371812949684270205/731836723560846331940080970863\ 37*c_0101_6^10 + 127344769266921358819715750071649283/7318367235608\ 4633194008097086337*c_0101_6^9 - 1000584927843310864602644726868620\ 39/73183672356084633194008097086337*c_0101_6^8 + 8447037977127478818496301707865153/73183672356084633194008097086337\ *c_0101_6^7 + 24442272402264441097520929241045076/73183672356084633\ 194008097086337*c_0101_6^6 - 47546798626850990949610948717468547/73\ 183672356084633194008097086337*c_0101_6^5 - 5605180528596030972107837915077165/73183672356084633194008097086337\ *c_0101_6^4 + 13302736412321526661647283944229581/73183672356084633\ 194008097086337*c_0101_6^3 + 234377769153526170560424759327029/7318\ 3672356084633194008097086337*c_0101_6^2 - 1004929572770180661972358401582083/73183672356084633194008097086337\ *c_0101_6 + 76409543817407604895789295576289/7318367235608463319400\ 8097086337, c_0101_5 + 762762580042901846294805408481440/73183672356084633194008097\ 086337*c_0101_6^22 + 2429854129330607425761702634384781/73183672356\ 084633194008097086337*c_0101_6^21 - 13506858876103700497915081937717076/7318367235608463319400809708633\ 7*c_0101_6^20 - 98360454077376590434250465557625904/731836723560846\ 33194008097086337*c_0101_6^19 - 40275822146896465883908743038712949\ 9/73183672356084633194008097086337*c_0101_6^18 - 958911118409050314217866843923221172/731836723560846331940080970863\ 37*c_0101_6^17 - 1081870254653203749776607127370526506/731836723560\ 84633194008097086337*c_0101_6^16 - 1828227477692499985818215998655255170/73183672356084633194008097086\ 337*c_0101_6^15 - 2493036161009833562071550358738328679/73183672356\ 084633194008097086337*c_0101_6^14 - 1709678442904564513921145763715068002/73183672356084633194008097086\ 337*c_0101_6^13 - 1290631989510845712981974066632964951/73183672356\ 084633194008097086337*c_0101_6^12 + 1080862197314475046031850527182492096/73183672356084633194008097086\ 337*c_0101_6^11 + 3042215977135980922015727225935417524/73183672356\ 084633194008097086337*c_0101_6^10 + 433902047371326014807565435426660468/731836723560846331940080970863\ 37*c_0101_6^9 - 669907004488923560077705379893313789/73183672356084\ 633194008097086337*c_0101_6^8 + 47306316062892180145908257673868347\ 2/73183672356084633194008097086337*c_0101_6^7 - 105525571534141618082043660604810278/731836723560846331940080970863\ 37*c_0101_6^6 - 479780156993748433904753422505703043/73183672356084\ 633194008097086337*c_0101_6^5 + 53517787034161125118131008609962086\ /73183672356084633194008097086337*c_0101_6^4 + 120983740365451978238552002352272672/731836723560846331940080970863\ 37*c_0101_6^3 - 12178095834657710412552369432726153/731836723560846\ 33194008097086337*c_0101_6^2 - 9854682658382545512060790688331663/7\ 3183672356084633194008097086337*c_0101_6 + 1519505683609996743044920185968541/73183672356084633194008097086337\ , c_0101_6^23 + 4*c_0101_6^22 - 15*c_0101_6^21 - 143*c_0101_6^20 - 635*c_0101_6^19 - 1702*c_0101_6^18 - 2504*c_0101_6^17 - 3703*c_0101_6^16 - 5404*c_0101_6^15 - 5208*c_0101_6^14 - 3933*c_0101_6^13 - 285*c_0101_6^12 + 4889*c_0101_6^11 + 3938*c_0101_6^10 + 41*c_0101_6^9 + 50*c_0101_6^8 + 321*c_0101_6^7 - 684*c_0101_6^6 - 456*c_0101_6^5 + 149*c_0101_6^4 + 107*c_0101_6^3 - 13*c_0101_6^2 - 7*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB