Magma V2.19-8 Tue Aug 20 2013 16:16:13 on localhost [Seed = 2783197540] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0485 geometric_solution 4.50702246 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 1023 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 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.075405863432 0.343342464743 0 3 4 3 0132 2310 0132 0321 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 1 0 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.288724263751 1.133860031763 5 0 0 5 0132 0132 1023 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 -1 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 0 0 0 1.487206081401 0.580320750547 4 1 0 1 2310 0321 0132 3201 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 0 1 -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.288724263751 1.133860031763 4 4 3 1 1230 3012 3201 0132 0 0 0 0 0 -1 0 1 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 1 0 -1 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.789098461385 0.828239449520 2 2 6 6 0132 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.279042015956 0.431184870242 6 5 6 5 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.653739231907 0.061298591520 ==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' : d['1'], 's_3_4' : 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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0011_4'], 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : negation(d['c_0011_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_0011_6, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 23906098127415471628148420884009470/4193345541593760403296012954887\ *c_0101_5^30 - 941317686923898764432670841093825446/419334554159376\ 0403296012954887*c_0101_5^28 + 123769013716894646931504445354718248\ 78/4193345541593760403296012954887*c_0101_5^26 - 83973600976363324942112642416530029665/4193345541593760403296012954\ 887*c_0101_5^24 + 345366936991467920050444830386793905820/419334554\ 1593760403296012954887*c_0101_5^22 - 930683208954116280977498942905580069527/419334554159376040329601295\ 4887*c_0101_5^20 + 1715077930428888744444907320399506344113/4193345\ 541593760403296012954887*c_0101_5^18 - 2214208978030943198624034369126470241766/41933455415937604032960129\ 54887*c_0101_5^16 + 2024721790697845953237243082917144964319/419334\ 5541593760403296012954887*c_0101_5^14 - 1309536869133044865575965662161466517104/41933455415937604032960129\ 54887*c_0101_5^12 + 589986025277753541163950552601094824031/4193345\ 541593760403296012954887*c_0101_5^10 - 179300976438845693855560233013380619069/419334554159376040329601295\ 4887*c_0101_5^8 + 34879926761175260471372777888983860781/4193345541\ 593760403296012954887*c_0101_5^6 - 4027238086596888958440888842224914592/41933455415937604032960129548\ 87*c_0101_5^4 + 245294080000845021516823120848909499/41933455415937\ 60403296012954887*c_0101_5^2 - 5989467647018547455271568723750197/4\ 193345541593760403296012954887, c_0011_0 - 1, c_0011_3 + 129875231197840234377316966510320/41933455415937604032960129\ 54887*c_0101_5^31 - 5131297593300107474301986618138901/419334554159\ 3760403296012954887*c_0101_5^29 + 679251864645231478672225646320574\ 43/4193345541593760403296012954887*c_0101_5^27 - 465222772274856822473081672280700028/419334554159376040329601295488\ 7*c_0101_5^25 + 1937491931873361261663339369922446878/4193345541593\ 760403296012954887*c_0101_5^23 - 5307500618233483104102842806228443\ 637/4193345541593760403296012954887*c_0101_5^21 + 9991571028228592731014062008962718396/41933455415937604032960129548\ 87*c_0101_5^19 - 13258832635484194981290437899265040284/41933455415\ 93760403296012954887*c_0101_5^17 + 12560225481022671689670874979278826774/4193345541593760403296012954\ 887*c_0101_5^15 - 8504773213190629653682739945025907853/41933455415\ 93760403296012954887*c_0101_5^13 + 4072899760518095169413267722865388029/41933455415937604032960129548\ 87*c_0101_5^11 - 1347343549758481335438638390427407383/419334554159\ 3760403296012954887*c_0101_5^9 + 2967640655033568729873934105748135\ 78/4193345541593760403296012954887*c_0101_5^7 - 41519432123468555908227606610772103/4193345541593760403296012954887\ *c_0101_5^5 + 3455501894821908673217997437175610/419334554159376040\ 3296012954887*c_0101_5^3 - 138168695931980145725569609415114/419334\ 5541593760403296012954887*c_0101_5, c_0011_4 - 971804870954242781828095176589440/41933455415937604032960129\ 54887*c_0101_5^31 + 38396804426453358658084477169503422/41933455415\ 93760403296012954887*c_0101_5^29 - 508245607404998324240508791262983625/419334554159376040329601295488\ 7*c_0101_5^27 + 3479315614079408796016541819513874695/4193345541593\ 760403296012954887*c_0101_5^25 - 1447188616177971568768237595659303\ 4600/4193345541593760403296012954887*c_0101_5^23 + 39544765190902762223324744239126211823/4193345541593760403296012954\ 887*c_0101_5^21 - 74121816827029494028387600433352743539/4193345541\ 593760403296012954887*c_0101_5^19 + 97684665473520432205145807545173720458/4193345541593760403296012954\ 887*c_0101_5^17 - 91598777981330651980649803800065695189/4193345541\ 593760403296012954887*c_0101_5^15 + 61132418059073609116180461556616859956/4193345541593760403296012954\ 887*c_0101_5^13 - 28688099577957909679753874679532904556/4193345541\ 593760403296012954887*c_0101_5^11 + 9218929238997457020171745679719270666/41933455415937604032960129548\ 87*c_0101_5^9 - 1944051889609499819981733080594175400/4193345541593\ 760403296012954887*c_0101_5^7 + 25318406256486423828134566141695700\ 8/4193345541593760403296012954887*c_0101_5^5 - 18395106450676631605241125265090547/4193345541593760403296012954887\ *c_0101_5^3 + 562124948924584000280390927709523/4193345541593760403\ 296012954887*c_0101_5, c_0011_6 - 5555135358679557543877006531605/4193345541593760403296012954\ 887*c_0101_5^30 + 219785382964613239278593135044179/419334554159376\ 0403296012954887*c_0101_5^28 - 2913127070527042395389650869831164/4\ 193345541593760403296012954887*c_0101_5^26 + 19895687702245564658643454239039662/4193345541593760403296012954887\ *c_0101_5^24 - 81970690988381273931494658685718437/4193345541593760\ 403296012954887*c_0101_5^22 + 219296854303278953409169655067538236/\ 4193345541593760403296012954887*c_0101_5^20 - 395392311586588103482829878037000012/419334554159376040329601295488\ 7*c_0101_5^18 + 488845128224462106130869483720990950/41933455415937\ 60403296012954887*c_0101_5^16 - 41580902470427431294815552036061831\ 7/4193345541593760403296012954887*c_0101_5^14 + 240778099864630486723375119328950941/419334554159376040329601295488\ 7*c_0101_5^12 - 92252404392544037569025415754610071/419334554159376\ 0403296012954887*c_0101_5^10 + 22193396169878413043258974820162618/\ 4193345541593760403296012954887*c_0101_5^8 - 3102338735147414579417247917019447/4193345541593760403296012954887*\ c_0101_5^6 + 205734998627061919687799564050714/41933455415937604032\ 96012954887*c_0101_5^4 + 7716003466152586929367316708591/4193345541\ 593760403296012954887*c_0101_5^2 + 1307229292752866306022302587991/4193345541593760403296012954887, c_0101_2 - 45405635286993047418233942277975/419334554159376040329601295\ 4887*c_0101_5^31 + 1763078139790815205768799251501545/4193345541593\ 760403296012954887*c_0101_5^29 - 2255002757898286909730083690631563\ 7/4193345541593760403296012954887*c_0101_5^27 + 147373272428206965071300630564779870/419334554159376040329601295488\ 7*c_0101_5^25 - 577943754128922100288173026856923015/41933455415937\ 60403296012954887*c_0101_5^23 + 14678862786504907516659539082958954\ 89/4193345541593760403296012954887*c_0101_5^21 - 2516748475566031237728994325782058776/41933455415937604032960129548\ 87*c_0101_5^19 + 2981899863226659794840818453745685927/419334554159\ 3760403296012954887*c_0101_5^17 - 246777854501460867476051299235396\ 7870/4193345541593760403296012954887*c_0101_5^15 + 1425090587550291757512523858579025060/41933455415937604032960129548\ 87*c_0101_5^13 - 567088804139210403735421412487759450/4193345541593\ 760403296012954887*c_0101_5^11 + 1522899066897052000602531868592675\ 00/4193345541593760403296012954887*c_0101_5^9 - 27089660866769660772578993988498204/4193345541593760403296012954887\ *c_0101_5^7 + 3158387385495722084761756147511663/419334554159376040\ 3296012954887*c_0101_5^5 - 243302132139778291900305999785924/419334\ 5541593760403296012954887*c_0101_5^3 + 20201950614051274336468002021508/4193345541593760403296012954887*c_\ 0101_5, c_0101_4 - 2855915662623597876211427746926810/4193345541593760403296012\ 954887*c_0101_5^30 + 112320570054436336046960102862964833/419334554\ 1593760403296012954887*c_0101_5^28 - 1473400075086644649990389850942682069/41933455415937604032960129548\ 87*c_0101_5^26 + 9964574060460970775940193570288915275/419334554159\ 3760403296012954887*c_0101_5^24 - 408119966177682004419873520215789\ 32256/4193345541593760403296012954887*c_0101_5^22 + 109392463611762976546096720872444404420/419334554159376040329601295\ 4887*c_0101_5^20 - 200218711621042458602258021498727968524/41933455\ 41593760403296012954887*c_0101_5^18 + 256245983274603272391729265801740864764/419334554159376040329601295\ 4887*c_0101_5^16 - 231708213570412827383534174521370945878/41933455\ 41593760403296012954887*c_0101_5^14 + 147679638058557293966089982676819715933/419334554159376040329601295\ 4887*c_0101_5^12 - 65227415690069705402612578893893267712/419334554\ 1593760403296012954887*c_0101_5^10 + 19279590677914588371838680220321580955/4193345541593760403296012954\ 887*c_0101_5^8 - 3603933863739345656000146932709717286/419334554159\ 3760403296012954887*c_0101_5^6 + 3938700988719138971190471757760960\ 58/4193345541593760403296012954887*c_0101_5^4 - 22504982583794176870620711607600798/4193345541593760403296012954887\ *c_0101_5^2 + 515091720229433630777468251503612/4193345541593760403\ 296012954887, c_0101_5^32 - 592/15*c_0101_5^30 + 23459/45*c_0101_5^28 - 160184/45*c_0101_5^26 + 664421/45*c_0101_5^24 - 40235*c_0101_5^22 + 677192/9*c_0101_5^20 - 495223/5*c_0101_5^18 + 4182569/45*c_0101_5^16 - 2802716/45*c_0101_5^14 + 1327778/45*c_0101_5^12 - 434872/45*c_0101_5^10 + 19027/9*c_0101_5^8 - 1479/5*c_0101_5^6 + 1126/45*c_0101_5^4 - 52/45*c_0101_5^2 + 1/45 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB