Magma V2.19-8 Tue Aug 20 2013 16:16:27 on localhost [Seed = 3204391504] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0724 geometric_solution 4.67371914 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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 1.700609224865 0.283706851482 0 2 2 0 3201 0132 1023 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 1 -1 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 1.165968299732 0.786100745181 3 1 1 4 0132 0132 1023 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 1 0 -1 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.295500475230 0.243001050897 2 4 5 4 0132 2310 0132 3201 0 0 0 0 0 1 0 -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 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.290563506427 1.385456759696 5 3 2 3 1023 2310 0132 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 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.290563506427 1.385456759696 6 4 6 3 0132 1023 1023 0132 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 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.530940798721 0.789627914389 5 6 5 6 0132 1302 1023 2031 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 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.511377738980 0.132248485564 ==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' : negation(d['1']), 's_3_5' : 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' : d['1'], 's_2_4' : negation(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' : negation(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_6' : 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' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0101_2'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 34268886264455854850029162424771146/7952526700102593291567330744184\ 9*c_0101_5^17 - 626167939453871843910482865514605339/79525267001025\ 932915673307441849*c_0101_5^16 + 1918148859285701270389192823809711\ 787/79525267001025932915673307441849*c_0101_5^15 + 12260345772267201774799354369511618568/7952526700102593291567330744\ 1849*c_0101_5^14 + 2453083120508789982266775540639295867/7952526700\ 1025932915673307441849*c_0101_5^13 - 58960088142012972336060960631991351955/7952526700102593291567330744\ 1849*c_0101_5^12 - 50588751827730075063026062959845969313/795252670\ 01025932915673307441849*c_0101_5^11 + 234251899021296216744135626080887700555/795252670010259329156733074\ 41849*c_0101_5^10 - 9874507945552507599917303042756881747/611732823\ 0848148685821023649373*c_0101_5^9 - 141392910529502368559233132731471593295/795252670010259329156733074\ 41849*c_0101_5^8 + 143517474467233183294092957866895507658/79525267\ 001025932915673307441849*c_0101_5^7 + 10536394231017412518483198946691363789/7952526700102593291567330744\ 1849*c_0101_5^6 - 328963070877572588121979809698744974/893542325854\ 223965344643903841*c_0101_5^5 + 95950302573738681146668050964931019\ 5/79525267001025932915673307441849*c_0101_5^4 - 1470144100481637982331872888748770142/79525267001025932915673307441\ 849*c_0101_5^3 + 1147198532429059569251664071998482300/795252670010\ 25932915673307441849*c_0101_5^2 - 431563069339921521346225797741539\ 26/79525267001025932915673307441849*c_0101_5 - 123653449027020106719791689068895955/795252670010259329156733074418\ 49, c_0011_0 - 1, c_0011_1 + 15028344640830852553570540276757/611732823084814868582102364\ 9373*c_0101_5^17 - 274197977316469671247721908284406/61173282308481\ 48685821023649373*c_0101_5^16 + 833959328548756607888999277230222/6\ 117328230848148685821023649373*c_0101_5^15 + 5396838921692921711090288303663024/6117328230848148685821023649373*\ c_0101_5^14 + 1226688614566057012416168698998406/611732823084814868\ 5821023649373*c_0101_5^13 - 25778757569278493141562259916871832/611\ 7328230848148685821023649373*c_0101_5^12 - 22851112001469124154356655294418745/6117328230848148685821023649373\ *c_0101_5^11 + 101932502313908685321229181324017116/611732823084814\ 8685821023649373*c_0101_5^10 - 53789177420730647645570159837614420/\ 6117328230848148685821023649373*c_0101_5^9 - 62758907119446949824934485617133993/6117328230848148685821023649373\ *c_0101_5^8 + 60915231556050745377824114055297643/61173282308481486\ 85821023649373*c_0101_5^7 + 5916631425374157081199651964418206/6117\ 328230848148685821023649373*c_0101_5^6 - 139273356386332281277390682723575/68734025065709535795741838757*c_0\ 101_5^5 + 102301435919564459486782643179080/61173282308481486858210\ 23649373*c_0101_5^4 - 677886859202931429216198691557924/61173282308\ 48148685821023649373*c_0101_5^3 + 494112778276062218391932302072936\ /6117328230848148685821023649373*c_0101_5^2 + 2743115189322472766486005891768/6117328230848148685821023649373*c_0\ 101_5 - 54715346604944122781407120586652/61173282308481486858210236\ 49373, c_0011_4 - 5201305274826665511797223991627/6117328230848148685821023649\ 373*c_0101_5^17 + 95082511250782476608244914048948/6117328230848148\ 685821023649373*c_0101_5^16 - 292004361783846855882204781388844/611\ 7328230848148685821023649373*c_0101_5^15 - 1857060774104752064457513199432003/6117328230848148685821023649373*\ c_0101_5^14 - 360196876577028174753002891797296/6117328230848148685\ 821023649373*c_0101_5^13 + 8921473717014750798561261270749086/61173\ 28230848148685821023649373*c_0101_5^12 + 7570623566407355240769119314614333/6117328230848148685821023649373*\ c_0101_5^11 - 35519917015692253994224146944382649/61173282308481486\ 85821023649373*c_0101_5^10 + 19983560089755401927814449587234845/61\ 17328230848148685821023649373*c_0101_5^9 + 20982299538660494637614611994287551/6117328230848148685821023649373\ *c_0101_5^8 - 21915147142012815257091785159309882/61173282308481486\ 85821023649373*c_0101_5^7 - 1305120198259644275687718496238487/6117\ 328230848148685821023649373*c_0101_5^6 + 50693195495548356615980118787892/68734025065709535795741838757*c_01\ 01_5^5 - 183552905987583152178766874450733/611732823084814868582102\ 3649373*c_0101_5^4 + 148088483855836386484119239567750/611732823084\ 8148685821023649373*c_0101_5^3 - 181131912257053814124351267737666/\ 6117328230848148685821023649373*c_0101_5^2 + 8014294681472057301658146040649/6117328230848148685821023649373*c_0\ 101_5 + 22245879335991641241433965538205/61173282308481486858210236\ 49373, c_0101_0 + 15469242889288453099885359844848/611732823084814868582102364\ 9373*c_0101_5^17 - 282270813799598173245002765078849/61173282308481\ 48685821023649373*c_0101_5^16 + 858703571641499575448434646141780/6\ 117328230848148685821023649373*c_0101_5^15 + 5558043994626442020028102715951789/6117328230848148685821023649373*\ c_0101_5^14 + 1238227920881670336544642163716711/611732823084814868\ 5821023649373*c_0101_5^13 - 26621109465914872862176563034715733/611\ 7328230848148685821023649373*c_0101_5^12 - 23479933731394047427121991764492800/6117328230848148685821023649373\ *c_0101_5^11 + 105368793361163261223446116958631733/611732823084814\ 8685821023649373*c_0101_5^10 - 55269467263163192504043863952420960/\ 6117328230848148685821023649373*c_0101_5^9 - 66132233371128066115833917046991090/6117328230848148685821023649373\ *c_0101_5^8 + 64040216257963697516437641061318669/61173282308481486\ 85821023649373*c_0101_5^7 + 6572628376842620031447402804293505/6117\ 328230848148685821023649373*c_0101_5^6 - 154552127097246097889294856158130/68734025065709535795741838757*c_0\ 101_5^5 + 261255654588826750775138473417950/61173282308481486858210\ 23649373*c_0101_5^4 - 565641261894100701431879718455160/61173282308\ 48148685821023649373*c_0101_5^3 + 487827675575151416021494268397212\ /6117328230848148685821023649373*c_0101_5^2 - 1448871101671561831740022399314/6117328230848148685821023649373*c_0\ 101_5 - 59272650426542149254153068686901/61173282308481486858210236\ 49373, c_0101_2 + 9758101444333623094904770645596/6117328230848148685821023649\ 373*c_0101_5^17 - 178233889596457251671789870022962/611732823084814\ 8685821023649373*c_0101_5^16 + 544920264580188975967636717842848/61\ 17328230848148685821023649373*c_0101_5^15 + 3495522435930942779427170224689608/6117328230848148685821023649373*\ c_0101_5^14 + 721053394734088024916035483332136/6117328230848148685\ 821023649373*c_0101_5^13 - 16794965912990509504474375843381665/6117\ 328230848148685821023649373*c_0101_5^12 - 14520690341938803317334915002248739/6117328230848148685821023649373\ *c_0101_5^11 + 66665471615864699506609045198155200/6117328230848148\ 685821023649373*c_0101_5^10 - 36046404848739511964395559452368270/6\ 117328230848148685821023649373*c_0101_5^9 - 40769310685985895402183223173764764/6117328230848148685821023649373\ *c_0101_5^8 + 40691184736547536973492299163480091/61173282308481486\ 85821023649373*c_0101_5^7 + 3489993494388148949299113960590176/6117\ 328230848148685821023649373*c_0101_5^6 - 95344721849486290565236398389985/68734025065709535795741838757*c_01\ 01_5^5 + 163464916750377730036684944512694/611732823084814868582102\ 3649373*c_0101_5^4 - 375227523617289836548932226663667/611732823084\ 8148685821023649373*c_0101_5^3 + 324628377392513109297125280703994/\ 6117328230848148685821023649373*c_0101_5^2 - 346661024525119184004140591957/6117328230848148685821023649373*c_01\ 01_5 - 35791591336866524145919713855907/611732823084814868582102364\ 9373, c_0101_3 + 1775571598963140759944441176897/6117328230848148685821023649\ 373*c_0101_5^17 - 31876572648827617896942964836044/6117328230848148\ 685821023649373*c_0101_5^16 + 89251040874313153067125965107313/6117\ 328230848148685821023649373*c_0101_5^15 + 663014261623273599811236880306097/6117328230848148685821023649373*c\ _0101_5^14 + 339530703694543525227848809435528/61173282308481486858\ 21023649373*c_0101_5^13 - 2925133504316148303179939822754935/611732\ 8230848148685821023649373*c_0101_5^12 - 3512284660382008636481156430614255/6117328230848148685821023649373*\ c_0101_5^11 + 10968020640849263925392272574218903/61173282308481486\ 85821023649373*c_0101_5^10 - 3366576588378355816531093054223239/611\ 7328230848148685821023649373*c_0101_5^9 - 8318762613524332708199109857720427/6117328230848148685821023649373*\ c_0101_5^8 + 5143344962566400353657740558873064/6117328230848148685\ 821023649373*c_0101_5^7 + 1829119540800940577297560463938993/611732\ 8230848148685821023649373*c_0101_5^6 - 11711063917121424468059705694101/68734025065709535795741838757*c_01\ 01_5^5 - 127895099431780999983792054506970/611732823084814868582102\ 3649373*c_0101_5^4 - 120930490652999316637228871359251/611732823084\ 8148685821023649373*c_0101_5^3 + 32787849882151002511415268633367/6\ 117328230848148685821023649373*c_0101_5^2 + 4205253012181181376229627034260/6117328230848148685821023649373*c_0\ 101_5 - 1698464683775809706456666898068/611732823084814868582102364\ 9373, c_0101_5^18 - 18*c_0101_5^17 + 51*c_0101_5^16 + 373*c_0101_5^15 + 169*c_0101_5^14 - 1701*c_0101_5^13 - 1945*c_0101_5^12 + 6433*c_0101_5^11 - 1884*c_0101_5^10 - 5141*c_0101_5^9 + 3059*c_0101_5^8 + 1446*c_0101_5^7 - 765*c_0101_5^6 - 205*c_0101_5^5 - 37*c_0101_5^4 + 22*c_0101_5^3 + 8*c_0101_5^2 - 4*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB