Magma V2.19-8 Tue Aug 20 2013 16:18:32 on localhost [Seed = 1781266265] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2720 geometric_solution 5.97045293 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 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 1 0 -1 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.223854777828 1.805474092663 3 4 5 0 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.097772522231 0.657855650852 4 3 0 5 3201 0132 0132 0132 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 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.097772522231 0.657855650852 1 2 3 3 0132 0132 1230 3012 0 0 0 0 0 1 -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 0 0 0 1 -1 0 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.461287055222 0.663028880924 4 1 4 2 2310 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0.548340498573 1.580593215688 6 6 2 1 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.504933418097 1.135430401221 5 6 5 6 0132 2310 2310 3201 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 0 0 0 0 0 0 0 -0.488743926733 0.752240763485 ==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' : d['c_0011_5'], 'c_1100_5' : d['c_1100_0'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_1100_0'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_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_1']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), '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_5'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), '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_5, c_0101_0, c_0101_1, c_0101_5, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 8771613125194841829307541081430176152479191/60361539117979859485299\ 321680955329961472*c_1100_0^15 + 2346017179138387289850325249500098\ 50729691121/30180769558989929742649660840477664980736*c_1100_0^14 - 5151345173709609338166290942556708982060274329/60361539117979859485\ 299321680955329961472*c_1100_0^13 + 9103308921984399302120183510630725116143810207/30180769558989929742\ 649660840477664980736*c_1100_0^12 - 34425521625069544827361420714912797967528367007/6036153911797985948\ 5299321680955329961472*c_1100_0^11 + 9762011656732433192163284032103244859360706289/37725961948737412178\ 31207605059708122592*c_1100_0^10 - 9327172677172129569620384041416421299782906261/30180769558989929742\ 649660840477664980736*c_1100_0^9 - 401172581496936170272398466225353457154801061469/603615391179798594\ 85299321680955329961472*c_1100_0^8 - 2154079818858652707474651332082125141913221951731/60361539117979859\ 485299321680955329961472*c_1100_0^7 - 516738973857917472215020681692907092672887713719/754519238974748243\ 5662415210119416245184*c_1100_0^6 - 117664804780625595223679761955868226463104250629/431153850842713282\ 0378522977211094997248*c_1100_0^5 + 978072618102879752521232142355881477361221370409/301807695589899297\ 42649660840477664980736*c_1100_0^4 + 2016129337825805912305068750595937907878660509951/60361539117979859\ 485299321680955329961472*c_1100_0^3 + 3539547917010804628322608446290388216352721383/33165680834054867849\ 0655613631622692096*c_1100_0^2 + 9193869410356775398868205058057395\ 540553589517/8623077016854265640757045954422189994496*c_1100_0 - 13165578252707222918680333706702611970867503/5341729125484943317283\ 12581247392300544, c_0011_0 - 1, c_0011_1 - 7375295064205916673732822937096821553/1335432281371235829320\ 78145311848075136*c_1100_0^15 + 19945610209811402831389398297226753\ 8233/66771614068561791466039072655924037568*c_1100_0^14 - 4568950521763334400506472299526547241755/13354322813712358293207814\ 5311848075136*c_1100_0^13 + 128687336260417450528404052994108599805\ 1/9538802009794541638005581807989148224*c_1100_0^12 - 39492841984829713171098394412652094372745/1335432281371235829320781\ 45311848075136*c_1100_0^11 + 38528880973723382274845020485339406617\ 109/33385807034280895733019536327962018784*c_1100_0^10 - 52983925858215831563326904011547196363621/6677161406856179146603907\ 2655924037568*c_1100_0^9 - 2806874600280033028212179122614622487072\ 95/133543228137123582932078145311848075136*c_1100_0^8 - 234268822292862893061321465892998946610035/190776040195890832760111\ 63615978296448*c_1100_0^7 - 621173441026302367379153418338141938611\ 137/33385807034280895733019536327962018784*c_1100_0^6 + 85356601631016580888046743128062201234697/6677161406856179146603907\ 2655924037568*c_1100_0^5 + 8304236297154774330991227370126591855478\ 13/66771614068561791466039072655924037568*c_1100_0^4 + 709381573555062863077694958455304017598437/133543228137123582932078\ 145311848075136*c_1100_0^3 + 17015042258143498765291024910415237373\ 19/5136278005273983958926082511994156736*c_1100_0^2 - 11575347920636726262074728486174767104363/1335432281371235829320781\ 45311848075136*c_1100_0 + 200067823563012013132726589302460263227/1\ 33543228137123582932078145311848075136, c_0011_5 + 4445293223965315525335756763934704073/3815520803917816655202\ 2327231956592896*c_1100_0^15 - 832303324106668440714722866876547154\ 045/133543228137123582932078145311848075136*c_1100_0^14 + 18280578388138127421524156088973887019897/2670864562742471658641562\ 90623696150272*c_1100_0^13 - 32325767088636690984148465524082705807\ 167/133543228137123582932078145311848075136*c_1100_0^12 + 122294969715213325411707401247900146988007/267086456274247165864156\ 290623696150272*c_1100_0^11 - 9897011091416120091493838932858946849\ 013/4769401004897270819002790903994574112*c_1100_0^10 + 33773874089399198084234511409551269094153/1335432281371235829320781\ 45311848075136*c_1100_0^9 + 142576103105275182314658503784314376131\ 8525/267086456274247165864156290623696150272*c_1100_0^8 + 7633257458924215812408453094970742746387179/26708645627424716586415\ 6290623696150272*c_1100_0^7 + 2286221511719224841898778576425121849\ 17261/4173225879285111966627442040995252348*c_1100_0^6 + 2880087598070940770065666993189424126863999/13354322813712358293207\ 8145311848075136*c_1100_0^5 - 3497904993109182550706652073207833529\ 896661/133543228137123582932078145311848075136*c_1100_0^4 - 7114993034474841002310248864370845654661503/26708645627424716586415\ 6290623696150272*c_1100_0^3 - 8603451696798147800268648468737866638\ 9345/10272556010547967917852165023988313472*c_1100_0^2 - 212558726362996478831092052552327014770947/267086456274247165864156\ 290623696150272*c_1100_0 + 7083762346577946754811963900984524084015\ /267086456274247165864156290623696150272, c_0101_0 + 95519817624364275740161/189799713807919536696704*c_1100_0^15 - 2557052183925944784604513/94899856903959768348352*c_1100_0^14 + 56346681792194309194459675/189799713807919536696704*c_1100_0^13 - 100549346104660346542806565/94899856903959768348352*c_1100_0^12 + 385755882563838312798159609/189799713807919536696704*c_1100_0^11 - 430978093452542449926080713/47449928451979884174176*c_1100_0^10 + 21155059674562714941468763/13557122414851395478336*c_1100_0^9 + 4317567938612002943641200063/189799713807919536696704*c_1100_0^8 + 23270262875458089175680733109/189799713807919536696704*c_1100_0^7 + 10988982209173114007178717693/47449928451979884174176*c_1100_0^6 + 8102648976311079701203343327/94899856903959768348352*c_1100_0^5 - 10728275863942514837951600509/94899856903959768348352*c_1100_0^4 - 20907399848561735911721954021/189799713807919536696704*c_1100_0^3 - 3201600815616673167218012411/94899856903959768348352*c_1100_0^2 - 591157837215314772476736581/189799713807919536696704*c_1100_0 + 20024351481057444789424325/189799713807919536696704, c_0101_1 + 66852680328963437562099804504675616825/934802596959865080524\ 547017182936525952*c_1100_0^15 - 1784249849192474262942453977643645\ 072489/467401298479932540262273508591468262976*c_1100_0^14 + 38854282208171023781285909123239380993603/9348025969598650805245470\ 17182936525952*c_1100_0^13 - 67061309159253899784001587753060463432\ 301/467401298479932540262273508591468262976*c_1100_0^12 + 244254812872761195211100227997620664535761/934802596959865080524547\ 017182936525952*c_1100_0^11 - 2877893015433559932095751373175138856\ 67121/233700649239966270131136754295734131488*c_1100_0^10 - 914717010001141345214780887682731207021/667716140685617914660390726\ 55924037568*c_1100_0^9 + 315675600406167679664692397664256391685520\ 7/934802596959865080524547017182936525952*c_1100_0^8 + 16709670708321790305347374010332983659385197/9348025969598650805245\ 47017182936525952*c_1100_0^7 + 829897150959056037778550382115027949\ 9924813/233700649239966270131136754295734131488*c_1100_0^6 + 7592794064422509944698889026303497058297815/46740129847993254026227\ 3508591468262976*c_1100_0^5 - 7468351004648480928026160650183615847\ 204501/467401298479932540262273508591468262976*c_1100_0^4 - 17064749678031961449183183786490744321963261/9348025969598650805245\ 47017182936525952*c_1100_0^3 - 220261727290171019886865689869830600\ 308559/35953946036917887712482577583959097152*c_1100_0^2 - 579186188152049668455363130073609688381245/934802596959865080524547\ 017182936525952*c_1100_0 + 1823563681045878715349062517856943986316\ 5/934802596959865080524547017182936525952, c_0101_5 + 5822710672261084713134556150117915749/2921258115499578376639\ 2094286966766436*c_1100_0^15 - 778803119766079685919731910614856301\ 15/7303145288748945941598023571741691609*c_1100_0^14 + 13690528761702021326713218192955696198373/1168503246199831350655683\ 77147867065744*c_1100_0^13 - 60600184798690886251728319992874207678\ 41/14606290577497891883196047143483383218*c_1100_0^12 + 45949736497059136565138973923230421230361/5842516230999156753278418\ 8573933532872*c_1100_0^11 - 207836546762780430856748361400541606768\ 587/58425162309991567532784188573933532872*c_1100_0^10 + 7673320341377714778180042886557399636257/16692903517140447866509768\ 163981009392*c_1100_0^9 + 26611215302866643014445093271953004367120\ 5/29212581154995783766392094286966766436*c_1100_0^8 + 5708941466377093167875735570949338769771107/11685032461998313506556\ 8377147867065744*c_1100_0^7 + 1092076231777646839676352279769498562\ 4491573/116850324619983135065568377147867065744*c_1100_0^6 + 1067255091695814584542747784750108431151811/29212581154995783766392\ 094286966766436*c_1100_0^5 - 52287555943698625742775132596822094166\ 80461/116850324619983135065568377147867065744*c_1100_0^4 - 1324811377748673963848598818746392121160961/29212581154995783766392\ 094286966766436*c_1100_0^3 - 12793648273826219786330595733326759817\ 7789/8988486509229471928120644395989774288*c_1100_0^2 - 157288009701108736294519216592559555477987/116850324619983135065568\ 377147867065744*c_1100_0 + 5341568711907197971787411088187533052421\ /116850324619983135065568377147867065744, c_1100_0^16 - 53*c_1100_0^15 + 561*c_1100_0^14 - 1787*c_1100_0^13 + 2903*c_1100_0^12 - 15871*c_1100_0^11 - 6634*c_1100_0^10 + 46849*c_1100_0^9 + 268024*c_1100_0^8 + 591717*c_1100_0^7 + 418322*c_1100_0^6 - 132548*c_1100_0^5 - 340039*c_1100_0^4 - 185479*c_1100_0^3 - 42563*c_1100_0^2 - 3164*c_1100_0 + 113 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB