Magma V2.19-8 Tue Aug 20 2013 16:14:08 on localhost [Seed = 3852761539] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s078 geometric_solution 3.62127655 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 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.524774234092 0.036829851985 2 0 2 0 0132 2310 1023 0132 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.578984439360 0.096252686844 1 3 1 3 0132 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.933608412441 1.393010654522 2 2 5 4 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 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.018931479807 1.962164962728 5 5 3 5 1302 2031 0132 3012 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 -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.492784996433 0.502344868303 4 4 4 3 1302 2031 1230 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 -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.492784996433 0.502344868303 ==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_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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_5' : d['c_0110_4'], 'c_1100_4' : d['c_0110_4'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0110_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0101_1']), '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_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0110_4'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 2246172783872925750323247352415/5750827066168442054710958829*c_0110\ _4^16 + 5722454718662852457757956632264/575082706616844205471095882\ 9*c_0110_4^15 + 19578824677983091908600502279328/191694235538948068\ 4903652943*c_0110_4^14 - 126160065822322058841307799443093/57508270\ 66168442054710958829*c_0110_4^13 - 357384427189962617439580137305652/1916942355389480684903652943*c_01\ 10_4^12 - 24714334946454533368473335774849/191694235538948068490365\ 2943*c_0110_4^11 + 881641838357192723218114097361438/19169423553894\ 80684903652943*c_0110_4^10 - 1697902301246950054595561592762296/191\ 6942355389480684903652943*c_0110_4^9 - 329545805236091308901674212094152/1916942355389480684903652943*c_01\ 10_4^8 + 11124676467912717277478580888864077/5750827066168442054710\ 958829*c_0110_4^7 - 172390379811358317998063731721963/1916942355389\ 480684903652943*c_0110_4^6 - 1522351858253557566225103534269146/191\ 6942355389480684903652943*c_0110_4^5 + 82940513203742537735507154451498/1916942355389480684903652943*c_011\ 0_4^4 + 148514561520581875746797051736293/1916942355389480684903652\ 943*c_0110_4^3 + 37829393726636542404001969505981/57508270661684420\ 54710958829*c_0110_4^2 - 5949861368099052903825955295719/5750827066\ 168442054710958829*c_0110_4 - 4274210019980736678682583367547/57508\ 27066168442054710958829, c_0011_0 - 1, c_0011_1 - 7380778543300734571775412266/1916942355389480684903652943*c_\ 0110_4^16 + 18614350930756048919081897473/1916942355389480684903652\ 943*c_0110_4^15 + 193474539404991904451598269258/191694235538948068\ 4903652943*c_0110_4^14 - 409556698102176273907792278103/19169423553\ 89480684903652943*c_0110_4^13 - 3533387394464534407340388225539/191\ 6942355389480684903652943*c_0110_4^12 - 335103670134328582257695100068/1916942355389480684903652943*c_0110_\ 4^11 + 8680028546403470238345469054163/1916942355389480684903652943\ *c_0110_4^10 - 16506617287373465424975390462989/1916942355389480684\ 903652943*c_0110_4^9 - 3661585745707206870546331054819/191694235538\ 9480684903652943*c_0110_4^8 + 36425388266200381959035219942153/1916\ 942355389480684903652943*c_0110_4^7 - 730636947606418391821160783371/1916942355389480684903652943*c_0110_\ 4^6 - 14979518130807280982127160134533/1916942355389480684903652943\ *c_0110_4^5 + 350183907729288677558650086171/1916942355389480684903\ 652943*c_0110_4^4 + 1449521545638382532905106627655/191694235538948\ 0684903652943*c_0110_4^3 + 189656104705290235570920654842/191694235\ 5389480684903652943*c_0110_4^2 - 11298966371876023021263154542/1916\ 942355389480684903652943*c_0110_4 - 15978838402771861209143658451/1916942355389480684903652943, c_0011_4 + 4163562931267149916752877418/1916942355389480684903652943*c_\ 0110_4^16 - 10751191694333613623331338756/1916942355389480684903652\ 943*c_0110_4^15 - 108538627248488908228846775480/191694235538948068\ 4903652943*c_0110_4^14 + 237657310596684700285667254242/19169423553\ 89480684903652943*c_0110_4^13 + 1980149320672947690529177902408/191\ 6942355389480684903652943*c_0110_4^12 + 68003671265621734893084342724/1916942355389480684903652943*c_0110_4\ ^11 - 4923433985490371480084415607414/1916942355389480684903652943*\ c_0110_4^10 + 9593213979013220839309361792249/191694235538948068490\ 3652943*c_0110_4^9 + 1535927668529312369613097091146/19169423553894\ 80684903652943*c_0110_4^8 - 20714237444385511512416600502030/191694\ 2355389480684903652943*c_0110_4^7 + 1586689354155917062812702904710/1916942355389480684903652943*c_0110\ _4^6 + 8553389453420506499228505297445/1916942355389480684903652943\ *c_0110_4^5 - 603932280236881168507304387644/1916942355389480684903\ 652943*c_0110_4^4 - 843965817057170948471384483591/1916942355389480\ 684903652943*c_0110_4^3 - 82923916026312821482730946644/19169423553\ 89480684903652943*c_0110_4^2 + 15229549797975120687865282871/191694\ 2355389480684903652943*c_0110_4 + 9284956102106267564250587724/1916\ 942355389480684903652943, c_0101_0 - 10763774662558091750597424767/1916942355389480684903652943*c\ _0110_4^16 + 27529380936902616844592370963/191694235538948068490365\ 2943*c_0110_4^15 + 281244851398107940970545699216/19169423553894806\ 84903652943*c_0110_4^14 - 607456186494012367609771206332/1916942355\ 389480684903652943*c_0110_4^13 - 5133180567247968185097270834561/19\ 16942355389480684903652943*c_0110_4^12 - 302339505626617358437900189041/1916942355389480684903652943*c_0110_\ 4^11 + 12703695234416712604654966644322/191694235538948068490365294\ 3*c_0110_4^10 - 24516656112609820601149505857904/191694235538948068\ 4903652943*c_0110_4^9 - 4550401992492206321649944128332/19169423553\ 89480684903652943*c_0110_4^8 + 53428336610683340973258407386478/191\ 6942355389480684903652943*c_0110_4^7 - 2909724650789494926221323149453/1916942355389480684903652943*c_0110\ _4^6 - 22086254885411167786736359736144/191694235538948068490365294\ 3*c_0110_4^5 + 1250616415918257572304685377084/19169423553894806849\ 03652943*c_0110_4^4 + 2217656583745913542441716944118/1916942355389\ 480684903652943*c_0110_4^3 + 219460675341374851554401599064/1916942\ 355389480684903652943*c_0110_4^2 - 38352930286205925591661991027/1916942355389480684903652943*c_0110_4 - 24316468323858056152065477592/1916942355389480684903652943, c_0101_1 - 3541996593786347134515058633/1916942355389480684903652943*c_\ 0110_4^16 + 8865717463205896119407687755/19169423553894806849036529\ 43*c_0110_4^15 + 93021270629915247239452612792/19169423553894806849\ 03652943*c_0110_4^14 - 194805191768123541970061960240/1916942355389\ 480684903652943*c_0110_4^13 - 1699471310909936010079623263391/19169\ 42355389480684903652943*c_0110_4^12 - 192428771745586416415047916456/1916942355389480684903652943*c_0110_\ 4^11 + 4163975885213194180695023917749/1916942355389480684903652943\ *c_0110_4^10 - 7848052931030734186050941524822/19169423553894806849\ 03652943*c_0110_4^9 - 1915080794038753795278155709585/1916942355389\ 480684903652943*c_0110_4^8 + 17469314347013412396219574657294/19169\ 42355389480684903652943*c_0110_4^7 - 39826776189546052376564960510/1916942355389480684903652943*c_0110_4\ ^6 - 7228755373267339444701260995833/1916942355389480684903652943*c\ _0110_4^5 + 84768240952927311985543897685/1916942355389480684903652\ 943*c_0110_4^4 + 723070420691420316972458659525/1916942355389480684\ 903652943*c_0110_4^3 + 89129111067572777428191263473/19169423553894\ 80684903652943*c_0110_4^2 - 5802208183947221885829984131/1916942355\ 389480684903652943*c_0110_4 - 7218751776428926172973018201/19169423\ 55389480684903652943, c_0110_4^17 - 3*c_0110_4^16 - 25*c_0110_4^15 + 68*c_0110_4^14 + 452*c_0110_4^13 - 183*c_0110_4^12 - 1194*c_0110_4^11 + 2799*c_0110_4^10 - 582*c_0110_4^9 - 5155*c_0110_4^8 + 2462*c_0110_4^7 + 1944*c_0110_4^6 - 1017*c_0110_4^5 - 159*c_0110_4^4 + 68*c_0110_4^3 + 13*c_0110_4^2 + c_0110_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB