Magma V2.19-8 Tue Aug 20 2013 17:55:31 on localhost [Seed = 1646515637] Type ? for help. Type -D to quit. Loading file "10_9__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_9 geometric_solution 8.29409968 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 9 1 2 3 3 0132 0132 0132 1302 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 3 0 0 -3 -3 4 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.202772547446 1.112960350729 0 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 3 -3 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.634908930578 1.166122612345 6 0 3 1 0132 0132 3201 1023 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 -1 1 0 0 0 1 -1 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.323388734607 0.451644129144 2 6 0 0 2310 2310 2031 0132 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 -4 3 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.202772547446 1.112960350729 7 1 5 8 0132 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 -1 0 0 4 -4 0 -3 0 3 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.755525117739 0.504806390760 8 4 6 1 1023 0213 1023 0132 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 4 -4 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.204008844310 0.879289371868 2 8 5 3 0132 0321 1023 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 -4 0 4 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.634908930578 1.166122612345 4 8 7 7 0132 3012 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.889323689293 0.635858466738 7 5 4 6 1230 1023 0132 0321 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 1 -1 0 0 4 -4 0 -4 0 4 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.777103801472 1.604610509015 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_6'], 'c_1001_7' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_3']), 'c_1001_8' : d['c_0101_5'], 's_2_8' : 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_2_7' : d['1'], 's_0_8' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_8' : d['c_0101_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_5'], 'c_1100_7' : d['c_0101_7'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0101_3'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : negation(d['c_0011_3']), 'c_1010_7' : negation(d['c_0101_7']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_6'], 'c_1010_0' : negation(d['c_0101_3']), 'c_1010_8' : d['c_0101_1'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_8' : d['c_0011_5'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_0'], '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_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_8' : d['c_0101_7'], 'c_0110_8' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 10 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_5, c_0101_6, c_0101_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 1038263804046571964891586926495481/579155781681384645451884651353*c\ _0101_7^17 + 8683147446858480166092560749973355/5791557816813846454\ 51884651353*c_0101_7^16 - 36710976512222498159497088156891217/57915\ 5781681384645451884651353*c_0101_7^15 + 59252357199095659304905022829405996/579155781681384645451884651353*\ c_0101_7^14 - 27279405842876171320635454370980793/57915578168138464\ 5451884651353*c_0101_7^13 - 274682113722935886689010437928035105/57\ 9155781681384645451884651353*c_0101_7^12 + 577108030531520173126762105345217989/579155781681384645451884651353\ *c_0101_7^11 - 819526101438801750350385723638863677/579155781681384\ 645451884651353*c_0101_7^10 + 662761894827389752427004823446326207/\ 579155781681384645451884651353*c_0101_7^9 - 68919039230688904772289348059617071/579155781681384645451884651353*\ c_0101_7^8 + 612962512580475827532180731904754093/57915578168138464\ 5451884651353*c_0101_7^7 + 879865268097564035265027762038365642/579\ 155781681384645451884651353*c_0101_7^6 + 742742780095916074322570593063297972/579155781681384645451884651353\ *c_0101_7^5 + 526287619364276234577730485724188111/5791557816813846\ 45451884651353*c_0101_7^4 + 276002041026195725648860029487528401/57\ 9155781681384645451884651353*c_0101_7^3 + 85129432544296660687066469900217711/579155781681384645451884651353*\ c_0101_7^2 + 13197455966790884385564569761705376/579155781681384645\ 451884651353*c_0101_7 + 774498279740402603187457404843251/579155781\ 681384645451884651353, c_0011_0 - 1, c_0011_3 - 1, c_0011_5 - 72153066787268421621158487/5125272404260041110193669481*c_01\ 01_7^17 + 568969881043596907785591720/5125272404260041110193669481*\ c_0101_7^16 - 2268152219327722851853615359/512527240426004111019366\ 9481*c_0101_7^15 + 2941692505543682965113262576/5125272404260041110\ 193669481*c_0101_7^14 - 107403756481472819018657267/512527240426004\ 1110193669481*c_0101_7^13 - 19713081206655498357319047475/512527240\ 4260041110193669481*c_0101_7^12 + 30865413896130318518437680244/512\ 5272404260041110193669481*c_0101_7^11 - 39189974430928993208663457852/5125272404260041110193669481*c_0101_7\ ^10 + 21607279322688674990152712986/5125272404260041110193669481*c_\ 0101_7^9 + 13226018339229163230724655318/51252724042600411101936694\ 81*c_0101_7^8 + 42987466861673109990984127986/512527240426004111019\ 3669481*c_0101_7^7 + 81320694766480243409218370347/5125272404260041\ 110193669481*c_0101_7^6 + 84072868428503912146327342302/51252724042\ 60041110193669481*c_0101_7^5 + 66672575891200899797994290065/512527\ 2404260041110193669481*c_0101_7^4 + 41996833284611951457054238992/5125272404260041110193669481*c_0101_7\ ^3 + 19372813260405116826857143315/5125272404260041110193669481*c_0\ 101_7^2 + 11617460731823501581891620640/512527240426004111019366948\ 1*c_0101_7 - 711062985184410892172660971/51252724042600411101936694\ 81, c_0101_0 - 876048210963215351828643180090/5125272404260041110193669481*\ c_0101_7^17 + 7228024928469546796044194999412/512527240426004111019\ 3669481*c_0101_7^16 - 30136443792836250377666336865904/512527240426\ 0041110193669481*c_0101_7^15 + 46382692834862005940182009540761/512\ 5272404260041110193669481*c_0101_7^14 - 16836826948913589254725203544925/5125272404260041110193669481*c_010\ 1_7^13 - 235316856377734904822017716466911/512527240426004111019366\ 9481*c_0101_7^12 + 461449422747348427629986896040750/51252724042600\ 41110193669481*c_0101_7^11 - 632815420991594799704898690232366/5125\ 272404260041110193669481*c_0101_7^10 + 472364947889460120950396934500701/5125272404260041110193669481*c_01\ 01_7^9 + 18268622466538546188705895326970/5125272404260041110193669\ 481*c_0101_7^8 + 498625760102154438709333365457741/5125272404260041\ 110193669481*c_0101_7^7 + 803658656606913446034590525179309/5125272\ 404260041110193669481*c_0101_7^6 + 700554189926526351814086919759605/5125272404260041110193669481*c_01\ 01_7^5 + 503291528560687619380203168906430/512527240426004111019366\ 9481*c_0101_7^4 + 273723363924583287040094238810424/512527240426004\ 1110193669481*c_0101_7^3 + 91779803579066131055686964390898/5125272\ 404260041110193669481*c_0101_7^2 + 16178629066019321929949749070364/5125272404260041110193669481*c_010\ 1_7 + 1140310292829607522151351612434/5125272404260041110193669481, c_0101_1 + 89247948918378049952955665946/5125272404260041110193669481*c\ _0101_7^17 - 781900303795699908311436172725/51252724042600411101936\ 69481*c_0101_7^16 + 3458060248166112424991478619101/512527240426004\ 1110193669481*c_0101_7^15 - 6395400728140449387912076565070/5125272\ 404260041110193669481*c_0101_7^14 + 4572329529961703178168428758725/5125272404260041110193669481*c_0101\ _7^13 + 22333958143499783655356608805259/51252724042600411101936694\ 81*c_0101_7^12 - 58803181739773476606535649669253/51252724042600411\ 10193669481*c_0101_7^11 + 91601401898130778880600460282212/51252724\ 04260041110193669481*c_0101_7^10 - 88270855834375815875054425971504/5125272404260041110193669481*c_010\ 1_7^9 + 33434065395204412088346325876822/51252724042600411101936694\ 81*c_0101_7^8 - 59297961544260070824052180081057/512527240426004111\ 0193669481*c_0101_7^7 - 53667081627291719875835657811044/5125272404\ 260041110193669481*c_0101_7^6 - 37097024251665119691614161332439/51\ 25272404260041110193669481*c_0101_7^5 - 23987484011516684224636459950297/5125272404260041110193669481*c_010\ 1_7^4 - 8966258771638309625111634667485/512527240426004111019366948\ 1*c_0101_7^3 - 152868468507544579289760454224/512527240426004111019\ 3669481*c_0101_7^2 + 673222422015011999938649717344/512527240426004\ 1110193669481*c_0101_7 + 106821418802767622986346497826/51252724042\ 60041110193669481, c_0101_3 + 589196709870565707700435045122/5125272404260041110193669481*\ c_0101_7^17 - 4837180107756421488902387047023/512527240426004111019\ 3669481*c_0101_7^16 + 20062607754329809774276994710142/512527240426\ 0041110193669481*c_0101_7^15 - 30305705900275785285437357492642/512\ 5272404260041110193669481*c_0101_7^14 + 9789421803292565698144363038031/5125272404260041110193669481*c_0101\ _7^13 + 159165915621620882144652850604711/5125272404260041110193669\ 481*c_0101_7^12 - 304117764079930144883902912158777/512527240426004\ 1110193669481*c_0101_7^11 + 411064466637601559319983491572844/51252\ 72404260041110193669481*c_0101_7^10 - 296092708840929196510617483118314/5125272404260041110193669481*c_01\ 01_7^9 - 31416311615728480095200903646603/5125272404260041110193669\ 481*c_0101_7^8 - 330576250145572738795625570069212/5125272404260041\ 110193669481*c_0101_7^7 - 555312072812193310019583494356328/5125272\ 404260041110193669481*c_0101_7^6 - 489114445237768381798405793028003/5125272404260041110193669481*c_01\ 01_7^5 - 352277956534379701657424167970539/512527240426004111019366\ 9481*c_0101_7^4 - 193749223825757245849800500987949/512527240426004\ 1110193669481*c_0101_7^3 - 66292034707730489535615374191334/5125272\ 404260041110193669481*c_0101_7^2 - 11969815064912461250788033019060/5125272404260041110193669481*c_010\ 1_7 - 861974504247458881636885283001/5125272404260041110193669481, c_0101_5 + 237079334015092453362330429684/5125272404260041110193669481*\ c_0101_7^17 - 1983280577147878948273482894474/512527240426004111019\ 3669481*c_0101_7^16 + 8387205491997624056828091687648/5125272404260\ 041110193669481*c_0101_7^15 - 13548529216510805494860904843076/5125\ 272404260041110193669481*c_0101_7^14 + 6256276090024732206176390370740/5125272404260041110193669481*c_0101\ _7^13 + 62718646496164829500092312183799/51252724042600411101936694\ 81*c_0101_7^12 - 131941231712220627050374746700482/5125272404260041\ 110193669481*c_0101_7^11 + 187432986848257716544179771555832/512527\ 2404260041110193669481*c_0101_7^10 - 151690259827798850872406665047923/5125272404260041110193669481*c_01\ 01_7^9 + 15899466482248150670353321767435/5125272404260041110193669\ 481*c_0101_7^8 - 139730568825493084142908398167081/5125272404260041\ 110193669481*c_0101_7^7 - 200830765853784520205291202354858/5125272\ 404260041110193669481*c_0101_7^6 - 168950016907141720376119945052502/5125272404260041110193669481*c_01\ 01_7^5 - 119864292384429909878829995734839/512527240426004111019366\ 9481*c_0101_7^4 - 62742451812930315138318323231634/5125272404260041\ 110193669481*c_0101_7^3 - 19304315669422120564275558285202/51252724\ 04260041110193669481*c_0101_7^2 - 2979176673543053153016559523220/5\ 125272404260041110193669481*c_0101_7 - 174502895300706283986640602668/5125272404260041110193669481, c_0101_6 + 89247948918378049952955665946/5125272404260041110193669481*c\ _0101_7^17 - 781900303795699908311436172725/51252724042600411101936\ 69481*c_0101_7^16 + 3458060248166112424991478619101/512527240426004\ 1110193669481*c_0101_7^15 - 6395400728140449387912076565070/5125272\ 404260041110193669481*c_0101_7^14 + 4572329529961703178168428758725/5125272404260041110193669481*c_0101\ _7^13 + 22333958143499783655356608805259/51252724042600411101936694\ 81*c_0101_7^12 - 58803181739773476606535649669253/51252724042600411\ 10193669481*c_0101_7^11 + 91601401898130778880600460282212/51252724\ 04260041110193669481*c_0101_7^10 - 88270855834375815875054425971504/5125272404260041110193669481*c_010\ 1_7^9 + 33434065395204412088346325876822/51252724042600411101936694\ 81*c_0101_7^8 - 59297961544260070824052180081057/512527240426004111\ 0193669481*c_0101_7^7 - 53667081627291719875835657811044/5125272404\ 260041110193669481*c_0101_7^6 - 37097024251665119691614161332439/51\ 25272404260041110193669481*c_0101_7^5 - 23987484011516684224636459950297/5125272404260041110193669481*c_010\ 1_7^4 - 8966258771638309625111634667485/512527240426004111019366948\ 1*c_0101_7^3 - 152868468507544579289760454224/512527240426004111019\ 3669481*c_0101_7^2 + 673222422015011999938649717344/512527240426004\ 1110193669481*c_0101_7 + 106821418802767622986346497826/51252724042\ 60041110193669481, c_0101_7^18 - 8*c_0101_7^17 + 97/3*c_0101_7^16 - 133/3*c_0101_7^15 + 6*c_0101_7^14 + 820/3*c_0101_7^13 - 1378/3*c_0101_7^12 + 1772/3*c_0101_7^11 - 359*c_0101_7^10 - 464/3*c_0101_7^9 - 1727/3*c_0101_7^8 - 3179/3*c_0101_7^7 - 3092/3*c_0101_7^6 - 776*c_0101_7^5 - 1372/3*c_0101_7^4 - 551/3*c_0101_7^3 - 45*c_0101_7^2 - 6*c_0101_7 - 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB