Magma V2.19-8 Tue Aug 20 2013 16:16:17 on localhost [Seed = 947496154] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0553 geometric_solution 4.57459071 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 0 1 2031 0132 1302 2310 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 0 0 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 -2.153953616790 1.377283101927 0 0 3 2 3201 0132 0132 0132 0 0 0 0 0 -1 0 1 1 0 -1 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 1 0 -1 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.393723166496 0.349579112632 3 4 1 3 1230 0132 0132 1302 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 -1 0 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.639312242622 0.619075054035 4 2 2 1 0132 3012 2031 0132 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 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.639312242622 0.619075054035 3 2 5 5 0132 0132 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 1 -1 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.960651102986 1.694643218150 6 4 4 6 0132 3201 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.170726030781 0.408524275123 5 5 6 6 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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 2.528294742508 0.681769005719 ==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' : d['c_0101_3'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_2']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_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_2, c_0011_5, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 1276159118924674377383025/264170193178058248247*c_0101_6^20 - 1798487429340633885706100/264170193178058248247*c_0101_6^19 + 737482382946856211836223/264170193178058248247*c_0101_6^18 - 1579874274649960961535702/264170193178058248247*c_0101_6^17 - 1904991196439130676269517/264170193178058248247*c_0101_6^16 - 46439829357756436637729947/264170193178058248247*c_0101_6^15 - 28212299652618623462832248/264170193178058248247*c_0101_6^14 + 408382864974394395028699730/264170193178058248247*c_0101_6^13 - 150592247427133049384884794/264170193178058248247*c_0101_6^12 - 884836534256021055378206548/264170193178058248247*c_0101_6^11 + 566205437816197739362416662/264170193178058248247*c_0101_6^10 + 1086842886397658589469577444/264170193178058248247*c_0101_6^9 - 836059796121736889179046727/264170193178058248247*c_0101_6^8 - 994012197766432968319559355/264170193178058248247*c_0101_6^7 + 663785576740343009643278358/264170193178058248247*c_0101_6^6 + 606459746268027908221803606/264170193178058248247*c_0101_6^5 - 245000338895902396890462635/264170193178058248247*c_0101_6^4 - 187428651904800257108232446/264170193178058248247*c_0101_6^3 + 34360945008702796500794333/264170193178058248247*c_0101_6^2 + 13781215070161105972614138/264170193178058248247*c_0101_6 - 3060616166017049299198025/264170193178058248247, c_0011_0 - 1, c_0011_2 - 896257450544151649319/264170193178058248247*c_0101_6^20 + 1221165506885551861981/264170193178058248247*c_0101_6^19 - 475668706088777722389/264170193178058248247*c_0101_6^18 + 1046886994129919024138/264170193178058248247*c_0101_6^17 + 1426428226207207907437/264170193178058248247*c_0101_6^16 + 32661658453920603634359/264170193178058248247*c_0101_6^15 + 21446156327400669311038/264170193178058248247*c_0101_6^14 - 285145164793118480316460/264170193178058248247*c_0101_6^13 + 95102367641140033461203/264170193178058248247*c_0101_6^12 + 624014734500651147595285/264170193178058248247*c_0101_6^11 - 383282597378630048681824/264170193178058248247*c_0101_6^10 - 772645124829703695213898/264170193178058248247*c_0101_6^9 + 576617899367567127188705/264170193178058248247*c_0101_6^8 + 705526944744106537320883/264170193178058248247*c_0101_6^7 - 461648953286748452661058/264170193178058248247*c_0101_6^6 - 426312954891829302321415/264170193178058248247*c_0101_6^5 + 177162137420179413641056/264170193178058248247*c_0101_6^4 + 130603232216897958168417/264170193178058248247*c_0101_6^3 - 28208053080397557951195/264170193178058248247*c_0101_6^2 - 10223867280708767095288/264170193178058248247*c_0101_6 + 2478768846171530260280/264170193178058248247, c_0011_5 - 624953597436998172338/264170193178058248247*c_0101_6^20 + 928278019330796109379/264170193178058248247*c_0101_6^19 - 392472590111373960067/264170193178058248247*c_0101_6^18 + 806309097665036416540/264170193178058248247*c_0101_6^17 + 859772537814865707702/264170193178058248247*c_0101_6^16 + 22644647922551572308711/264170193178058248247*c_0101_6^15 + 11967379214331466748158/264170193178058248247*c_0101_6^14 - 202473599384768972309674/264170193178058248247*c_0101_6^13 + 86040120268612967060623/264170193178058248247*c_0101_6^12 + 436196823131534100338662/264170193178058248247*c_0101_6^11 - 299454607347541406802638/264170193178058248247*c_0101_6^10 - 531314571170428028961118/264170193178058248247*c_0101_6^9 + 434667155237393064309424/264170193178058248247*c_0101_6^8 + 486843128169501745925415/264170193178058248247*c_0101_6^7 - 346289005760900478075636/264170193178058248247*c_0101_6^6 - 303129015107435554436862/264170193178058248247*c_0101_6^5 + 125677582721063819002705/264170193178058248247*c_0101_6^4 + 96668891136711159027783/264170193178058248247*c_0101_6^3 - 15506896998343857244305/264170193178058248247*c_0101_6^2 - 7106967725833105738391/264170193178058248247*c_0101_6 + 1440552027553638891529/264170193178058248247, c_0101_1 - 1004179905647716178649/264170193178058248247*c_0101_6^20 + 1381346407570103507550/264170193178058248247*c_0101_6^19 - 533937073868724207743/264170193178058248247*c_0101_6^18 + 1203738166916754309053/264170193178058248247*c_0101_6^17 + 1553528915949981369773/264170193178058248247*c_0101_6^16 + 36583249676918645110709/264170193178058248247*c_0101_6^15 + 23455789070630167325902/264170193178058248247*c_0101_6^14 - 320503839654429559526591/264170193178058248247*c_0101_6^13 + 108533956425304587254786/264170193178058248247*c_0101_6^12 + 700992123429387270333991/264170193178058248247*c_0101_6^11 - 427581896980565223648052/264170193178058248247*c_0101_6^10 - 870699628965762141116082/264170193178058248247*c_0101_6^9 + 640020238359788402085309/264170193178058248247*c_0101_6^8 + 801820385432466231389187/264170193178058248247*c_0101_6^7 - 509540233735831310551469/264170193178058248247*c_0101_6^6 - 491036098612127733760084/264170193178058248247*c_0101_6^5 + 188227272987325107637856/264170193178058248247*c_0101_6^4 + 152450633863682615445020/264170193178058248247*c_0101_6^3 - 26905751269017608915013/264170193178058248247*c_0101_6^2 - 11238297840412688687697/264170193178058248247*c_0101_6 + 2619314920578989844031/264170193178058248247, c_0101_2 + 199417315652517123398/264170193178058248247*c_0101_6^20 - 284302773764666196256/264170193178058248247*c_0101_6^19 + 147108121948439705643/264170193178058248247*c_0101_6^18 - 273964090926040467705/264170193178058248247*c_0101_6^17 - 278044492602784695855/264170193178058248247*c_0101_6^16 - 7286982327722965562645/264170193178058248247*c_0101_6^15 - 4346023764519022038752/264170193178058248247*c_0101_6^14 + 62854819138006968128978/264170193178058248247*c_0101_6^13 - 25710378553933596021433/264170193178058248247*c_0101_6^12 - 130168382846849472450841/264170193178058248247*c_0101_6^11 + 90685034905125222536996/264170193178058248247*c_0101_6^10 + 152891454945313624768943/264170193178058248247*c_0101_6^9 - 127974812825660664252483/264170193178058248247*c_0101_6^8 - 134956951066196904473253/264170193178058248247*c_0101_6^7 + 97990459065954854019948/264170193178058248247*c_0101_6^6 + 77922284873370034883285/264170193178058248247*c_0101_6^5 - 35286475038225185213837/264170193178058248247*c_0101_6^4 - 22339621720029577317874/264170193178058248247*c_0101_6^3 + 4304359972065106350728/264170193178058248247*c_0101_6^2 + 1483167594017784480158/264170193178058248247*c_0101_6 - 142826694568430630897/264170193178058248247, c_0101_3 + 266613375595648906865/264170193178058248247*c_0101_6^20 - 455537046110688928274/264170193178058248247*c_0101_6^19 + 214099319755452290915/264170193178058248247*c_0101_6^18 - 376219282426355264578/264170193178058248247*c_0101_6^17 - 291558603951846958245/264170193178058248247*c_0101_6^16 - 9538289485512743548640/264170193178058248247*c_0101_6^15 - 2834191483914827056759/264170193178058248247*c_0101_6^14 + 89174264133551298022097/264170193178058248247*c_0101_6^13 - 52986266711490777377530/264170193178058248247*c_0101_6^12 - 187984103806097344330060/264170193178058248247*c_0101_6^11 + 160363689159883687181017/264170193178058248247*c_0101_6^10 + 220052188961642849353966/264170193178058248247*c_0101_6^9 - 224903773810610414524600/264170193178058248247*c_0101_6^8 - 197665152550910628206587/264170193178058248247*c_0101_6^7 + 182202143937910644450819/264170193178058248247*c_0101_6^6 + 126020135670666490606878/264170193178058248247*c_0101_6^5 - 68211094876610061408655/264170193178058248247*c_0101_6^4 - 42097928773730658665374/264170193178058248247*c_0101_6^3 + 8025839053762548169265/264170193178058248247*c_0101_6^2 + 2922830584622405649960/264170193178058248247*c_0101_6 - 589296847255862587894/264170193178058248247, c_0101_6^21 - c_0101_6^20 - c_0101_6^18 - 2*c_0101_6^17 - 37*c_0101_6^16 - 37*c_0101_6^15 + 311*c_0101_6^14 + 13*c_0101_6^13 - 742*c_0101_6^12 + 160*c_0101_6^11 + 1034*c_0101_6^10 - 307*c_0101_6^9 - 1048*c_0101_6^8 + 202*c_0101_6^7 + 689*c_0101_6^6 + 2*c_0101_6^5 - 226*c_0101_6^4 - 33*c_0101_6^3 + 22*c_0101_6^2 + 2*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB