Magma V2.19-8 Tue Aug 20 2013 16:18:39 on localhost [Seed = 324177440] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2828 geometric_solution 6.05017548 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 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 1 0 -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.145995790612 0.838054436514 0 3 5 4 0132 0132 0132 0132 0 0 0 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 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.397491330857 1.091419922542 3 0 4 5 0132 0132 2310 2310 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 -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.397491330857 1.091419922542 2 1 6 6 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.437494103680 0.753483286653 4 2 1 4 3201 3201 0132 2310 0 0 0 0 0 0 0 0 1 0 -1 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 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.586089024415 0.566166246814 2 5 5 1 3201 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.984750062322 0.855511129256 3 6 6 3 3201 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.534521258625 0.928448515126 ==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_2_6' : 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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : 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_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], '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_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(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_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 7353663189141769964955604360922796303/52169531388457439379234889818\ 1013*c_0101_3^19 - 20302080360285285169572639844693053099/521695313\ 884574393792348898181013*c_0101_3^18 + 2976425770981773851532147394998534073/52169531388457439379234889818\ 1013*c_0101_3^17 + 19038138999858637745689560732495507775/521695313\ 884574393792348898181013*c_0101_3^16 - 31497789250606513810690853458080480852/5216953138845743937923488981\ 81013*c_0101_3^15 - 15888050027616337968408965946277182482/52169531\ 3884574393792348898181013*c_0101_3^14 + 35301778336479716491898334751937067783/5216953138845743937923488981\ 81013*c_0101_3^13 + 3067176296317393378183647813440657026/521695313\ 884574393792348898181013*c_0101_3^12 - 7665036718865015977238491183159484660/52169531388457439379234889818\ 1013*c_0101_3^11 - 5929412934835724091554079075971970777/5216953138\ 84574393792348898181013*c_0101_3^10 - 14893538180431198753033147584377453203/5216953138845743937923488981\ 81013*c_0101_3^9 - 1573216889499984249912493020043450707/5216953138\ 84574393792348898181013*c_0101_3^8 - 2008850437644355978680518527409741666/52169531388457439379234889818\ 1013*c_0101_3^7 - 851222280924422192098096745079379061/521695313884\ 574393792348898181013*c_0101_3^6 + 2336747987452111116398413079328630055/52169531388457439379234889818\ 1013*c_0101_3^5 + 535640382934429761667685797529657324/521695313884\ 574393792348898181013*c_0101_3^4 + 1064167101781918156898435984997818016/52169531388457439379234889818\ 1013*c_0101_3^3 + 263723959553973785959339384711786102/521695313884\ 574393792348898181013*c_0101_3^2 + 119378883443106496651314848498733484/521695313884574393792348898181\ 013*c_0101_3 + 45778590165644064097460198082528919/5216953138845743\ 93792348898181013, c_0011_0 - 1, c_0011_4 - 3476133700221965097420509704724453953/2608476569422871968961\ 744490905065*c_0101_3^19 - 14328892971029721758707569666213087951/2\ 608476569422871968961744490905065*c_0101_3^18 - 16898240018458718597504635075278498483/2608476569422871968961744490\ 905065*c_0101_3^17 - 8421508970931766319738219428829322277/26084765\ 69422871968961744490905065*c_0101_3^16 - 18232054793119073964150244260322050851/2608476569422871968961744490\ 905065*c_0101_3^15 - 27000201772029148895287354220654478193/2608476\ 569422871968961744490905065*c_0101_3^14 - 11391342460698658177006093802219278594/2608476569422871968961744490\ 905065*c_0101_3^13 - 33962166491549850596619225911198401/2608476569\ 422871968961744490905065*c_0101_3^12 + 4782812867894248192184104804057151158/26084765694228719689617444909\ 05065*c_0101_3^11 + 7021064979669719038227861953260304912/260847656\ 9422871968961744490905065*c_0101_3^10 + 733825913749800071664107316140695848/521695313884574393792348898181\ 013*c_0101_3^9 + 2531361202213285300176273234289082797/260847656942\ 2871968961744490905065*c_0101_3^8 + 1088378722226538376191781010485689684/26084765694228719689617444909\ 05065*c_0101_3^7 - 164889214648953272267378580284340743/26084765694\ 22871968961744490905065*c_0101_3^6 - 139478058318628220277058560300819772/260847656942287196896174449090\ 5065*c_0101_3^5 - 282405974397290634909339383594485507/260847656942\ 2871968961744490905065*c_0101_3^4 - 111992775599922525838127268949186877/260847656942287196896174449090\ 5065*c_0101_3^3 - 41061685048960045497875097849186074/2608476569422\ 871968961744490905065*c_0101_3^2 - 2865375880881916197152949161969761/52169531388457439379234889818101\ 3*c_0101_3 - 714759830284634103591078395773144/26084765694228719689\ 61744490905065, c_0011_6 - 12759240917162041657012586915/17576587420979167692168251*c_0\ 101_3^19 - 57889060718691719948085743706/17576587420979167692168251\ *c_0101_3^18 - 81378456614761826875493245939/1757658742097916769216\ 8251*c_0101_3^17 - 47731877155706062546972891591/175765874209791676\ 92168251*c_0101_3^16 - 71807664056177976547992025396/17576587420979\ 167692168251*c_0101_3^15 - 123737683681274201921973410951/175765874\ 20979167692168251*c_0101_3^14 - 71926106234909965801642219597/17576\ 587420979167692168251*c_0101_3^13 - 4544022227468298351802779734/17576587420979167692168251*c_0101_3^12 + 20937870633755627757496998733/17576587420979167692168251*c_0101_3\ ^11 + 31481533686610063019239840880/17576587420979167692168251*c_01\ 01_3^10 + 20052262673718070049701584081/17576587420979167692168251*\ c_0101_3^9 + 11649764597507725745922060700/175765874209791676921682\ 51*c_0101_3^8 + 6581854062776685382616091966/1757658742097916769216\ 8251*c_0101_3^7 + 215045596977953621232127926/175765874209791676921\ 68251*c_0101_3^6 - 892324382759441780454833650/17576587420979167692\ 168251*c_0101_3^5 - 1108847878477989354606507539/175765874209791676\ 92168251*c_0101_3^4 - 668147956175750086682087381/17576587420979167\ 692168251*c_0101_3^3 - 209897501345952192918889360/1757658742097916\ 7692168251*c_0101_3^2 - 79069473963698584681713829/1757658742097916\ 7692168251*c_0101_3 - 29300068514840614709325796/175765874209791676\ 92168251, c_0101_0 + 2408555721312505718911306853584138422/2608476569422871968961\ 744490905065*c_0101_3^19 + 10267234913009909209159871624286728124/2\ 608476569422871968961744490905065*c_0101_3^18 + 13105836107895846295243004158358475952/2608476569422871968961744490\ 905065*c_0101_3^17 + 7720362184131125658071428939823242538/26084765\ 69422871968961744490905065*c_0101_3^16 + 14111500142285659388968925972231944254/2608476569422871968961744490\ 905065*c_0101_3^15 + 20591059814603966514817126721881499687/2608476\ 569422871968961744490905065*c_0101_3^14 + 10432612941275456234442826291012782961/2608476569422871968961744490\ 905065*c_0101_3^13 + 2196971963908398464888646151690969569/26084765\ 69422871968961744490905065*c_0101_3^12 - 2893683350974707912342571065772348292/26084765694228719689617444909\ 05065*c_0101_3^11 - 5788661016441414868837549980777785003/260847656\ 9422871968961744490905065*c_0101_3^10 - 648642827523615728262137744840691477/521695313884574393792348898181\ 013*c_0101_3^9 - 2288589879669194211464654464582033568/260847656942\ 2871968961744490905065*c_0101_3^8 - 1069724544782979957498751329552473911/26084765694228719689617444909\ 05065*c_0101_3^7 + 13106545263228532511553392202185472/260847656942\ 2871968961744490905065*c_0101_3^6 + 42316513037233141345511677299738453/2608476569422871968961744490905\ 065*c_0101_3^5 + 247306027311808340942623915105979308/2608476569422\ 871968961744490905065*c_0101_3^4 + 104576824346969085030504783299569643/260847656942287196896174449090\ 5065*c_0101_3^3 + 47607441880611336348483570382049146/2608476569422\ 871968961744490905065*c_0101_3^2 + 2982828254319016884476704941232012/52169531388457439379234889818101\ 3*c_0101_3 + 2007933029288838826356334483847366/2608476569422871968\ 961744490905065, c_0101_1 - 1907184936249673961914753565598288368/2608476569422871968961\ 744490905065*c_0101_3^19 - 7448379506929647836172989313249197461/26\ 08476569422871968961744490905065*c_0101_3^18 - 7523887603825796182661649568372060873/26084765694228719689617444909\ 05065*c_0101_3^17 - 2601532432639313531493411528845387912/260847656\ 9422871968961744490905065*c_0101_3^16 - 9319951117224083854505650106440697146/26084765694228719689617444909\ 05065*c_0101_3^15 - 12767538143449802701340400602076826793/26084765\ 69422871968961744490905065*c_0101_3^14 - 2729226676123883080696761228634014744/26084765694228719689617444909\ 05065*c_0101_3^13 + 1010788562934860911780901506301532484/260847656\ 9422871968961744490905065*c_0101_3^12 + 2271928256353068875426825596732972738/26084765694228719689617444909\ 05065*c_0101_3^11 + 3543973346643051902557226652086236052/260847656\ 9422871968961744490905065*c_0101_3^10 + 266771453109166179197689083810882167/521695313884574393792348898181\ 013*c_0101_3^9 + 1098973332851426374194464557356280627/260847656942\ 2871968961744490905065*c_0101_3^8 + 344193417463685668512096095966869279/260847656942287196896174449090\ 5065*c_0101_3^7 - 282030246922830399152792763616172113/260847656942\ 2871968961744490905065*c_0101_3^6 - 37966829752519732549548732061980862/2608476569422871968961744490905\ 065*c_0101_3^5 - 155635518024164447059238649898886837/2608476569422\ 871968961744490905065*c_0101_3^4 - 40184033911661206682144162048686732/2608476569422871968961744490905\ 065*c_0101_3^3 - 10285834064836110832389683074911574/26084765694228\ 71968961744490905065*c_0101_3^2 - 116982387105341940252123688339347\ 2/521695313884574393792348898181013*c_0101_3 + 2075161231968898514321694292371591/26084765694228719689617444909050\ 65, c_0101_2 - 6938857654491511524042131606/17576587420979167692168251*c_01\ 01_3^19 - 24069791247858497251302151248/17576587420979167692168251*\ c_0101_3^18 - 11566303647913181689834929078/17576587420979167692168\ 251*c_0101_3^17 + 17720824602932380144489174580/1757658742097916769\ 2168251*c_0101_3^16 - 15418239926101124595760021723/175765874209791\ 67692168251*c_0101_3^15 - 28658313613504060895575750245/17576587420\ 979167692168251*c_0101_3^14 + 27200383332407172123836790598/1757658\ 7420979167692168251*c_0101_3^13 + 33098497406586892943627346758/175\ 76587420979167692168251*c_0101_3^12 + 10105750542995268365602441675/17576587420979167692168251*c_0101_3^1\ 1 + 3288729386231141827066510786/17576587420979167692168251*c_0101_\ 3^10 - 6077342715167011575212276295/17576587420979167692168251*c_01\ 01_3^9 - 3435988680451578815123065143/17576587420979167692168251*c_\ 0101_3^8 - 2132517689681721629274298118/17576587420979167692168251*\ c_0101_3^7 - 2838275168751242119863781365/1757658742097916769216825\ 1*c_0101_3^6 - 185380386413115523142809775/175765874209791676921682\ 51*c_0101_3^5 - 11658332393950805635983955/175765874209791676921682\ 51*c_0101_3^4 + 273423823321275143017530397/17576587420979167692168\ 251*c_0101_3^3 + 192838903673819205473064514/1757658742097916769216\ 8251*c_0101_3^2 + 41967520774186137753503355/1757658742097916769216\ 8251*c_0101_3 + 23683406911960459899368708/175765874209791676921682\ 51, c_0101_3^20 + 3434/791*c_0101_3^19 + 4735/791*c_0101_3^18 + 3496/791*c_0101_3^17 + 5445/791*c_0101_3^16 + 7440/791*c_0101_3^15 + 4855/791*c_0101_3^14 + 2013/791*c_0101_3^13 - 81/113*c_0101_3^12 - 268/113*c_0101_3^11 - 1388/791*c_0101_3^10 - 162/113*c_0101_3^9 - 551/791*c_0101_3^8 - 145/791*c_0101_3^7 - 24/791*c_0101_3^6 + 87/791*c_0101_3^5 + 6/113*c_0101_3^4 + 31/791*c_0101_3^3 + 11/791*c_0101_3^2 + 3/791*c_0101_3 + 1/791 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB