Magma V2.19-8 Tue Aug 20 2013 16:17:20 on localhost [Seed = 3280101131] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1567 geometric_solution 5.35010153 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 2310 0 0 0 0 0 -1 0 1 -1 0 0 1 -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 0 1 -1 1 0 0 -1 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.243462048286 0.691488426754 0 0 3 2 2310 0132 0132 0132 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 0 -1 1 1 0 -1 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.260624482448 0.419637681399 3 4 1 5 1230 0132 0132 0132 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 1 -1 0 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.596522449509 0.850860333985 4 2 5 1 0132 3012 3201 0132 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 -1 0 1 0 0 -1 1 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.596522449509 0.850860333985 3 2 6 6 0132 0132 2310 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 -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.374075214686 1.969070791124 3 5 2 5 2310 2310 0132 3201 0 0 0 0 0 -1 1 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 1 -1 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.142056511081 1.361824149094 6 4 4 6 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.544081442854 0.450450412280 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(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' : negation(d['1']), 's_2_2' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), '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_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_2']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(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_2, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 92991689139485193204524325414876768540050569186452/4294769403677265\ 6780832495977047615774151250381*c_0101_3^21 + 562568981093586235829110331960704390368507298866882/429476940367726\ 56780832495977047615774151250381*c_0101_3^20 - 1245747009262555225230636359963611170088205819547545/42947694036772\ 656780832495977047615774151250381*c_0101_3^19 - 9977881303190061272236377452445850721196315700722220/42947694036772\ 656780832495977047615774151250381*c_0101_3^18 + 4066074569263994295317648689244935719316918059360181/42947694036772\ 656780832495977047615774151250381*c_0101_3^17 + 3770254869187141597078572773192096127249804239445922/33036687720594\ 35136987115075157508905703942337*c_0101_3^16 - 15235543570793606263076306729254580477810554427285774/4294769403677\ 2656780832495977047615774151250381*c_0101_3^15 - 101415056904657755981056338314728117564672472395945961/429476940367\ 72656780832495977047615774151250381*c_0101_3^14 + 19643625999452773421551777041112632384082013777862843/4294769403677\ 2656780832495977047615774151250381*c_0101_3^13 + 195015119999586495115859995780673561020997909566916164/429476940367\ 72656780832495977047615774151250381*c_0101_3^12 - 81168280964523549469637306453541057595790893086679298/4294769403677\ 2656780832495977047615774151250381*c_0101_3^11 - 281524017278440164068373388059609887402392969689363191/429476940367\ 72656780832495977047615774151250381*c_0101_3^10 + 241358720622359576800247902146132927405314431299945485/429476940367\ 72656780832495977047615774151250381*c_0101_3^9 + 137270977825017433058542016699462171469420973507931536/429476940367\ 72656780832495977047615774151250381*c_0101_3^8 - 185553673993955311486928111530223503660641927996737530/429476940367\ 72656780832495977047615774151250381*c_0101_3^7 - 12008158205365947285271248864160476500662581708429366/4294769403677\ 2656780832495977047615774151250381*c_0101_3^6 + 47348931273882511387201868343319785769267596202758858/4294769403677\ 2656780832495977047615774151250381*c_0101_3^5 - 3223150427050134752479242939767853293149225921916407/42947694036772\ 656780832495977047615774151250381*c_0101_3^4 - 365472898919827406745952541876284493847275536189171/330366877205943\ 5136987115075157508905703942337*c_0101_3^3 + 443715972494773364065515586590137191162129975212590/429476940367726\ 56780832495977047615774151250381*c_0101_3^2 + 185918065835587371957024442739547913890358486060955/429476940367726\ 56780832495977047615774151250381*c_0101_3 - 13379658760330712301968586758453304246587394367080/4294769403677265\ 6780832495977047615774151250381, c_0011_0 - 1, c_0011_2 + 518146087933736909533163706182062097757845617680/42947694036\ 772656780832495977047615774151250381*c_0101_3^21 + 3109956763542228459713896851865002230344524801952/42947694036772656\ 780832495977047615774151250381*c_0101_3^20 - 7111295690093598857752114614703191585698859960904/42947694036772656\ 780832495977047615774151250381*c_0101_3^19 - 55395225889974027405699690131023920815498663552834/4294769403677265\ 6780832495977047615774151250381*c_0101_3^18 + 25560463743121085215263392021644946714992827036146/4294769403677265\ 6780832495977047615774151250381*c_0101_3^17 + 21098255439733067923804032355123040115334837539007/3303668772059435\ 136987115075157508905703942337*c_0101_3^16 - 98452380853976691424579007624634448012302162918625/4294769403677265\ 6780832495977047615774151250381*c_0101_3^15 - 571764408321853474862444276814875074446636720325963/429476940367726\ 56780832495977047615774151250381*c_0101_3^14 + 138199653517680774861172108673870672977341375677449/429476940367726\ 56780832495977047615774151250381*c_0101_3^13 + 1102715712203858064321827754729049863472274448232765/42947694036772\ 656780832495977047615774151250381*c_0101_3^12 - 505090689895036222283722169329183168566982531616575/429476940367726\ 56780832495977047615774151250381*c_0101_3^11 - 1587650826448826258228241666267011841892911536552510/42947694036772\ 656780832495977047615774151250381*c_0101_3^10 + 1431818192477672815333843289113071370004675386352194/42947694036772\ 656780832495977047615774151250381*c_0101_3^9 + 759229210941423760598251321119586366827897727196745/429476940367726\ 56780832495977047615774151250381*c_0101_3^8 - 1114198828309635699721468886610732029551149607551806/42947694036772\ 656780832495977047615774151250381*c_0101_3^7 - 45162365012833343335711468100663878299918560418019/4294769403677265\ 6780832495977047615774151250381*c_0101_3^6 + 297317243498120112402028944126865374596765895383224/429476940367726\ 56780832495977047615774151250381*c_0101_3^5 - 27736621806729501891055530158574067008291109802712/4294769403677265\ 6780832495977047615774151250381*c_0101_3^4 - 2360653680283967025184394741577809253238960660505/33036687720594351\ 36987115075157508905703942337*c_0101_3^3 + 3924269179997017905916545960757233000685050670240/42947694036772656\ 780832495977047615774151250381*c_0101_3^2 + 1151939323184469818463604734339950134175650843147/42947694036772656\ 780832495977047615774151250381*c_0101_3 - 125495311166401398159292587155537313728347900025/429476940367726567\ 80832495977047615774151250381, c_0011_5 - 117512788807680860805882286102226151729217112100/42947694036\ 772656780832495977047615774151250381*c_0101_3^21 - 683522068785841948628436763374963084549469520414/429476940367726567\ 80832495977047615774151250381*c_0101_3^20 + 1742001898097844237165471896896728787569783614783/42947694036772656\ 780832495977047615774151250381*c_0101_3^19 + 12255308966572980732832348845345073474776723275355/4294769403677265\ 6780832495977047615774151250381*c_0101_3^18 - 8100473041684680052507151116672515765593831537444/42947694036772656\ 780832495977047615774151250381*c_0101_3^17 - 4690590345450559981459431478852394164359413374118/33036687720594351\ 36987115075157508905703942337*c_0101_3^16 + 33697494434258432628009964770489662763815560230280/4294769403677265\ 6780832495977047615774151250381*c_0101_3^15 + 124887910810636539583320703668928447814612326590922/429476940367726\ 56780832495977047615774151250381*c_0101_3^14 - 54592405235968127701826672828032346110381102364121/4294769403677265\ 6780832495977047615774151250381*c_0101_3^13 - 243483135750395196655828682768785388075714679975931/429476940367726\ 56780832495977047615774151250381*c_0101_3^12 + 159561803687403689038419275241912214657870327976770/429476940367726\ 56780832495977047615774151250381*c_0101_3^11 + 337169085284655408600208841116178366035230069974911/429476940367726\ 56780832495977047615774151250381*c_0101_3^10 - 387900514420653900345524170816540297036071106628090/429476940367726\ 56780832495977047615774151250381*c_0101_3^9 - 110930600699950642375249083480872093655412529280767/429476940367726\ 56780832495977047615774151250381*c_0101_3^8 + 278112388579049355160897396251045578967044682504434/429476940367726\ 56780832495977047615774151250381*c_0101_3^7 - 31989822798567478805975133324999849982864120218723/4294769403677265\ 6780832495977047615774151250381*c_0101_3^6 - 67934578507170888721575173491780104583526440207225/4294769403677265\ 6780832495977047615774151250381*c_0101_3^5 + 15279698816939732315215151347578019532562043112685/4294769403677265\ 6780832495977047615774151250381*c_0101_3^4 + 527840984369078071760400424409226109247126612035/330366877205943513\ 6987115075157508905703942337*c_0101_3^3 - 1637079261349511865533383133985041373220869067369/42947694036772656\ 780832495977047615774151250381*c_0101_3^2 - 266021123815915874342609490671385969150306846889/429476940367726567\ 80832495977047615774151250381*c_0101_3 + 63879594778720488764179515624609079597637963726/4294769403677265678\ 0832495977047615774151250381, c_0011_6 - 127293831217220110939521776135304789537966633552/42947694036\ 772656780832495977047615774151250381*c_0101_3^21 - 742615740304059846012253398430873974011410194428/429476940367726567\ 80832495977047615774151250381*c_0101_3^20 + 1873573067149947610258991597974606166331872617586/42947694036772656\ 780832495977047615774151250381*c_0101_3^19 + 13306438463005851321602372412596936929868362986801/4294769403677265\ 6780832495977047615774151250381*c_0101_3^18 - 8521972870666279502596180113292962606700847335792/42947694036772656\ 780832495977047615774151250381*c_0101_3^17 - 5089012877992895205389110386672485719444313758361/33036687720594351\ 36987115075157508905703942337*c_0101_3^16 + 35077240596117949340137903133712401382048865152500/4294769403677265\ 6780832495977047615774151250381*c_0101_3^15 + 135498543764426173446366849196304406748161113069015/429476940367726\ 56780832495977047615774151250381*c_0101_3^14 - 55486115989925872145480456689705168084778518358978/4294769403677265\ 6780832495977047615774151250381*c_0101_3^13 - 263567721273808225738195556098348395524302243340013/429476940367726\ 56780832495977047615774151250381*c_0101_3^12 + 165566566924168375732831790673681452555969179278510/429476940367726\ 56780832495977047615774151250381*c_0101_3^11 + 365649662363619932961510545730633200264091189173395/429476940367726\ 56780832495977047615774151250381*c_0101_3^10 - 408623978548751936369613453514162275054691728580169/429476940367726\ 56780832495977047615774151250381*c_0101_3^9 - 124146128488993836078696602027556924987748516504625/429476940367726\ 56780832495977047615774151250381*c_0101_3^8 + 289819379842445704533297265679952043156643918605000/429476940367726\ 56780832495977047615774151250381*c_0101_3^7 - 29375843940252381977056687076901765130879192370136/4294769403677265\ 6780832495977047615774151250381*c_0101_3^6 - 66004441473916308179404787082637915543576160301224/4294769403677265\ 6780832495977047615774151250381*c_0101_3^5 + 12943037101013015282151669090299238140969060300653/4294769403677265\ 6780832495977047615774151250381*c_0101_3^4 + 384007945261817395054263236345885584505915338474/330366877205943513\ 6987115075157508905703942337*c_0101_3^3 - 778702977977115681135549987100024221396533176383/429476940367726567\ 80832495977047615774151250381*c_0101_3^2 - 129523537726539869012296631881591755554744082172/429476940367726567\ 80832495977047615774151250381*c_0101_3 + 5330571379503174615607277882011774816101420488/42947694036772656780\ 832495977047615774151250381, c_0101_0 - 862087525944983483150843083265169026769408983856/42947694036\ 772656780832495977047615774151250381*c_0101_3^21 - 5133546210544519551711990391408009450931243138864/42947694036772656\ 780832495977047615774151250381*c_0101_3^20 + 12033024728761283248331707304559078718321708505868/4294769403677265\ 6780832495977047615774151250381*c_0101_3^19 + 91340844302085068777358747582101304727938140932952/4294769403677265\ 6780832495977047615774151250381*c_0101_3^18 - 46328976948670824492445919629273610128128719505937/4294769403677265\ 6780832495977047615774151250381*c_0101_3^17 - 34590074813696287846193770629465341880287544571889/3303668772059435\ 136987115075157508905703942337*c_0101_3^16 + 183880325704834744876321151939969695502230104071439/429476940367726\ 56780832495977047615774151250381*c_0101_3^15 + 921252129639936462980178436135105524435469936270439/429476940367726\ 56780832495977047615774151250381*c_0101_3^14 - 269477497901278529993640435758437822066844709146063/429476940367726\ 56780832495977047615774151250381*c_0101_3^13 - 1779408885984849199928568653177131172702372451151881/42947694036772\ 656780832495977047615774151250381*c_0101_3^12 + 921518766345208683185140242174462815056113747796551/429476940367726\ 56780832495977047615774151250381*c_0101_3^11 + 2516986802925550103004242462787615538401920199776218/42947694036772\ 656780832495977047615774151250381*c_0101_3^10 - 2475333008165688060273547691910398342645202329043805/42947694036772\ 656780832495977047615774151250381*c_0101_3^9 - 1029661003552294704850187726497919633373773940040689/42947694036772\ 656780832495977047615774151250381*c_0101_3^8 + 1812716011531064306914936629206029129024292129425311/42947694036772\ 656780832495977047615774151250381*c_0101_3^7 - 64894260648903722473662783505223360384705345851295/4294769403677265\ 6780832495977047615774151250381*c_0101_3^6 - 428739057538199169681790705487192156494909689977470/429476940367726\ 56780832495977047615774151250381*c_0101_3^5 + 70697961491526044056970445172747169274048718515156/4294769403677265\ 6780832495977047615774151250381*c_0101_3^4 + 2820602162800295453404477357074292007635694466566/33036687720594351\ 36987115075157508905703942337*c_0101_3^3 - 7134139227261963123526984876602292686621974762498/42947694036772656\ 780832495977047615774151250381*c_0101_3^2 - 1144270002023777977303923060049052883259693555564/42947694036772656\ 780832495977047615774151250381*c_0101_3 + 161427760384244800355927511799663508850045381902/429476940367726567\ 80832495977047615774151250381, c_0101_1 + 551719636065682873013366902183335448830995209116/42947694036\ 772656780832495977047615774151250381*c_0101_3^21 + 3269050867604278624480509586378894074452055997430/42947694036772656\ 780832495977047615774151250381*c_0101_3^20 - 7808827550222795320798782219637570687059928444751/42947694036772656\ 780832495977047615774151250381*c_0101_3^19 - 58293386469749365775872692425127837376653974534138/4294769403677265\ 6780832495977047615774151250381*c_0101_3^18 + 31522734166610257023014051909347083508902348181570/4294769403677265\ 6780832495977047615774151250381*c_0101_3^17 + 22157642488992281112677163168035282075541915365392/3303668772059435\ 136987115075157508905703942337*c_0101_3^16 - 126663938806191888496546268144449935161307240564549/429476940367726\ 56780832495977047615774151250381*c_0101_3^15 - 591677216027543071043318573891443856697969729455001/429476940367726\ 56780832495977047615774151250381*c_0101_3^14 + 191657546342961670624843292514945935733292731757518/429476940367726\ 56780832495977047615774151250381*c_0101_3^13 + 1144980804207525729575939708978534742896880583701474/42947694036772\ 656780832495977047615774151250381*c_0101_3^12 - 625563584622198599641739305626793976971729021618929/429476940367726\ 56780832495977047615774151250381*c_0101_3^11 - 1615069245113123216746299162401198283224094137906128/42947694036772\ 656780832495977047615774151250381*c_0101_3^10 + 1641005340233164599577020756564894047794508102374997/42947694036772\ 656780832495977047615774151250381*c_0101_3^9 + 642933681972723299160553310889391848397237480289883/429476940367726\ 56780832495977047615774151250381*c_0101_3^8 - 1206614602611776053040675778353278787033789584635365/42947694036772\ 656780832495977047615774151250381*c_0101_3^7 + 62399972538975689375787896509581244337984650639784/4294769403677265\ 6780832495977047615774151250381*c_0101_3^6 + 292071199667918747797863754184925537083075571233981/429476940367726\ 56780832495977047615774151250381*c_0101_3^5 - 52640167007507120298378676546624327726783783008620/4294769403677265\ 6780832495977047615774151250381*c_0101_3^4 - 1999858429140154398689683399830244420176570001425/33036687720594351\ 36987115075157508905703942337*c_0101_3^3 + 5435657748996797975637939211051124650857165552972/42947694036772656\ 780832495977047615774151250381*c_0101_3^2 + 861344141140481146671549389232349614542771599936/429476940367726567\ 80832495977047615774151250381*c_0101_3 - 129790010718146522106538002767686871116169937787/429476940367726567\ 80832495977047615774151250381, c_0101_3^22 + 37/6*c_0101_3^21 - 51/4*c_0101_3^20 - 437/4*c_0101_3^19 + 383/12*c_0101_3^18 + 6467/12*c_0101_3^17 - 207/2*c_0101_3^16 - 6853/6*c_0101_3^15 + 349/4*c_0101_3^14 + 26261/12*c_0101_3^13 - 3763/6*c_0101_3^12 - 3256*c_0101_3^11 + 27239/12*c_0101_3^10 + 23605/12*c_0101_3^9 - 23329/12*c_0101_3^8 - 1883/4*c_0101_3^7 + 7091/12*c_0101_3^6 + 581/12*c_0101_3^5 - 157/2*c_0101_3^4 - 3*c_0101_3^3 + 14/3*c_0101_3^2 + 1/6*c_0101_3 - 1/12 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB