Magma V2.19-8 Tue Aug 20 2013 16:16:52 on localhost [Seed = 3052677476] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1124 geometric_solution 4.98966086 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.638250136695 0.211457919568 0 0 2 2 0132 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 -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 3.186250099486 1.788491082163 3 1 1 4 0132 3201 0132 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 -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.210944364244 0.853834868519 2 4 6 5 0132 2310 0132 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 -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 0 0 0 0 0.008053191526 0.594762576020 6 5 2 3 2310 1023 0132 3201 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 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.008053191526 0.594762576020 4 6 3 6 1023 0132 0132 2310 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 1.483062080249 0.889230970563 5 5 4 3 3201 0132 3201 0132 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 -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 0 0 0 0.488619243013 0.840517491752 ==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' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], '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_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' : d['c_0101_6'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_6'], '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' : negation(d['c_0101_6']), 'c_0110_4' : negation(d['c_0101_6']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_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_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 486645216808555619717935519420117343/727884030356273601182730915916\ 57920*c_0101_6^28 + 811377969551832072609873222170735893/6065700252\ 968946676522757632638160*c_0101_6^26 + 19461502082858802647054941313190597983/4549275189726710007392068224\ 478620*c_0101_6^24 + 1060248250924562016532562327045237731889/24262\ 801011875786706091030530552640*c_0101_6^22 + 2276674494261270119760770577228878308657/90985503794534200147841364\ 48957240*c_0101_6^20 + 67964551303602993759640155255093224565023/72\ 788403035627360118273091591657920*c_0101_6^18 + 43697733332138580530337776433316191635527/1819710075890684002956827\ 2897914480*c_0101_6^16 + 26305772939501189271607707242285487519527/\ 6065700252968946676522757632638160*c_0101_6^14 + 798998364180372047859667602018865253837969/145576806071254720236546\ 183183315840*c_0101_6^12 + 2181843751902084099521539627878891663089\ /454927518972671000739206822447862*c_0101_6^10 + 102853159150397667560768729125923445248971/363942015178136800591365\ 45795828960*c_0101_6^8 + 157661123738490940068099169003290157867547\ /145576806071254720236546183183315840*c_0101_6^6 + 6122706655086074758138197205013254767431/24262801011875786706091030\ 530552640*c_0101_6^4 + 302275228077254089240842029975252577341/9705\ 120404750314682436412212221056*c_0101_6^2 + 48948945841288397597636307762768175031/3639420151781368005913654579\ 5828960, c_0011_0 - 1, c_0011_2 + 2844863952389979202120261883052/7582125316211183345653447040\ 7977*c_0101_6^28 - 62308488093668931616365326893092/758212531621118\ 33456534470407977*c_0101_6^26 - 1704468167455989756253641537201566/\ 75821253162111833456534470407977*c_0101_6^24 - 15316375509049759845671015768380146/7582125316211183345653447040797\ 7*c_0101_6^22 - 76132023814941121786802152619736132/758212531621118\ 33456534470407977*c_0101_6^20 - 24122808402681498437001590553571639\ 2/75821253162111833456534470407977*c_0101_6^18 - 506166652314988806568891075622412214/758212531621118334565344704079\ 77*c_0101_6^16 - 701835451226942380065349806444176948/7582125316211\ 1833456534470407977*c_0101_6^14 - 622188403282459858163172579379929\ 144/75821253162111833456534470407977*c_0101_6^12 - 338609352350960466391274801951394670/758212531621118334565344704079\ 77*c_0101_6^10 - 110482637930667592544663365326937041/7582125316211\ 1833456534470407977*c_0101_6^8 - 1985479058448418020735775015111568\ 9/75821253162111833456534470407977*c_0101_6^6 - 1201428730918547164593644722434044/75821253162111833456534470407977\ *c_0101_6^4 + 286288007312432962126820927935412/7582125316211183345\ 6534470407977*c_0101_6^2 - 19139272536687942820860055084992/7582125\ 3162111833456534470407977, c_0011_4 - 1892217101231011943274178016261/3032850126484473338261378816\ 31908*c_0101_6^29 + 11007489924761488524988665076287/75821253162111\ 833456534470407977*c_0101_6^27 + 269079949700616303987059310829468/\ 75821253162111833456534470407977*c_0101_6^25 + 8653244841599401818648307736145809/30328501264844733382613788163190\ 8*c_0101_6^23 + 9291332137579974036657030228979440/7582125316211183\ 3456534470407977*c_0101_6^21 + 95538732235011657963666090092880357/\ 303285012648447333826137881631908*c_0101_6^19 + 35039445833732753095801508787726941/7582125316211183345653447040797\ 7*c_0101_6^17 + 21088342653640520966721893806565927/758212531621118\ 33456534470407977*c_0101_6^15 - 91191562500743471714233461713200789\ /606570025296894667652275763263816*c_0101_6^13 - 15428784488057478126742166602197691/7582125316211183345653447040797\ 7*c_0101_6^11 + 27348681865223216704920094337360101/151642506324223\ 666913068940815954*c_0101_6^9 + 20684232221781405751929500630509808\ 9/606570025296894667652275763263816*c_0101_6^7 + 56807057586075737455794444011593859/3032850126484473338261378816319\ 08*c_0101_6^5 + 24914107560839132825133162095573633/606570025296894\ 667652275763263816*c_0101_6^3 + 333603001161459385110792539124011/1\ 51642506324223666913068940815954*c_0101_6, c_0101_0 + 3454091353228720320381617651171/1516425063242236669130689408\ 15954*c_0101_6^28 - 36945550077952935150487450540750/75821253162111\ 833456534470407977*c_0101_6^26 - 1053506457271760152092240868021078\ /75821253162111833456534470407977*c_0101_6^24 - 19674088004719198482866946434450691/1516425063242236669130689408159\ 54*c_0101_6^22 - 51264344904120564126333360873767904/75821253162111\ 833456534470407977*c_0101_6^20 - 3454376797357147644253534691187862\ 95/151642506324223666913068940815954*c_0101_6^18 - 395184209881017057499923066547210818/758212531621118334565344704079\ 77*c_0101_6^16 - 623693360849300041905504137021989334/7582125316211\ 1833456534470407977*c_0101_6^14 - 271160835992458181096645729373070\ 4533/303285012648447333826137881631908*c_0101_6^12 - 506742395028570840325746555281535148/758212531621118334565344704079\ 77*c_0101_6^10 - 258559690577451515276812343393533430/7582125316211\ 1833456534470407977*c_0101_6^8 - 3377207522572271857610994927387111\ 15/303285012648447333826137881631908*c_0101_6^6 - 29790423574151678182820983405487977/1516425063242236669130689408159\ 54*c_0101_6^4 - 3207556044207819623098062751946779/3032850126484473\ 33826137881631908*c_0101_6^2 + 11030535376994909358536820457338/758\ 21253162111833456534470407977, c_0101_1 + 3724367401713824762617074046289/1516425063242236669130689408\ 15954*c_0101_6^28 - 38851270296272251478484728396964/75821253162111\ 833456534470407977*c_0101_6^26 - 1157213674453623885310587723554792\ /75821253162111833456534470407977*c_0101_6^24 - 22407542296322078136780325055927161/1516425063242236669130689408159\ 54*c_0101_6^22 - 60762219898208873051007085257227272/75821253162111\ 833456534470407977*c_0101_6^20 - 4284454237587111288502644484980058\ 65/151642506324223666913068940815954*c_0101_6^18 - 517621121430377629882655992626471192/758212531621118334565344704079\ 77*c_0101_6^16 - 872644993392468530441602668304843904/7582125316211\ 1833456534470407977*c_0101_6^14 - 409962496851294740751011325209893\ 3343/303285012648447333826137881631908*c_0101_6^12 - 829742011762467680934297755781578127/758212531621118334565344704079\ 77*c_0101_6^10 - 452237272479527458905576266724522165/7582125316211\ 1833456534470407977*c_0101_6^8 - 6247896721704049453102951911340802\ 17/303285012648447333826137881631908*c_0101_6^6 - 59833522691004895091109576390082807/1516425063242236669130689408159\ 54*c_0101_6^4 - 8519034971823226381140353662441461/3032850126484473\ 33826137881631908*c_0101_6^2 - 3991773449446363088354161621762/7582\ 1253162111833456534470407977, c_0101_3 + 17257148969658007056459113324211/151642506324223666913068940\ 815954*c_0101_6^28 - 184810483736824015140589455974462/758212531621\ 11833456534470407977*c_0101_6^26 - 5261203900193058829272937818034442/75821253162111833456534470407977\ *c_0101_6^24 - 97907628749696897298849573337837979/1516425063242236\ 66913068940815954*c_0101_6^22 - 25332702478447164866039659545339543\ 2/75821253162111833456534470407977*c_0101_6^20 - 1685643562344758515816498116711358303/15164250632422366691306894081\ 5954*c_0101_6^18 - 1886335158173429253572627648854819000/7582125316\ 2111833456534470407977*c_0101_6^16 - 2861840090817294035938567885723258818/75821253162111833456534470407\ 977*c_0101_6^14 - 11582571775793636231455511858068816509/3032850126\ 48447333826137881631908*c_0101_6^12 - 1909010226278525614765493315067527832/75821253162111833456534470407\ 977*c_0101_6^10 - 804642963343732221793166099865283616/758212531621\ 11833456534470407977*c_0101_6^8 - 842158123868640149320691087559246\ 563/303285012648447333826137881631908*c_0101_6^6 - 65325166093213986193995891796393925/1516425063242236669130689408159\ 54*c_0101_6^4 - 10330382952782328572617581078482635/303285012648447\ 333826137881631908*c_0101_6^2 - 76444486648385777985442838810222/75\ 821253162111833456534470407977, c_0101_6^30 - 20*c_0101_6^28 - 640*c_0101_6^26 - 6541*c_0101_6^24 - 37480*c_0101_6^22 - 139985*c_0101_6^20 - 360468*c_0101_6^18 - 652220*c_0101_6^16 - 1655695/2*c_0101_6^14 - 726888*c_0101_6^12 - 431874*c_0101_6^10 - 336005/2*c_0101_6^8 - 40355*c_0101_6^6 - 10749/2*c_0101_6^4 - 314*c_0101_6^2 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB