Magma V2.19-8 Tue Aug 20 2013 16:17:59 on localhost [Seed = 2867541612] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2211 geometric_solution 5.65864156 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 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 0 1 -1 0 0 1 -1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.009268370953 0.649761674560 0 2 3 0 0132 0132 0132 3201 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 -1 0 1 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.214312853070 0.696502513335 4 1 5 3 0132 0132 0132 2031 0 0 0 0 0 0 1 -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 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.508563374604 0.649695081078 5 2 4 1 1023 1302 0132 0132 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 0 0 0.508563374604 0.649695081078 2 4 4 3 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.792236269185 0.826014400493 6 3 6 2 0132 1023 2310 0132 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.884323813348 0.592141973630 5 5 6 6 0132 3201 2031 1302 0 0 0 0 0 0 -1 1 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.570769582685 0.176195883334 ==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' : d['1'], 's_2_0' : 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_0101_2'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 9 Groebner basis: [ t - 7*c_0101_5^8 - 55*c_0101_5^7 - 131*c_0101_5^6 - 20*c_0101_5^5 + 281*c_0101_5^4 + 204*c_0101_5^3 - 156*c_0101_5^2 - 127*c_0101_5 + 5, c_0011_0 - 1, c_0011_3 - c_0101_5^2 - c_0101_5 + 1, c_0101_0 + c_0101_5^3 + 2*c_0101_5^2 - c_0101_5 - 1, c_0101_1 + c_0101_5^6 + 5*c_0101_5^5 + 5*c_0101_5^4 - 6*c_0101_5^3 - 7*c_0101_5^2 + 2*c_0101_5 + 1, c_0101_2 + c_0101_5^5 + 4*c_0101_5^4 + 2*c_0101_5^3 - 5*c_0101_5^2 - 2*c_0101_5 + 1, c_0101_4 + c_0101_5^4 + 3*c_0101_5^3 - 3*c_0101_5, c_0101_5^9 + 8*c_0101_5^8 + 20*c_0101_5^7 + 7*c_0101_5^6 - 35*c_0101_5^5 - 29*c_0101_5^4 + 18*c_0101_5^3 + 15*c_0101_5^2 - 3*c_0101_5 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 838700468322518586732583936936590745/843737743441027299264323566250\ 89329*c_0101_5^23 - 21399196397197333721515574845774881484/75936396\ 9096924569337891209625803961*c_0101_5^22 - 16910863185585973687955093666990802343/7593639690969245693378912096\ 25803961*c_0101_5^21 + 4048117974483682296066240752257311737/843737\ 74344102729926432356625089329*c_0101_5^20 + 57533873284175660320562276970578901938/7593639690969245693378912096\ 25803961*c_0101_5^19 - 16249838270445716702833207705784086150/25312\ 1323032308189779297069875267987*c_0101_5^18 + 74056519876946581328483500388062410830/7593639690969245693378912096\ 25803961*c_0101_5^17 + 35457319727155908603077857937491597331/84373\ 774344102729926432356625089329*c_0101_5^16 - 66652313445757514460679842432976045322/2531213230323081897792970698\ 75267987*c_0101_5^15 - 978186079188997137365695594296755821088/7593\ 63969096924569337891209625803961*c_0101_5^14 + 54171135234356246649390866609765935117/7593639690969245693378912096\ 25803961*c_0101_5^13 - 59426259818096503989757720338672503234/75936\ 3969096924569337891209625803961*c_0101_5^12 - 1634716373944813972380319086790810337719/75936396909692456933789120\ 9625803961*c_0101_5^11 + 805324964906554546216177758127708456385/75\ 9363969096924569337891209625803961*c_0101_5^10 + 422007227033237519493218716253297109136/253121323032308189779297069\ 875267987*c_0101_5^9 + 171517627759321773188916956017387701227/7593\ 63969096924569337891209625803961*c_0101_5^8 + 78532199032290942897218633322508053152/7593639690969245693378912096\ 25803961*c_0101_5^7 - 983462878456985547039716858683945622516/75936\ 3969096924569337891209625803961*c_0101_5^6 - 97544968239024762537727250854970132441/7593639690969245693378912096\ 25803961*c_0101_5^5 + 9464294853918647263614013696528929594/2812459\ 1448034243308810785541696443*c_0101_5^4 + 11590385767672094306764535771674967855/8437377434410272992643235662\ 5089329*c_0101_5^3 - 99060258757012654033680779206251731/8437377434\ 4102729926432356625089329*c_0101_5^2 - 534122731653995678195592497099310653/843737743441027299264323566250\ 89329*c_0101_5 - 4077852348014477792173842795531181126/759363969096\ 924569337891209625803961, c_0011_0 - 1, c_0011_3 + 3663399799440583183154323313610218863/7593639690969245693378\ 91209625803961*c_0101_5^23 - 10024941439712398806246490213491506420\ /759363969096924569337891209625803961*c_0101_5^22 - 1088935365256645633670057340214199224/84373774344102729926432356625\ 089329*c_0101_5^21 + 18414531300638458843874574289712573083/7593639\ 69096924569337891209625803961*c_0101_5^20 + 10342437127023268202772874825703683483/2531213230323081897792970698\ 75267987*c_0101_5^19 - 23256574236479779498671119302285714679/75936\ 3969096924569337891209625803961*c_0101_5^18 + 3272871783432703757876342218447677685/84373774344102729926432356625\ 089329*c_0101_5^17 + 53835979121800101665512801534205512772/2531213\ 23032308189779297069875267987*c_0101_5^16 - 88190112007713602753160149845554593950/7593639690969245693378912096\ 25803961*c_0101_5^15 - 509680068154626086594012533598443676032/7593\ 63969096924569337891209625803961*c_0101_5^14 - 10159715296883978470341537343254827707/7593639690969245693378912096\ 25803961*c_0101_5^13 + 42856568610717733299619110660579072757/75936\ 3969096924569337891209625803961*c_0101_5^12 - 794403501530759040287335146546411968741/759363969096924569337891209\ 625803961*c_0101_5^11 + 110551398735892506352782635983706824736/253\ 121323032308189779297069875267987*c_0101_5^10 + 794348387663007860311074889776463929517/759363969096924569337891209\ 625803961*c_0101_5^9 + 115719281369707645529246140268644801531/7593\ 63969096924569337891209625803961*c_0101_5^8 - 19058039061075806372848597740430017331/7593639690969245693378912096\ 25803961*c_0101_5^7 - 472235484210293286589994548071416974597/75936\ 3969096924569337891209625803961*c_0101_5^6 - 3988543601102639982803816161401430183/28124591448034243308810785541\ 696443*c_0101_5^5 + 18915988808477844615023998350385694968/84373774\ 344102729926432356625089329*c_0101_5^4 + 6834883226704622515329298806456451043/84373774344102729926432356625\ 089329*c_0101_5^3 - 624642714842740361106513938415254789/2812459144\ 8034243308810785541696443*c_0101_5^2 - 7693484765699873297827442504199002807/75936396909692456933789120962\ 5803961*c_0101_5 - 18285078230896688907479033358169179/281245914480\ 34243308810785541696443, c_0101_0 - 5549275280461350983595784315595059802/7593639690969245693378\ 91209625803961*c_0101_5^23 + 13086444533182479046209017410691446901\ /759363969096924569337891209625803961*c_0101_5^22 + 20550951123477925119129636450303520141/7593639690969245693378912096\ 25803961*c_0101_5^21 - 21779550100390719311657687386460431544/75936\ 3969096924569337891209625803961*c_0101_5^20 - 58007932166085005097710085884591756657/7593639690969245693378912096\ 25803961*c_0101_5^19 + 15413241187503081409182088982426661871/75936\ 3969096924569337891209625803961*c_0101_5^18 - 32223355229105010516278034903986010974/7593639690969245693378912096\ 25803961*c_0101_5^17 - 85947333172254059767667767832031652057/25312\ 1323032308189779297069875267987*c_0101_5^16 + 43476455567734248943101508459885717190/7593639690969245693378912096\ 25803961*c_0101_5^15 + 826621126850238209231677799548186961539/7593\ 63969096924569337891209625803961*c_0101_5^14 + 330691360427315124249397048695005037259/759363969096924569337891209\ 625803961*c_0101_5^13 - 11473340555342865553237412771219665325/2531\ 21323032308189779297069875267987*c_0101_5^12 + 1142521524993528646169150918452039815188/75936396909692456933789120\ 9625803961*c_0101_5^11 - 110320517568743469938510976761600250083/75\ 9363969096924569337891209625803961*c_0101_5^10 - 1457000579762946948059882141274422806562/75936396909692456933789120\ 9625803961*c_0101_5^9 - 775329626529294841979771871427302009958/759\ 363969096924569337891209625803961*c_0101_5^8 - 18946827186498131572097281808199462394/8437377434410272992643235662\ 5089329*c_0101_5^7 + 693799648426873758949091659526446460881/759363\ 969096924569337891209625803961*c_0101_5^6 + 488293017419540160601473078320724317447/759363969096924569337891209\ 625803961*c_0101_5^5 - 11525955380932924837301264018041694003/84373\ 774344102729926432356625089329*c_0101_5^4 - 5477430789884575164180039925852698948/28124591448034243308810785541\ 696443*c_0101_5^3 - 1017976949256858552785976079531105210/843737743\ 44102729926432356625089329*c_0101_5^2 + 12120518302754553940629624894529510927/7593639690969245693378912096\ 25803961*c_0101_5 + 2491644587975600348559359922726223210/759363969\ 096924569337891209625803961, c_0101_1 + 151784850084357177049340092043244217/84373774344102729926432\ 356625089329*c_0101_5^23 - 296009535062912530277007260380434553/843\ 73774344102729926432356625089329*c_0101_5^22 - 647873552557724835464433805742747828/843737743441027299264323566250\ 89329*c_0101_5^21 + 265872684800312014699982543434467280/8437377434\ 4102729926432356625089329*c_0101_5^20 + 1540943032573812510480972599270523913/84373774344102729926432356625\ 089329*c_0101_5^19 + 259550006055804435403975056182092198/843737743\ 44102729926432356625089329*c_0101_5^18 + 1331918354306920462852414730080288000/84373774344102729926432356625\ 089329*c_0101_5^17 + 2559288856689833725561808873361549466/28124591\ 448034243308810785541696443*c_0101_5^16 + 2275560787781261229785594814687174347/84373774344102729926432356625\ 089329*c_0101_5^15 - 19852246055723183762269038021742739276/8437377\ 4344102729926432356625089329*c_0101_5^14 - 16490890732166908001528686946165126489/8437377434410272992643235662\ 5089329*c_0101_5^13 - 3406378544430458354762917102513127624/2812459\ 1448034243308810785541696443*c_0101_5^12 - 39403059920813588437786117022171817244/8437377434410272992643235662\ 5089329*c_0101_5^11 - 15879643645392877699316913701665885328/843737\ 74344102729926432356625089329*c_0101_5^10 + 23531386295694783775641150806492269174/8437377434410272992643235662\ 5089329*c_0101_5^9 + 26310956747440678345993470062971807643/8437377\ 4344102729926432356625089329*c_0101_5^8 + 6644011233882832152428468946144290241/28124591448034243308810785541\ 696443*c_0101_5^7 - 5442588363482925607002667137286812479/843737743\ 44102729926432356625089329*c_0101_5^6 - 10222780081981731328391222628126533212/8437377434410272992643235662\ 5089329*c_0101_5^5 - 642421294171496175944386482201323434/281245914\ 48034243308810785541696443*c_0101_5^4 + 383133474779329239593560463495937680/281245914480342433088107855416\ 96443*c_0101_5^3 + 146066654247171672440313643861301565/28124591448\ 034243308810785541696443*c_0101_5^2 - 139116052366908702653592113131047674/843737743441027299264323566250\ 89329*c_0101_5 - 6523976024053435837454560309022291/843737743441027\ 29926432356625089329, c_0101_2 + 3386534041270025260067110877339026970/7593639690969245693378\ 91209625803961*c_0101_5^23 - 3330302682307860980722430416202150972/\ 253121323032308189779297069875267987*c_0101_5^22 - 7737826132325608816785961065284982980/75936396909692456933789120962\ 5803961*c_0101_5^21 + 20175073526676607262554384196842595879/759363\ 969096924569337891209625803961*c_0101_5^20 + 27970837943051568336513686519484020248/7593639690969245693378912096\ 25803961*c_0101_5^19 - 28466474044655606076048030096754599235/75936\ 3969096924569337891209625803961*c_0101_5^18 + 25066769105495334671353700053392478723/7593639690969245693378912096\ 25803961*c_0101_5^17 + 47245259240203497688109038677309472615/25312\ 1323032308189779297069875267987*c_0101_5^16 - 119457457044161630637543694904946885590/759363969096924569337891209\ 625803961*c_0101_5^15 - 18062978374062685320307175524525659782/2812\ 4591448034243308810785541696443*c_0101_5^14 + 8634328356171027345052881836554164647/84373774344102729926432356625\ 089329*c_0101_5^13 + 125998885323813782990164221660442657429/759363\ 969096924569337891209625803961*c_0101_5^12 - 221139962279747355537279066741062451086/253121323032308189779297069\ 875267987*c_0101_5^11 + 516173748912926367328118388788577651043/759\ 363969096924569337891209625803961*c_0101_5^10 + 846370258085010022023322173460305936428/759363969096924569337891209\ 625803961*c_0101_5^9 + 13291100068652539371873057800007700282/25312\ 1323032308189779297069875267987*c_0101_5^8 - 130929764518963263636016014775429818577/759363969096924569337891209\ 625803961*c_0101_5^7 - 183591192480777114596800699739095969264/2531\ 21323032308189779297069875267987*c_0101_5^6 - 100686341533691004476932284032242408177/759363969096924569337891209\ 625803961*c_0101_5^5 + 21185833436905042517052110778916877219/84373\ 774344102729926432356625089329*c_0101_5^4 + 7792187059815341231836070262148398902/84373774344102729926432356625\ 089329*c_0101_5^3 - 1869169788944978066530541761262312758/843737743\ 44102729926432356625089329*c_0101_5^2 - 8478436796411530158950774506324996498/75936396909692456933789120962\ 5803961*c_0101_5 - 703859776272357838839479613521871932/75936396909\ 6924569337891209625803961, c_0101_4 - 7949769412019575155786710322318690706/7593639690969245693378\ 91209625803961*c_0101_5^23 + 6767046440633058916466502753005873389/\ 253121323032308189779297069875267987*c_0101_5^22 + 24501217604499952073167098593463108553/7593639690969245693378912096\ 25803961*c_0101_5^21 - 34027209374065040173266579175946584309/75936\ 3969096924569337891209625803961*c_0101_5^20 - 72570405319306061636985430839770282378/7593639690969245693378912096\ 25803961*c_0101_5^19 + 34416173811870012169868709000357853217/75936\ 3969096924569337891209625803961*c_0101_5^18 - 61786202669354729007800996740489721303/7593639690969245693378912096\ 25803961*c_0101_5^17 - 119371716996701758185723971083484087195/2531\ 21323032308189779297069875267987*c_0101_5^16 + 122357324063980109829023624060228231902/759363969096924569337891209\ 625803961*c_0101_5^15 + 123386221089250205971256976334922740562/843\ 73774344102729926432356625089329*c_0101_5^14 + 27141068958953957472805107076288248886/8437377434410272992643235662\ 5089329*c_0101_5^13 + 22388432544339546410685236575320045664/759363\ 969096924569337891209625803961*c_0101_5^12 + 573678984393219305271946235113739803567/253121323032308189779297069\ 875267987*c_0101_5^11 - 420323157452355668014056991190529332045/759\ 363969096924569337891209625803961*c_0101_5^10 - 1729318915687372257174857368266233261848/75936396909692456933789120\ 9625803961*c_0101_5^9 - 223108881966887400120901014248593409606/253\ 121323032308189779297069875267987*c_0101_5^8 - 220965350419219566840746346534208164511/759363969096924569337891209\ 625803961*c_0101_5^7 + 309789293726655040171736656928200159757/2531\ 21323032308189779297069875267987*c_0101_5^6 + 396566191663836157934335902479737576415/759363969096924569337891209\ 625803961*c_0101_5^5 - 23183686928092196039403759215678922811/84373\ 774344102729926432356625089329*c_0101_5^4 - 15432703712516026230926619547631043775/8437377434410272992643235662\ 5089329*c_0101_5^3 + 1192352016814271138318343040964415209/84373774\ 344102729926432356625089329*c_0101_5^2 + 13768122797049086283786436546495934390/7593639690969245693378912096\ 25803961*c_0101_5 + 1680680759182168240864493458267569388/759363969\ 096924569337891209625803961, c_0101_5^24 - 15/7*c_0101_5^23 - 29/7*c_0101_5^22 + 3*c_0101_5^21 + 11*c_0101_5^20 - 3/7*c_0101_5^19 + 41/7*c_0101_5^18 + 335/7*c_0101_5^17 + 20/7*c_0101_5^16 - 147*c_0101_5^15 - 632/7*c_0101_5^14 - 15*c_0101_5^13 - 212*c_0101_5^12 - 212/7*c_0101_5^11 + 1725/7*c_0101_5^10 + 186*c_0101_5^9 + 474/7*c_0101_5^8 - 772/7*c_0101_5^7 - 739/7*c_0101_5^6 - 2/7*c_0101_5^5 + 198/7*c_0101_5^4 + 54/7*c_0101_5^3 - 11/7*c_0101_5^2 - c_0101_5 - 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.260 seconds, Total memory usage: 32.09MB