Magma V2.19-8 Tue Aug 20 2013 16:16:19 on localhost [Seed = 2715827522] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0592 geometric_solution 4.60691892 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 2031 1302 0 0 0 0 0 -1 1 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 1 0 -1 0 0 1 -1 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.390405070969 0.054377870293 0 2 0 2 0132 0132 2310 2310 0 0 0 0 0 1 -1 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.165756972355 1.058833510567 1 1 3 4 3201 0132 0132 0132 0 0 0 0 0 -1 0 1 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 0 -1 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.237631678085 0.994930970048 4 5 4 2 1302 0132 2031 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 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.591890454562 0.395094729449 5 3 2 3 0132 2031 0132 1302 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 1 -1 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.591890454562 0.395094729449 4 3 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 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.607563283867 1.069291621313 5 6 6 5 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.779358997726 0.453553104980 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_1_1' : negation(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' : negation(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_6'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], '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_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_4']), '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 890697756176873082193420919654972/1285073201303606033425588315193*c\ _0101_5^19 - 5596505130420423365763029883758350/1285073201303606033\ 425588315193*c_0101_5^18 + 42312520185046937336680938662700631/1285\ 073201303606033425588315193*c_0101_5^17 - 75742006877930553143154454234435573/1285073201303606033425588315193\ *c_0101_5^16 - 22374670685882661464489888356138183/1285073201303606\ 033425588315193*c_0101_5^15 + 486402502918562582982917686028545814/\ 1285073201303606033425588315193*c_0101_5^14 - 955970884054109495530142398647768174/128507320130360603342558831519\ 3*c_0101_5^13 - 325613687432822812340214438600847180/12850732013036\ 06033425588315193*c_0101_5^12 + 25680274443857355990350586068428645\ 24/1285073201303606033425588315193*c_0101_5^11 - 1197926894984083704825846005781479700/12850732013036060334255883151\ 93*c_0101_5^10 - 2413754775300387234598269920849591583/128507320130\ 3606033425588315193*c_0101_5^9 + 2481343083657112926021451925589871\ 901/1285073201303606033425588315193*c_0101_5^8 + 1297826257539691725709967759476220000/12850732013036060334255883151\ 93*c_0101_5^7 - 1169707598078103293345678486086629939/1285073201303\ 606033425588315193*c_0101_5^6 - 19128654595224442104739558944884442\ 2/1285073201303606033425588315193*c_0101_5^5 - 137824698573062100396933850928510250/128507320130360603342558831519\ 3*c_0101_5^4 - 183104351242759112129499157107124529/128507320130360\ 6033425588315193*c_0101_5^3 + 171600062609278833580626206284477742/\ 1285073201303606033425588315193*c_0101_5^2 + 59246113855152233162145559278342116/1285073201303606033425588315193\ *c_0101_5 - 23785212045513206392170146003855096/1285073201303606033\ 425588315193, c_0011_0 - 1, c_0011_3 + 328242384642967437382798277507/67635431647558212285557279747\ *c_0101_5^19 + 2065601642442092356648713800589/67635431647558212285\ 557279747*c_0101_5^18 - 15575174499781224599070631454394/6763543164\ 7558212285557279747*c_0101_5^17 + 27752935956639844596190592561915/\ 67635431647558212285557279747*c_0101_5^16 + 8619860346343614626923420557567/67635431647558212285557279747*c_010\ 1_5^15 - 179464269982782484715726853802788/676354316475582122855572\ 79747*c_0101_5^14 + 350829673735041227398938957647341/6763543164755\ 8212285557279747*c_0101_5^13 + 124272566017879343653267243738364/67\ 635431647558212285557279747*c_0101_5^12 - 948527018399766106624327731409684/67635431647558212285557279747*c_0\ 101_5^11 + 435247768365003199389986925900697/6763543164755821228555\ 7279747*c_0101_5^10 + 897546065792101482470500313722980/67635431647\ 558212285557279747*c_0101_5^9 - 914153150590759345538211946726903/6\ 7635431647558212285557279747*c_0101_5^8 - 484716070909014837885582927772383/67635431647558212285557279747*c_0\ 101_5^7 + 432242254536970682641921024211264/67635431647558212285557\ 279747*c_0101_5^6 + 70610357042583978480558947998260/67635431647558\ 212285557279747*c_0101_5^5 + 50941521592759322786785115635604/67635\ 431647558212285557279747*c_0101_5^4 + 68355879499785709311335607433069/67635431647558212285557279747*c_01\ 01_5^3 - 63357624747869167397487402184643/6763543164755821228555727\ 9747*c_0101_5^2 - 21910192981433502757457362700533/6763543164755821\ 2285557279747*c_0101_5 + 8762222230131796933452067892462/6763543164\ 7558212285557279747, c_0011_6 + 16280438805213753119482352069/67635431647558212285557279747*\ c_0101_5^19 + 91702609051316934920064592524/67635431647558212285557\ 279747*c_0101_5^18 - 830744717695847523585600386043/676354316475582\ 12285557279747*c_0101_5^17 + 1938659076568364663893725510829/676354\ 31647558212285557279747*c_0101_5^16 - 966632387003376217323553413865/67635431647558212285557279747*c_0101\ _5^15 - 8020657521443491648755929721134/676354316475582122855572797\ 47*c_0101_5^14 + 22636280483231755613524778722790/67635431647558212\ 285557279747*c_0101_5^13 - 9967215606051166022526005484830/67635431\ 647558212285557279747*c_0101_5^12 - 37543117465487632122773705487422/67635431647558212285557279747*c_01\ 01_5^11 + 45824381615732313423335149793969/676354316475582122855572\ 79747*c_0101_5^10 + 8477746297957263279492386038577/676354316475582\ 12285557279747*c_0101_5^9 - 45613922532938482971644194652117/676354\ 31647558212285557279747*c_0101_5^8 + 8793620448405929608476732701903/67635431647558212285557279747*c_010\ 1_5^7 + 9221444925753058146201416408095/676354316475582122855572797\ 47*c_0101_5^6 - 2546456421262964510851602489727/6763543164755821228\ 5557279747*c_0101_5^5 + 5719742838774931482196232732908/67635431647\ 558212285557279747*c_0101_5^4 - 762450541092817451608557589021/6763\ 5431647558212285557279747*c_0101_5^3 - 1809356419717374997338470175956/67635431647558212285557279747*c_010\ 1_5^2 + 252331791824985558966831269119/6763543164755821228555727974\ 7*c_0101_5 + 8720397919391006137601381326/6763543164755821228555727\ 9747, c_0101_0 + 287128335523200800921997490681/67635431647558212285557279747\ *c_0101_5^19 + 1835706882664878971167221622189/67635431647558212285\ 557279747*c_0101_5^18 - 13465779343537737270465503455751/6763543164\ 7558212285557279747*c_0101_5^17 + 22781784718807018044993655598476/\ 67635431647558212285557279747*c_0101_5^16 + 11160602398492073820265576815130/67635431647558212285557279747*c_01\ 01_5^15 - 159066915778010830393093640146957/67635431647558212285557\ 279747*c_0101_5^14 + 292713270756757375816345243815137/676354316475\ 58212285557279747*c_0101_5^13 + 150754981234885311354315674748142/6\ 7635431647558212285557279747*c_0101_5^12 - 851763541458458426868207799220737/67635431647558212285557279747*c_0\ 101_5^11 + 314099073417906760531246928595548/6763543164755821228555\ 7279747*c_0101_5^10 + 875887841144137189519482588009318/67635431647\ 558212285557279747*c_0101_5^9 - 790626430324908618863792712631905/6\ 7635431647558212285557279747*c_0101_5^8 - 512442076493433284609030674748125/67635431647558212285557279747*c_0\ 101_5^7 + 403893202041509949090563623153563/67635431647558212285557\ 279747*c_0101_5^6 + 81310857844127231378480177466015/67635431647558\ 212285557279747*c_0101_5^5 + 36037076010116349360123000909862/67635\ 431647558212285557279747*c_0101_5^4 + 70595497330464593620029058418379/67635431647558212285557279747*c_01\ 01_5^3 - 57747559895213763824031446436869/6763543164755821228555727\ 9747*c_0101_5^2 - 23156715094065550882876537966004/6763543164755821\ 2285557279747*c_0101_5 + 8655034881515604287575746973115/6763543164\ 7558212285557279747, c_0101_1 - 374702713715236188136794160582/67635431647558212285557279747\ *c_0101_5^19 - 2358430812316762918962994900428/67635431647558212285\ 557279747*c_0101_5^18 + 17775497539266294329866415853413/6763543164\ 7558212285557279747*c_0101_5^17 - 31665883679092364434284678975957/\ 67635431647558212285557279747*c_0101_5^16 - 9805067372653769912479433183319/67635431647558212285557279747*c_010\ 1_5^15 + 204629487106393270733334661903431/676354316475582122855572\ 79747*c_0101_5^14 - 399949879666848771605101812774116/6763543164755\ 8212285557279747*c_0101_5^13 - 141954028603694585374595340034520/67\ 635431647558212285557279747*c_0101_5^12 + 1080372785175305464195421296886761/67635431647558212285557279747*c_\ 0101_5^11 - 492588765178533160933452624880898/676354316475582122855\ 57279747*c_0101_5^10 - 1024917059798969675477945500379598/676354316\ 47558212285557279747*c_0101_5^9 + 103784844551140566428822729901877\ 4/67635431647558212285557279747*c_0101_5^8 + 558941009692754354957973378985502/67635431647558212285557279747*c_0\ 101_5^7 - 492822118671785820713887006458357/67635431647558212285557\ 279747*c_0101_5^6 - 83273947948391262924369471676551/67635431647558\ 212285557279747*c_0101_5^5 - 56220533745627284063358536707548/67635\ 431647558212285557279747*c_0101_5^4 - 78772309745510542613567231716597/67635431647558212285557279747*c_01\ 01_5^3 + 71965394543606381012033476920178/6763543164755821228555727\ 9747*c_0101_5^2 + 25387980993812275908748459380447/6763543164755821\ 2285557279747*c_0101_5 - 10124068671706796071400990393641/676354316\ 47558212285557279747, c_0101_4 - 89716012568796492301099227019/67635431647558212285557279747*\ c_0101_5^19 - 548375274600365969950273487203/6763543164755821228555\ 7279747*c_0101_5^18 + 4346145283682240432310043757788/6763543164755\ 8212285557279747*c_0101_5^17 - 8424171178850800187114240015348/6763\ 5431647558212285557279747*c_0101_5^16 - 316848620983194741875517238647/67635431647558212285557279747*c_0101\ _5^15 + 47830108018153835420208663397553/67635431647558212285557279\ 747*c_0101_5^14 - 103730453461511902941120777433791/676354316475582\ 12285557279747*c_0101_5^13 - 10411232502583111059647978940104/67635\ 431647558212285557279747*c_0101_5^12 + 246368865026174366610513592199987/67635431647558212285557279747*c_0\ 101_5^11 - 154951945009590301781776688695047/6763543164755821228555\ 7279747*c_0101_5^10 - 194963808945580824685985113310080/67635431647\ 558212285557279747*c_0101_5^9 + 252635225336503830007665419214207/6\ 7635431647558212285557279747*c_0101_5^8 + 85618834873318446753921246585329/67635431647558212285557279747*c_01\ 01_5^7 - 103547912350633546524638330934101/676354316475582122855572\ 79747*c_0101_5^6 - 10675141138968803722750259755309/676354316475582\ 12285557279747*c_0101_5^5 - 18092587330687678110272806038808/676354\ 31647558212285557279747*c_0101_5^4 - 12846076000569087395386879653619/67635431647558212285557279747*c_01\ 01_5^3 + 15933026952726538690766504594706/6763543164755821228555727\ 9747*c_0101_5^2 + 4162251696461087807045473335347/67635431647558212\ 285557279747*c_0101_5 - 1869149663602675227628937224685/67635431647\ 558212285557279747, c_0101_5^20 + 7*c_0101_5^19 - 43*c_0101_5^18 + 51*c_0101_5^17 + 86*c_0101_5^16 - 528*c_0101_5^15 + 682*c_0101_5^14 + 1134*c_0101_5^13 - 2620*c_0101_5^12 - 720*c_0101_5^11 + 3670*c_0101_5^10 - 844*c_0101_5^9 - 3449*c_0101_5^8 + 267*c_0101_5^7 + 1152*c_0101_5^6 + 309*c_0101_5^5 + 317*c_0101_5^4 - 45*c_0101_5^3 - 204*c_0101_5^2 - 21*c_0101_5 + 19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB