Magma V2.19-8 Tue Aug 20 2013 16:15:53 on localhost [Seed = 1242289776] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0118 geometric_solution 3.63551000 oriented_manifold CS_known -0.0000000000000001 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.461375292417 0.023128756784 2 0 2 0 0132 2310 1023 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.376624929906 0.085252354747 1 3 1 3 0132 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6.373849418157 5.390161432491 2 2 4 4 3201 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 1 -1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.128091116451 0.164312463455 3 5 3 6 2310 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 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 -1 1 0 0 0 0 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.975792252040 1.985465334314 6 4 6 6 3201 0132 3012 2310 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 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.002452156724 0.990304285844 5 5 4 5 3201 1230 0132 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.002452156724 0.990304285844 ==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_4']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_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_4']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), '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_4']), 'c_0011_4' : d['c_0011_4'], '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_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0011_6']), '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' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_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_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 1581172413534304199621632281224587871270/19723387476575308268957108\ 69992121267*c_0101_4^22 - 6078074761864018342581851031220557438267/\ 1972338747657530826895710869992121267*c_0101_4^21 - 41969561790756333310816500203723200851899/1972338747657530826895710\ 869992121267*c_0101_4^20 + 2114884222424420950902533260255301731874\ 2/281762678236790118127958695713160181*c_0101_4^19 - 42413213551276613618393858744386209360872/1972338747657530826895710\ 869992121267*c_0101_4^18 - 8878485587590363986451666050243874154494\ 72/1972338747657530826895710869992121267*c_0101_4^17 + 1418800758867128504720195594086450297090692/19723387476575308268957\ 10869992121267*c_0101_4^16 + 19594484680655250857984994540653257524\ 69065/1972338747657530826895710869992121267*c_0101_4^15 - 4960970049174121184558143172673174121299128/19723387476575308268957\ 10869992121267*c_0101_4^14 + 11805460010811296084501364125869052357\ 4466/281762678236790118127958695713160181*c_0101_4^13 + 8854298783074695158874757380631253187284273/19723387476575308268957\ 10869992121267*c_0101_4^12 - 11906169449842566076068651253811335568\ 040950/1972338747657530826895710869992121267*c_0101_4^11 - 11260698832090409738902766472931549409142309/1972338747657530826895\ 710869992121267*c_0101_4^10 + 3265049052358241135172854083217654334\ 293235/281762678236790118127958695713160181*c_0101_4^9 + 11324482739709661062995260579377434985319944/1972338747657530826895\ 710869992121267*c_0101_4^8 - 28645391201532166876016307072761613936\ 24876/281762678236790118127958695713160181*c_0101_4^7 - 7556798021696512943431435558480949429792048/19723387476575308268957\ 10869992121267*c_0101_4^6 + 848221687708094897331038528446427679521\ 3200/1972338747657530826895710869992121267*c_0101_4^5 + 2478005265163878364442635736200096274040463/19723387476575308268957\ 10869992121267*c_0101_4^4 - 158517079034305443981168835556977226859\ 8565/1972338747657530826895710869992121267*c_0101_4^3 - 245029402875324005551550056737042388333470/197233874765753082689571\ 0869992121267*c_0101_4^2 + 1673494400158820079797593272260486229339\ 81/1972338747657530826895710869992121267*c_0101_4 + 30965512393560564835842165078145623583539/1972338747657530826895710\ 869992121267, c_0011_0 - 1, c_0011_1 + 46877405266343230350886710172504904/281762678236790118127958\ 695713160181*c_0101_4^22 - 159703265977584895998082455500932771/281\ 762678236790118127958695713160181*c_0101_4^21 - 1279875203469810008330950626365798653/28176267823679011812795869571\ 3160181*c_0101_4^20 + 3700399395806081107413430961580634254/2817626\ 78236790118127958695713160181*c_0101_4^19 - 521727058505658138649860073315601976/281762678236790118127958695713\ 160181*c_0101_4^18 - 23548401985879008457824708316003665367/2817626\ 78236790118127958695713160181*c_0101_4^17 + 30155851957075954880168492710494433234/2817626782367901181279586957\ 13160181*c_0101_4^16 + 55158251796345250573278569824330466202/28176\ 2678236790118127958695713160181*c_0101_4^15 - 95378644516084623806053204913000486044/2817626782367901181279586957\ 13160181*c_0101_4^14 + 10522356005577374552604152183015445147/28176\ 2678236790118127958695713160181*c_0101_4^13 + 191946987252943683228329145261135142537/281762678236790118127958695\ 713160181*c_0101_4^12 - 230097175534803590641880310277035157748/281\ 762678236790118127958695713160181*c_0101_4^11 - 320289905179705738130807444113077927555/281762678236790118127958695\ 713160181*c_0101_4^10 + 335051722675641247776500007024783349704/281\ 762678236790118127958695713160181*c_0101_4^9 + 338189285304633504366260369935364337521/281762678236790118127958695\ 713160181*c_0101_4^8 - 181635533905436774060851893092836568967/2817\ 62678236790118127958695713160181*c_0101_4^7 - 172845970340248209112144454600555851162/281762678236790118127958695\ 713160181*c_0101_4^6 + 35050939226738500597313118906689517956/28176\ 2678236790118127958695713160181*c_0101_4^5 + 34407569265394901145887298414727246057/2817626782367901181279586957\ 13160181*c_0101_4^4 - 4375739856748206280382422189760283555/2817626\ 78236790118127958695713160181*c_0101_4^3 - 5080802263690339766008485908027215697/28176267823679011812795869571\ 3160181*c_0101_4^2 - 47275484305169214186232730944446790/2817626782\ 36790118127958695713160181*c_0101_4 + 434170996119393390931863864253731784/281762678236790118127958695713\ 160181, c_0011_4 - 4285483626915069072565306462178982/2817626782367901181279586\ 95713160181*c_0101_4^22 + 30734902871923383063486667493572751/28176\ 2678236790118127958695713160181*c_0101_4^21 + 65719153880811392996161433606588238/2817626782367901181279586957131\ 60181*c_0101_4^20 - 789384380276717651989288072210919668/2817626782\ 36790118127958695713160181*c_0101_4^19 + 1214393572804668372988174830864406957/28176267823679011812795869571\ 3160181*c_0101_4^18 + 2212337589958612990432796008797065079/2817626\ 78236790118127958695713160181*c_0101_4^17 - 10767088345878099674374178134806598211/2817626782367901181279586957\ 13160181*c_0101_4^16 + 3392158946436448278226131261258356658/281762\ 678236790118127958695713160181*c_0101_4^15 + 29315087037037432362150667231748775095/2817626782367901181279586957\ 13160181*c_0101_4^14 - 28371149938417157258453774500688459176/28176\ 2678236790118127958695713160181*c_0101_4^13 - 20579243434622917665821936047599831807/2817626782367901181279586957\ 13160181*c_0101_4^12 + 86107170509903233465263632502961879042/28176\ 2678236790118127958695713160181*c_0101_4^11 - 31354295507378834007222313553087878788/2817626782367901181279586957\ 13160181*c_0101_4^10 - 156349378357097330093012142715070646943/2817\ 62678236790118127958695713160181*c_0101_4^9 + 53487001039883965674314761623741419515/2817626782367901181279586957\ 13160181*c_0101_4^8 + 157199242643375961373765604243546496077/28176\ 2678236790118127958695713160181*c_0101_4^7 - 22844295088223310823301582542005256423/2817626782367901181279586957\ 13160181*c_0101_4^6 - 78406071702967496948166843282729617686/281762\ 678236790118127958695713160181*c_0101_4^5 + 3547876263168516071647047108527480855/28176267823679011812795869571\ 3160181*c_0101_4^4 + 16181298410963502057574965897070990819/2817626\ 78236790118127958695713160181*c_0101_4^3 - 2608942111828314805788110659806848674/28176267823679011812795869571\ 3160181*c_0101_4^2 - 1207851651461110120921588541863964830/28176267\ 8236790118127958695713160181*c_0101_4 + 275224202056334505831906090015640247/281762678236790118127958695713\ 160181, c_0011_6 - 11345512203207220960832894545261842/281762678236790118127958\ 695713160181*c_0101_4^22 + 27482195473099807175770720478234401/2817\ 62678236790118127958695713160181*c_0101_4^21 + 344259058500625997290474614664450929/281762678236790118127958695713\ 160181*c_0101_4^20 - 577955169771959682118082337701784941/281762678\ 236790118127958695713160181*c_0101_4^19 - 658261202707278287002305692203061708/281762678236790118127958695713\ 160181*c_0101_4^18 + 5519668531755181333260095213043824758/28176267\ 8236790118127958695713160181*c_0101_4^17 - 1647493513645716335849573385302376344/28176267823679011812795869571\ 3160181*c_0101_4^16 - 18574859944913206556127627333476176640/281762\ 678236790118127958695713160181*c_0101_4^15 + 7122862444756597483355556955982924014/28176267823679011812795869571\ 3160181*c_0101_4^14 + 15819926741173994552195359128041534027/281762\ 678236790118127958695713160181*c_0101_4^13 - 39486408661888241084280708425923079367/2817626782367901181279586957\ 13160181*c_0101_4^12 + 7648341080076573240863583732008156295/281762\ 678236790118127958695713160181*c_0101_4^11 + 116112154484762450376556493524677464561/281762678236790118127958695\ 713160181*c_0101_4^10 + 19312744810040077474951012571878486758/2817\ 62678236790118127958695713160181*c_0101_4^9 - 140164659789912403465273873549703901794/281762678236790118127958695\ 713160181*c_0101_4^8 - 72684286272008366824729554665978246446/28176\ 2678236790118127958695713160181*c_0101_4^7 + 64090765749475606171837992603106175539/2817626782367901181279586957\ 13160181*c_0101_4^6 + 52022490053513332185097891620260375389/281762\ 678236790118127958695713160181*c_0101_4^5 - 7163683872367682053662396094804726250/28176267823679011812795869571\ 3160181*c_0101_4^4 - 9028635971179191099861936061502687161/28176267\ 8236790118127958695713160181*c_0101_4^3 + 2017272764714323565508389108948481004/28176267823679011812795869571\ 3160181*c_0101_4^2 + 763323171474636174202473094505918765/281762678\ 236790118127958695713160181*c_0101_4 - 147322134530401690910349481666769534/281762678236790118127958695713\ 160181, c_0101_0 - 41968521095371761430780494094459921/281762678236790118127958\ 695713160181*c_0101_4^22 + 104764224848692845053165211956867081/281\ 762678236790118127958695713160181*c_0101_4^21 + 1289802228600251330483210683183626482/28176267823679011812795869571\ 3160181*c_0101_4^20 - 2313859320388584199355001713599938646/2817626\ 78236790118127958695713160181*c_0101_4^19 - 2943796928553165016653016137106081826/28176267823679011812795869571\ 3160181*c_0101_4^18 + 22564509028664887906839580386391385934/281762\ 678236790118127958695713160181*c_0101_4^17 - 7513455171136790010513037208590512109/28176267823679011812795869571\ 3160181*c_0101_4^16 - 81819506102263372307115851691908513908/281762\ 678236790118127958695713160181*c_0101_4^15 + 48857057576960874762532481010721059043/2817626782367901181279586957\ 13160181*c_0101_4^14 + 90213238616526964979150961757664834081/28176\ 2678236790118127958695713160181*c_0101_4^13 - 214317085025608331324567906281928562418/281762678236790118127958695\ 713160181*c_0101_4^12 + 44224706695265844748266477281211449567/2817\ 62678236790118127958695713160181*c_0101_4^11 + 550698503506627399139389623864353061224/281762678236790118127958695\ 713160181*c_0101_4^10 - 116817932772145595983226809920256066339/281\ 762678236790118127958695713160181*c_0101_4^9 - 702374245326647182617966453667228816415/281762678236790118127958695\ 713160181*c_0101_4^8 + 25437156370544139782273217894403365041/28176\ 2678236790118127958695713160181*c_0101_4^7 + 431149147226757484450598005829212988540/281762678236790118127958695\ 713160181*c_0101_4^6 + 15614865790151820207786685595374022395/28176\ 2678236790118127958695713160181*c_0101_4^5 - 120823863932056071556063429001309159719/281762678236790118127958695\ 713160181*c_0101_4^4 + 4122862799296126035395053425962416241/281762\ 678236790118127958695713160181*c_0101_4^3 + 17343135536625225781666898538863089256/2817626782367901181279586957\ 13160181*c_0101_4^2 - 919215360450791430331016675227363455/28176267\ 8236790118127958695713160181*c_0101_4 - 793227930199437973410734307448622788/281762678236790118127958695713\ 160181, c_0101_1 - 54467327019905235568566377066527963/281762678236790118127958\ 695713160181*c_0101_4^22 + 164709655584982880622080860614498055/281\ 762678236790118127958695713160181*c_0101_4^21 + 1562572840303218678078976710208053849/28176267823679011812795869571\ 3160181*c_0101_4^20 - 3748808322031647497505852119004327009/2817626\ 78236790118127958695713160181*c_0101_4^19 - 1148190391689498566773846632284370157/28176267823679011812795869571\ 3160181*c_0101_4^18 + 28030241626997572430933279078673186870/281762\ 678236790118127958695713160181*c_0101_4^17 - 24895823134890234968680969404892755617/2817626782367901181279586957\ 13160181*c_0101_4^16 - 79508261390386725431507278315688466092/28176\ 2678236790118127958695713160181*c_0101_4^15 + 90519303302194939907113919595646311485/2817626782367901181279586957\ 13160181*c_0101_4^14 + 32946858426337066257876269221595846819/28176\ 2678236790118127958695713160181*c_0101_4^13 - 238314695495142144255818620611278509642/281762678236790118127958695\ 713160181*c_0101_4^12 + 187986279870926238035420447146956242285/281\ 762678236790118127958695713160181*c_0101_4^11 + 487324949017092142560965204291913601712/281762678236790118127958695\ 713160181*c_0101_4^10 - 275105603176172703145033060462464647223/281\ 762678236790118127958695713160181*c_0101_4^9 - 558123983883400167865519153618744221079/281762678236790118127958695\ 713160181*c_0101_4^8 + 100417406032614519623112771106140907528/2817\ 62678236790118127958695713160181*c_0101_4^7 + 303447817354131339919566237870775395955/281762678236790118127958695\ 713160181*c_0101_4^6 + 12285634624498470376096160642836322080/28176\ 2678236790118127958695713160181*c_0101_4^5 - 70760214397531175183701823263497413423/2817626782367901181279586957\ 13160181*c_0101_4^4 - 3655158378625327220226500971981013473/2817626\ 78236790118127958695713160181*c_0101_4^3 + 11502651003088214068166791317732595109/2817626782367901181279586957\ 13160181*c_0101_4^2 + 725280817243357974069520293112543307/28176267\ 8236790118127958695713160181*c_0101_4 - 611840431611939984234194567632234246/281762678236790118127958695713\ 160181, c_0101_4^23 - 4*c_0101_4^22 - 26*c_0101_4^21 + 98*c_0101_4^20 - 40*c_0101_4^19 - 563*c_0101_4^18 + 988*c_0101_4^17 + 1130*c_0101_4^16 - 3390*c_0101_4^15 + 959*c_0101_4^14 + 5710*c_0101_4^13 - 8487*c_0101_4^12 - 6239*c_0101_4^11 + 16072*c_0101_4^10 + 5165*c_0101_4^9 - 14686*c_0101_4^8 - 2953*c_0101_4^7 + 6868*c_0101_4^6 + 785*c_0101_4^5 - 1565*c_0101_4^4 + 3*c_0101_4^3 + 186*c_0101_4^2 - 4*c_0101_4 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB