Magma V2.19-8 Tue Aug 20 2013 16:18:49 on localhost [Seed = 2463305711] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2985 geometric_solution 6.16503155 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.413784485127 0.375505492597 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.260926079397 0.827182090409 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 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.479596634815 0.426742588946 6 5 4 1 0132 0132 0132 0132 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 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.479596634815 0.426742588946 4 2 4 3 2031 0132 1302 0132 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 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.946646064939 0.817889666260 6 3 6 2 3201 0132 2310 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 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.670221964247 1.299685918182 3 5 2 5 0132 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0.264611325378 1.031843716341 ==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' : negation(d['1']), 's_3_5' : negation(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' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(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' : negation(d['1']), 's_0_5' : negation(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_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : negation(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' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0011_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_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_1001_2'], '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_0101_0, c_0101_1, c_0101_3, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 378894970489866515949331633289913860185914361000260961/132953700523\ 9731746044438036391801637413268406306534*c_1001_2^22 - 639265972472078142152014601258894267156315800391697936/664768502619\ 865873022219018195900818706634203153267*c_1001_2^21 - 969829006108072395640820561942769304786976929610172709/120867000476\ 339249640403457853800148855751673300594*c_1001_2^20 - 10460224201094954315565969253025386620150925358712517864/6647685026\ 19865873022219018195900818706634203153267*c_1001_2^19 - 107134992534184721750792756285758924930422641506096102613/132953700\ 5239731746044438036391801637413268406306534*c_1001_2^18 - 92792785488993109998721980100185259063319555002565009683/1329537005\ 239731746044438036391801637413268406306534*c_1001_2^17 - 430417363578430728901586595870436593010867829106542132147/132953700\ 5239731746044438036391801637413268406306534*c_1001_2^16 - 35845813172661914231469079608056170553234900481415045727/1329537005\ 239731746044438036391801637413268406306534*c_1001_2^15 - 321495852069797160810242587189556340138612296316655475684/664768502\ 619865873022219018195900818706634203153267*c_1001_2^14 + 338883427422689162708872288096240263290909780463647742279/664768502\ 619865873022219018195900818706634203153267*c_1001_2^13 + 1101675598687902926785257194405504913215821085371166336603/13295370\ 05239731746044438036391801637413268406306534*c_1001_2^12 + 1806584182653427450040108594407221681265059413282508397387/13295370\ 05239731746044438036391801637413268406306534*c_1001_2^11 + 5254816953744225684639777834575511786319617595272669895177/13295370\ 05239731746044438036391801637413268406306534*c_1001_2^10 + 2500292565410285700121190890495237859383798818222793296203/13295370\ 05239731746044438036391801637413268406306534*c_1001_2^9 + 3266604101708606795280188099471086696830881669399762560733/13295370\ 05239731746044438036391801637413268406306534*c_1001_2^8 - 1753057487843759159568596425897078934926038204974932885570/66476850\ 2619865873022219018195900818706634203153267*c_1001_2^7 - 2755217188343933323842417157057801134779331804803854608747/66476850\ 2619865873022219018195900818706634203153267*c_1001_2^6 - 5750612123917720123239903281116075155249880951468422608733/13295370\ 05239731746044438036391801637413268406306534*c_1001_2^5 - 1947308675536741357965101684306164712521560388824539472947/66476850\ 2619865873022219018195900818706634203153267*c_1001_2^4 - 64339674809955794564873092507218150824037832990967242345/6647685026\ 19865873022219018195900818706634203153267*c_1001_2^3 + 179301804281679390777077545131830995131678625716204104589/664768502\ 619865873022219018195900818706634203153267*c_1001_2^2 + 546084806542777471478459126825064121215202155836601633/324277318351\ 15408440108244790043942375933375763574*c_1001_2 - 3562196322716997997053626132112724400719528472978312829/66476850261\ 9865873022219018195900818706634203153267, c_0011_0 - 1, c_0011_1 + 65276037026043620104526424369062478715699808951/147398781068\ 7064020004920217729270107996971625617*c_1001_2^22 + 180697883508695334872454220917659964185484065465/147398781068706402\ 0004920217729270107996971625617*c_1001_2^21 + 1724136307023908196999534445290170712380427139615/14739878106870640\ 20004920217729270107996971625617*c_1001_2^20 + 2550101777831459113727451969299712262000130045906/14739878106870640\ 20004920217729270107996971625617*c_1001_2^19 + 16808705676197104601228614290833446197178270370531/1473987810687064\ 020004920217729270107996971625617*c_1001_2^18 + 5709414847600500507162909051507801572665896778927/14739878106870640\ 20004920217729270107996971625617*c_1001_2^17 + 69749504913958902031418044844300572928078145556839/1473987810687064\ 020004920217729270107996971625617*c_1001_2^16 - 35695583703469159966340366326154275167464011039080/1473987810687064\ 020004920217729270107996971625617*c_1001_2^15 + 128534215763541234343219671709765792132828714202263/147398781068706\ 4020004920217729270107996971625617*c_1001_2^14 - 189183582734468262491634414917285744009464636941747/147398781068706\ 4020004920217729270107996971625617*c_1001_2^13 - 83295087642407668355503038230959776336453432126625/1473987810687064\ 020004920217729270107996971625617*c_1001_2^12 - 243458978247573349721249658860825562385430873212889/147398781068706\ 4020004920217729270107996971625617*c_1001_2^11 - 757461307237099971724977485432755987752714355342554/147398781068706\ 4020004920217729270107996971625617*c_1001_2^10 + 36991181817372463870954021374507094935862643841510/1473987810687064\ 020004920217729270107996971625617*c_1001_2^9 - 549251575007926548675821199465764719585007024303578/147398781068706\ 4020004920217729270107996971625617*c_1001_2^8 + 896264093097740111427203599543031031718585317666899/147398781068706\ 4020004920217729270107996971625617*c_1001_2^7 + 424361307398935366395268143433726793130682747360002/147398781068706\ 4020004920217729270107996971625617*c_1001_2^6 + 648481771434838670020474418892309501147551912559530/147398781068706\ 4020004920217729270107996971625617*c_1001_2^5 + 275674930987311004989362510243725003390971972331758/147398781068706\ 4020004920217729270107996971625617*c_1001_2^4 - 151005059284932386471691300392932327515139273636541/147398781068706\ 4020004920217729270107996971625617*c_1001_2^3 + 54098868264630344969940927847589392298583664856641/1473987810687064\ 020004920217729270107996971625617*c_1001_2^2 + 3038769461755653588712437577656284251030324543980/14739878106870640\ 20004920217729270107996971625617*c_1001_2 - 1560736735459124289848107839960786474718857194187/14739878106870640\ 20004920217729270107996971625617, c_0011_3 - 958266912501687305495310853501921406812911537129/14739878106\ 87064020004920217729270107996971625617*c_1001_2^22 - 3037187839571154768545284402231050953260773330049/14739878106870640\ 20004920217729270107996971625617*c_1001_2^21 - 26383104356059907004833810191680405957893771928302/1473987810687064\ 020004920217729270107996971625617*c_1001_2^20 - 47579590650926398711504084020802171074381699229765/1473987810687064\ 020004920217729270107996971625617*c_1001_2^19 - 261877475802750217232812782333626507708938107069035/147398781068706\ 4020004920217729270107996971625617*c_1001_2^18 - 182181146140913756400332398275909494870488308139047/147398781068706\ 4020004920217729270107996971625617*c_1001_2^17 - 1057869479668958525410277092338051634334962597026904/14739878106870\ 64020004920217729270107996971625617*c_1001_2^16 + 122042742034678455655763138365040223134424069654234/147398781068706\ 4020004920217729270107996971625617*c_1001_2^15 - 1678099880713440348644456781174430486804537977701794/14739878106870\ 64020004920217729270107996971625617*c_1001_2^14 + 2063634675642468589997176306752310076954848830731070/14739878106870\ 64020004920217729270107996971625617*c_1001_2^13 + 2319323277840193177268732920715306352118882188759100/14739878106870\ 64020004920217729270107996971625617*c_1001_2^12 + 4151091862806452062805526903343968824483198810863852/14739878106870\ 64020004920217729270107996971625617*c_1001_2^11 + 12492844556244161714151370732666140747260531066998734/1473987810687\ 064020004920217729270107996971625617*c_1001_2^10 + 3866108754603100241879792277804348325076822055595349/14739878106870\ 64020004920217729270107996971625617*c_1001_2^9 + 7781469051443377966121893624292619255529794626232648/14739878106870\ 64020004920217729270107996971625617*c_1001_2^8 - 10390325490556700124616119213300597613751684716227403/1473987810687\ 064020004920217729270107996971625617*c_1001_2^7 - 11609356742285511904182350863412332618731961992003042/1473987810687\ 064020004920217729270107996971625617*c_1001_2^6 - 12448989085816050268876460887315041933761983399906455/1473987810687\ 064020004920217729270107996971625617*c_1001_2^5 - 7567327471179886138442292512753097085404028207610595/14739878106870\ 64020004920217729270107996971625617*c_1001_2^4 + 925716002762222384227627850778386271277859179468086/147398781068706\ 4020004920217729270107996971625617*c_1001_2^3 + 546934883533077061466185060285985702959573289995698/147398781068706\ 4020004920217729270107996971625617*c_1001_2^2 - 21323253230674370146493239051667437070610295958701/1473987810687064\ 020004920217729270107996971625617*c_1001_2 - 6389965419768266993049034264572302097284227381561/14739878106870640\ 20004920217729270107996971625617, c_0101_0 + 13945421422217597449646936517872092766659522936/147398781068\ 7064020004920217729270107996971625617*c_1001_2^22 + 31887451154772796090791838235929870886723713790/1473987810687064020\ 004920217729270107996971625617*c_1001_2^21 + 349616612573361400500019734202871691959634236853/147398781068706402\ 0004920217729270107996971625617*c_1001_2^20 + 367407278723581684346751837955180835228812934101/147398781068706402\ 0004920217729270107996971625617*c_1001_2^19 + 3326401391397405802613172408030259130118756320843/14739878106870640\ 20004920217729270107996971625617*c_1001_2^18 - 504074875829592343798512191297946543922049905204/147398781068706402\ 0004920217729270107996971625617*c_1001_2^17 + 14301729399639464731698491705899831656283244799682/1473987810687064\ 020004920217729270107996971625617*c_1001_2^16 - 14701992546306179582936134830162806720558849409446/1473987810687064\ 020004920217729270107996971625617*c_1001_2^15 + 31098886776221766980680394235535361152404130388535/1473987810687064\ 020004920217729270107996971625617*c_1001_2^14 - 53091996533621743819822785644829501592649024572529/1473987810687064\ 020004920217729270107996971625617*c_1001_2^13 + 1498926189026121698781486185498578942584160045338/14739878106870640\ 20004920217729270107996971625617*c_1001_2^12 - 42253598730102938722790209800522378334998509209623/1473987810687064\ 020004920217729270107996971625617*c_1001_2^11 - 137289990176794249687030866188776203379170641724799/147398781068706\ 4020004920217729270107996971625617*c_1001_2^10 + 85391268377036020299382193622448839051856024330149/1473987810687064\ 020004920217729270107996971625617*c_1001_2^9 - 121837524979941312541725255577392389445338364575575/147398781068706\ 4020004920217729270107996971625617*c_1001_2^8 + 241987071600145561928080330266310322107319983806888/147398781068706\ 4020004920217729270107996971625617*c_1001_2^7 - 3738353419262428179370717247115954332047926045337/14739878106870640\ 20004920217729270107996971625617*c_1001_2^6 + 87771971860396909184636849292971361991940684689142/1473987810687064\ 020004920217729270107996971625617*c_1001_2^5 - 6198247316458143123222378603165595977298459169839/14739878106870640\ 20004920217729270107996971625617*c_1001_2^4 - 55897038140426605859597182596090231746670955388364/1473987810687064\ 020004920217729270107996971625617*c_1001_2^3 + 33781953674206710157633631657917466415204589152581/1473987810687064\ 020004920217729270107996971625617*c_1001_2^2 + 1593838799989866537233129048256776569144939609256/14739878106870640\ 20004920217729270107996971625617*c_1001_2 + 552605302460651412488551835029226036490583183177/147398781068706402\ 0004920217729270107996971625617, c_0101_1 - 158364297822352853748391760538389391288469152529/14739878106\ 87064020004920217729270107996971625617*c_1001_2^22 - 501630821543785252223401811801700983358603618019/147398781068706402\ 0004920217729270107996971625617*c_1001_2^21 - 4358417456508997772440285045966739238959032129218/14739878106870640\ 20004920217729270107996971625617*c_1001_2^20 - 7852222141468408213129422272879445194018243277879/14739878106870640\ 20004920217729270107996971625617*c_1001_2^19 - 43242038480757781976415743752430949926139102716515/1473987810687064\ 020004920217729270107996971625617*c_1001_2^18 - 29981208440679232466525855943513118005356624569374/1473987810687064\ 020004920217729270107996971625617*c_1001_2^17 - 174549593618243294201796679572412935978160577026677/147398781068706\ 4020004920217729270107996971625617*c_1001_2^16 + 20721045979773054336214330327264971176495134644305/1473987810687064\ 020004920217729270107996971625617*c_1001_2^15 - 276468026698775124033410917414951283379418006958646/147398781068706\ 4020004920217729270107996971625617*c_1001_2^14 + 341805862159236974234486855645284756590694887803213/147398781068706\ 4020004920217729270107996971625617*c_1001_2^13 + 384002470206859055326970398608296150453344976389859/147398781068706\ 4020004920217729270107996971625617*c_1001_2^12 + 684219962945491080979356183467633739236256711267850/147398781068706\ 4020004920217729270107996971625617*c_1001_2^11 + 2060982112682127030990845341913653933762709471891768/14739878106870\ 64020004920217729270107996971625617*c_1001_2^10 + 631004032741079157463160379678325858103212264003616/147398781068706\ 4020004920217729270107996971625617*c_1001_2^9 + 1273608825807293040758513695152461576082329919387129/14739878106870\ 64020004920217729270107996971625617*c_1001_2^8 - 1726705001766660000369745644485010447144479536209542/14739878106870\ 64020004920217729270107996971625617*c_1001_2^7 - 1923338058953905838886893731081126992335992623321211/14739878106870\ 64020004920217729270107996971625617*c_1001_2^6 - 2049148586291135761120932156297166602544706267599174/14739878106870\ 64020004920217729270107996971625617*c_1001_2^5 - 1235327101134502787419234898577027751740440059414036/14739878106870\ 64020004920217729270107996971625617*c_1001_2^4 + 168840815468735983427545779813782740235770961770278/147398781068706\ 4020004920217729270107996971625617*c_1001_2^3 + 100077466862225900754274517495714185983806546352117/147398781068706\ 4020004920217729270107996971625617*c_1001_2^2 + 538786123598998896341507222123275683799761523400/147398781068706402\ 0004920217729270107996971625617*c_1001_2 - 856309612233641911703095622685525221762862703213/147398781068706402\ 0004920217729270107996971625617, c_0101_3 - 176477632296863025936921556186419998834327270688/14739878106\ 87064020004920217729270107996971625617*c_1001_2^22 - 506292715360744046794509625447991448186720642978/147398781068706402\ 0004920217729270107996971625617*c_1001_2^21 - 4696467853282754563113738011026200524561631119036/14739878106870640\ 20004920217729270107996971625617*c_1001_2^20 - 7318181136215630882430747419922885845727529917819/14739878106870640\ 20004920217729270107996971625617*c_1001_2^19 - 45747558651614713513523140541306235430100045844521/1473987810687064\ 020004920217729270107996971625617*c_1001_2^18 - 19284500339015164224803615475258644837944052279646/1473987810687064\ 020004920217729270107996971625617*c_1001_2^17 - 186223283527547409614341019067507603338064306703691/147398781068706\ 4020004920217729270107996971625617*c_1001_2^16 + 80504187609088257201525959821408395164424879898599/1473987810687064\ 020004920217729270107996971625617*c_1001_2^15 - 321884697269342316745837663796115785042862634823838/147398781068706\ 4020004920217729270107996971625617*c_1001_2^14 + 476020234343739337134446397223481909714509494722890/147398781068706\ 4020004920217729270107996971625617*c_1001_2^13 + 302095766614574297150463737396000245497509808457172/147398781068706\ 4020004920217729270107996971625617*c_1001_2^12 + 652572795173255964317297670759331177575071314543763/147398781068706\ 4020004920217729270107996971625617*c_1001_2^11 + 2079640683974563914424387966107658736320629392776849/14739878106870\ 64020004920217729270107996971625617*c_1001_2^10 + 41441332650144943509572152414823560792567097888628/1473987810687064\ 020004920217729270107996971625617*c_1001_2^9 + 1285793290389094573585567979588034386527370418587275/14739878106870\ 64020004920217729270107996971625617*c_1001_2^8 - 2347870478271860399944104667097146830669278504546585/14739878106870\ 64020004920217729270107996971625617*c_1001_2^7 - 1520123911711370887601998785251656438164305974658248/14739878106870\ 64020004920217729270107996971625617*c_1001_2^6 - 1731012527753933854677876927784918548933363574251264/14739878106870\ 64020004920217729270107996971625617*c_1001_2^5 - 749019882640775999496842923453840587716943108859950/147398781068706\ 4020004920217729270107996971625617*c_1001_2^4 + 536299799816178834567660278539150607500722281094491/147398781068706\ 4020004920217729270107996971625617*c_1001_2^3 + 29237561753995116144991102599466524468742607967956/1473987810687064\ 020004920217729270107996971625617*c_1001_2^2 - 13558928519554835614891943543864967275543453883119/1473987810687064\ 020004920217729270107996971625617*c_1001_2 - 196187024642115237242495241897943118210378292909/147398781068706402\ 0004920217729270107996971625617, c_1001_2^23 + 3*c_1001_2^22 + 27*c_1001_2^21 + 45*c_1001_2^20 + 265*c_1001_2^19 + 144*c_1001_2^18 + 1073*c_1001_2^17 - 314*c_1001_2^16 + 1778*c_1001_2^15 - 2453*c_1001_2^14 - 2046*c_1001_2^13 - 3936*c_1001_2^12 - 12310*c_1001_2^11 - 1843*c_1001_2^10 - 7494*c_1001_2^9 + 12223*c_1001_2^8 + 10240*c_1001_2^7 + 11008*c_1001_2^6 + 5731*c_1001_2^5 - 2259*c_1001_2^4 - 389*c_1001_2^3 + 102*c_1001_2^2 + 4*c_1001_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB