Magma V2.19-8 Tue Aug 20 2013 16:16:58 on localhost [Seed = 964208109] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1226 geometric_solution 5.12158127 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 1 -1 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 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.231512787821 0.468550229520 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 0 0 0 -1 0 0 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.439108300135 1.111522106436 3 0 4 1 0132 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.439108300135 1.111522106436 2 1 5 5 0132 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 -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 -1.254050364158 0.471183831529 4 4 1 2 1230 3012 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 -1 1 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 1.206878641253 1.138792841725 3 6 6 3 3201 0132 3201 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 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 0 0 -0.014721384318 0.562584078498 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.246619164300 0.712445246778 ==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' : d['c_0011_5'], 'c_1100_4' : d['c_0101_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], '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' : negation(d['c_0011_5']), '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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_4']), '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_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_4']), '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_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 688279992943375266952796469494707883013/114593317352320959838647807\ 9229399312*c_0101_6^17 + 2757417121005539121666569529582929336583/1\ 145933173523209598386478079229399312*c_0101_6^16 - 7959591300850160285947027266471508414567/57296658676160479919323903\ 9614699656*c_0101_6^15 + 3673084589183572012990866164715106691851/1\ 145933173523209598386478079229399312*c_0101_6^14 + 31388911852926948661729149555720212282765/1145933173523209598386478\ 079229399312*c_0101_6^13 - 1449707427298820216022822233062106770602\ 5/1145933173523209598386478079229399312*c_0101_6^12 - 1252978588051273625108586149157500337117/10417574304756450894422527\ 9929945392*c_0101_6^11 + 2104866702426078670443675568604025385829/1\ 43241646690401199798309759903674914*c_0101_6^10 + 18980993743989457534145639223393695674165/1145933173523209598386478\ 079229399312*c_0101_6^9 - 366709258319911892507679434489283716885/2\ 6649608686586269729918094865799984*c_0101_6^8 - 4857737585382655984711929738913256092911/28648329338080239959661951\ 9807349828*c_0101_6^7 + 9703514111971959697825024017672337928285/11\ 45933173523209598386478079229399312*c_0101_6^6 - 84499186887147230885872253416141655283/2664960868658626972991809486\ 5799984*c_0101_6^5 + 26833597671347458412695471365763947581/1145933\ 173523209598386478079229399312*c_0101_6^4 + 1322802277755645486922015736345059032889/57296658676160479919323903\ 9614699656*c_0101_6^3 - 551173465729849896632303468375272471737/572\ 966586761604799193239039614699656*c_0101_6^2 + 375983634743018367370905687469214579419/114593317352320959838647807\ 9229399312*c_0101_6 - 88711806564694423439081236521621363001/114593\ 3173523209598386478079229399312, c_0011_0 - 1, c_0011_4 + 5197271516230066373953564245919953/1514182311737856234654437\ 20828409*c_0101_6^17 + 14620001420094248395251045306517869/15141823\ 1173785623465443720828409*c_0101_6^16 - 141200376860183814274201587229012915/151418231173785623465443720828\ 409*c_0101_6^15 + 183990767223463095709231609625010604/151418231173\ 785623465443720828409*c_0101_6^14 + 106109057785041239124821180969500085/151418231173785623465443720828\ 409*c_0101_6^13 - 305541794005199209863926464351162028/151418231173\ 785623465443720828409*c_0101_6^12 + 144335471823534881163546900433431440/151418231173785623465443720828\ 409*c_0101_6^11 + 89429950657695886452478346848670297/1514182311737\ 85623465443720828409*c_0101_6^10 + 23359039187129984193025695682836847/1514182311737856234654437208284\ 09*c_0101_6^9 - 215872035347035122123805101350920593/15141823117378\ 5623465443720828409*c_0101_6^8 + 5084561064557062837648399550533851\ 8/151418231173785623465443720828409*c_0101_6^7 + 121630584289148525189873596295747463/151418231173785623465443720828\ 409*c_0101_6^6 - 138327883130099663623522605158383336/1514182311737\ 85623465443720828409*c_0101_6^5 + 104557094416948366052526221423843\ 373/151418231173785623465443720828409*c_0101_6^4 - 49240241746372225877183868798067908/1514182311737856234654437208284\ 09*c_0101_6^3 + 13999716483732374668324054114813703/151418231173785\ 623465443720828409*c_0101_6^2 - 3206097425557066277191257370556308/\ 151418231173785623465443720828409*c_0101_6 + 449296012649995880735328094156983/151418231173785623465443720828409\ , c_0011_5 - 13559947268279475994447342378807944/151418231173785623465443\ 720828409*c_0101_6^17 - 41648382253237040189682911783642997/1514182\ 31173785623465443720828409*c_0101_6^16 + 356433208889149426415046770596838898/151418231173785623465443720828\ 409*c_0101_6^15 - 392208061238869191561169086544317068/151418231173\ 785623465443720828409*c_0101_6^14 - 348585771212977069300328456954024261/151418231173785623465443720828\ 409*c_0101_6^13 + 686601567836244336097098649314804399/151418231173\ 785623465443720828409*c_0101_6^12 - 240585920674907915329495549404312631/151418231173785623465443720828\ 409*c_0101_6^11 - 254257264253950065167425994483084824/151418231173\ 785623465443720828409*c_0101_6^10 - 126825039531033874690634235932075737/151418231173785623465443720828\ 409*c_0101_6^9 + 507212934210271972747130709152554709/1514182311737\ 85623465443720828409*c_0101_6^8 - 248327103665145866229145180811843\ 13/151418231173785623465443720828409*c_0101_6^7 - 289342072800005585899547283691802021/151418231173785623465443720828\ 409*c_0101_6^6 + 301488263581921483729138469036432199/1514182311737\ 85623465443720828409*c_0101_6^5 - 213827486778471729599105400898541\ 956/151418231173785623465443720828409*c_0101_6^4 + 89732904674237500669776698296308434/1514182311737856234654437208284\ 09*c_0101_6^3 - 24246841073805701092041689421762761/151418231173785\ 623465443720828409*c_0101_6^2 + 5185430781080676006829692296340793/\ 151418231173785623465443720828409*c_0101_6 - 604392648708688157109136989631131/151418231173785623465443720828409\ , c_0101_0 - 5832749556034944414890000828990246073/7162082334520059989915\ 4879951837457*c_0101_6^17 - 17060949288332667330138088439940744921/\ 71620823345200599899154879951837457*c_0101_6^16 + 156170969968452749263904501525923155987/716208233452005998991548799\ 51837457*c_0101_6^15 - 190421454778810868441737671852653089873/7162\ 0823345200599899154879951837457*c_0101_6^14 - 131215290566482298809514731926440637802/716208233452005998991548799\ 51837457*c_0101_6^13 + 323336221100823953396047176959718740850/7162\ 0823345200599899154879951837457*c_0101_6^12 - 12744159719043086877367074577446633313/6510983940472781809014079995\ 621587*c_0101_6^11 - 105361044165591805656481075259381187431/716208\ 23345200599899154879951837457*c_0101_6^10 - 35435537155186536081620537848822615886/7162082334520059989915487995\ 1837457*c_0101_6^9 + 5373998371103854163322860927533828051/16656005\ 42911641858119880929112499*c_0101_6^8 - 40250520779576243240858054107796309764/7162082334520059989915487995\ 1837457*c_0101_6^7 - 131351223504675794752897060013271455314/716208\ 23345200599899154879951837457*c_0101_6^6 + 3434668930688261255670400365504304453/16656005429116418581198809291\ 12499*c_0101_6^5 - 105983721230496528224967128453243850314/71620823\ 345200599899154879951837457*c_0101_6^4 + 47120174101034429725353043161106043233/7162082334520059989915487995\ 1837457*c_0101_6^3 - 13067900391517698504367175230630297309/7162082\ 3345200599899154879951837457*c_0101_6^2 + 2676092698367864241483733953477695017/71620823345200599899154879951\ 837457*c_0101_6 - 287142503123883671202580977139534347/716208233452\ 00599899154879951837457, c_0101_1 - 5720405544268275052465024974400439424/7162082334520059989915\ 4879951837457*c_0101_6^17 - 16543394687803921817432883865945189902/\ 71620823345200599899154879951837457*c_0101_6^16 + 153715369353247977500651755888242787769/716208233452005998991548799\ 51837457*c_0101_6^15 - 191799176073312723649047414903157966410/7162\ 0823345200599899154879951837457*c_0101_6^14 - 122441290590548064920735286109616070200/716208233452005998991548799\ 51837457*c_0101_6^13 + 321063573839807202821739855063698859297/7162\ 0823345200599899154879951837457*c_0101_6^12 - 13474109123078808990713598789438179545/6510983940472781809014079995\ 621587*c_0101_6^11 - 97885686274495969251670246859740362155/7162082\ 3345200599899154879951837457*c_0101_6^10 - 31155832275005762189853083023210530744/7162082334520059989915487995\ 1837457*c_0101_6^9 + 5277788453899783643401752235625233812/16656005\ 42911641858119880929112499*c_0101_6^8 - 46708378142094062167752377750069783744/7162082334520059989915487995\ 1837457*c_0101_6^7 - 126684640299593781980661893924785142307/716208\ 23345200599899154879951837457*c_0101_6^6 + 3466177828393126395985299492376589921/16656005429116418581198809291\ 12499*c_0101_6^5 - 109597242746403644859674651726990306284/71620823\ 345200599899154879951837457*c_0101_6^4 + 49761019235559100909965380551745185845/7162082334520059989915487995\ 1837457*c_0101_6^3 - 14041589182518554548435213755625582214/7162082\ 3345200599899154879951837457*c_0101_6^2 + 2928573338249804546047890980905355792/71620823345200599899154879951\ 837457*c_0101_6 - 283786316406157374140429658025878378/716208233452\ 00599899154879951837457, c_0101_3 - 3749294994042046194533966493263391/1514182311737856234654437\ 20828409*c_0101_6^17 - 11377703912043673323907338699613071/15141823\ 1173785623465443720828409*c_0101_6^16 + 99308872812073670775625051755627991/1514182311737856234654437208284\ 09*c_0101_6^15 - 110799101608705250618755193620743133/1514182311737\ 85623465443720828409*c_0101_6^14 - 100196544326608305232385522737826748/151418231173785623465443720828\ 409*c_0101_6^13 + 196907612856415926904274672900875309/151418231173\ 785623465443720828409*c_0101_6^12 - 61283495267483557663848501389484038/1514182311737856234654437208284\ 09*c_0101_6^11 - 75988964233000426637324043012431003/15141823117378\ 5623465443720828409*c_0101_6^10 - 341600564391526814644521618424155\ 56/151418231173785623465443720828409*c_0101_6^9 + 147765657429254834773188453959123785/151418231173785623465443720828\ 409*c_0101_6^8 - 4434367123451075268744234555970306/151418231173785\ 623465443720828409*c_0101_6^7 - 87142541266092548968948531046258369\ /151418231173785623465443720828409*c_0101_6^6 + 80722807453472839762730414265748179/1514182311737856234654437208284\ 09*c_0101_6^5 - 58471480334932280804110135397993198/151418231173785\ 623465443720828409*c_0101_6^4 + 22762553497700780571185922814470950\ /151418231173785623465443720828409*c_0101_6^3 - 5966128329852804090554987345784169/15141823117378562346544372082840\ 9*c_0101_6^2 + 1581316493878921590401606496362091/15141823117378562\ 3465443720828409*c_0101_6 - 110395092796962245237758185307720/15141\ 8231173785623465443720828409, c_0101_6^18 + 8/3*c_0101_6^17 - 2231/81*c_0101_6^16 + 1067/27*c_0101_6^15 + 388/27*c_0101_6^14 - 4976/81*c_0101_6^13 + 3068/81*c_0101_6^12 + 331/27*c_0101_6^11 + 121/81*c_0101_6^10 - 3358/81*c_0101_6^9 + 455/27*c_0101_6^8 + 1709/81*c_0101_6^7 - 2504/81*c_0101_6^6 + 1984/81*c_0101_6^5 - 1025/81*c_0101_6^4 + 344/81*c_0101_6^3 - 83/81*c_0101_6^2 + 14/81*c_0101_6 - 1/81 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB