Magma V2.19-8 Tue Aug 20 2013 16:19:19 on localhost [Seed = 3768679918] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3436 geometric_solution 6.60903867 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.310987505222 0.254562987687 2 0 3 0 0132 2310 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.763578575262 1.321526735901 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 1 0 -1 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 -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.410156769594 0.923339397438 6 5 4 1 3201 0132 3201 0132 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 -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.410156769594 0.923339397438 3 2 4 4 2310 0132 2031 1302 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 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.381149452366 0.974517406357 5 3 5 2 2031 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582938878916 0.823866559791 6 6 2 3 1302 2031 0132 2310 0 0 0 0 0 0 1 -1 -1 0 1 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 -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.505384158466 0.730301593873 ==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' : negation(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' : negation(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_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], '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' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], '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_0'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), '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_0011_6, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t + 1/2, c_0011_0 - 1, c_0011_1 - 1, c_0011_3 + 1, c_0011_6 - 1, c_0101_0 - c_0101_3, c_0101_3^2 - 2, c_0101_4 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_6, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 48 Groebner basis: [ t - 4317263349958420535550157454862076176907093/40910775699884345892436\ 3884750372431167912*c_0101_4^23 - 994846080052947733750564868531832\ 2470361629/204553878499421729462181942375186215583956*c_0101_4^22 + 1110460065122003211165147602371207173974901/40910775699884345892436\ 3884750372431167912*c_0101_4^21 + 923259457942859277814757605650122\ 50664575507/409107756998843458924363884750372431167912*c_0101_4^20 + 19825333832806945909531003911052353785648842/5113846962485543236554\ 5485593796553895989*c_0101_4^19 + 371607354999495842439082535663637\ 715487811159/409107756998843458924363884750372431167912*c_0101_4^18 + 286387571230082700722059722623676959458932909/4091077569988434589\ 24363884750372431167912*c_0101_4^17 - 528880865826090892334458174660723237716241665/204553878499421729462\ 181942375186215583956*c_0101_4^16 - 1879675009418772154455536230654050383790936897/40910775699884345892\ 4363884750372431167912*c_0101_4^15 - 1896710723297780130741169046283039906609564231/40910775699884345892\ 4363884750372431167912*c_0101_4^14 - 2969413241201540785979095825815391329191253813/40910775699884345892\ 4363884750372431167912*c_0101_4^13 + 413404459436612745753780689546787624173274827/204553878499421729462\ 181942375186215583956*c_0101_4^12 + 4347420899183091502834693301181354092146718793/40910775699884345892\ 4363884750372431167912*c_0101_4^11 + 910233086064530126845348697999307967752899463/409107756998843458924\ 363884750372431167912*c_0101_4^10 + 664973960410665412243704699164526053617523526/511384696248554323655\ 45485593796553895989*c_0101_4^9 - 338618846393985329184419000558529\ 7216993773201/409107756998843458924363884750372431167912*c_0101_4^8 + 686697824149739592259806556922516313405318287/1022769392497108647\ 31090971187593107791978*c_0101_4^7 - 3950158537045544973887083734527219620048554925/40910775699884345892\ 4363884750372431167912*c_0101_4^6 + 2182418893713322304256079819340676848827960829/20455387849942172946\ 2181942375186215583956*c_0101_4^5 + 2106166334347740411139859968052330729348107533/40910775699884345892\ 4363884750372431167912*c_0101_4^4 - 50008783182342832297525928508543971222065939/1461099132138726639015\ 5853026799015398854*c_0101_4^3 - 7824405257400168548413410757938306\ 52886872377/409107756998843458924363884750372431167912*c_0101_4^2 + 37803754194805469923113159805343868002676683/4091077569988434589243\ 63884750372431167912*c_0101_4 + 17858278741785280293405756587285161\ 877631329/102276939249710864731090971187593107791978, c_0011_0 - 1, c_0011_1 - 440207364799698206410778170138915765068/73054956606936331950\ 77926513399507699427*c_0101_4^23 - 2149653078311689049137397224448851377057/73054956606936331950779265\ 13399507699427*c_0101_4^22 - 46709167639727722348818755349549397248\ 2/7305495660693633195077926513399507699427*c_0101_4^21 + 9344583883296822986812624141326414742925/73054956606936331950779265\ 13399507699427*c_0101_4^20 + 18807225318994254301814670488799283989\ 659/7305495660693633195077926513399507699427*c_0101_4^19 + 42894149332372462758153013129204782806245/7305495660693633195077926\ 513399507699427*c_0101_4^18 + 4033108746525350313241841174551157786\ 0964/7305495660693633195077926513399507699427*c_0101_4^17 - 98379222155369482675059290545415872255628/7305495660693633195077926\ 513399507699427*c_0101_4^16 - 2208849985608603133576068412906469691\ 36426/7305495660693633195077926513399507699427*c_0101_4^15 - 253416309349782660319464313635865939736955/730549566069363319507792\ 6513399507699427*c_0101_4^14 - 365597748219543131389485007347839471\ 446546/7305495660693633195077926513399507699427*c_0101_4^13 - 3299993727957954410258515794161073107627/73054956606936331950779265\ 13399507699427*c_0101_4^12 + 45982664170322109779394236237978486867\ 1735/7305495660693633195077926513399507699427*c_0101_4^11 + 230425056043206013110048293353125094170698/730549566069363319507792\ 6513399507699427*c_0101_4^10 + 600831005452560592015908206982145917\ 080694/7305495660693633195077926513399507699427*c_0101_4^9 - 194581204863216342388004862016019508727561/730549566069363319507792\ 6513399507699427*c_0101_4^8 + 2041291782714296714537021593087280263\ 70455/7305495660693633195077926513399507699427*c_0101_4^7 - 356473764770863468153006068220979891849482/730549566069363319507792\ 6513399507699427*c_0101_4^6 + 3356117549010296369714033203660270423\ 60952/7305495660693633195077926513399507699427*c_0101_4^5 + 311494058802876712692775118854953080134235/730549566069363319507792\ 6513399507699427*c_0101_4^4 - 6880672543153283211486862835487144884\ 0930/7305495660693633195077926513399507699427*c_0101_4^3 - 108244598129243105553200561767696677381582/730549566069363319507792\ 6513399507699427*c_0101_4^2 - 3734144081018461701000169801356828331\ 0665/7305495660693633195077926513399507699427*c_0101_4 + 2246960434896047331730122765505707627600/73054956606936331950779265\ 13399507699427, c_0011_3 + 647655360958692734166145954322970876169/73054956606936331950\ 77926513399507699427*c_0101_4^23 + 2756056136209845957383973933774998980287/73054956606936331950779265\ 13399507699427*c_0101_4^22 - 11653509047763845032260527709663184664\ 58/7305495660693633195077926513399507699427*c_0101_4^21 - 13587163435449943985236351220329646250504/7305495660693633195077926\ 513399507699427*c_0101_4^20 - 1914822038094159745943421467927751587\ 2298/7305495660693633195077926513399507699427*c_0101_4^19 - 48495766836917200957622762636785661404447/7305495660693633195077926\ 513399507699427*c_0101_4^18 - 2423710468916754962870576865562454227\ 8677/7305495660693633195077926513399507699427*c_0101_4^17 + 170831815375463826274499360208335276014222/730549566069363319507792\ 6513399507699427*c_0101_4^16 + 226633771982222115403753880904723855\ 634555/7305495660693633195077926513399507699427*c_0101_4^15 + 201800468448878955921146075874911456586991/730549566069363319507792\ 6513399507699427*c_0101_4^14 + 356746996615596464052581871729637602\ 770474/7305495660693633195077926513399507699427*c_0101_4^13 - 277347482727848283883724876677411503744190/730549566069363319507792\ 6513399507699427*c_0101_4^12 - 591800466100426823334217526239638122\ 757356/7305495660693633195077926513399507699427*c_0101_4^11 + 46186636793599961940259657548037124897632/7305495660693633195077926\ 513399507699427*c_0101_4^10 - 7963333466068967079484453920201845184\ 96434/7305495660693633195077926513399507699427*c_0101_4^9 + 823296229858056810778439547790420212012496/730549566069363319507792\ 6513399507699427*c_0101_4^8 - 6550798384107712943962036500727000889\ 04922/7305495660693633195077926513399507699427*c_0101_4^7 + 852352438290292608040237845609834958596596/730549566069363319507792\ 6513399507699427*c_0101_4^6 - 9446994049378275680615065518188834433\ 63455/7305495660693633195077926513399507699427*c_0101_4^5 + 13157740963674602087682762376041174678416/7305495660693633195077926\ 513399507699427*c_0101_4^4 + 21194638073124192010780320607737927340\ 3189/7305495660693633195077926513399507699427*c_0101_4^3 + 81666859792274886174518985886962639549490/7305495660693633195077926\ 513399507699427*c_0101_4^2 - 18187885815908304961542161729950083188\ 973/7305495660693633195077926513399507699427*c_0101_4 - 7684319150781790288956737995953000061481/73054956606936331950779265\ 13399507699427, c_0011_6 + 939849517301984529327169621731650143653/73054956606936331950\ 77926513399507699427*c_0101_4^23 + 4095454304636479548376096511896482680424/73054956606936331950779265\ 13399507699427*c_0101_4^22 - 12797248942417483453935403892184850967\ 30/7305495660693633195077926513399507699427*c_0101_4^21 - 19861550175756363263364080085623880467736/7305495660693633195077926\ 513399507699427*c_0101_4^20 - 2973145303056483831760165139408746108\ 2106/7305495660693633195077926513399507699427*c_0101_4^19 - 73264592926898677909140791782119879421789/7305495660693633195077926\ 513399507699427*c_0101_4^18 - 4275149091723987300146208966078546723\ 8316/7305495660693633195077926513399507699427*c_0101_4^17 + 243484819090897575314967040302015371491407/730549566069363319507792\ 6513399507699427*c_0101_4^16 + 352462450581498300659489796568305152\ 151767/7305495660693633195077926513399507699427*c_0101_4^15 + 325639837247972337802011451531119024983593/730549566069363319507792\ 6513399507699427*c_0101_4^14 + 552057465064405280387096425078610571\ 252114/7305495660693633195077926513399507699427*c_0101_4^13 - 341441460917158175191017719631995885144830/730549566069363319507792\ 6513399507699427*c_0101_4^12 - 888237814873657117504896985539994951\ 778494/7305495660693633195077926513399507699427*c_0101_4^11 - 5304997643399380355571629022905991813588/73054956606936331950779265\ 13399507699427*c_0101_4^10 - 11522291055884434201411059031689938814\ 41339/7305495660693633195077926513399507699427*c_0101_4^9 + 1057515114345083707052990650191527187662468/73054956606936331950779\ 26513399507699427*c_0101_4^8 - 841319268283143930278389855945555698\ 426666/7305495660693633195077926513399507699427*c_0101_4^7 + 1112692357194632058522903371036538382089896/73054956606936331950779\ 26513399507699427*c_0101_4^6 - 124195775623700373271422621699481571\ 3084846/7305495660693633195077926513399507699427*c_0101_4^5 - 118502475492376401232846599961869790235037/730549566069363319507792\ 6513399507699427*c_0101_4^4 + 3191122047782889014249564041701540494\ 97752/7305495660693633195077926513399507699427*c_0101_4^3 + 132360676159774985151909387961343935782410/730549566069363319507792\ 6513399507699427*c_0101_4^2 - 2400662911908811635265624919133162178\ 5407/7305495660693633195077926513399507699427*c_0101_4 - 7809481416360420191547536099348682737657/73054956606936331950779265\ 13399507699427, c_0101_0 - 9603159993671726435663421847627176813723/2922198264277453278\ 0311706053598030797708*c_0101_3*c_0101_4^23 - 20453988325150228383016693635922373150439/1461099132138726639015585\ 3026799015398854*c_0101_3*c_0101_4^22 + 17701090218414692636006177733149448913979/2922198264277453278031170\ 6053598030797708*c_0101_3*c_0101_4^21 + 203868548992609375747007446902187538428041/292219826427745327803117\ 06053598030797708*c_0101_3*c_0101_4^20 + 70673425494835327438671371293392579222952/7305495660693633195077926\ 513399507699427*c_0101_3*c_0101_4^19 + 707923371628018626987442373145026370377353/292219826427745327803117\ 06053598030797708*c_0101_3*c_0101_4^18 + 349526771903053117686866237855407994342727/292219826427745327803117\ 06053598030797708*c_0101_3*c_0101_4^17 - 1284485224576629202114979995585407828032085/14610991321387266390155\ 853026799015398854*c_0101_3*c_0101_4^16 - 3374654411840549784366425205982031574392463/29221982642774532780311\ 706053598030797708*c_0101_3*c_0101_4^15 - 2834315961206154203920730312187844632816613/29221982642774532780311\ 706053598030797708*c_0101_3*c_0101_4^14 - 5148277111569113642991582521905819494837603/29221982642774532780311\ 706053598030797708*c_0101_3*c_0101_4^13 + 2094605933008788849897383653338629597664853/14610991321387266390155\ 853026799015398854*c_0101_3*c_0101_4^12 + 9029940396578784769083748969342758888095999/29221982642774532780311\ 706053598030797708*c_0101_3*c_0101_4^11 - 1073573251102182817624410446450464786322827/29221982642774532780311\ 706053598030797708*c_0101_3*c_0101_4^10 + 2825953785677124268058171376657302824404548/73054956606936331950779\ 26513399507699427*c_0101_3*c_0101_4^9 - 11906754551414539172066117754836877645742963/2922198264277453278031\ 1706053598030797708*c_0101_3*c_0101_4^8 + 2234445280698606427666176529737238766011445/73054956606936331950779\ 26513399507699427*c_0101_3*c_0101_4^7 - 11485849153780845092295180036483626489226935/2922198264277453278031\ 1706053598030797708*c_0101_3*c_0101_4^6 + 6564195963229735674052023650571776975957885/14610991321387266390155\ 853026799015398854*c_0101_3*c_0101_4^5 + 849459064300537025836765949269149862523247/292219826427745327803117\ 06053598030797708*c_0101_3*c_0101_4^4 - 1064040000608312448331977821468853486468027/73054956606936331950779\ 26513399507699427*c_0101_3*c_0101_4^3 - 912128515938176480861713503656169642097319/292219826427745327803117\ 06053598030797708*c_0101_3*c_0101_4^2 + 469241843407127818231171644364813313379501/292219826427745327803117\ 06053598030797708*c_0101_3*c_0101_4 + 39442863933432569393879613898434995663959/7305495660693633195077926\ 513399507699427*c_0101_3, c_0101_3^2 - 388823619112896223494284543893188316785/730549566069363319\ 5077926513399507699427*c_0101_4^23 - 1787713770796371842720522063912241267686/73054956606936331950779265\ 13399507699427*c_0101_4^22 + 10022922250316065218628256840918367649\ 7/7305495660693633195077926513399507699427*c_0101_4^21 + 8242248563801497347955994405465305628027/73054956606936331950779265\ 13399507699427*c_0101_4^20 + 14280670620392079341452432070175258076\ 825/7305495660693633195077926513399507699427*c_0101_4^19 + 33727976993258030036256739193427841384944/7305495660693633195077926\ 513399507699427*c_0101_4^18 + 2575925471814541153278015343375837349\ 3548/7305495660693633195077926513399507699427*c_0101_4^17 - 94545484863346928117713506460778144561910/7305495660693633195077926\ 513399507699427*c_0101_4^16 - 1684562879434409064821841267990551970\ 78831/7305495660693633195077926513399507699427*c_0101_4^15 - 174987959261273808013618059677688945172102/730549566069363319507792\ 6513399507699427*c_0101_4^14 - 270065656796575067495190086898344026\ 738835/7305495660693633195077926513399507699427*c_0101_4^13 + 76406026962683960010154576188789237297507/7305495660693633195077926\ 513399507699427*c_0101_4^12 + 3849378410879000835602314310718845277\ 09566/7305495660693633195077926513399507699427*c_0101_4^11 + 93712121203308258230691754982114955722358/7305495660693633195077926\ 513399507699427*c_0101_4^10 + 4987453946963083327089707559527728212\ 54539/7305495660693633195077926513399507699427*c_0101_4^9 - 317956756381012401349480750476026071000193/730549566069363319507792\ 6513399507699427*c_0101_4^8 + 2717021447983058723951743805672529049\ 02554/7305495660693633195077926513399507699427*c_0101_4^7 - 396893300125668178496131554745128790712200/730549566069363319507792\ 6513399507699427*c_0101_4^6 + 4158232042604051876121295451778761164\ 55351/7305495660693633195077926513399507699427*c_0101_4^5 + 148655712779518081852055787693752939102662/730549566069363319507792\ 6513399507699427*c_0101_4^4 - 9635899927965125398010955117394595172\ 4746/7305495660693633195077926513399507699427*c_0101_4^3 - 82064562478852597749995768988775631040872/7305495660693633195077926\ 513399507699427*c_0101_4^2 - 47963574018991239708423279567169446134\ 88/7305495660693633195077926513399507699427*c_0101_4 + 880414729599396412821556340277831530136/730549566069363319507792651\ 3399507699427, c_0101_4^24 + 4*c_0101_4^23 - 3*c_0101_4^22 - 21*c_0101_4^21 - 24*c_0101_4^20 - 65*c_0101_4^19 - 15*c_0101_4^18 + 282*c_0101_4^17 + 287*c_0101_4^16 + 193*c_0101_4^15 + 433*c_0101_4^14 - 606*c_0101_4^13 - 871*c_0101_4^12 + 351*c_0101_4^11 - 1152*c_0101_4^10 + 1575*c_0101_4^9 - 1186*c_0101_4^8 + 1427*c_0101_4^7 - 1664*c_0101_4^6 + 237*c_0101_4^5 + 494*c_0101_4^4 + 27*c_0101_4^3 - 85*c_0101_4^2 - 16*c_0101_4 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB