Magma V2.19-8 Tue Aug 20 2013 16:17:05 on localhost [Seed = 3398129177] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1331 geometric_solution 5.21150333 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 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 -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.564496376104 0.950358033252 0 3 2 4 0132 0132 1230 0132 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 -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 1.087101211352 0.990496737713 3 0 4 1 2310 0132 2310 3012 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 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.087101211352 0.990496737713 3 1 2 3 3201 0132 3201 2310 0 0 0 0 0 0 0 0 1 0 -1 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.200037086588 0.615029019047 5 2 1 5 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.718947135251 0.219154609258 4 6 6 4 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.024467220650 0.325512584886 6 5 5 6 3201 0132 1023 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 -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 1.141557027675 0.219551169830 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 2134338237102882697811561449929016/87696186692522639103820353994909\ *c_0101_6^17 + 7347215502316390371832757167320984/87696186692522639\ 103820353994909*c_0101_6^16 - 67687654166031035610098412004911696/8\ 7696186692522639103820353994909*c_0101_6^15 + 236084331461682655395451014359321939/876961866925226391038203539949\ 09*c_0101_6^14 - 494203551344156428208927193883410428/8769618669252\ 2639103820353994909*c_0101_6^13 + 467259479311917436888956488562154\ 038/87696186692522639103820353994909*c_0101_6^12 + 65794548206772568380053477106750466/8769618669252263910382035399490\ 9*c_0101_6^11 - 860707111649708185123597177462159142/87696186692522\ 639103820353994909*c_0101_6^10 + 1271121232548075762290347783437788\ 277/87696186692522639103820353994909*c_0101_6^9 - 1074775177302121767435235073139877405/87696186692522639103820353994\ 909*c_0101_6^8 + 176945630885249421459000736541044167/8769618669252\ 2639103820353994909*c_0101_6^7 + 7672100497629774529322163257210291\ 40/87696186692522639103820353994909*c_0101_6^6 - 254594894705051146254319470784910593/876961866925226391038203539949\ 09*c_0101_6^5 - 309229332473621971827438982286268247/87696186692522\ 639103820353994909*c_0101_6^4 + 24804471456110111499262806021169014\ /87696186692522639103820353994909*c_0101_6^3 + 44691310828382087524570299864382219/8769618669252263910382035399490\ 9*c_0101_6^2 - 304383145263099717047141127141843/876961866925226391\ 03820353994909*c_0101_6 - 2582241081796624369874485804704113/876961\ 86692522639103820353994909, c_0011_0 - 1, c_0011_4 - 90574500147750459576353396368/30125794123161332567440863619*\ c_0101_6^17 - 330673869676276981301910278880/3012579412316133256744\ 0863619*c_0101_6^16 + 2778723692445560188125693169260/3012579412316\ 1332567440863619*c_0101_6^15 - 9548448376550858738478578899072/3012\ 5794123161332567440863619*c_0101_6^14 + 19661204161309693810513321229147/30125794123161332567440863619*c_01\ 01_6^13 - 17835553152243034129435700923172/301257941231613325674408\ 63619*c_0101_6^12 - 2714247432020756433550466636856/301257941231613\ 32567440863619*c_0101_6^11 + 33972690587005111342942565741665/30125\ 794123161332567440863619*c_0101_6^10 - 49248630183319078385419827065445/30125794123161332567440863619*c_01\ 01_6^9 + 43134967737799561710712328190441/3012579412316133256744086\ 3619*c_0101_6^8 - 6427984178283548492101537806758/30125794123161332\ 567440863619*c_0101_6^7 - 28026749618412671391448498840482/30125794\ 123161332567440863619*c_0101_6^6 + 8031455100049502923433567973549/30125794123161332567440863619*c_010\ 1_6^5 + 8697263885132102159688105461765/301257941231613325674408636\ 19*c_0101_6^4 - 953237049810789193336531944878/30125794123161332567\ 440863619*c_0101_6^3 - 1218746077427276149608204249328/301257941231\ 61332567440863619*c_0101_6^2 - 21815345418613927608061759800/301257\ 94123161332567440863619*c_0101_6 + 79144676548566621820181550680/30125794123161332567440863619, c_0101_0 + 125865740772847285797553125924/30125794123161332567440863619\ *c_0101_6^17 + 483880388929334132046472141354/301257941231613325674\ 40863619*c_0101_6^16 - 3767014604358444970594353980339/301257941231\ 61332567440863619*c_0101_6^15 + 12547670437921252423204762215545/30\ 125794123161332567440863619*c_0101_6^14 - 24895807581734325324675923960373/30125794123161332567440863619*c_01\ 01_6^13 + 19887506352441758252438347886813/301257941231613325674408\ 63619*c_0101_6^12 + 7992744346300956642313440170802/301257941231613\ 32567440863619*c_0101_6^11 - 46601270597525890319646142966228/30125\ 794123161332567440863619*c_0101_6^10 + 60401635941132735568434765718238/30125794123161332567440863619*c_01\ 01_6^9 - 48420635827894646831429248510699/3012579412316133256744086\ 3619*c_0101_6^8 - 1838533054064495231186346773262/30125794123161332\ 567440863619*c_0101_6^7 + 40873074696769007999468855918814/30125794\ 123161332567440863619*c_0101_6^6 - 5662975331087030878970366909526/30125794123161332567440863619*c_010\ 1_6^5 - 12482519187973264730161005537469/30125794123161332567440863\ 619*c_0101_6^4 + 86630985986791291664540231072/30125794123161332567\ 440863619*c_0101_6^3 + 1377731410222012001618712109581/301257941231\ 61332567440863619*c_0101_6^2 + 74135887024561325686163433801/301257\ 94123161332567440863619*c_0101_6 - 96755480407022102857786830031/30125794123161332567440863619, c_0101_1 + 119916143103899807807601608972/30125794123161332567440863619\ *c_0101_6^17 + 459091534103564636869296359334/301257941231613325674\ 40863619*c_0101_6^16 - 3597589120478888227302392639889/301257941231\ 61332567440863619*c_0101_6^15 + 12006478718163781801225987786963/30\ 125794123161332567440863619*c_0101_6^14 - 23874088985092118638998913057208/30125794123161332567440863619*c_01\ 01_6^13 + 19214726971695806974236576384672/301257941231613325674408\ 63619*c_0101_6^12 + 7515675364136284037061286255465/301257941231613\ 32567440863619*c_0101_6^11 - 44629877372361104960596808883001/30125\ 794123161332567440863619*c_0101_6^10 + 58116125083367371017135051384153/30125794123161332567440863619*c_01\ 01_6^9 - 46629136845386946349385039335768/3012579412316133256744086\ 3619*c_0101_6^8 - 1439964573253491539252290182364/30125794123161332\ 567440863619*c_0101_6^7 + 39237270030749520936365218778399/30125794\ 123161332567440863619*c_0101_6^6 - 5836977961920264648559954389195/30125794123161332567440863619*c_010\ 1_6^5 - 12192193334993238326338340198284/30125794123161332567440863\ 619*c_0101_6^4 + 178102689228426036131424542320/3012579412316133256\ 7440863619*c_0101_6^3 + 1388981184008392232671547434966/30125794123\ 161332567440863619*c_0101_6^2 + 69209192930941263765020774027/30125\ 794123161332567440863619*c_0101_6 - 86535307970238269359156568162/30125794123161332567440863619, c_0101_2 - 248502167418673757428908189124/30125794123161332567440863619\ *c_0101_6^17 - 937327236547300156475697672650/301257941231613325674\ 40863619*c_0101_6^16 + 7505214983814346345520505410543/301257941231\ 61332567440863619*c_0101_6^15 - 25311777522632399797330671412171/30\ 125794123161332567440863619*c_0101_6^14 + 51015743834015653753921172161922/30125794123161332567440863619*c_01\ 01_6^13 - 43167646857790428424805619856881/301257941231613325674408\ 63619*c_0101_6^12 - 11970770398656711616190862842907/30125794123161\ 332567440863619*c_0101_6^11 + 91506510966276316068877874894866/3012\ 5794123161332567440863619*c_0101_6^10 - 124663114325588427104834812691344/30125794123161332567440863619*c_0\ 101_6^9 + 104774380904955112678467421552921/30125794123161332567440\ 863619*c_0101_6^8 - 6240206252929073580151436963425/301257941231613\ 32567440863619*c_0101_6^7 - 76842429338982257213134119567525/301257\ 94123161332567440863619*c_0101_6^6 + 13607655731601442649972134252422/30125794123161332567440863619*c_01\ 01_6^5 + 24311685154265892895488370993434/3012579412316133256744086\ 3619*c_0101_6^4 - 294232565650489970346580081937/301257941231613325\ 67440863619*c_0101_6^3 - 3151990751519895531941281974669/3012579412\ 3161332567440863619*c_0101_6^2 - 169962977241331312049602572025/301\ 25794123161332567440863619*c_0101_6 + 200956914781247662354730443418/30125794123161332567440863619, c_0101_5 + 33920644390439615357725558348/30125794123161332567440863619*\ c_0101_6^17 + 131888939458252318917527706986/3012579412316133256744\ 0863619*c_0101_6^16 - 1008246069926283116782082649183/3012579412316\ 1332567440863619*c_0101_6^15 + 3342315529069937919317158396744/3012\ 5794123161332567440863619*c_0101_6^14 - 6597234802279910378482904204991/30125794123161332567440863619*c_010\ 1_6^13 + 5183637907861089708539912615906/30125794123161332567440863\ 619*c_0101_6^12 + 2156142828955755776979316415892/30125794123161332\ 567440863619*c_0101_6^11 - 12273373999961051772969270299542/3012579\ 4123161332567440863619*c_0101_6^10 + 15740267146850317776907949844573/30125794123161332567440863619*c_01\ 01_6^9 - 12663250320719175011123856456474/3012579412316133256744086\ 3619*c_0101_6^8 - 601133035310360083216607203718/301257941231613325\ 67440863619*c_0101_6^7 + 10502386189020239051383495182301/301257941\ 23161332567440863619*c_0101_6^6 - 916566052909697478562283462846/30\ 125794123161332567440863619*c_0101_6^5 - 3328893710419690986022619851489/30125794123161332567440863619*c_010\ 1_6^4 + 43208292392448073559312501542/30125794123161332567440863619\ *c_0101_6^3 + 308870314402796608844355228805/3012579412316133256744\ 0863619*c_0101_6^2 - 27800332273723353256681443747/3012579412316133\ 2567440863619*c_0101_6 - 23728646951138023147785999353/301257941231\ 61332567440863619, c_0101_6^18 + 7/2*c_0101_6^17 - 125/4*c_0101_6^16 + 110*c_0101_6^15 - 929/4*c_0101_6^14 + 907/4*c_0101_6^13 + 29/4*c_0101_6^12 - 1555/4*c_0101_6^11 + 604*c_0101_6^10 - 1099/2*c_0101_6^9 + 245/2*c_0101_6^8 + 321*c_0101_6^7 - 591/4*c_0101_6^6 - 353/4*c_0101_6^5 + 34*c_0101_6^4 + 49/4*c_0101_6^3 - 7/2*c_0101_6^2 - c_0101_6 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB