Magma V2.19-8 Tue Aug 20 2013 16:17:19 on localhost [Seed = 1949690019] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1556 geometric_solution 5.34326683 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 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 1 0 -1 1 0 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.242882820253 0.980335991472 0 1 2 1 0132 2310 3201 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 -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.238108571819 0.961065927138 1 0 3 4 2310 0132 3201 1023 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 -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.242882820253 0.980335991472 2 5 5 0 2310 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.511580040257 0.176934488008 6 6 0 2 0132 3201 0132 1023 0 0 0 0 0 -1 0 1 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 1 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.914993985679 1.904107809417 5 3 3 5 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.326939527509 0.923459549130 4 6 4 6 0132 1302 2310 2031 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.681393022805 0.619627209974 ==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' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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' : d['1'], 's_1_2' : negation(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' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : negation(d['c_0101_3'])})} 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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 2174141888006322519223783901446986200/44095836626509914955953332632\ 331*c_0101_3*c_0101_5^15 + 41623855886128205776150447974802716740/4\ 4095836626509914955953332632331*c_0101_3*c_0101_5^14 + 84030040316877732689692830145860621484/4409583662650991495595333263\ 2331*c_0101_3*c_0101_5^13 - 147568101264464184754968916867966557183\ /44095836626509914955953332632331*c_0101_3*c_0101_5^12 - 463405796497443397737613602889674546787/440958366265099149559533326\ 32331*c_0101_3*c_0101_5^11 - 23733558418644611137907124282629381228\ /44095836626509914955953332632331*c_0101_3*c_0101_5^10 + 445605745619266465499683903463524029525/440958366265099149559533326\ 32331*c_0101_3*c_0101_5^9 + 116731487325239476250119361307108674228\ /44095836626509914955953332632331*c_0101_3*c_0101_5^8 - 192194269363374563522797452946591531192/440958366265099149559533326\ 32331*c_0101_3*c_0101_5^7 - 36439524783489110268144823339165587588/\ 44095836626509914955953332632331*c_0101_3*c_0101_5^6 + 69656839872764150831416240475735955743/4409583662650991495595333263\ 2331*c_0101_3*c_0101_5^5 - 10933385237285599077482999669334419744/4\ 4095836626509914955953332632331*c_0101_3*c_0101_5^4 - 6122100748645329836003874196691858058/44095836626509914955953332632\ 331*c_0101_3*c_0101_5^3 + 1916062307368029501998315092637342319/440\ 95836626509914955953332632331*c_0101_3*c_0101_5^2 + 57742729544696160499023956077280181/4409583662650991495595333263233\ 1*c_0101_3*c_0101_5 - 93345240070724531788713677510201045/440958366\ 26509914955953332632331*c_0101_3, c_0011_0 - 1, c_0011_3 + 184849512766800749051401765463256/44095836626509914955953332\ 632331*c_0101_3*c_0101_5^15 + 3719046912135559841336786411966044/44\ 095836626509914955953332632331*c_0101_3*c_0101_5^14 + 10441036298670625894449250629064496/4409583662650991495595333263233\ 1*c_0101_3*c_0101_5^13 - 8480025460804538874856923126177051/4409583\ 6626509914955953332632331*c_0101_3*c_0101_5^12 - 57370091893730196822430769519563934/4409583662650991495595333263233\ 1*c_0101_3*c_0101_5^11 - 30239796914110237451484418375689255/440958\ 36626509914955953332632331*c_0101_3*c_0101_5^10 + 66946757483842910938612719306069952/4409583662650991495595333263233\ 1*c_0101_3*c_0101_5^9 + 48268192887627373118980136494358120/4409583\ 6626509914955953332632331*c_0101_3*c_0101_5^8 - 33553786425938867411440122799262508/4409583662650991495595333263233\ 1*c_0101_3*c_0101_5^7 - 25010156120700581378256313098920536/4409583\ 6626509914955953332632331*c_0101_3*c_0101_5^6 + 13250452358199907884221175125136865/4409583662650991495595333263233\ 1*c_0101_3*c_0101_5^5 + 5489969099532950882116067990561680/44095836\ 626509914955953332632331*c_0101_3*c_0101_5^4 - 5248420336096420558856482441792871/44095836626509914955953332632331\ *c_0101_3*c_0101_5^3 + 968585580247135540119188841159148/4409583662\ 6509914955953332632331*c_0101_3*c_0101_5^2 + 169049719290293863634085019688912/44095836626509914955953332632331*\ c_0101_3*c_0101_5 - 61235464720350069965660066303271/44095836626509\ 914955953332632331*c_0101_3, c_0011_4 + 25920756633011426771600749065848736/440958366265099149559533\ 32632331*c_0101_3*c_0101_5^15 + 48091855407655169469705035160101706\ 4/44095836626509914955953332632331*c_0101_3*c_0101_5^14 + 712548287425721172991377653760404660/440958366265099149559533326323\ 31*c_0101_3*c_0101_5^13 - 2271330606273371664258967804051372096/440\ 95836626509914955953332632331*c_0101_3*c_0101_5^12 - 4340605298170715093598665714707771975/44095836626509914955953332632\ 331*c_0101_3*c_0101_5^11 + 2656065369210707663630809446228817263/44\ 095836626509914955953332632331*c_0101_3*c_0101_5^10 + 4655213646254094360206666963934747358/44095836626509914955953332632\ 331*c_0101_3*c_0101_5^9 - 1575410132319932447426442590103075964/440\ 95836626509914955953332632331*c_0101_3*c_0101_5^8 - 2275284131371513827833067810212890364/44095836626509914955953332632\ 331*c_0101_3*c_0101_5^7 + 932571685094165223674880912127477291/4409\ 5836626509914955953332632331*c_0101_3*c_0101_5^6 + 700211372754578200176008793084855614/440958366265099149559533326323\ 31*c_0101_3*c_0101_5^5 - 596578583706892458518078543462058743/44095\ 836626509914955953332632331*c_0101_3*c_0101_5^4 + 134990894308579046912818883591484139/440958366265099149559533326323\ 31*c_0101_3*c_0101_5^3 + 11483766703618176653192574618523960/440958\ 36626509914955953332632331*c_0101_3*c_0101_5^2 - 10657158873695081960067740160942280/4409583662650991495595333263233\ 1*c_0101_3*c_0101_5 + 1464335746347735660340298299759435/4409583662\ 6509914955953332632331*c_0101_3, c_0101_0 + 1842787453525312232709948618486056/4409583662650991495595333\ 2632331*c_0101_5^15 + 35204496870619326880777849425092636/440958366\ 26509914955953332632331*c_0101_5^14 + 69685171552516437038468445841301108/4409583662650991495595333263233\ 1*c_0101_5^13 - 129772977861192310032856824029805969/44095836626509\ 914955953332632331*c_0101_5^12 - 3918197922189628195484621705045396\ 13/44095836626509914955953332632331*c_0101_5^11 + 547489262844601151514369627133158/44095836626509914955953332632331*\ c_0101_5^10 + 399383931680988577078130764282191904/4409583662650991\ 4955953332632331*c_0101_5^9 + 92352429914523589366496049525377546/4\ 4095836626509914955953332632331*c_0101_5^8 - 181358307172023598534547052089528844/440958366265099149559533326323\ 31*c_0101_5^7 - 34049355283125494541879843447317282/440958366265099\ 14955953332632331*c_0101_5^6 + 63981626927841860292844135985301495/\ 44095836626509914955953332632331*c_0101_5^5 - 9243160370101921504309897148988193/44095836626509914955953332632331\ *c_0101_5^4 - 6645521151405406794175864746258796/440958366265099149\ 55953332632331*c_0101_5^3 + 1778332943754254473112990938686372/4409\ 5836626509914955953332632331*c_0101_5^2 + 177318519345492272988695489978680/44095836626509914955953332632331*\ c_0101_5 - 96871309794376243804336301098963/44095836626509914955953\ 332632331, c_0101_1 - 1657937940758511483658546853022800/4409583662650991495595333\ 2632331*c_0101_5^15 - 31485449958483767039441063013126592/440958366\ 26509914955953332632331*c_0101_5^14 - 59244135253845811144019195212236612/4409583662650991495595333263233\ 1*c_0101_5^13 + 121292952400387771157999900903628918/44095836626509\ 914955953332632331*c_0101_5^12 + 3344497003252326227260314009849756\ 79/44095836626509914955953332632331*c_0101_5^11 - 30787286176954838602998788002822413/4409583662650991495595333263233\ 1*c_0101_5^10 - 332437174197145666139518044976121952/44095836626509\ 914955953332632331*c_0101_5^9 - 44084237026896216247515913031019426\ /44095836626509914955953332632331*c_0101_5^8 + 147804520746084731123106929290266336/440958366265099149559533326323\ 31*c_0101_5^7 + 9039199162424913163623530348396746/4409583662650991\ 4955953332632331*c_0101_5^6 - 50731174569641952408622960860164630/4\ 4095836626509914955953332632331*c_0101_5^5 + 14733129469634872386425965139549873/4409583662650991495595333263233\ 1*c_0101_5^4 + 1397100815308986235319382304465925/44095836626509914\ 955953332632331*c_0101_5^3 - 809747363507118932993802097527224/4409\ 5836626509914955953332632331*c_0101_5^2 - 8268800055198409354610470289768/44095836626509914955953332632331*c_\ 0101_5 + 35635845074026173838676234795692/4409583662650991495595333\ 2632331, c_0101_3^2 - 33318490303959121026475610027483928/4409583662650991495595\ 3332632331*c_0101_5^15 - 620136516434272652573252261024270772/44095\ 836626509914955953332632331*c_0101_5^14 - 952833119276812154551481452501631412/440958366265099149559533326323\ 31*c_0101_5^13 + 2856622500935054034502336781342579007/440958366265\ 09914955953332632331*c_0101_5^12 + 5735361005691759021925237137115830665/44095836626509914955953332632\ 331*c_0101_5^11 - 3050047436714209699820446062294135488/44095836626\ 509914955953332632331*c_0101_5^10 - 6094722187804044330608562123060762514/44095836626509914955953332632\ 331*c_0101_5^9 + 1657728216769406544280140177934638848/440958366265\ 09914955953332632331*c_0101_5^8 + 296053124782474487142891948751267\ 6042/44095836626509914955953332632331*c_0101_5^7 - 1025535055928848727595633238586627184/44095836626509914955953332632\ 331*c_0101_5^6 - 934653538581015755140796869533847751/4409583662650\ 9914955953332632331*c_0101_5^5 + 7066443249485072339352732245346321\ 17/44095836626509914955953332632331*c_0101_5^4 - 141550791867914187582146546532998579/440958366265099149559533326323\ 31*c_0101_5^3 - 17786899806540592373320805723377943/440958366265099\ 14955953332632331*c_0101_5^2 + 12200335044635967543599620852363347/\ 44095836626509914955953332632331*c_0101_5 - 1547096549006584911056453592268707/44095836626509914955953332632331\ , c_0101_5^16 + 415/22*c_0101_5^15 + 366/11*c_0101_5^14 - 6915/88*c_0101_5^13 - 775/4*c_0101_5^12 + 4255/88*c_0101_5^11 + 2269/11*c_0101_5^10 - 79/22*c_0101_5^9 - 2235/22*c_0101_5^8 + 181/22*c_0101_5^7 + 3153/88*c_0101_5^6 - 155/11*c_0101_5^5 - 97/88*c_0101_5^4 + 35/22*c_0101_5^3 - 5/22*c_0101_5^2 - 1/22*c_0101_5 + 1/88 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB