Magma V2.19-8 Tue Aug 20 2013 16:16:22 on localhost [Seed = 3886447367] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0642 geometric_solution 4.63017754 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 1.871827836725 0.531158848374 0 2 3 0 3201 0132 0132 0132 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 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.461864588398 0.819390805953 4 1 3 3 0132 0132 1302 2031 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 0 0 0 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.377945090756 0.405664673914 2 2 4 1 2031 1302 0132 0132 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 -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.377945090756 0.405664673914 2 5 5 3 0132 0132 3201 0132 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 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.538623291574 0.702089350076 4 4 6 6 2310 0132 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 2.206167856035 0.978191860350 5 6 6 5 3201 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.629751397157 0.133352408554 ==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' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_1_2' : negation(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' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], '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_4'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_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_0011_6, c_0101_0, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 377192622256463723291280056697340031558/141617892550721345126249977\ 96676557119*c_0101_5^20 - 185766584967695562053012466264813645291/1\ 573532139452459390291666421852950791*c_0101_5^19 - 298823648355800327100992600278495401883/157353213945245939029166642\ 1852950791*c_0101_5^18 + 2400774549370889858344621814445458616320/1\ 573532139452459390291666421852950791*c_0101_5^17 - 94826857926803059237426089263716179797485/1416178925507213451262499\ 7796676557119*c_0101_5^16 - 147446744469244037212460785686066279410\ 576/14161789255072134512624997796676557119*c_0101_5^15 + 718328619434049523806705757064654812142615/141617892550721345126249\ 97796676557119*c_0101_5^14 + 51972305164991804833468910038293808237\ 4450/14161789255072134512624997796676557119*c_0101_5^13 - 613950972131116735032983115546047046757345/472059641835737817087499\ 9265558852373*c_0101_5^12 - 511785562272374568435078868859349741741\ 37/615729967611831935331521643333763353*c_0101_5^11 + 761763018622065906746575997180742020048770/472059641835737817087499\ 9265558852373*c_0101_5^10 + 148680456301207412428916758489440594351\ 8741/14161789255072134512624997796676557119*c_0101_5^9 - 1615442506622341112521835171063108493894850/14161789255072134512624\ 997796676557119*c_0101_5^8 - 11247225239695925904498239667199324728\ 30967/14161789255072134512624997796676557119*c_0101_5^7 + 164364302201212367775529370077206237884702/472059641835737817087499\ 9265558852373*c_0101_5^6 + 1669787792369365446042270358924219952407\ 39/4720596418357378170874999265558852373*c_0101_5^5 + 111480723873922348896161951826907508969197/141617892550721345126249\ 97796676557119*c_0101_5^4 - 260809566713634804286000064801568743892\ 4/1573532139452459390291666421852950791*c_0101_5^3 - 41536848528363426117662057853770345209118/1416178925507213451262499\ 7796676557119*c_0101_5^2 - 1611556497584164963298911794902287443919\ 1/14161789255072134512624997796676557119*c_0101_5 + 3275995989895270998563509893256529615317/14161789255072134512624997\ 796676557119, c_0011_0 - 1, c_0011_1 + 70059200606407599795072896603386829/157353213945245939029166\ 6421852950791*c_0101_5^20 - 320546572145219247487554993315527270/15\ 73532139452459390291666421852950791*c_0101_5^19 - 460220975680478435734169023590420397/157353213945245939029166642185\ 2950791*c_0101_5^18 + 4109268096800957317765986031048711265/1573532\ 139452459390291666421852950791*c_0101_5^17 - 18167474730948120062510751561797765005/1573532139452459390291666421\ 852950791*c_0101_5^16 - 25140027598364808098638127130379273265/1573\ 532139452459390291666421852950791*c_0101_5^15 + 138771879167969469712016838256726130741/157353213945245939029166642\ 1852950791*c_0101_5^14 + 78459709885187891373535827206943020691/157\ 3532139452459390291666421852950791*c_0101_5^13 - 364354468929055591933815435138814868586/157353213945245939029166642\ 1852950791*c_0101_5^12 - 170475324148556440187207560628295531414/15\ 73532139452459390291666421852950791*c_0101_5^11 + 468721594484820615035989001249374577726/157353213945245939029166642\ 1852950791*c_0101_5^10 + 216939034274767689748528886217089787172/15\ 73532139452459390291666421852950791*c_0101_5^9 - 341105234816231969195989025543626110826/157353213945245939029166642\ 1852950791*c_0101_5^8 - 168211100031008517685941888543991329999/157\ 3532139452459390291666421852950791*c_0101_5^7 + 110316497852870777875871140597052094438/157353213945245939029166642\ 1852950791*c_0101_5^6 + 82523323376918571738785697352223476877/1573\ 532139452459390291666421852950791*c_0101_5^5 + 19910403751249026131051252698898943079/1573532139452459390291666421\ 852950791*c_0101_5^4 - 9853539336818248364920346122922008161/157353\ 2139452459390291666421852950791*c_0101_5^3 - 10200448238919089104711576617020998969/1573532139452459390291666421\ 852950791*c_0101_5^2 - 2208535100831383664342559455221688144/157353\ 2139452459390291666421852950791*c_0101_5 - 793002566256860986396011301387139639/157353213945245939029166642185\ 2950791, c_0011_3 - 74747211695931616179986037053724848/157353213945245939029166\ 6421852950791*c_0101_5^20 + 289566383465122459644169509722490432/15\ 73532139452459390291666421852950791*c_0101_5^19 + 720647972113028634127347704107147442/157353213945245939029166642185\ 2950791*c_0101_5^18 - 3991428244666547436175217844532393812/1573532\ 139452459390291666421852950791*c_0101_5^17 + 16356589498234658667142527061808939867/1573532139452459390291666421\ 852950791*c_0101_5^16 + 39864105379512899338736404508699810760/1573\ 532139452459390291666421852950791*c_0101_5^15 - 126439102738555451061587762544861659398/157353213945245939029166642\ 1852950791*c_0101_5^14 - 184950465563474290235642523063836846580/15\ 73532139452459390291666421852950791*c_0101_5^13 + 312449232242528616184708250881805770434/157353213945245939029166642\ 1852950791*c_0101_5^12 + 449180435767737272107585519296181248317/15\ 73532139452459390291666421852950791*c_0101_5^11 - 340171076351052003770938319616959581180/157353213945245939029166642\ 1852950791*c_0101_5^10 - 571387121086830241784451445598103341509/15\ 73532139452459390291666421852950791*c_0101_5^9 + 181486581164063235753356683906238878680/157353213945245939029166642\ 1852950791*c_0101_5^8 + 425880065069843815712281836188758557125/157\ 3532139452459390291666421852950791*c_0101_5^7 + 5658930288101108473098500554577590715/15735321394524593902916664218\ 52950791*c_0101_5^6 - 167612760311626558117051504092763096906/15735\ 32139452459390291666421852950791*c_0101_5^5 - 70108000426779341694625797827376464207/1573532139452459390291666421\ 852950791*c_0101_5^4 - 6224366236054198955527311269318880518/157353\ 2139452459390291666421852950791*c_0101_5^3 + 13537642808301172152527321697994258212/1573532139452459390291666421\ 852950791*c_0101_5^2 + 8342311524934638619873602181619055680/157353\ 2139452459390291666421852950791*c_0101_5 + 355529220452964715320700231464026622/157353213945245939029166642185\ 2950791, c_0011_6 - 113712719393685556870143091427505590/15735321394524593902916\ 66421852950791*c_0101_5^20 + 498752069973511323165939331051616373/1\ 573532139452459390291666421852950791*c_0101_5^19 + 839654399220964055806889602022016220/157353213945245939029166642185\ 2950791*c_0101_5^18 - 6508463183334287673179253415203391984/1573532\ 139452459390291666421852950791*c_0101_5^17 + 28292667225167581904292949500181456768/1573532139452459390291666421\ 852950791*c_0101_5^16 + 46089019495394085137027593806539756364/1573\ 532139452459390291666421852950791*c_0101_5^15 - 216359322130944154529158377149925789741/157353213945245939029166642\ 1852950791*c_0101_5^14 - 166211837311004480057024856745371960242/15\ 73532139452459390291666421852950791*c_0101_5^13 + 558139611528270666039063804454926447570/157353213945245939029166642\ 1852950791*c_0101_5^12 + 371277581994777218233207804048397040465/15\ 73532139452459390291666421852950791*c_0101_5^11 - 687442771458197625314851512998664478227/157353213945245939029166642\ 1852950791*c_0101_5^10 - 460715602517486412452426204043554461529/15\ 73532139452459390291666421852950791*c_0101_5^9 + 472798651248311162387328126000865760037/157353213945245939029166642\ 1852950791*c_0101_5^8 + 341749843246037047551646563406200436760/157\ 3532139452459390291666421852950791*c_0101_5^7 - 129527382977233700127216142339879210371/157353213945245939029166642\ 1852950791*c_0101_5^6 - 147699697014167893209412616543782087022/157\ 3532139452459390291666421852950791*c_0101_5^5 - 47660859696820172305960590653541230165/1573532139452459390291666421\ 852950791*c_0101_5^4 + 5785424171285729721521460217445400871/157353\ 2139452459390291666421852950791*c_0101_5^3 + 13629985337913147235015560518455342713/1573532139452459390291666421\ 852950791*c_0101_5^2 + 5794443871897242602858330317296353094/157353\ 2139452459390291666421852950791*c_0101_5 + 528084954280029035975837467488780489/157353213945245939029166642185\ 2950791, c_0101_0 + 364417468583269761815524818808139435/15735321394524593902916\ 66421852950791*c_0101_5^20 - 1559508192742876940870749521353323963/\ 1573532139452459390291666421852950791*c_0101_5^19 - 2821642578224163280007517724448190402/15735321394524593902916664218\ 52950791*c_0101_5^18 + 20378093023244548141812487191731016629/15735\ 32139452459390291666421852950791*c_0101_5^17 - 3853087629040441261289943548426696997/68414440845759103925724627037\ 084817*c_0101_5^16 - 155138158914817818170412442672307788108/157353\ 2139452459390291666421852950791*c_0101_5^15 + 666568202631619738866742674696567669820/157353213945245939029166642\ 1852950791*c_0101_5^14 + 597257386199469465442964659886364538349/15\ 73532139452459390291666421852950791*c_0101_5^13 - 1658952482625307301620158754171084990926/15735321394524593902916664\ 21852950791*c_0101_5^12 - 1364387709846133198389605426916820473742/\ 1573532139452459390291666421852950791*c_0101_5^11 + 1920534425918193453967708629536150789266/15735321394524593902916664\ 21852950791*c_0101_5^10 + 1671108861290165546707218531387355708517/\ 1573532139452459390291666421852950791*c_0101_5^9 - 1200333226482866649764284848376874842198/15735321394524593902916664\ 21852950791*c_0101_5^8 - 1200967799990325108708536591081521694978/1\ 573532139452459390291666421852950791*c_0101_5^7 + 210052629192219457851452876052390303662/157353213945245939029166642\ 1852950791*c_0101_5^6 + 469117022518552746263634588816645796244/157\ 3532139452459390291666421852950791*c_0101_5^5 + 213773681465552917571449762348080804002/157353213945245939029166642\ 1852950791*c_0101_5^4 + 27002243480690647867308485880823808023/1573\ 532139452459390291666421852950791*c_0101_5^3 - 37492688514793224843143788901570873522/1573532139452459390291666421\ 852950791*c_0101_5^2 - 19949358278167066675843721849099917540/15735\ 32139452459390291666421852950791*c_0101_5 - 887622977151478971280379705669032642/157353213945245939029166642185\ 2950791, c_0101_4 + 70166901789666182845531689932275268/157353213945245939029166\ 6421852950791*c_0101_5^20 - 323688320066042574945867679376274861/15\ 73532139452459390291666421852950791*c_0101_5^19 - 19325502933003328557618241320475911/6841444084575910392572462703708\ 4817*c_0101_5^18 + 179151514288241090968007432846540122/68414440845\ 759103925724627037084817*c_0101_5^17 - 18411806228978878550853331634698934616/1573532139452459390291666421\ 852950791*c_0101_5^16 - 24283880427492608599520987301765884468/1573\ 532139452459390291666421852950791*c_0101_5^15 + 139210289078049715847180810877768001934/157353213945245939029166642\ 1852950791*c_0101_5^14 + 69923788269646206579813096118085815073/157\ 3532139452459390291666421852950791*c_0101_5^13 - 361800008569394086800007300941603923495/157353213945245939029166642\ 1852950791*c_0101_5^12 - 139493777743729028370275600424538363947/15\ 73532139452459390291666421852950791*c_0101_5^11 + 462339263961339462546892237934723939026/157353213945245939029166642\ 1852950791*c_0101_5^10 + 161779107283318156797009100356400485438/15\ 73532139452459390291666421852950791*c_0101_5^9 - 344297899907383317775590753156603696089/157353213945245939029166642\ 1852950791*c_0101_5^8 - 115301955251196289550911706726985888063/157\ 3532139452459390291666421852950791*c_0101_5^7 + 125631152937480769914720451535754720731/157353213945245939029166642\ 1852950791*c_0101_5^6 + 54492684706567874815877837239971530003/1573\ 532139452459390291666421852950791*c_0101_5^5 + 215628686410124888705611641202978835/684144408457591039257246270370\ 84817*c_0101_5^4 - 6223525701894301085397728098762123177/1573532139\ 452459390291666421852950791*c_0101_5^3 - 3581130030391846247879569929389669558/15735321394524593902916664218\ 52950791*c_0101_5^2 + 1512090053732934000767225760951589162/1573532\ 139452459390291666421852950791*c_0101_5 + 829958365402206394247392703699191726/157353213945245939029166642185\ 2950791, c_0101_5^21 - 4*c_0101_5^20 - 9*c_0101_5^19 + 54*c_0101_5^18 - 227*c_0101_5^17 - 497*c_0101_5^16 + 1724*c_0101_5^15 + 2181*c_0101_5^14 - 4201*c_0101_5^13 - 5152*c_0101_5^12 + 4492*c_0101_5^11 + 6376*c_0101_5^10 - 2322*c_0101_5^9 - 4602*c_0101_5^8 - 148*c_0101_5^7 + 1722*c_0101_5^6 + 905*c_0101_5^5 + 136*c_0101_5^4 - 112*c_0101_5^3 - 90*c_0101_5^2 - 15*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB