Magma V2.19-8 Tue Aug 20 2013 16:14:22 on localhost [Seed = 1916005969] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s364 geometric_solution 4.58480898 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 2310 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 0 0 0 1.593273750736 0.203081595444 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -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 0 -1 1 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 1.292809283353 0.451961868058 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 1 0 -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 0 1 -1 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.405738342992 0.550353966360 2 5 4 4 0132 0132 3201 0321 0 0 0 0 0 0 0 0 -1 0 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.387631338743 1.137273931723 3 3 2 5 2310 0321 0132 2310 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 -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.387631338743 1.137273931723 4 3 5 5 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.210669514031 0.444418244489 ==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' : 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_5' : d['c_0110_5'], 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), '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_5']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), '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_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(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_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 3 Groebner basis: [ t + 16/3*c_0101_3^2 + 5/3*c_0101_3 - 47/3, c_0011_0 - 1, c_0011_1 + c_0101_3^2 - 1, c_0011_4 - c_0101_3 + 1, c_0101_0 - c_0101_3, c_0101_3^3 - 3*c_0101_3 + 1, c_0110_5 + 1 ], 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_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 58920864344663586698081954/4480857134989506085902555*c_0110_5^17 - 157330399057271261227393281/1493619044996502028634185*c_0110_5^16 + 2010218312011138561735141613/4480857134989506085902555*c_0110_5^15 - 5929443985604697673386573652/4480857134989506085902555*c_0110_5^14 + 12271539949301416180382225492/4480857134989506085902555*c_0110_5^13 - 8285889050463574052708851674/1493619044996502028634185*c_0110_5^1\ 2 + 44156642810458814541670315126/4480857134989506085902555*c_0110_\ 5^11 - 6752973254714045713336044221/896171426997901217180511*c_0110\ _5^10 + 240851897286493672082877554/896171426997901217180511*c_0110\ _5^9 + 202942481920016430489201024/1493619044996502028634185*c_0110\ _5^8 + 13212370921893309661068520327/1493619044996502028634185*c_01\ 10_5^7 - 32764127506092723957502715536/4480857134989506085902555*c_\ 0110_5^6 - 1036859487564271590437462456/344681318076115852761735*c_\ 0110_5^5 + 17664813818222644647041498843/4480857134989506085902555*\ c_0110_5^4 - 1034060036322667147518587831/896171426997901217180511*\ c_0110_5^3 - 934196499521948074443036157/4480857134989506085902555*\ c_0110_5^2 + 401979226148685822808802526/1493619044996502028634185*\ c_0110_5 - 27539138157771042666307241/4480857134989506085902555, c_0011_0 - 1, c_0011_1 - 728267545409712875066473/4480857134989506085902555*c_0110_5^\ 17 + 1853091737669852500528022/1493619044996502028634185*c_0110_5^1\ 6 - 22717768813468344162343831/4480857134989506085902555*c_0110_5^1\ 5 + 64417935355127095707304844/4480857134989506085902555*c_0110_5^1\ 4 - 125915395675780626166786714/4480857134989506085902555*c_0110_5^\ 13 + 84969804148451105187512888/1493619044996502028634185*c_0110_5^\ 12 - 438122861679079145415294482/4480857134989506085902555*c_0110_5\ ^11 + 45646979273867097158258440/896171426997901217180511*c_0110_5^\ 10 + 23234844165894504604000574/896171426997901217180511*c_0110_5^9 - 6506965875603499583382468/1493619044996502028634185*c_0110_5^8 - 154605986819678114997722389/1493619044996502028634185*c_0110_5^7 + 224352866149583254089550277/4480857134989506085902555*c_0110_5^6 + 20989016266297901140764427/344681318076115852761735*c_0110_5^5 - 162706810080792111456866701/4480857134989506085902555*c_0110_5^4 + 4929998750312666818018687/896171426997901217180511*c_0110_5^3 + 36896386491851695601926229/4480857134989506085902555*c_0110_5^2 - 5902386658456364605397737/1493619044996502028634185*c_0110_5 - 2192009293865153617314203/4480857134989506085902555, c_0011_4 - 221350271134703485661038/1493619044996502028634185*c_0110_5^\ 17 + 1771661785902612175480841/1493619044996502028634185*c_0110_5^1\ 6 - 7524320690415627867010391/1493619044996502028634185*c_0110_5^15 + 22112089681373478524512429/1493619044996502028634185*c_0110_5^14 - 45508079620282683626936169/1493619044996502028634185*c_0110_5^13 + 91844569239455422965559474/1493619044996502028634185*c_0110_5^12 - 162909561077824462167864097/1493619044996502028634185*c_0110_5^11 + 24142779290269369147024228/298723808999300405726837*c_0110_5^10 + 965738004810874926450436/298723808999300405726837*c_0110_5^9 - 6129563240597935100797329/1493619044996502028634185*c_0110_5^8 - 148223296774809609312368687/1493619044996502028634185*c_0110_5^7 + 117585391850278541100187937/1493619044996502028634185*c_0110_5^6 + 4751995430544354543775932/114893772692038617587245*c_0110_5^5 - 66964255472819949154869586/1493619044996502028634185*c_0110_5^4 + 3163731427667902569015009/298723808999300405726837*c_0110_5^3 + 1454655962089577561770944/1493619044996502028634185*c_0110_5^2 - 4569944852435863117875881/1493619044996502028634185*c_0110_5 + 348013322801460137481882/1493619044996502028634185, c_0101_0 + 702877954287724369411658/4480857134989506085902555*c_0110_5^\ 17 - 1996196113697254510634612/1493619044996502028634185*c_0110_5^1\ 6 + 26752601169563857581415061/4480857134989506085902555*c_0110_5^1\ 5 - 82269554223113953284909589/4480857134989506085902555*c_0110_5^1\ 4 + 179800011700724923980255284/4480857134989506085902555*c_0110_5^\ 13 - 121344298756244124736385803/1493619044996502028634185*c_0110_5\ ^12 + 664985168568284392263869047/4480857134989506085902555*c_0110_\ 5^11 - 128818598236614296341436897/896171426997901217180511*c_0110_\ 5^10 + 35080074111102588368821667/896171426997901217180511*c_0110_5\ ^9 + 2791519207852947251911398/1493619044996502028634185*c_0110_5^8 + 161173995046099510109948589/1493619044996502028634185*c_0110_5^7 - 618154324260459118875637777/4480857134989506085902555*c_0110_5^6 - 1760935625210355325696682/344681318076115852761735*c_0110_5^5 + 291773701371515913898889426/4480857134989506085902555*c_0110_5^4 - 27202088070027138452066495/896171426997901217180511*c_0110_5^3 + 23054907993340042521095891/4480857134989506085902555*c_0110_5^2 + 5665168117598399987440002/1493619044996502028634185*c_0110_5 - 4084421711565966212974097/4480857134989506085902555, c_0101_3 - 775626004846366114940873/4480857134989506085902555*c_0110_5^\ 17 + 2041920469704828136572157/1493619044996502028634185*c_0110_5^1\ 6 - 25882940843434230761620361/4480857134989506085902555*c_0110_5^1\ 5 + 76001957626650285359334979/4480857134989506085902555*c_0110_5^1\ 4 - 156579671251183434016645874/4480857134989506085902555*c_0110_5^\ 13 + 106674962219349339929361533/1493619044996502028634185*c_0110_5\ ^12 - 566347503088632471798135022/4480857134989506085902555*c_0110_\ 5^11 + 84788569082694961272757415/896171426997901217180511*c_0110_5\ ^10 - 8834139402122338128246671/896171426997901217180511*c_0110_5^9 + 13000473609428011592388012/1493619044996502028634185*c_0110_5^8 - 172857247172672287316390284/1493619044996502028634185*c_0110_5^7 + 382094934558148026986830012/4480857134989506085902555*c_0110_5^6 + 10778757008492616245075192/344681318076115852761735*c_0110_5^5 - 170086383716787988733791121/4480857134989506085902555*c_0110_5^4 + 15384028923361956841366490/896171426997901217180511*c_0110_5^3 + 2087271491492874724357309/4480857134989506085902555*c_0110_5^2 - 4232547623099257270005607/1493619044996502028634185*c_0110_5 - 257619528670998926289763/4480857134989506085902555, c_0110_5^18 - 8*c_0110_5^17 + 34*c_0110_5^16 - 100*c_0110_5^15 + 206*c_0110_5^14 - 416*c_0110_5^13 + 737*c_0110_5^12 - 549*c_0110_5^11 - 15*c_0110_5^10 + 38*c_0110_5^9 + 666*c_0110_5^8 - 548*c_0110_5^7 - 258*c_0110_5^6 + 324*c_0110_5^5 - 82*c_0110_5^4 - 28*c_0110_5^3 + 25*c_0110_5^2 - c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB