Magma V2.19-8 Tue Aug 20 2013 16:17:20 on localhost [Seed = 442205907] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1571 geometric_solution 5.35217818 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 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 1 -1 0 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.080972616332 0.617041602242 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 -1 0 1 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 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.116318783391 0.731113380819 4 1 5 3 0132 0132 0132 2031 0 0 0 0 0 1 -1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.345194696008 0.512678638559 5 2 4 1 1023 1302 2310 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.345194696008 0.512678638559 2 3 6 6 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.771761311421 2.060864359383 5 3 5 2 2310 1023 3201 0132 0 0 0 0 0 0 -1 1 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 1 0 -1 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.601762545647 0.898063907704 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.553975837149 0.384090955709 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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' : d['1'], 's_2_3' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : 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_3']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), '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_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 106373211874279215345261473295646283/104589350670769218996575077588\ 318272*c_0101_4^16 + 10566881850584676607195608462774677819/5229467\ 53353846094982875387941591360*c_0101_4^15 + 2279261088106275372722228749582633937/58105194817094010553652820882\ 399040*c_0101_4^14 - 51613939309787171987773171696525419661/5229467\ 53353846094982875387941591360*c_0101_4^13 - 94878555786491458547864227937296477919/2614733766769230474914376939\ 70795680*c_0101_4^12 - 1499022448779980897181656507274211267/454736\ 3072642139956372829460361664*c_0101_4^11 - 283739957710544511792955639981325333/174315584451282031660958462647\ 19712*c_0101_4^10 + 4739996016663323839292512606234985153/130736688\ 338461523745718846985397840*c_0101_4^9 + 39511963464791147519534814570301870597/2614733766769230474914376939\ 70795680*c_0101_4^8 + 950296668181745410091705732684166803/22736815\ 36321069978186414730180832*c_0101_4^7 + 14777858403537742002062776800686527387/2273681536321069978186414730\ 1808320*c_0101_4^6 + 22377991956373122264075431006431621877/6536834\ 4169230761872859423492698920*c_0101_4^5 + 24418693073230800220351786721292783001/2614733766769230474914376939\ 70795680*c_0101_4^4 + 4372421583182609076016836834034224589/6536834\ 4169230761872859423492698920*c_0101_4^3 - 625076385205867428801817640734246601/726314935213675131920660261029\ 9880*c_0101_4^2 - 3285513891533036210152174091610162559/10458935067\ 0769218996575077588318272*c_0101_4 - 640133580366335758415110089115374933/581051948170940105536528208823\ 99040, c_0011_0 - 1, c_0011_3 + 230489270236302073018148664237751/17431558445128203166095846\ 264719712*c_0101_4^16 + 1445583075426155300132565743320513/54473620\ 14102563489404951957724910*c_0101_4^15 + 3292041367710150183721425331142255/58105194817094010553652820882399\ 04*c_0101_4^14 - 48464064759461408977697350177193929/43578896112820\ 507915239615661799280*c_0101_4^13 - 106051196574295370936496827692076549/217894480564102539576198078308\ 99640*c_0101_4^12 - 21535188273733711587873590985217351/37894692272\ 01783296977357883634720*c_0101_4^11 - 67592451071894367065239545142726819/2905259740854700527682641044119\ 9520*c_0101_4^10 + 2974121972901444428792956696054981/8715779222564\ 1015830479231323598560*c_0101_4^9 + 298875048543001071590981061445624633/871577922256410158304792313235\ 98560*c_0101_4^8 + 25474077082371244994122777524629623/378946922720\ 1783296977357883634720*c_0101_4^7 + 9343129796756356056980080601923499/94736730680044582424433947090868\ 0*c_0101_4^6 + 82852786335148917853519964495468209/1089472402820512\ 6978809903915449820*c_0101_4^5 + 3411270001047083948502081865139795\ 5/8715779222564101583047923132359856*c_0101_4^4 + 5705648920739514343845665956063387/87157792225641015830479231323598\ 56*c_0101_4^3 - 39462052999390697504099204953660583/145262987042735\ 02638413205220599760*c_0101_4^2 - 125425012199350888364536549278156\ 313/87157792225641015830479231323598560*c_0101_4 - 3704238752795880394213147624622419/36315746760683756596033013051499\ 40, c_0011_6 + 5782699271042416622651228014415/2526312818134522197984905255\ 75648*c_0101_4^16 + 59450230154341952224241796888617/12631564090672\ 6109899245262787824*c_0101_4^15 + 303519257144684492044601984986087\ /252631281813452219798490525575648*c_0101_4^14 - 195939298692909297456396104059257/126315640906726109899245262787824\ *c_0101_4^13 - 304994890171518897476370991656465/315789102266815274\ 74811315696956*c_0101_4^12 - 3431293510726702944300596791874737/252\ 631281813452219798490525575648*c_0101_4^11 - 1616647387782934510950468545383631/25263128181345221979849052557564\ 8*c_0101_4^10 + 289779646178292539230141713159489/25263128181345221\ 9798490525575648*c_0101_4^9 + 1541311175533884922080314756369539/25\ 2631281813452219798490525575648*c_0101_4^8 + 3197820442120690518893201576319329/25263128181345221979849052557564\ 8*c_0101_4^7 + 2698111309875450438827482588345147/12631564090672610\ 9899245262787824*c_0101_4^6 + 2350480243726538447343418880982977/12\ 6315640906726109899245262787824*c_0101_4^5 + 58074368145570673148997920293816/7894727556670381868702828924239*c_\ 0101_4^4 + 45927313959328197137663685139725/63157820453363054949622\ 631393912*c_0101_4^3 - 51017609800250465087191269663921/15789455113\ 340763737405657848478*c_0101_4^2 - 796228362560673252107664372360727/252631281813452219798490525575648\ *c_0101_4 - 55725811618574835417877402911187/3157891022668152747481\ 1315696956, c_0101_0 + 64679136411336235081390873728759/290525974085470052768264104\ 4119952*c_0101_4^16 + 3347259052970773398587056843699771/7263149352\ 136751319206602610299880*c_0101_4^15 + 17873907394393228554830554749697967/1452629870427350263841320522059\ 9760*c_0101_4^14 - 2014417947593207028423740017979311/1452629870427\ 350263841320522059976*c_0101_4^13 - 35458032054906031096890265704477851/3631574676068375659603301305149\ 940*c_0101_4^12 - 9166550075474299200785636630778647/63157820453363\ 0549496226313939120*c_0101_4^11 - 102113812150307601593213178153204\ 739/14526298704273502638413205220599760*c_0101_4^10 + 6904545096896676705029896191479677/29052597408547005276826410441199\ 52*c_0101_4^9 + 116086408770324480806137965339767227/14526298704273\ 502638413205220599760*c_0101_4^8 + 8733529726457201844567425944007591/63157820453363054949622631393912\ 0*c_0101_4^7 + 1365627663508170729646469506741141/63157820453363054\ 949622631393912*c_0101_4^6 + 135922724112512195824599374423811289/7\ 263149352136751319206602610299880*c_0101_4^5 + 26688065049824122235077113130170257/3631574676068375659603301305149\ 940*c_0101_4^4 - 2934617627020109552264666141395669/181578733803418\ 7829801650652574970*c_0101_4^3 - 9817000126488114263656267243065513\ /1815787338034187829801650652574970*c_0101_4^2 - 55480993197303843544223936648928491/1452629870427350263841320522059\ 9760*c_0101_4 - 536385118405128540593992139424971/36315746760683756\ 5960330130514994, c_0101_1 - 239663054478261514386598004389567/87157792225641015830479231\ 32359856*c_0101_4^16 - 12080851233364012452193601969879183/21789448\ 056410253957619807830899640*c_0101_4^15 - 17717643516388228851474536964990431/1452629870427350263841320522059\ 9760*c_0101_4^14 + 52388946037239699001452923813902579/217894480564\ 10253957619807830899640*c_0101_4^13 + 117265813821632139801672948474663923/108947240282051269788099039154\ 49820*c_0101_4^12 + 22227114104443068873254482312018219/18947346136\ 00891648488678941817360*c_0101_4^11 + 27896582883763842921483156677721961/1452629870427350263841320522059\ 9760*c_0101_4^10 - 123671348860622309119010763241460491/43578896112\ 820507915239615661799280*c_0101_4^9 - 254224112872882299563413329456156601/435788961128205079152396156617\ 99280*c_0101_4^8 - 25019670061221652833325838075112067/189473461360\ 0891648488678941817360*c_0101_4^7 - 19667772610941200476524936348900733/9473673068004458242443394709086\ 80*c_0101_4^6 - 33962308403593797227015072539370894/272368100705128\ 1744702475978862455*c_0101_4^5 - 2481827096803928756587170765711109\ 3/10894724028205126978809903915449820*c_0101_4^4 + 17164548668165878861374549231742249/2178944805641025395761980783089\ 9640*c_0101_4^3 + 13386714962361942138415262114630077/3631574676068\ 375659603301305149940*c_0101_4^2 + 127217502739943123187222115248587497/435788961128205079152396156617\ 99280*c_0101_4 + 1777204597655305747089951624850849/181578733803418\ 7829801650652574970, c_0101_2 + 6993129348930505183055593896235/2526312818134522197984905255\ 75648*c_0101_4^16 + 35318980704632150779607726100669/63157820453363\ 054949622631393912*c_0101_4^15 + 317671371185528282375995038701365/\ 252631281813452219798490525575648*c_0101_4^14 - 280335433358395947004095770968525/126315640906726109899245262787824\ *c_0101_4^13 - 674115826811808694892641066267765/631578204533630549\ 49622631393912*c_0101_4^12 - 3302597245683188148034599930039449/252\ 631281813452219798490525575648*c_0101_4^11 - 1248345875107637040539838407056701/25263128181345221979849052557564\ 8*c_0101_4^10 + 266128887600440716816327655042333/25263128181345221\ 9798490525575648*c_0101_4^9 + 1630440829765019717816749482055221/25\ 2631281813452219798490525575648*c_0101_4^8 + 3421290398433187822941271658944729/25263128181345221979849052557564\ 8*c_0101_4^7 + 351668779844676435664860226828729/157894551133407637\ 37405657848478*c_0101_4^6 + 1027176810611232696990848026289339/6315\ 7820453363054949622631393912*c_0101_4^5 + 897574459441291263546435417155193/126315640906726109899245262787824\ *c_0101_4^4 + 101132618274978241504123688671081/1263156409067261098\ 99245262787824*c_0101_4^3 - 514719696655297952428960049541055/12631\ 5640906726109899245262787824*c_0101_4^2 - 750773061696517293628348811974613/252631281813452219798490525575648\ *c_0101_4 - 50021275536614422945532120016217/3157891022668152747481\ 1315696956, c_0101_4^17 + 103/5*c_0101_4^16 + 267/5*c_0101_4^15 - 317/5*c_0101_4^14 - 2102/5*c_0101_4^13 - 3107/5*c_0101_4^12 - 1716/5*c_0101_4^11 + 2*c_0101_4^10 + 272*c_0101_4^9 + 2936/5*c_0101_4^8 + 989*c_0101_4^7 + 4448/5*c_0101_4^6 + 2158/5*c_0101_4^5 + 364/5*c_0101_4^4 - 804/5*c_0101_4^3 - 781/5*c_0101_4^2 - 93*c_0101_4 - 72/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB