Magma V2.19-8 Tue Aug 20 2013 16:14:13 on localhost [Seed = 1629551950] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s177 geometric_solution 4.27166682 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 1 1 2 2 0132 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.458778004180 0.253570522648 0 1 1 0 0132 3201 2310 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 -1.337414098532 0.345004877065 3 0 4 0 0132 2310 0132 0132 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 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.966706754899 0.396975753204 2 4 5 5 0132 0213 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 -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.486485937215 0.989386351327 5 5 3 2 2310 1023 0213 0132 0 0 0 0 0 -1 0 1 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 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.486485937215 0.989386351327 4 3 4 3 1023 2310 3201 0132 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 -1 1 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.400217488908 0.813938678999 ==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' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(d['1']), 's_2_4' : 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' : 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' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_2']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : negation(d['c_0011_2']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], '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' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 15930894140003550978026531615697/2568795645851941115096996339968*c_\ 0101_2^18 - 64698035490448510630793918927975/2568795645851941115096\ 996339968*c_0101_2^17 + 1175282812955945845864369413265/40137431966\ 436579923390567812*c_0101_2^16 + 48452426827097570207286426997219/6\ 42198911462985278774249084992*c_0101_2^15 + 699109106314797363378242315463039/2568795645851941115096996339968*c\ _0101_2^14 + 2502130426629491450754696148563783/2568795645851941115\ 096996339968*c_0101_2^13 + 1186539714176382095905309313740985/64219\ 8911462985278774249084992*c_0101_2^12 + 3631875973378376612572526540586985/2568795645851941115096996339968*\ c_0101_2^11 + 2309965916550696014687903507026405/256879564585194111\ 5096996339968*c_0101_2^10 + 219773092762560130309863969431469/25687\ 95645851941115096996339968*c_0101_2^9 + 35097727598837763711866449563045549/2568795645851941115096996339968\ *c_0101_2^8 + 845139596075145951520851797544327/3210994557314926393\ 87124542496*c_0101_2^7 - 611208938641528685218741731314669/80274863\ 932873159846781135624*c_0101_2^6 + 1899990589561745570198106996609435/160549727865746319693562271248*c\ _0101_2^5 + 5510945717440216663286082297265171/64219891146298527877\ 4249084992*c_0101_2^4 + 1486129960439877820220855903560929/25687956\ 45851941115096996339968*c_0101_2^3 - 3631042112074451952669496672223653/2568795645851941115096996339968*\ c_0101_2^2 - 1467527214596978147287259104055163/2568795645851941115\ 096996339968*c_0101_2 - 78257619201138099274017103461947/2568795645\ 851941115096996339968, c_0011_0 - 1, c_0011_2 + 98102026659573842888039816615/642198911462985278774249084992\ *c_0101_2^18 + 375940667737133323072434672567/642198911462985278774\ 249084992*c_0101_2^17 - 68918839595083192820462795613/8027486393287\ 3159846781135624*c_0101_2^16 - 269053622027415086890836653215/16054\ 9727865746319693562271248*c_0101_2^15 - 4050873068357964502222716073945/642198911462985278774249084992*c_01\ 01_2^14 - 14449852478683600630999390425595/642198911462985278774249\ 084992*c_0101_2^13 - 3228014897855238772540995051589/80274863932873\ 159846781135624*c_0101_2^12 - 16105930275016866370360511268067/6421\ 98911462985278774249084992*c_0101_2^11 - 9846192358706526163912946654045/642198911462985278774249084992*c_01\ 01_2^10 + 1482250191219177937033868530853/6421989114629852787742490\ 84992*c_0101_2^9 - 216139673993156432696666063586873/64219891146298\ 5278774249084992*c_0101_2^8 + 2006571249163633934802532826897/16054\ 9727865746319693562271248*c_0101_2^7 + 30824995956326613126099254127195/160549727865746319693562271248*c_0\ 101_2^6 - 53199581908106332085969662768349/160549727865746319693562\ 271248*c_0101_2^5 - 11311592136191373428229061338081/80274863932873\ 159846781135624*c_0101_2^4 + 15373850097659428914616018929725/64219\ 8911462985278774249084992*c_0101_2^3 + 24065640098572021841266511755073/642198911462985278774249084992*c_0\ 101_2^2 + 3732785437290409923941007017969/6421989114629852787742490\ 84992*c_0101_2 - 622834207308526773971802817741/6421989114629852787\ 74249084992, c_0011_4 + 101747439206022529926426999241/64219891146298527877424908499\ 2*c_0101_2^18 + 389108552711321953164443655069/64219891146298527877\ 4249084992*c_0101_2^17 - 71677144920190234742202233313/802748639328\ 73159846781135624*c_0101_2^16 - 276571114812074401368304844933/1605\ 49727865746319693562271248*c_0101_2^15 - 4202474909192017034301093407351/642198911462985278774249084992*c_01\ 01_2^14 - 14968643528057897210539600481329/642198911462985278774249\ 084992*c_0101_2^13 - 834959693859675233966108971193/200687159832182\ 89961695283906*c_0101_2^12 - 16698100693067123152936348823877/64219\ 8911462985278774249084992*c_0101_2^11 - 10424382840243176725951813733135/642198911462985278774249084992*c_0\ 101_2^10 + 1450183498044269247575358556683/642198911462985278774249\ 084992*c_0101_2^9 - 224363892818449008848213218789547/6421989114629\ 85278774249084992*c_0101_2^8 + 2457695580141793066771672606745/1605\ 49727865746319693562271248*c_0101_2^7 + 31023948031585352010048839631295/160549727865746319693562271248*c_0\ 101_2^6 - 55340094654786241408512208753201/160549727865746319693562\ 271248*c_0101_2^5 - 5608505530318023007971577401653/401374319664365\ 79923390567812*c_0101_2^4 + 11877530060094958964869786359595/642198\ 911462985278774249084992*c_0101_2^3 + 23214120737035250637682315096099/642198911462985278774249084992*c_0\ 101_2^2 + 4059792009231280979151115434199/6421989114629852787742490\ 84992*c_0101_2 - 597058833671334132038829790591/6421989114629852787\ 74249084992, c_0101_0 + 23693096208240189070905952717/160549727865746319693562271248\ *c_0101_2^18 + 90394361298533410666648340661/1605497278657463196935\ 62271248*c_0101_2^17 - 8395351163664121986534285391/100343579916091\ 44980847641953*c_0101_2^16 - 16036507965754744294053689968/10034357\ 991609144980847641953*c_0101_2^15 - 977354277799214723654590696995/160549727865746319693562271248*c_010\ 1_2^14 - 3475677777074293596076702749653/16054972786574631969356227\ 1248*c_0101_2^13 - 773641225115401883963085588979/20068715983218289\ 961695283906*c_0101_2^12 - 3823881402208372562685757758345/16054972\ 7865746319693562271248*c_0101_2^11 - 2358071542115895546712753445663/160549727865746319693562271248*c_01\ 01_2^10 + 431442913884951774734156573615/16054972786574631969356227\ 1248*c_0101_2^9 - 52182963060043113958528899622575/1605497278657463\ 19693562271248*c_0101_2^8 + 710948803437215345085098244133/40137431\ 966436579923390567812*c_0101_2^7 + 7217322741593088308985544620725/40137431966436579923390567812*c_010\ 1_2^6 - 12809712595628639175869101961175/40137431966436579923390567\ 812*c_0101_2^5 - 1283525831821155816720000614332/100343579916091449\ 80847641953*c_0101_2^4 + 2875920706081952314839714610295/1605497278\ 65746319693562271248*c_0101_2^3 + 5937548130544556665687880081187/1\ 60549727865746319693562271248*c_0101_2^2 + 1045859139371710708482418628755/160549727865746319693562271248*c_01\ 01_2 - 148877240630928659057853196675/16054972786574631969356227124\ 8, c_0101_1 + 208311901291691791363694439/642198911462985278774249084992*c\ _0101_2^18 + 15215650965822304831356735967/642198911462985278774249\ 084992*c_0101_2^17 + 3233191783711144799990858633/40137431966436579\ 923390567812*c_0101_2^16 - 23029559972780040134119403553/1605497278\ 65746319693562271248*c_0101_2^15 - 153416239675226513635408455041/642198911462985278774249084992*c_010\ 1_2^14 - 603468289434257351835728527131/642198911462985278774249084\ 992*c_0101_2^13 - 259981459182234584471189315841/802748639328731598\ 46781135624*c_0101_2^12 - 3484529730213874071334843636755/642198911\ 462985278774249084992*c_0101_2^11 - 1774179154069286958141795355781/642198911462985278774249084992*c_01\ 01_2^10 - 1029300171161102702870011493011/6421989114629852787742490\ 84992*c_0101_2^9 + 86428378822766818039691274855/642198911462985278\ 774249084992*c_0101_2^8 - 7944682241894201315364751636247/160549727\ 865746319693562271248*c_0101_2^7 + 1633981758657542981139210535855/160549727865746319693562271248*c_01\ 01_2^6 + 4215799666509301250907250316819/16054972786574631969356227\ 1248*c_0101_2^5 - 4160179981216424796912216948363/80274863932873159\ 846781135624*c_0101_2^4 - 8106504041254876198620591426243/642198911\ 462985278774249084992*c_0101_2^3 + 3181206028417730873835845958569/642198911462985278774249084992*c_01\ 01_2^2 + 3941923857617928122867307716537/64219891146298527877424908\ 4992*c_0101_2 - 23472757265613778251380330461/642198911462985278774\ 249084992, c_0101_2^19 + 4*c_0101_2^18 - 5*c_0101_2^17 - 12*c_0101_2^16 - 43*c_0101_2^15 - 154*c_0101_2^14 - 287*c_0101_2^13 - 205*c_0101_2^12 - 122*c_0101_2^11 + 2*c_0101_2^10 - 2198*c_0101_2^9 - 289*c_0101_2^8 + 1320*c_0101_2^7 - 1968*c_0101_2^6 - 1308*c_0101_2^5 + 51*c_0101_2^4 + 280*c_0101_2^3 + 76*c_0101_2^2 - 6*c_0101_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.210 seconds, Total memory usage: 32.09MB