Magma V2.19-8 Tue Aug 20 2013 16:16:14 on localhost [Seed = 896838134] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0499 geometric_solution 4.51206026 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 0213 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 0 1 -1 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.206042154804 0.835767694206 0 2 3 0 0132 3201 1023 0213 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 -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 0.206042154804 0.835767694206 4 0 1 4 0132 0132 2310 1023 0 0 0 0 0 -1 0 1 -1 0 1 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 1 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.062812066996 0.512930837863 3 3 1 0 1302 2031 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 1 0 -1 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.597465397667 0.628927947243 2 5 5 2 0132 0132 3201 1023 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 0 0 0 0 1.454953448845 0.420560555091 4 4 6 6 2310 0132 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 2.173614753595 0.360490337733 5 6 5 6 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.671420543945 0.055299300417 ==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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(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' : negation(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' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : negation(d['c_1001_2']), 'c_1100_3' : negation(d['c_1001_2']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_0'], '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' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : d['c_1001_2']})} 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_6, c_0101_0, c_0101_4, c_0101_5, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 9136567069311032946642032/5349984145643264212837*c_1001_2^30 - 266998741001984670497338464/5349984145643264212837*c_1001_2^28 + 3226673290523172540624958440/5349984145643264212837*c_1001_2^26 - 21200504138080623218783789496/5349984145643264212837*c_1001_2^24 + 84844533291253645717342520317/5349984145643264212837*c_1001_2^22 - 222832208467593647276243728285/5349984145643264212837*c_1001_2^20 + 406124051610721352760219752528/5349984145643264212837*c_1001_2^18 - 533444364648895996880805622147/5349984145643264212837*c_1001_2^16 + 514114061642553740154361483278/5349984145643264212837*c_1001_2^14 - 365483221165997826100846566607/5349984145643264212837*c_1001_2^12 + 187780511087275714421253372684/5349984145643264212837*c_1001_2^10 - 66140172725873652813920904821/5349984145643264212837*c_1001_2^8 + 14857724937320754377514520072/5349984145643264212837*c_1001_2^6 - 1971471408304485312089930849/5349984145643264212837*c_1001_2^4 + 137734718340833210809572384/5349984145643264212837*c_1001_2^2 - 3858812645262317901463620/5349984145643264212837, c_0011_0 - 1, c_0011_3 + 5026936082585029983791232/5349984145643264212837*c_1001_2^31 - 147336529283843274317255224/5349984145643264212837*c_1001_2^29 + 1787911159724613994341505460/5349984145643264212837*c_1001_2^27 - 11815331529790412918624942990/5349984145643264212837*c_1001_2^25 + 47659470528891026729126877267/5349984145643264212837*c_1001_2^23 - 126446146075375158721134364486/5349984145643264212837*c_1001_2^21 + 233310158640863698355527224122/5349984145643264212837*c_1001_2^19 - 310959029803197028061574588152/5349984145643264212837*c_1001_2^17 + 305005485349613405780526631585/5349984145643264212837*c_1001_2^15 - 221516456116356736095419261837/5349984145643264212837*c_1001_2^13 + 117058456890512578800668959938/5349984145643264212837*c_1001_2^11 - 42924089278558148890616417760/5349984145643264212837*c_1001_2^9 + 10211125282256359244214363198/5349984145643264212837*c_1001_2^7 - 1457915972783346737275453789/5349984145643264212837*c_1001_2^5 + 111141254807034828482087570/5349984145643264212837*c_1001_2^3 - 3419012547896646796025005/5349984145643264212837*c_1001_2, c_0011_6 + 1531639822614579835747240/5349984145643264212837*c_1001_2^30 - 45065848047478517844951876/5349984145643264212837*c_1001_2^28 + 549837549114935365377154694/5349984145643264212837*c_1001_2^26 - 3661233601533642870440582051/5349984145643264212837*c_1001_2^24 + 14921888499235429880864071535/5349984145643264212837*c_1001_2^22 - 40119643579167713186866127802/5349984145643264212837*c_1001_2^20 + 75233872258661304861072385877/5349984145643264212837*c_1001_2^18 - 102216502480034245922623190840/5349984145643264212837*c_1001_2^16 + 102598340248816398839850324650/5349984145643264212837*c_1001_2^14 - 76626478492538188858067687184/5349984145643264212837*c_1001_2^12 + 41985963926774184343560633882/5349984145643264212837*c_1001_2^10 - 16197897975256028095020008968/5349984145643264212837*c_1001_2^8 + 4137923609694208822599037210/5349984145643264212837*c_1001_2^6 - 647628641713961860156295812/5349984145643264212837*c_1001_2^4 + 55059458887271509292777328/5349984145643264212837*c_1001_2^2 - 1917570398227556859284082/5349984145643264212837, c_0101_0 - 2068173641555812616870720/5349984145643264212837*c_1001_2^30 + 60606917698637657619139416/5349984145643264212837*c_1001_2^28 - 735288882326650040721244244/5349984145643264212837*c_1001_2^26 + 4857576226922547641411138894/5349984145643264212837*c_1001_2^24 - 19585590338724629479819747831/5349984145643264212837*c_1001_2^22 + 51934778508811279259498350752/5349984145643264212837*c_1001_2^20 - 95765276292683102833072792108/5349984145643264212837*c_1001_2^18 + 127543087960681938470145402881/5349984145643264212837*c_1001_2^16 - 124993466511952206040361048983/5349984145643264212837*c_1001_2^14 + 90687526614625116448854523862/5349984145643264212837*c_1001_2^12 - 47862261189719169126706409251/5349984145643264212837*c_1001_2^10 + 17520695555404418974973984527/5349984145643264212837*c_1001_2^8 - 4158862649248740949795928251/5349984145643264212837*c_1001_2^6 + 592417055627893058430299187/5349984145643264212837*c_1001_2^4 - 45088923175063368501194417/5349984145643264212837*c_1001_2^2 + 1386441320709886968707174/5349984145643264212837, c_0101_4 - 2154273823903054461151904/5349984145643264212837*c_1001_2^31 + 63149728506982520180156752/5349984145643264212837*c_1001_2^29 - 766472229997773715957696704/5349984145643264212837*c_1001_2^27 + 5066676320707151634239462776/5349984145643264212837*c_1001_2^25 - 20445719876708299268808362454/5349984145643264212837*c_1001_2^23 + 54273847727676679859178693261/5349984145643264212837*c_1001_2^21 - 100209802529995315110263488826/5349984145643264212837*c_1001_2^19 + 133672045239789946104989915035/5349984145643264212837*c_1001_2^17 - 131250769854728842679578859396/5349984145643264212837*c_1001_2^15 + 95453657664398434949677998185/5349984145643264212837*c_1001_2^13 - 50538695878944076694660327936/5349984145643264212837*c_1001_2^11 + 18588156306564622726468265175/5349984145643264212837*c_1001_2^9 - 4444685638961156614046319392/5349984145643264212837*c_1001_2^7 + 640483362682618319275092723/5349984145643264212837*c_1001_2^5 - 49752956587203744863975385/5349984145643264212837*c_1001_2^3 + 1606049087271233245591519/5349984145643264212837*c_1001_2, c_0101_5 + 1936187971215820314533520/5349984145643264212837*c_1001_2^31 - 56831926250522875215702584/5349984145643264212837*c_1001_2^29 + 691047428375602039651143708/5349984145643264212837*c_1001_2^27 - 4579513779380477841638668326/5349984145643264212837*c_1001_2^25 + 18541038102400682867601552278/5349984145643264212837*c_1001_2^23 - 49417753963645680929074654675/5349984145643264212837*c_1001_2^21 + 91665195790367984290826602735/5349984145643264212837*c_1001_2^19 - 122886869076714666702738955340/5349984145643264212837*c_1001_2^17 + 121308195464007462045432605632/5349984145643264212837*c_1001_2^15 - 88707537977887425476251813624/5349984145643264212837*c_1001_2^13 + 47231706177962377769984910372/5349984145643264212837*c_1001_2^11 - 17457684951216685389757602942/5349984145643264212837*c_1001_2^9 + 4170127097531824529700009520/5349984145643264212837*c_1001_2^7 - 587661237197386247631855277/5349984145643264212837*c_1001_2^5 + 42420815452319274597844322/5349984145643264212837*c_1001_2^3 - 1143548513485407795306731/5349984145643264212837*c_1001_2, c_1001_2^32 - 59/2*c_1001_2^30 + 1445/4*c_1001_2^28 - 19345/8*c_1001_2^26 + 9928*c_1001_2^24 - 215645/8*c_1001_2^22 + 409491/8*c_1001_2^20 - 282617/4*c_1001_2^18 + 579011/8*c_1001_2^16 - 222081/4*c_1001_2^14 + 252681/8*c_1001_2^12 - 12911*c_1001_2^10 + 3628*c_1001_2^8 - 5343/8*c_1001_2^6 + 303/4*c_1001_2^4 - 19/4*c_1001_2^2 + 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB