Magma V2.19-8 Tue Aug 20 2013 16:14:09 on localhost [Seed = 3701293306] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s113 geometric_solution 3.99350455 oriented_manifold CS_known -0.0000000000000002 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.509139026666 0.056322969316 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.550506296016 0.158326726009 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 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.510575649402 2.399428832357 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 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.457587275643 0.876361942935 5 5 3 5 1302 1023 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.478786279375 0.860135658418 4 4 4 3 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.478786279375 0.860135658418 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_1_5' : negation(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' : negation(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' : d['c_0101_1'], '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' : negation(d['c_0101_1']), '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: 19 Groebner basis: [ t - 3539412436923665111716932309117/108346685130759645792582556465*c_01\ 10_4^18 - 23539398218658775296960753760872/108346685130759645792582\ 556465*c_0110_4^17 - 5792652982723328206701217807657/21669337026151\ 929158516511293*c_0110_4^16 + 167581177286533024464782235964182/216\ 69337026151929158516511293*c_0110_4^15 + 57345758920115777232475369594388/21669337026151929158516511293*c_01\ 10_4^14 - 2483318220565964770919572147560089/1083466851307596457925\ 82556465*c_0110_4^13 - 4257823246769499740357541401740741/108346685\ 130759645792582556465*c_0110_4^12 - 15486912150408921087158246303181267/108346685130759645792582556465*\ c_0110_4^11 - 804733044727750842663422320589999/2166933702615192915\ 8516511293*c_0110_4^10 + 43548067794123909574558091394016816/108346\ 685130759645792582556465*c_0110_4^9 + 25299316949131666771448085966305759/108346685130759645792582556465*\ c_0110_4^8 - 31315167832554163864052520715710679/108346685130759645\ 792582556465*c_0110_4^7 - 19056121620968722202567086893756066/10834\ 6685130759645792582556465*c_0110_4^6 + 7546838272733886082700643471499928/108346685130759645792582556465*c\ _0110_4^5 + 3740163225953001497415251097988669/10834668513075964579\ 2582556465*c_0110_4^4 - 477197030242313550645558729618861/108346685\ 130759645792582556465*c_0110_4^3 + 29347948740225256946089868909337/21669337026151929158516511293*c_01\ 10_4^2 + 1340693336688059070938719898713/21669337026151929158516511\ 293*c_0110_4 - 51442260233093300110128239800908/1083466851307596457\ 92582556465, c_0011_0 - 1, c_0011_1 - 12926116005257081912186756098633/660914779297633839334753594\ 4365*c_0110_4^18 - 100425524007929022094831645202428/66091477929763\ 38393347535944365*c_0110_4^17 - 43813900538255439287353834755989/13\ 21829558595267678669507188873*c_0110_4^16 + 561443099815984796828803530090912/1321829558595267678669507188873*c\ _0110_4^15 + 833596756760673426672288833817828/13218295585952676786\ 69507188873*c_0110_4^14 - 4205157129241428053653174510218481/660914\ 7792976338393347535944365*c_0110_4^13 - 19873345257227249629331174733313924/6609147792976338393347535944365\ *c_0110_4^12 - 78941559913382074110987572401276283/6609147792976338\ 393347535944365*c_0110_4^11 - 20908784734164210436154340815864274/1\ 321829558595267678669507188873*c_0110_4^10 + 583974192004183932962921768145654/108346685130759645792582556465*c_\ 0110_4^9 + 122123651132957342765284739480626806/6609147792976338393\ 347535944365*c_0110_4^8 + 20901685673209271943587205556064054/66091\ 47792976338393347535944365*c_0110_4^7 - 37392481819371375709612332159142429/6609147792976338393347535944365\ *c_0110_4^6 - 8674348744523659182196006817124393/660914779297633839\ 3347535944365*c_0110_4^5 + 2737355659523110033222744476995541/66091\ 47792976338393347535944365*c_0110_4^4 - 229945604400334548565864708794749/6609147792976338393347535944365*c\ _0110_4^3 + 36380934785575318718664168648714/1321829558595267678669\ 507188873*c_0110_4^2 + 31558130144289101023649421285438/13218295585\ 95267678669507188873*c_0110_4 - 23614838231788605422095886920237/66\ 09147792976338393347535944365, c_0011_4 + 8816117441369252880416173421649/6609147792976338393347535944\ 365*c_0110_4^18 + 67597404038382963179290285421974/6609147792976338\ 393347535944365*c_0110_4^17 + 28615745774557601606936425036910/1321\ 829558595267678669507188873*c_0110_4^16 - 385028598790444225251738136347970/1321829558595267678669507188873*c\ _0110_4^15 - 527775628059297034578261876669700/13218295585952676786\ 69507188873*c_0110_4^14 + 3017183740839813078186477147055543/660914\ 7792976338393347535944365*c_0110_4^13 + 13108910350639522338796304395989597/6609147792976338393347535944365\ *c_0110_4^12 + 52712726282442536168770504965023334/6609147792976338\ 393347535944365*c_0110_4^11 + 13339190765312519186058707899646071/1\ 321829558595267678669507188873*c_0110_4^10 - 458707330878651840612215400799632/108346685130759645792582556465*c_\ 0110_4^9 - 76899486427055728447686549270452118/66091477929763383933\ 47535944365*c_0110_4^8 - 8642189389293414279919626799472497/6609147\ 792976338393347535944365*c_0110_4^7 + 22329677002176749589350297207462722/6609147792976338393347535944365\ *c_0110_4^6 + 3776870737030410196533075860691329/660914779297633839\ 3347535944365*c_0110_4^5 - 1238636659329316666453984545507513/66091\ 47792976338393347535944365*c_0110_4^4 + 271230814139944424285637343922802/6609147792976338393347535944365*c\ _0110_4^3 - 24503423704066622418732885979419/1321829558595267678669\ 507188873*c_0110_4^2 - 12343223635090207939173669811410/13218295585\ 95267678669507188873*c_0110_4 + 9656102690879041285281917417871/660\ 9147792976338393347535944365, c_0101_0 - 8138496685664582117028731649797/6609147792976338393347535944\ 365*c_0110_4^18 - 63327653633935848143166599085752/6609147792976338\ 393347535944365*c_0110_4^17 - 27763587585429525817716776866906/1321\ 829558595267678669507188873*c_0110_4^16 + 352939155244698032162143879931035/1321829558595267678669507188873*c\ _0110_4^15 + 528473475493369852661565869555489/13218295585952676786\ 69507188873*c_0110_4^14 - 2590930929636728157524413823256824/660914\ 7792976338393347535944365*c_0110_4^13 - 12475696302833104409369194775318886/6609147792976338393347535944365\ *c_0110_4^12 - 49851482026645856658232159675471282/6609147792976338\ 393347535944365*c_0110_4^11 - 13329598639956137995337474035719452/1\ 321829558595267678669507188873*c_0110_4^10 + 338856841120541963623944035241256/108346685130759645792582556465*c_\ 0110_4^9 + 75316801208919625158590620456024684/66091477929763383933\ 47535944365*c_0110_4^8 + 13280014898720587190683837684793481/660914\ 7792976338393347535944365*c_0110_4^7 - 22100360899005753294919984140013271/6609147792976338393347535944365\ *c_0110_4^6 - 4536572870731807031206053053287282/660914779297633839\ 3347535944365*c_0110_4^5 + 1671171232558607445843827081072774/66091\ 47792976338393347535944365*c_0110_4^4 - 330449689471896296724192342429161/6609147792976338393347535944365*c\ _0110_4^3 + 11436859587688917044631966582831/1321829558595267678669\ 507188873*c_0110_4^2 + 15771500844370778200535384428911/13218295585\ 95267678669507188873*c_0110_4 - 14287566222229511090691545960073/66\ 09147792976338393347535944365, c_0101_1 - 5848604558925286341299405370962/6609147792976338393347535944\ 365*c_0110_4^18 - 47281576508190744643686544460237/6609147792976338\ 393347535944365*c_0110_4^17 - 22491994806528086968119497363370/1321\ 829558595267678669507188873*c_0110_4^16 + 249161785034011776269385450185495/1321829558595267678669507188873*c\ _0110_4^15 + 459487591237202424009633142889380/13218295585952676786\ 69507188873*c_0110_4^14 - 1529870009345297589409285328794634/660914\ 7792976338393347535944365*c_0110_4^13 - 9745788096476190797009089379395751/6609147792976338393347535944365*\ c_0110_4^12 - 38096029532280390104757760575625777/66091477929763383\ 93347535944365*c_0110_4^11 - 11471788181222332526503323812476540/13\ 21829558595267678669507188873*c_0110_4^10 + 102760558009428301868659161700231/108346685130759645792582556465*c_\ 0110_4^9 + 64378824677602042991480827348776384/66091477929763383933\ 47535944365*c_0110_4^8 + 20562058263344853124405220372136296/660914\ 7792976338393347535944365*c_0110_4^7 - 19319350857430209956448213465113876/6609147792976338393347535944365\ *c_0110_4^6 - 6609564952269676418376791508204367/660914779297633839\ 3347535944365*c_0110_4^5 + 1576802004026173493847296025474874/66091\ 47792976338393347535944365*c_0110_4^4 - 139032874471363049422886880896541/6609147792976338393347535944365*c\ _0110_4^3 + 8154798963189122100190110729780/13218295585952676786695\ 07188873*c_0110_4^2 + 21378679520487207371891816843044/132182955859\ 5267678669507188873*c_0110_4 - 10772956528975658979354330269863/660\ 9147792976338393347535944365, c_0110_4^19 + 7*c_0110_4^18 + 11*c_0110_4^17 - 230*c_0110_4^16 - 155*c_0110_4^15 + 567*c_0110_4^14 + 1280*c_0110_4^13 + 4939*c_0110_4^12 + 3431*c_0110_4^11 - 8823*c_0110_4^10 - 7165*c_0110_4^9 + 5450*c_0110_4^8 + 3875*c_0110_4^7 - 1451*c_0110_4^6 - 621*c_0110_4^5 + 151*c_0110_4^4 - 32*c_0110_4^3 + 9*c_0110_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB