Magma V2.19-8 Tue Aug 20 2013 16:16:05 on localhost [Seed = 4256981298] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0337 geometric_solution 4.36429707 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.589137505923 0.825440328566 0 1 1 0 0132 3201 2310 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.517760625436 0.058770933341 0 3 3 0 3201 0132 3201 0132 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.379570568096 0.424920551340 2 2 4 5 2310 0132 0132 0132 0 0 0 0 0 -1 0 1 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 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.094671931740 0.831051058620 6 5 5 3 0132 3012 1230 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 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 1.144484166363 0.831748726461 4 6 3 4 1230 0132 0132 3012 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 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 1.144484166363 0.831748726461 4 5 6 6 0132 0132 2031 1302 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 -1 0 0 1 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.600904579810 0.584210834365 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(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' : negation(d['1']), 's_2_5' : negation(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' : negation(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' : negation(d['1']), 'c_1100_6' : d['c_0101_3'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(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_0011_4']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_3']), '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_0'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 105755380546016104745615117627838019/764752645795094929991449168642\ 95320*c_0101_4^19 + 356933503477915830694457068032477581/3823763228\ 9754746499572458432147660*c_0101_4^18 + 1479163450759319431979836667574778617/76475264579509492999144916864\ 295320*c_0101_4^17 - 8349604026231436417837769177490520409/76475264\ 579509492999144916864295320*c_0101_4^16 - 31300587611459158649488393065774572451/3823763228975474649957245843\ 2147660*c_0101_4^15 - 71149094486225793207000302962576125977/764752\ 64579509492999144916864295320*c_0101_4^14 + 231258283055744014479804759752740836949/764752645795094929991449168\ 64295320*c_0101_4^13 + 595981387179981120382495525401112651143/7647\ 5264579509492999144916864295320*c_0101_4^12 - 34594115847943432098042898715303744701/7647526457950949299914491686\ 4295320*c_0101_4^11 - 309680852210508605368376523456640577509/15295\ 052915901898599828983372859064*c_0101_4^10 - 246937388843459466027938646083593868111/191188161448773732497862292\ 16073830*c_0101_4^9 + 2016602796494998000654993277608298861439/7647\ 5264579509492999144916864295320*c_0101_4^8 + 1484743451815882227038880024686532411829/76475264579509492999144916\ 864295320*c_0101_4^7 - 1360151277906859950443937480930551590691/764\ 75264579509492999144916864295320*c_0101_4^6 - 743725707468042154497646229600270679379/764752645795094929991449168\ 64295320*c_0101_4^5 + 443189671552537076418575494740530738733/76475\ 264579509492999144916864295320*c_0101_4^4 + 60873592609989860180821124780747359743/3823763228975474649957245843\ 2147660*c_0101_4^3 - 9676101916740032135953612987985757019/19118816\ 144877373249786229216073830*c_0101_4^2 - 25722875724704188034885873278551747/7647526457950949299914491686429\ 532*c_0101_4 - 805039391864456581457419405511918141/955940807243868\ 6624893114608036915, c_0011_0 - 1, c_0011_2 - 5621325727173322167446610362214175/3059010583180379719965796\ 6745718128*c_0101_4^19 - 17728829435681181177827218229827097/152950\ 52915901898599828983372859064*c_0101_4^18 - 62743116587887479484668241467663399/3059010583180379719965796674571\ 8128*c_0101_4^17 + 473818294058978351133976940907561119/30590105831\ 803797199657966745718128*c_0101_4^16 + 781572398058138801831017262550384145/764752645795094929991449168642\ 9532*c_0101_4^15 + 2393002966204497244573644732564519909/3059010583\ 1803797199657966745718128*c_0101_4^14 - 13544585575975911242469124736293632907/3059010583180379719965796674\ 5718128*c_0101_4^13 - 26318824766424954102914070032896409937/305901\ 05831803797199657966745718128*c_0101_4^12 + 13592747961773953495812417021400648573/3059010583180379719965796674\ 5718128*c_0101_4^11 + 79540219375568057585249395918404285057/305901\ 05831803797199657966745718128*c_0101_4^10 + 2624928286405897280612989267180445963/38237632289754746499572458432\ 14766*c_0101_4^9 - 121761607219617505025323679374700447819/30590105\ 831803797199657966745718128*c_0101_4^8 - 38126607247065680016568626193129538671/3059010583180379719965796674\ 5718128*c_0101_4^7 + 91565069469707478605382426472379948609/3059010\ 5831803797199657966745718128*c_0101_4^6 + 18484223563658894524445188042868646851/3059010583180379719965796674\ 5718128*c_0101_4^5 - 33352792485845482350289968099990553105/3059010\ 5831803797199657966745718128*c_0101_4^4 - 1659471890771093551130476284027179441/15295052915901898599828983372\ 859064*c_0101_4^3 + 1336349925434611010371033080036344171/764752645\ 7950949299914491686429532*c_0101_4^2 + 14913555276443871858571556241574823/1911881614487737324978622921607\ 383*c_0101_4 - 16503991259534194967069545809275279/1911881614487737\ 324978622921607383, c_0011_4 - 3285529653766017359254514910063603/3059010583180379719965796\ 6745718128*c_0101_4^19 - 5117878711779467146020670805550385/7647526\ 457950949299914491686429532*c_0101_4^18 - 35594164404855298721140668942516295/3059010583180379719965796674571\ 8128*c_0101_4^17 + 276643942891101472937112090764200889/30590105831\ 803797199657966745718128*c_0101_4^16 + 900441418107094456669114281343918071/152950529159018985998289833728\ 59064*c_0101_4^15 + 1302029683133566984461314489972039977/305901058\ 31803797199657966745718128*c_0101_4^14 - 7750873609231736659715303232873912337/30590105831803797199657966745\ 718128*c_0101_4^13 - 14615569743476978652172247163127296911/3059010\ 5831803797199657966745718128*c_0101_4^12 + 7929333507966006338597934766150025347/30590105831803797199657966745\ 718128*c_0101_4^11 + 43843989916778793036938375797173726363/3059010\ 5831803797199657966745718128*c_0101_4^10 + 5052561329917328960943127671622055023/15295052915901898599828983372\ 859064*c_0101_4^9 - 65890925889812827002106877881205427743/30590105\ 831803797199657966745718128*c_0101_4^8 - 16130323107864596449408670097749482661/3059010583180379719965796674\ 5718128*c_0101_4^7 + 46038113781968368045948555105884727571/3059010\ 5831803797199657966745718128*c_0101_4^6 + 6114716491876244408456520467105023565/30590105831803797199657966745\ 718128*c_0101_4^5 - 14913250277205899234031880412371412843/30590105\ 831803797199657966745718128*c_0101_4^4 - 51680603101771653054563747651899873/1911881614487737324978622921607\ 383*c_0101_4^3 + 130468692290399497585330808342620684/1911881614487\ 737324978622921607383*c_0101_4^2 + 9715574770931205310663097853085855/38237632289754746499572458432147\ 66*c_0101_4 - 6066445360093537987787963682031558/191188161448773732\ 4978622921607383, c_0101_0 + 284942664571217322084671513675317/30590105831803797199657966\ 745718128*c_0101_4^19 + 189008381284893006971197744715061/764752645\ 7950949299914491686429532*c_0101_4^18 - 2995957094018374685283902101050147/30590105831803797199657966745718\ 128*c_0101_4^17 - 33640097191567241877632083247296047/3059010583180\ 3797199657966745718128*c_0101_4^16 - 34641356192276801227630184012265111/1529505291590189859982898337285\ 9064*c_0101_4^15 + 419416146993771543589285482310296789/30590105831\ 803797199657966745718128*c_0101_4^14 + 950411998406886341441893300117719215/305901058318037971996579667457\ 18128*c_0101_4^13 - 1084006745818988362896324008468601795/305901058\ 31803797199657966745718128*c_0101_4^12 - 4412417459144312279133153029749210545/30590105831803797199657966745\ 718128*c_0101_4^11 - 697853235591845719349073394928881025/305901058\ 31803797199657966745718128*c_0101_4^10 + 5348365167264879252950958194533866889/15295052915901898599828983372\ 859064*c_0101_4^9 + 5332355308280611255032871315403279109/305901058\ 31803797199657966745718128*c_0101_4^8 - 16495286781297303654573811783573069573/3059010583180379719965796674\ 5718128*c_0101_4^7 - 1687165041716717941432446598892651553/30590105\ 831803797199657966745718128*c_0101_4^6 + 10854688790715926149360903007783959193/3059010583180379719965796674\ 5718128*c_0101_4^5 - 2706308888260549815145228969031495055/30590105\ 831803797199657966745718128*c_0101_4^4 - 629729573275497045920074480561589953/764752645795094929991449168642\ 9532*c_0101_4^3 + 328265788646465384449669451957082005/764752645795\ 0949299914491686429532*c_0101_4^2 + 3215519264498816138615858635390892/19118816144877373249786229216073\ 83*c_0101_4 - 5345730918885446751080729132995190/191188161448773732\ 4978622921607383, c_0101_1 + 2200352358689430711050004980978351/3059010583180379719965796\ 6745718128*c_0101_4^19 + 7482684663354451517970363269138929/1529505\ 2915901898599828983372859064*c_0101_4^18 + 30870588301250530691207125159302875/3059010583180379719965796674571\ 8128*c_0101_4^17 - 176509929956908893642846255656961807/30590105831\ 803797199657966745718128*c_0101_4^16 - 82496926698607690573221597888864225/1911881614487737324978622921607\ 383*c_0101_4^15 - 1493485097219814176513130080193704721/30590105831\ 803797199657966745718128*c_0101_4^14 + 5118282335515916210011419004079985459/30590105831803797199657966745\ 718128*c_0101_4^13 + 13029987070343758640917616810241310069/3059010\ 5831803797199657966745718128*c_0101_4^12 - 1555595200300849351816188582901057473/30590105831803797199657966745\ 718128*c_0101_4^11 - 35687948506230907164960295487211871965/3059010\ 5831803797199657966745718128*c_0101_4^10 - 5397476268339012673965755634310276623/76475264579509492999144916864\ 29532*c_0101_4^9 + 50056549629478664514353698096293126903/305901058\ 31803797199657966745718128*c_0101_4^8 + 37748448247238020846754147446945284743/3059010583180379719965796674\ 5718128*c_0101_4^7 - 38925654912806199966062979503467904029/3059010\ 5831803797199657966745718128*c_0101_4^6 - 23522494666510562714917010359066310967/3059010583180379719965796674\ 5718128*c_0101_4^5 + 16495716679060614601345459695832368157/3059010\ 5831803797199657966745718128*c_0101_4^4 + 2890044206278470603512038185088454115/15295052915901898599828983372\ 859064*c_0101_4^3 - 403532054386800024753554531635511813/3823763228\ 975474649957245843214766*c_0101_4^2 - 27833129815949700107932076794850969/1911881614487737324978622921607\ 383*c_0101_4 + 10235425588580774070243974523404480/1911881614487737\ 324978622921607383, c_0101_3 - 1439877142557286680627126793712519/3059010583180379719965796\ 6745718128*c_0101_4^19 - 2340531818534263598054916064379931/7647526\ 457950949299914491686429532*c_0101_4^18 - 17763560548981539289923425375337947/3059010583180379719965796674571\ 8128*c_0101_4^17 + 118685552884274369713218665897081357/30590105831\ 803797199657966745718128*c_0101_4^16 + 412531168878406537852793350184777207/152950529159018985998289833728\ 59064*c_0101_4^15 + 762222963788730235008692386854908837/3059010583\ 1803797199657966745718128*c_0101_4^14 - 3389108138067077801163882022930895749/30590105831803797199657966745\ 718128*c_0101_4^13 - 7435393861899120054819139060400869659/30590105\ 831803797199657966745718128*c_0101_4^12 + 2357462304503624802853564281460636831/30590105831803797199657966745\ 718128*c_0101_4^11 + 21324510784022892437420013902582784055/3059010\ 5831803797199657966745718128*c_0101_4^10 + 4509468877515657739151837012334806943/15295052915901898599828983372\ 859064*c_0101_4^9 - 31095139380824603672042265902627977043/30590105\ 831803797199657966745718128*c_0101_4^8 - 15595142695335741573272784095829799401/3059010583180379719965796674\ 5718128*c_0101_4^7 + 23372124220076666739307934794427459663/3059010\ 5831803797199657966745718128*c_0101_4^6 + 8960663801362597635295429503071345809/30590105831803797199657966745\ 718128*c_0101_4^5 - 9408251420097896963496393788779177815/305901058\ 31803797199657966745718128*c_0101_4^4 - 248465166291071173845084706781698721/382376322897547464995724584321\ 4766*c_0101_4^3 + 115668840230826829702846496797898121/191188161448\ 7737324978622921607383*c_0101_4^2 + 14163969426445972853501898317740435/3823763228975474649957245843214\ 766*c_0101_4 - 6069999481145907904496012892370302/19118816144877373\ 24978622921607383, c_0101_4^20 + 6*c_0101_4^19 + 9*c_0101_4^18 - 89*c_0101_4^17 - 532*c_0101_4^16 - 235*c_0101_4^15 + 2653*c_0101_4^14 + 3975*c_0101_4^13 - 4411*c_0101_4^12 - 14151*c_0101_4^11 + 1552*c_0101_4^10 + 25461*c_0101_4^9 - 455*c_0101_4^8 - 22903*c_0101_4^7 + 2587*c_0101_4^6 + 10151*c_0101_4^5 - 2170*c_0101_4^4 - 1988*c_0101_4^3 + 560*c_0101_4^2 + 112*c_0101_4 - 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB