Magma V2.19-8 Tue Aug 20 2013 16:17:03 on localhost [Seed = 3414841113] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1299 geometric_solution 5.18902154 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 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 -1 0 1 0 0 -1 1 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.825364201621 0.076282998620 0 2 0 2 0132 0132 1023 1023 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.770471693160 0.155736888228 3 1 4 1 0132 0132 0132 1023 0 0 0 0 0 0 0 0 -1 0 0 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 -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.750722629765 0.603979235374 2 5 6 6 0132 0132 3201 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 0 -1 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.156895036280 1.601423708581 6 6 5 2 1023 2310 3201 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 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.156895036280 1.601423708581 4 3 5 5 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.167816389263 0.965522785335 3 4 3 4 2310 1023 0132 3201 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 -1 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.060596560719 0.618507578663 ==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' : 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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(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' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0101_4']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], '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_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_3'], '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' : negation(d['c_0101_4']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 7645394263369070299333255985305596954791328957/40705339961519560963\ 0602888933054465124520*c_0101_4^19 - 130022267549774330751957145535964406005161167327/407053399615195609\ 630602888933054465124520*c_0101_4^18 - 97401031121882783472096938059612261387541403065/4070533996151956096\ 3060288893305446512452*c_0101_4^17 - 27203744529742057788957828813898207337613640531/2677982892205234273\ 885545321927989902135*c_0101_4^16 - 4815031273845843875889510462894489337415966001721/20352669980759780\ 4815301444466527232562260*c_0101_4^15 - 3573309052466078704528824529939864824920930880929/40705339961519560\ 9630602888933054465124520*c_0101_4^14 + 62461441908209031892437672333925670711406210368491/4070533996151956\ 09630602888933054465124520*c_0101_4^13 + 24578110281935353948880580924568558198354235915431/3700485451047232\ 8148236626266641315011320*c_0101_4^12 + 83733385007105430430391516562451255795282519392514/5088167495189945\ 1203825361116631808140565*c_0101_4^11 + 586583994732335456983133931059295783828024777599639/203526699807597\ 804815301444466527232562260*c_0101_4^10 + 384350843626469530339704930299183786134365151938823/101763349903798\ 902407650722233263616281130*c_0101_4^9 + 305596794565670342916924006261170762648126696898275/814106799230391\ 21926120577786610893024904*c_0101_4^8 + 5977546099578731010708218792289974877008957254465/21423863137641874\ 19108436257542391921708*c_0101_4^7 + 599054212511229189659817325527762491705477575751237/407053399615195\ 609630602888933054465124520*c_0101_4^6 + 190171593626650971693352339516967869912126816581577/407053399615195\ 609630602888933054465124520*c_0101_4^5 + 3466634777503926318162533311373642724709560447171/20352669980759780\ 4815301444466527232562260*c_0101_4^4 - 24478063699002323615898750839359299663203576644071/4070533996151956\ 09630602888933054465124520*c_0101_4^3 - 10651761099564932655885555639916661134032074779353/4070533996151956\ 09630602888933054465124520*c_0101_4^2 - 275122567599872345631779050718113338683319142579/814106799230391219\ 26120577786610893024904*c_0101_4 + 164331506262832930519235676177504720197633382061/407053399615195609\ 630602888933054465124520, c_0011_0 - 1, c_0011_4 - 11469140095299984721335110936002278673/243452990200475843080\ 504120175271809285*c_0101_4^19 - 3773187168439970524228766296614862\ 9054/48690598040095168616100824035054361857*c_0101_4^18 - 1355335194422353172466552336443894235459/24345299020047584308050412\ 0175271809285*c_0101_4^17 - 286187851979898291418765468806328346528\ /12813315273709254898973901061856411015*c_0101_4^16 - 11350456948730473591102484081604037265284/2434529902004758430805041\ 20175271809285*c_0101_4^15 + 11974486873310095009577456486356703991\ 11/243452990200475843080504120175271809285*c_0101_4^14 + 93413382662418051574474207170892808184907/2434529902004758430805041\ 20175271809285*c_0101_4^13 + 35307697776739303192312543964082780809\ 2248/243452990200475843080504120175271809285*c_0101_4^12 + 803602531434179500913478322230102880882973/243452990200475843080504\ 120175271809285*c_0101_4^11 + 1297643734305308232685695015507245799\ 598834/243452990200475843080504120175271809285*c_0101_4^10 + 1553353394845119759899070309340005429113978/24345299020047584308050\ 4120175271809285*c_0101_4^9 + 1381498697073687728783131755835463776\ 753572/243452990200475843080504120175271809285*c_0101_4^8 + 46429958570324575810099595699999657273723/1281331527370925489897390\ 1061856411015*c_0101_4^7 + 7231689732713453032508682560654361388843\ 4/48690598040095168616100824035054361857*c_0101_4^6 + 53981767463238925673823127678714085279672/2434529902004758430805041\ 20175271809285*c_0101_4^5 - 329650923374088448187631420047840409702\ 51/243452990200475843080504120175271809285*c_0101_4^4 - 20762363356807542684770563102094642433046/2434529902004758430805041\ 20175271809285*c_0101_4^3 - 560032724715242984936162492628751700651\ /48690598040095168616100824035054361857*c_0101_4^2 + 810186149426633379849686132430753742424/243452990200475843080504120\ 175271809285*c_0101_4 - 2037359388106037794573857178012712047/24345\ 2990200475843080504120175271809285, c_0101_0 + 182478262425919052252322412091755588952/24345299020047584308\ 0504120175271809285*c_0101_4^19 + 600047812684456518562809344937650\ 152143/48690598040095168616100824035054361857*c_0101_4^18 + 21479148879280568341675137571019839278781/2434529902004758430805041\ 20175271809285*c_0101_4^17 + 44934245150011846582317494745027390749\ 17/12813315273709254898973901061856411015*c_0101_4^16 + 173347280057625129661467208189113671512271/243452990200475843080504\ 120175271809285*c_0101_4^15 - 4442056201000759581748784829242328527\ 3389/243452990200475843080504120175271809285*c_0101_4^14 - 1525669859527941640811913988266563522762733/24345299020047584308050\ 4120175271809285*c_0101_4^13 - 555500349711471178495582440141390894\ 8116897/243452990200475843080504120175271809285*c_0101_4^12 - 12249432551189609665144140685524312581757837/2434529902004758430805\ 04120175271809285*c_0101_4^11 - 19036508337263274873059761020440606\ 341728506/243452990200475843080504120175271809285*c_0101_4^10 - 21645390053794160390995616522733403888322942/2434529902004758430805\ 04120175271809285*c_0101_4^9 - 178805530503887429105499643758959831\ 28978183/243452990200475843080504120175271809285*c_0101_4^8 - 534265975704747620342189040460229626911712/128133152737092548989739\ 01061856411015*c_0101_4^7 - 650630659006632613603791070723608519017\ 897/48690598040095168616100824035054361857*c_0101_4^6 + 69612611291491729888534516013647185761002/2434529902004758430805041\ 20175271809285*c_0101_4^5 + 563421308462284136925408401258745108204\ 024/243452990200475843080504120175271809285*c_0101_4^4 + 203705482207803590751796614821287254031339/243452990200475843080504\ 120175271809285*c_0101_4^3 + 12854677764403675617504992234921453240\ 86/48690598040095168616100824035054361857*c_0101_4^2 - 8130817984603989446289324193644890394436/24345299020047584308050412\ 0175271809285*c_0101_4 + 169068575692610223393723181961514570098/24\ 3452990200475843080504120175271809285, c_0101_1 - 78266749462994561182244646800588789179/243452990200475843080\ 504120175271809285*c_0101_4^19 - 2604057130270680982520319940347278\ 36923/48690598040095168616100824035054361857*c_0101_4^18 - 9461072247697184580693138142299401210157/24345299020047584308050412\ 0175271809285*c_0101_4^17 - 202097839593866690157654289739109539589\ 4/12813315273709254898973901061856411015*c_0101_4^16 - 81507371903455744643688680582507912366432/2434529902004758430805041\ 20175271809285*c_0101_4^15 + 39804616990831312402644424957412596857\ 63/243452990200475843080504120175271809285*c_0101_4^14 + 655302917032473704430092456491528096198571/243452990200475843080504\ 120175271809285*c_0101_4^13 + 2504650063069765679840737057079575968\ 975634/243452990200475843080504120175271809285*c_0101_4^12 + 5720862479253201677191864909811967660786494/24345299020047584308050\ 4120175271809285*c_0101_4^11 + 923531800734400590444473680586073395\ 3517352/243452990200475843080504120175271809285*c_0101_4^10 + 11018932947307448801048877893062793277049704/2434529902004758430805\ 04120175271809285*c_0101_4^9 + 974540918548961852002717680496632020\ 5930781/243452990200475843080504120175271809285*c_0101_4^8 + 325861101736654871163201227069086368101439/128133152737092548989739\ 01061856411015*c_0101_4^7 + 511471684595647770878838359165772693991\ 530/48690598040095168616100824035054361857*c_0101_4^6 + 442850497805470881683218598414898161618056/243452990200475843080504\ 120175271809285*c_0101_4^5 - 16683718942884145324455786970399276380\ 4888/243452990200475843080504120175271809285*c_0101_4^4 - 123985892568555835292898061908970757067143/243452990200475843080504\ 120175271809285*c_0101_4^3 - 55813670095259734698248053642037667360\ 55/48690598040095168616100824035054361857*c_0101_4^2 - 2024683904096351098703599331641808446928/24345299020047584308050412\ 0175271809285*c_0101_4 + 207188728052206763972139328102994107014/24\ 3452990200475843080504120175271809285, c_0101_2 + 141932153233747861068/5737365236379160347395*c_0101_4^19 + 768965191157026527951/1147473047275832069479*c_0101_4^18 + 40994951294831826845719/5737365236379160347395*c_0101_4^17 + 235155798556952465757827/5737365236379160347395*c_0101_4^16 + 777308239970493485035969/5737365236379160347395*c_0101_4^15 + 1150723244101642406534029/5737365236379160347395*c_0101_4^14 - 2029768009844749519388267/5737365236379160347395*c_0101_4^13 - 16666266014620349517190248/5737365236379160347395*c_0101_4^12 - 50737950776666742705147578/5737365236379160347395*c_0101_4^11 - 100036750156870955758999689/5737365236379160347395*c_0101_4^10 - 140900685853680568679941808/5737365236379160347395*c_0101_4^9 - 144722888340643152728804787/5737365236379160347395*c_0101_4^8 - 106187915074489531067838002/5737365236379160347395*c_0101_4^7 - 10260166196721778652588967/1147473047275832069479*c_0101_4^6 - 11783351409791860593922317/5737365236379160347395*c_0101_4^5 + 2566000634122225358928201/5737365236379160347395*c_0101_4^4 + 2652717796159541994596716/5737365236379160347395*c_0101_4^3 + 114764341224113683887963/1147473047275832069479*c_0101_4^2 - 30009254345837954328999/5737365236379160347395*c_0101_4 - 295860213194827255933/5737365236379160347395, c_0101_3 - 14261515716742264562017000246088984329/243452990200475843080\ 504120175271809285*c_0101_4^19 - 4619532541786370256659077864950209\ 0984/48690598040095168616100824035054361857*c_0101_4^18 - 1626627856380481148753868430778583288607/24345299020047584308050412\ 0175271809285*c_0101_4^17 - 333993857506235246895927778760218805379\ /12813315273709254898973901061856411015*c_0101_4^16 - 12474894552610216752936808401767525733192/2434529902004758430805041\ 20175271809285*c_0101_4^15 + 48044212347457741571366809686491934582\ 73/243452990200475843080504120175271809285*c_0101_4^14 + 115361919265603518764407197362649598521806/243452990200475843080504\ 120175271809285*c_0101_4^13 + 4101362889830940376568111852323730759\ 27519/243452990200475843080504120175271809285*c_0101_4^12 + 893126863311755742110633223577275845968524/243452990200475843080504\ 120175271809285*c_0101_4^11 + 1376484068605626771359250420388289708\ 569612/243452990200475843080504120175271809285*c_0101_4^10 + 1555614930596166411443360172727039028151209/24345299020047584308050\ 4120175271809285*c_0101_4^9 + 1277785659179687631894296511512595383\ 941786/243452990200475843080504120175271809285*c_0101_4^8 + 37791519063050433328596051020685169958359/1281331527370925489897390\ 1061856411015*c_0101_4^7 + 4422481079285676250829662663328169586464\ 4/48690598040095168616100824035054361857*c_0101_4^6 - 14330840448715251804882189040697390015349/2434529902004758430805041\ 20175271809285*c_0101_4^5 - 434343579110139680113142690681422750123\ 53/243452990200475843080504120175271809285*c_0101_4^4 - 12787887441288445933981968641847433469228/2434529902004758430805041\ 20175271809285*c_0101_4^3 + 239520230565052348695562524327713729141\ /48690598040095168616100824035054361857*c_0101_4^2 + 611009504378081641040131112771852128422/243452990200475843080504120\ 175271809285*c_0101_4 - 242793016517297527431938720951460717666/243\ 452990200475843080504120175271809285, c_0101_4^20 + 17*c_0101_4^19 + 891/7*c_0101_4^18 + 540*c_0101_4^17 + 1256*c_0101_4^16 + 459*c_0101_4^15 - 8173*c_0101_4^14 - 247158/7*c_0101_4^13 - 611676/7*c_0101_4^12 - 152865*c_0101_4^11 - 200067*c_0101_4^10 - 198516*c_0101_4^9 - 147217*c_0101_4^8 - 541531/7*c_0101_4^7 - 24349*c_0101_4^6 - 5177/7*c_0101_4^5 + 22457/7*c_0101_4^4 + 9603/7*c_0101_4^3 + 1194/7*c_0101_4^2 - 159/7*c_0101_4 + 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB