Magma V2.19-8 Tue Aug 20 2013 16:14:45 on localhost [Seed = 3381155247] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s742 geometric_solution 5.26964611 oriented_manifold CS_known -0.0000000000000001 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.482162177887 0.274505703026 2 0 3 0 0132 2310 0132 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.951530739368 0.617227922344 1 4 3 5 0132 0132 3012 0132 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 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 1.008974242635 0.931335621194 5 2 4 1 1023 1230 0132 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 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 0 0 0 0 1.008974242635 0.931335621194 4 2 4 3 2031 0132 1302 0132 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 0 0 0 0 0 -1 1 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.376807043499 0.771302344953 5 3 2 5 3012 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.007608926032 0.862016781860 ==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' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_3'], '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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 10337931467533769832631585627033736197348909/1104292636714428970870\ 906836276659420730025*c_0101_3^23 - 15815981056658888061517282993427363616744171/4417170546857715883483\ 62734510663768292010*c_0101_3^22 + 622930430661598317952584595344459817369863119/220858527342885794174\ 1813672553318841460050*c_0101_3^21 + 2081904275570226283759247303017581102525928533/22085852734288579417\ 41813672553318841460050*c_0101_3^20 - 2596710267374825169525591755780325967375315192/11042926367144289708\ 70906836276659420730025*c_0101_3^19 - 15380291373998477506164310973514947608160868381/2208585273428857941\ 741813672553318841460050*c_0101_3^18 + 46125840760629708197681746095026107356137662021/2208585273428857941\ 741813672553318841460050*c_0101_3^17 + 118961394521054585629527706467601766973481103201/220858527342885794\ 1741813672553318841460050*c_0101_3^16 - 13354251956110198113508091748881641499681926797/2208585273428857941\ 74181367255331884146005*c_0101_3^15 - 196334663285905925840427536656754423783428767378/110429263671442897\ 0870906836276659420730025*c_0101_3^14 + 213622684787483143771047110018355558983694952033/220858527342885794\ 1741813672553318841460050*c_0101_3^13 + 291305214251647579852347748323016974021395302373/110429263671442897\ 0870906836276659420730025*c_0101_3^12 - 203345060840536857300906986157339205959764076231/220858527342885794\ 1741813672553318841460050*c_0101_3^11 - 427720916646609317700874015213118359662328338869/220858527342885794\ 1741813672553318841460050*c_0101_3^10 + 108612182930686242359916193116115832505522320551/220858527342885794\ 1741813672553318841460050*c_0101_3^9 + 31925175507232244796125704723978049089902073769/4417170546857715883\ 48362734510663768292010*c_0101_3^8 - 19362136561765740894422881138045378806142633107/1104292636714428970\ 870906836276659420730025*c_0101_3^7 - 36911160606269989977970394095713630588412625919/2208585273428857941\ 741813672553318841460050*c_0101_3^6 + 9754288066092411020197447874539062717289238317/11042926367144289708\ 70906836276659420730025*c_0101_3^5 + 6629347573632103973754457295805046090674429627/11042926367144289708\ 70906836276659420730025*c_0101_3^4 - 4519455263479640323345048349329604746854739704/11042926367144289708\ 70906836276659420730025*c_0101_3^3 - 4875970438530075796121347179608513153890382809/22085852734288579417\ 41813672553318841460050*c_0101_3^2 + 755879274168857858848873718480477181806779177/110429263671442897087\ 0906836276659420730025*c_0101_3 + 629549582512717732115631721086325\ 769435481773/2208585273428857941741813672553318841460050, c_0011_0 - 1, c_0011_1 - 1348158352829758696374331991589388456113/1299167807899328201\ 0245962779725404949765*c_0101_3^23 - 3617402793661060157121073612761727597658/12991678078993282010245962\ 779725404949765*c_0101_3^22 + 4500084350906233371066599495325449220\ 2518/12991678078993282010245962779725404949765*c_0101_3^21 + 16898195382147945096824192081426064316746/2598335615798656402049192\ 555945080989953*c_0101_3^20 - 4463358577348019167052138765940097520\ 33837/12991678078993282010245962779725404949765*c_0101_3^19 - 495359185159181742589455650430537554771656/129916780789932820102459\ 62779725404949765*c_0101_3^18 + 74565733413380565644996039000077565\ 5075952/2598335615798656402049192555945080989953*c_0101_3^17 + 707179867661911696447061585310227821551120/259833561579865640204919\ 2555945080989953*c_0101_3^16 - 139066427655686611823367560321826351\ 24931381/12991678078993282010245962779725404949765*c_0101_3^15 - 9693772231402414257246550979128325383140843/12991678078993282010245\ 962779725404949765*c_0101_3^14 + 3146363978948929119389549910904783\ 5330443418/12991678078993282010245962779725404949765*c_0101_3^13 + 4992232747911948763272849761363356650715789/12991678078993282010245\ 962779725404949765*c_0101_3^12 - 3321054947805835840828278573329167\ 7803505984/12991678078993282010245962779725404949765*c_0101_3^11 + 4006441156388761072084199395942056699180734/12991678078993282010245\ 962779725404949765*c_0101_3^10 + 1512644321846275254905402546326221\ 9822287448/12991678078993282010245962779725404949765*c_0101_3^9 - 613464325853081429436450805028211160206388/259833561579865640204919\ 2555945080989953*c_0101_3^8 - 3542729119288908640805060537064796117\ 423854/12991678078993282010245962779725404949765*c_0101_3^7 + 907074487750434391362212765967257815108547/129916780789932820102459\ 62779725404949765*c_0101_3^6 + 125459371752072302333802905704069553\ 6776507/12991678078993282010245962779725404949765*c_0101_3^5 - 642259181869199932060119822553831122120106/129916780789932820102459\ 62779725404949765*c_0101_3^4 - 456046919611176134437004643367320789\ 850894/12991678078993282010245962779725404949765*c_0101_3^3 + 202252106349465975203729883977034330067076/129916780789932820102459\ 62779725404949765*c_0101_3^2 + 113586957250938167069914332187083161\ 62985/2598335615798656402049192555945080989953*c_0101_3 - 16446320641515374598757940779403844238791/1299167807899328201024596\ 2779725404949765, c_0011_3 + 33899847121511075856736667939839578754956/649583903949664100\ 51229813898627024748825*c_0101_3^23 + 23041851971148627937037351455825723796348/1299167807899328201024596\ 2779725404949765*c_0101_3^22 - 106151025952797747792592570697707339\ 8175218/64958390394966410051229813898627024748825*c_0101_3^21 - 2929692722444622699537507519924424945135416/64958390394966410051229\ 813898627024748825*c_0101_3^20 + 9490394183545969650109607730049222\ 562688558/64958390394966410051229813898627024748825*c_0101_3^19 + 20384670907688378126276718635049073498388217/6495839039496641005122\ 9813898627024748825*c_0101_3^18 - 819906654047683057933506365177190\ 79501866132/64958390394966410051229813898627024748825*c_0101_3^17 - 154835657997922546727484955443260370047752427/649583903949664100512\ 29813898627024748825*c_0101_3^16 + 52913621690273781656866593249175699975589761/1299167807899328201024\ 5962779725404949765*c_0101_3^15 + 490525957906655926122179317109590\ 034617343237/64958390394966410051229813898627024748825*c_0101_3^14 - 500227777244702825668583680502820822718196811/649583903949664100512\ 29813898627024748825*c_0101_3^13 - 625837570292003082895460118581582537510803212/649583903949664100512\ 29813898627024748825*c_0101_3^12 + 492975134256631138269069471184792225965117312/649583903949664100512\ 29813898627024748825*c_0101_3^11 + 369208404535832971046750348854325397190532688/649583903949664100512\ 29813898627024748825*c_0101_3^10 - 230333875628661970347397666646604672135350387/649583903949664100512\ 29813898627024748825*c_0101_3^9 - 465850524964875494727973291136975\ 8989564627/2598335615798656402049192555945080989953*c_0101_3^8 + 64825384031779141787713417808363031069409128/6495839039496641005122\ 9813898627024748825*c_0101_3^7 + 2683707374683135031160310736261973\ 9448647078/64958390394966410051229813898627024748825*c_0101_3^6 - 29832126741987432307007508743491403037154958/6495839039496641005122\ 9813898627024748825*c_0101_3^5 - 7039411298193295431580754097376366\ 564314548/64958390394966410051229813898627024748825*c_0101_3^4 + 12020720686990386145565160256207226280849451/6495839039496641005122\ 9813898627024748825*c_0101_3^3 + 2459701183073348688400887382238803\ 639499608/64958390394966410051229813898627024748825*c_0101_3^2 - 1721348858912713000409888519198920173884528/64958390394966410051229\ 813898627024748825*c_0101_3 - 4789289373256671872024012163467155450\ 60646/64958390394966410051229813898627024748825, c_0101_0 - 29261414106540359398815143163305615182816/649583903949664100\ 51229813898627024748825*c_0101_3^23 - 23753936959299648038843964499918111740699/1299167807899328201024596\ 2779725404949765*c_0101_3^22 + 852356112651588729940783585261948929\ 037713/64958390394966410051229813898627024748825*c_0101_3^21 + 3140107616017236010598775051957128923455121/64958390394966410051229\ 813898627024748825*c_0101_3^20 - 6574841176622413429368570323172566\ 107321668/64958390394966410051229813898627024748825*c_0101_3^19 - 23154986521394286710823213682861259651001412/6495839039496641005122\ 9813898627024748825*c_0101_3^18 + 595946735133724581797048576093177\ 92316537817/64958390394966410051229813898627024748825*c_0101_3^17 + 181277635312304250952137576174771256170498087/649583903949664100512\ 29813898627024748825*c_0101_3^16 - 28834971107206243657506224782547209590967743/1299167807899328201024\ 5962779725404949765*c_0101_3^15 - 581235727650593446170288958883150\ 451980108452/64958390394966410051229813898627024748825*c_0101_3^14 + 163656609700928415529256026961423902574310321/649583903949664100512\ 29813898627024748825*c_0101_3^13 + 839844987981169630449421426321872624359007187/649583903949664100512\ 29813898627024748825*c_0101_3^12 - 98936958528572442228878297579128514830506162/6495839039496641005122\ 9813898627024748825*c_0101_3^11 - 606968186940926482188013807656372\ 999963688838/64958390394966410051229813898627024748825*c_0101_3^10 + 35316809333534318890988775769901807056303602/6495839039496641005122\ 9813898627024748825*c_0101_3^9 + 9141532153381037254631550805672324\ 847163302/2598335615798656402049192555945080989953*c_0101_3^8 - 21888131895560633098937511285247008129495858/6495839039496641005122\ 9813898627024748825*c_0101_3^7 - 5765862778452203918281377379221035\ 7944778748/64958390394966410051229813898627024748825*c_0101_3^6 + 19318195544145380076773079996474148496647243/6495839039496641005122\ 9813898627024748825*c_0101_3^5 + 2261298449163252889911666116903808\ 2646546078/64958390394966410051229813898627024748825*c_0101_3^4 - 8047679329171131639215971792743073900458621/64958390394966410051229\ 813898627024748825*c_0101_3^3 - 79548792477229151976443202013654828\ 30347613/64958390394966410051229813898627024748825*c_0101_3^2 + 1133653501977661399269913324190946871751268/64958390394966410051229\ 813898627024748825*c_0101_3 + 9784317334496508284085021350740124750\ 83191/64958390394966410051229813898627024748825, c_0101_1 + 53789053982859173735826208287023130034632/649583903949664100\ 51229813898627024748825*c_0101_3^23 + 37997081328764345125063463540367145479204/1299167807899328201024596\ 2779725404949765*c_0101_3^22 - 165909967227161902801706093422145578\ 8352316/64958390394966410051229813898627024748825*c_0101_3^21 - 4869784690569985233428317367562136226048012/64958390394966410051229\ 813898627024748825*c_0101_3^20 + 1441535386591425724054335828963942\ 9868912741/64958390394966410051229813898627024748825*c_0101_3^19 + 34251791295576128546434716546887698198098199/6495839039496641005122\ 9813898627024748825*c_0101_3^18 - 125619195105095183915463729063282\ 895607933049/64958390394966410051229813898627024748825*c_0101_3^17 - 262192156134128142160860599380877652671482439/649583903949664100512\ 29813898627024748825*c_0101_3^16 + 77120134993838078718310710143796878107623493/1299167807899328201024\ 5962779725404949765*c_0101_3^15 + 827723386336880949083697045469253\ 838921967149/64958390394966410051229813898627024748825*c_0101_3^14 - 687237322499561193934539421783782814429693567/649583903949664100512\ 29813898627024748825*c_0101_3^13 - 1074216650171914503967563873340744565928845079/64958390394966410051\ 229813898627024748825*c_0101_3^12 + 655346169590138035260851939808523085717607704/649583903949664100512\ 29813898627024748825*c_0101_3^11 + 650838292441898198638717799432296024130117896/649583903949664100512\ 29813898627024748825*c_0101_3^10 - 304114080760700940783691339464870134655180774/649583903949664100512\ 29813898627024748825*c_0101_3^9 - 825817168947374754979223946780041\ 7008703817/2598335615798656402049192555945080989953*c_0101_3^8 + 90593347229931962525759827085442877301023591/6495839039496641005122\ 9813898627024748825*c_0101_3^7 + 4884265705435604072017096101879831\ 6942071386/64958390394966410051229813898627024748825*c_0101_3^6 - 44175523591385058011834648438531676882873091/6495839039496641005122\ 9813898627024748825*c_0101_3^5 - 1583710402260744863501819655539054\ 8931089256/64958390394966410051229813898627024748825*c_0101_3^4 + 17452305415832340822136133191666627297641352/6495839039496641005122\ 9813898627024748825*c_0101_3^3 + 5218477860328994188238817598504787\ 275971976/64958390394966410051229813898627024748825*c_0101_3^2 - 2405413160864611466271269696795528104550771/64958390394966410051229\ 813898627024748825*c_0101_3 - 8028953433846557312905400195476584472\ 32442/64958390394966410051229813898627024748825, c_0101_3^24 + 3*c_0101_3^23 - 33*c_0101_3^22 - 75*c_0101_3^21 + 325*c_0101_3^20 + 516*c_0101_3^19 - 2756*c_0101_3^18 - 3778*c_0101_3^17 + 10459*c_0101_3^16 + 12667*c_0101_3^15 - 23330*c_0101_3^14 - 16555*c_0101_3^13 + 27526*c_0101_3^12 + 9374*c_0101_3^11 - 16753*c_0101_3^10 - 2401*c_0101_3^9 + 5813*c_0101_3^8 + 257*c_0101_3^7 - 1849*c_0101_3^6 + 108*c_0101_3^5 + 717*c_0101_3^4 - 84*c_0101_3^3 - 179*c_0101_3^2 + 15*c_0101_3 + 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB