Magma V2.19-8 Tue Aug 20 2013 16:17:49 on localhost [Seed = 1629552003] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2053 geometric_solution 5.58020064 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 -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.288968755247 0.161610124536 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 1 -1 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 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 1.872269629970 1.378499840835 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 -1 0 1 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 0 -1 0 1 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.675592323519 0.440365675910 2 4 6 5 0132 0321 0132 0132 0 0 0 0 0 -1 1 0 -1 0 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 -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.689638418967 0.952712315980 6 5 2 3 1023 2310 0132 0321 0 0 0 0 0 0 -1 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 -1 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.689638418967 0.952712315980 5 5 3 4 1230 3012 0132 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.394593377650 0.584141366399 6 4 6 3 2310 1023 3201 0132 0 0 0 0 0 1 0 -1 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 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.139526223418 1.003028708037 ==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' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : 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' : 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' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_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' : 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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_2'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_2'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 582479459483348183923221718671777681207/104963167265809025654765674\ 8291023536*c_0101_0*c_0101_3^18 + 496570882591351824043757501319273\ 504807/131203959082261282068457093536377942*c_0101_0*c_0101_3^17 + 16197066009722248900182519649831475605747/1049631672658090256547656\ 748291023536*c_0101_0*c_0101_3^16 + 10037771977558888789305574280247569269549/1049631672658090256547656\ 748291023536*c_0101_0*c_0101_3^15 - 49093012458293661298446714139426469198755/2624079181645225641369141\ 87072755884*c_0101_0*c_0101_3^14 + 357446937090936046091192273712700273317491/524815836329045128273828\ 374145511768*c_0101_0*c_0101_3^13 - 179464334756207778240519806288949446491845/524815836329045128273828\ 374145511768*c_0101_0*c_0101_3^12 - 1579337189046830636454936211518733429938003/10496316726580902565476\ 56748291023536*c_0101_0*c_0101_3^11 + 1412362795706228995691851865939717190455597/52481583632904512827382\ 8374145511768*c_0101_0*c_0101_3^10 - 121740874692214408074514559983302360966339/104963167265809025654765\ 6748291023536*c_0101_0*c_0101_3^9 - 2389096051449557739778003069406602576739071/52481583632904512827382\ 8374145511768*c_0101_0*c_0101_3^8 + 1164671733787207175698305762635270235538853/10496316726580902565476\ 56748291023536*c_0101_0*c_0101_3^7 + 2866361339749700157667638256240151745189119/10496316726580902565476\ 56748291023536*c_0101_0*c_0101_3^6 + 56400625218861551005881257832845582515469/5248158363290451282738283\ 74145511768*c_0101_0*c_0101_3^5 - 330986845997146619313818458476587\ 678099503/1049631672658090256547656748291023536*c_0101_0*c_0101_3^4 - 207765311434164974893979341727552724411005/1049631672658090256547\ 656748291023536*c_0101_0*c_0101_3^3 - 1300868874880563181196120729777174945627/10496316726580902565476567\ 48291023536*c_0101_0*c_0101_3^2 + 404988937014422467539774671603337\ 8567225/262407918164522564136914187072755884*c_0101_0*c_0101_3 - 772186515108694315887299980521624282009/104963167265809025654765674\ 8291023536*c_0101_0, c_0011_0 - 1, c_0011_2 + 15374953136646258510961320702627/692734736442773400572635129\ 54793*c_0101_3^18 + 101949592494076699285240121009939/6927347364427\ 7340057263512954793*c_0101_3^17 + 407912536701940594921577167868079\ /69273473644277340057263512954793*c_0101_3^16 + 185285896866872175103431036023159/69273473644277340057263512954793*\ c_0101_3^15 - 5229251362173284937219246572590792/692734736442773400\ 57263512954793*c_0101_3^14 + 19847046527076968513577750754091984/69\ 273473644277340057263512954793*c_0101_3^13 - 13123608774139449081411109243975426/6927347364427734005726351295479\ 3*c_0101_3^12 - 39534573740139271507962702764533877/692734736442773\ 40057263512954793*c_0101_3^11 + 81968642193272659414679992353951446\ /69273473644277340057263512954793*c_0101_3^10 - 17702413745162467307272578256270044/6927347364427734005726351295479\ 3*c_0101_3^9 - 123816278002984486914781262863114665/692734736442773\ 40057263512954793*c_0101_3^8 + 53252395346685013597774487859082298/\ 69273473644277340057263512954793*c_0101_3^7 + 68325775755760308337139557157593865/6927347364427734005726351295479\ 3*c_0101_3^6 - 8982480627613512587193925283235789/69273473644277340\ 057263512954793*c_0101_3^5 - 8817512744251785000411097760418136/692\ 73473644277340057263512954793*c_0101_3^4 - 4670355872176005825259880339834601/69273473644277340057263512954793\ *c_0101_3^3 + 875493247257529044989727643320867/6927347364427734005\ 7263512954793*c_0101_3^2 + 322830332272105558100009018534424/692734\ 73644277340057263512954793*c_0101_3 - 77700647997416168475264444169711/69273473644277340057263512954793, c_0011_4 - 17497860804830522441600189478015601/131203959082261282068457\ 093536377942*c_0101_0*c_0101_3^18 - 57652807165700709281440693540970425/6560197954113064103422854676818\ 8971*c_0101_0*c_0101_3^17 - 458487841644751567073217708309820987/13\ 1203959082261282068457093536377942*c_0101_0*c_0101_3^16 - 185018986890306793228934260462420041/131203959082261282068457093536\ 377942*c_0101_0*c_0101_3^15 + 2993746596524787782340607471817500008\ /65601979541130641034228546768188971*c_0101_0*c_0101_3^14 - 11407017206147018792767060927656341068/6560197954113064103422854676\ 8188971*c_0101_0*c_0101_3^13 + 776767433130167682312936829179838614\ 0/65601979541130641034228546768188971*c_0101_0*c_0101_3^12 + 45522509550978873111051194422052090193/1312039590822612820684570935\ 36377942*c_0101_0*c_0101_3^11 - 47750942264329956098970106791079232\ 587/65601979541130641034228546768188971*c_0101_0*c_0101_3^10 + 20941353186031472267024864621957214997/1312039590822612820684570935\ 36377942*c_0101_0*c_0101_3^9 + 723924422820479076439704321396963190\ 56/65601979541130641034228546768188971*c_0101_0*c_0101_3^8 - 65620347789380150248949922837954284083/1312039590822612820684570935\ 36377942*c_0101_0*c_0101_3^7 - 845382394467759205744140439476776241\ 51/131203959082261282068457093536377942*c_0101_0*c_0101_3^6 + 7607724136720994797581358880643063332/65601979541130641034228546768\ 188971*c_0101_0*c_0101_3^5 + 15812029476111336774243297328564460277\ /131203959082261282068457093536377942*c_0101_0*c_0101_3^4 + 4808429101623290958425257993020379097/13120395908226128206845709353\ 6377942*c_0101_0*c_0101_3^3 - 1964995100881712284543171505998090125\ /131203959082261282068457093536377942*c_0101_0*c_0101_3^2 - 373932512201065235047808881813106817/656019795411306410342285467681\ 88971*c_0101_0*c_0101_3 + 18532370584199063435839460244389781/13120\ 3959082261282068457093536377942*c_0101_0, c_0011_5 - 88336313579199788956766929495003297/131203959082261282068457\ 093536377942*c_0101_0*c_0101_3^18 - 302215979331131576175584053246152992/656019795411306410342285467681\ 88971*c_0101_0*c_0101_3^17 - 2470613772895444131012170812232162581/\ 131203959082261282068457093536377942*c_0101_0*c_0101_3^16 - 1582733946492385265893728317719430185/13120395908226128206845709353\ 6377942*c_0101_0*c_0101_3^15 + 148615818705257429265392333706187952\ 62/65601979541130641034228546768188971*c_0101_0*c_0101_3^14 - 53887014893540444198496688681961200161/6560197954113064103422854676\ 8188971*c_0101_0*c_0101_3^13 + 261396810363474179728079371595432750\ 12/65601979541130641034228546768188971*c_0101_0*c_0101_3^12 + 239803901882927188331549853991634888041/131203959082261282068457093\ 536377942*c_0101_0*c_0101_3^11 - 2113752657442684008539492255338573\ 05161/65601979541130641034228546768188971*c_0101_0*c_0101_3^10 + 11079365981595587896503998916208322803/1312039590822612820684570935\ 36377942*c_0101_0*c_0101_3^9 + 360825875053681859447866956952453185\ 809/65601979541130641034228546768188971*c_0101_0*c_0101_3^8 - 160825640065723621204313198628238357063/131203959082261282068457093\ 536377942*c_0101_0*c_0101_3^7 - 43250954044586486198039170005892094\ 1711/131203959082261282068457093536377942*c_0101_0*c_0101_3^6 - 13548524989182896960412671592701303731/6560197954113064103422854676\ 8188971*c_0101_0*c_0101_3^5 + 4668651526919884637389346422587439874\ 9/131203959082261282068457093536377942*c_0101_0*c_0101_3^4 + 31575519251958055842639274534952297449/1312039590822612820684570935\ 36377942*c_0101_0*c_0101_3^3 + 784477360274178862719742376313992257\ /131203959082261282068457093536377942*c_0101_0*c_0101_3^2 - 1054985387711370281979888566529607952/65601979541130641034228546768\ 188971*c_0101_0*c_0101_3 - 2873539816358040698797810635385811/13120\ 3959082261282068457093536377942*c_0101_0, c_0101_0^2 - 13876201021098381185181630884344/6927347364427734005726351\ 2954793*c_0101_3^18 - 93855989367121965077765827571432/692734736442\ 77340057263512954793*c_0101_3^17 - 381332008416060854657888955865420/69273473644277340057263512954793*\ c_0101_3^16 - 222974058451094610138259618478701/6927347364427734005\ 7263512954793*c_0101_3^15 + 4668437142884238556311687000585758/6927\ 3473644277340057263512954793*c_0101_3^14 - 17311612882810353913787932650235540/6927347364427734005726351295479\ 3*c_0101_3^13 + 9773371846200239438159879358777462/6927347364427734\ 0057263512954793*c_0101_3^12 + 36187797792604475920336696985211575/\ 69273473644277340057263512954793*c_0101_3^11 - 68982543476694025894138869108103789/6927347364427734005726351295479\ 3*c_0101_3^10 + 8729827273977418641000997644829060/6927347364427734\ 0057263512954793*c_0101_3^9 + 110134730541422225856644310949749732/\ 69273473644277340057263512954793*c_0101_3^8 - 34065559583966477729622741012870345/6927347364427734005726351295479\ 3*c_0101_3^7 - 60814980424180392534123386402487722/6927347364427734\ 0057263512954793*c_0101_3^6 + 369474981230438663433946131691202/692\ 73473644277340057263512954793*c_0101_3^5 + 5037920534430265349275442224760722/69273473644277340057263512954793\ *c_0101_3^4 + 3762071171165767437973162506771787/692734736442773400\ 57263512954793*c_0101_3^3 - 462963739031110216932444059506672/69273\ 473644277340057263512954793*c_0101_3^2 - 250086885525739712091440188219586/69273473644277340057263512954793*\ c_0101_3 + 17718709442855001293584434399397/69273473644277340057263\ 512954793, c_0101_1 - 13876201021098381185181630884344/692734736442773400572635129\ 54793*c_0101_3^18 - 93855989367121965077765827571432/69273473644277\ 340057263512954793*c_0101_3^17 - 381332008416060854657888955865420/\ 69273473644277340057263512954793*c_0101_3^16 - 222974058451094610138259618478701/69273473644277340057263512954793*\ c_0101_3^15 + 4668437142884238556311687000585758/692734736442773400\ 57263512954793*c_0101_3^14 - 17311612882810353913787932650235540/69\ 273473644277340057263512954793*c_0101_3^13 + 9773371846200239438159879358777462/69273473644277340057263512954793\ *c_0101_3^12 + 36187797792604475920336696985211575/6927347364427734\ 0057263512954793*c_0101_3^11 - 68982543476694025894138869108103789/\ 69273473644277340057263512954793*c_0101_3^10 + 8729827273977418641000997644829060/69273473644277340057263512954793\ *c_0101_3^9 + 110134730541422225856644310949749732/6927347364427734\ 0057263512954793*c_0101_3^8 - 34065559583966477729622741012870345/6\ 9273473644277340057263512954793*c_0101_3^7 - 60814980424180392534123386402487722/6927347364427734005726351295479\ 3*c_0101_3^6 + 369474981230438663433946131691202/692734736442773400\ 57263512954793*c_0101_3^5 + 5037920534430265349275442224760722/6927\ 3473644277340057263512954793*c_0101_3^4 + 3762071171165767437973162506771787/69273473644277340057263512954793\ *c_0101_3^3 - 462963739031110216932444059506672/6927347364427734005\ 7263512954793*c_0101_3^2 - 250086885525739712091440188219586/692734\ 73644277340057263512954793*c_0101_3 + 86992183087132341350847947354190/69273473644277340057263512954793, c_0101_3^19 + 7*c_0101_3^18 + 29*c_0101_3^17 + 22*c_0101_3^16 - 335*c_0101_3^15 + 1166*c_0101_3^14 - 384*c_0101_3^13 - 2863*c_0101_3^12 + 4379*c_0101_3^11 + 757*c_0101_3^10 - 8397*c_0101_3^9 + 517*c_0101_3^8 + 5558*c_0101_3^7 + 1037*c_0101_3^6 - 703*c_0101_3^5 - 482*c_0101_3^4 - 50*c_0101_3^3 + 41*c_0101_3^2 + 5*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB