Magma V2.19-8 Tue Aug 20 2013 16:19:21 on localhost [Seed = 1343343958] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3460 geometric_solution 6.65502219 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 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 -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.609328407976 0.905229351363 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 -1 0 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 -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.544167045353 0.832445172611 3 0 4 5 3201 0132 3201 2310 0 0 0 0 0 1 -1 0 -1 0 0 1 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 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.544167045353 0.832445172611 3 1 3 2 2031 0132 1302 2310 0 0 0 0 0 1 0 -1 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 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.402503178896 0.927478662489 2 6 1 6 2310 0132 0132 1023 0 0 0 0 0 0 -1 1 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 -1 1 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 1.209689278180 0.913094756949 2 5 5 1 3201 3201 2310 0132 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.490850825935 0.758557243486 6 4 6 4 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 1 -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 1 -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.642007420387 0.356349280611 ==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_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_0101_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_5'], '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' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_5'], '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_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t + 102393978916875233491359770541942422242465073599286/516602658200483\ 00763724963059844785497870348797*c_0101_6^38 - 25685250856957952987137088334224070471348312733294409/3099615949202\ 89804582349778359068712987222092782*c_0101_6^36 + 235896396986411018763884354548722136851120680410497299/309961594920\ 289804582349778359068712987222092782*c_0101_6^34 - 755827532642704598692741495319756765602492458275158763/309961594920\ 289804582349778359068712987222092782*c_0101_6^32 + 1639093844480100974566437654751044928476053826162179401/15498079746\ 0144902291174889179534356493611046391*c_0101_6^30 - 15076226936252739076228698039586486952564036517890173441/1033205316\ 40096601527449926119689570995740697594*c_0101_6^28 + 316912242512402070504633954953380873034985521346873971561/309961594\ 920289804582349778359068712987222092782*c_0101_6^26 - 591960603858988928065094788077387237249373801139240234375/154980797\ 460144902291174889179534356493611046391*c_0101_6^24 + 1366097313734707182091604072945340561496392860398519467662/15498079\ 7460144902291174889179534356493611046391*c_0101_6^22 - 2137928087993380113421067603726159493990983744560707856528/15498079\ 7460144902291174889179534356493611046391*c_0101_6^20 + 800444233513464750553778110154791783585759593372817440144/516602658\ 20048300763724963059844785497870348797*c_0101_6^18 - 1990914426586416260404473663721658598565441152606106224649/15498079\ 7460144902291174889179534356493611046391*c_0101_6^16 + 2466617434073556680444389667399936743501855742210371126649/30996159\ 4920289804582349778359068712987222092782*c_0101_6^14 - 1140342217042697427916734947466589962353942997977462526697/30996159\ 4920289804582349778359068712987222092782*c_0101_6^12 + 129957102571996236944639174397455850924273091278512416381/103320531\ 640096601527449926119689570995740697594*c_0101_6^10 - 96889278222162099967013250848368001635926975566012967547/3099615949\ 20289804582349778359068712987222092782*c_0101_6^8 + 8419748632663860821146581293351855282938404347170565879/15498079746\ 0144902291174889179534356493611046391*c_0101_6^6 - 318426853552110029477341522445471379376504810349753679/516602658200\ 48300763724963059844785497870348797*c_0101_6^4 + 20721101157349261581764714741145112461737372311786498/5166026582004\ 8300763724963059844785497870348797*c_0101_6^2 - 3386530007453341191264103841883625865099191471818025/30996159492028\ 9804582349778359068712987222092782, c_0011_0 - 1, c_0011_4 - 8620484001757741608211991086643525501370230988503/1033205316\ 40096601527449926119689570995740697594*c_0101_6^39 + 180170674464106657078910745549037122375589234736374/516602658200483\ 00763724963059844785497870348797*c_0101_6^37 - 3307375097558141243623721079927902369000740048106869/10332053164009\ 6601527449926119689570995740697594*c_0101_6^35 + 10581588325221637835274343564593882331516536904639847/1033205316400\ 96601527449926119689570995740697594*c_0101_6^33 - 22961607669589919657457775093725229931438716106275836/5166026582004\ 8300763724963059844785497870348797*c_0101_6^31 + 634301260762597964281819650560183129086937415986869027/103320531640\ 096601527449926119689570995740697594*c_0101_6^29 - 4442182263059357586739897919505789352043460082678002961/10332053164\ 0096601527449926119689570995740697594*c_0101_6^27 + 16580326257862292140228577116049100653367305391159379197/1033205316\ 40096601527449926119689570995740697594*c_0101_6^25 - 38219120425151637744684539737494614258754758413165909027/1033205316\ 40096601527449926119689570995740697594*c_0101_6^23 + 59729334116824100675599153599474227705992950942938587239/1033205316\ 40096601527449926119689570995740697594*c_0101_6^21 - 66978141260294277516702024260019048181793859264068536895/1033205316\ 40096601527449926119689570995740697594*c_0101_6^19 + 27710220244993747138771834877608973932533756808103204789/5166026582\ 0048300763724963059844785497870348797*c_0101_6^17 - 34247154067730934466389707075420478633060091782845954289/1033205316\ 40096601527449926119689570995740697594*c_0101_6^15 + 7891798665283448647567400639684136533796409655821653714/51660265820\ 048300763724963059844785497870348797*c_0101_6^13 - 5374685898988533843479465380033990174260846766256106077/10332053164\ 0096601527449926119689570995740697594*c_0101_6^11 + 1328740249586350163298989569343173333236996312018006319/10332053164\ 0096601527449926119689570995740697594*c_0101_6^9 - 229271858586167029125938436088954352726345883970941701/103320531640\ 096601527449926119689570995740697594*c_0101_6^7 + 25735776381186756246959401421111808499005583907352065/1033205316400\ 96601527449926119689570995740697594*c_0101_6^5 - 822833529408451917306394968565808805841852667685867/516602658200483\ 00763724963059844785497870348797*c_0101_6^3 + 21584020133612486974570972530128212000926890393360/5166026582004830\ 0763724963059844785497870348797*c_0101_6, c_0101_0 + 8743997517397705802066960472376168760058991261633/1033205316\ 40096601527449926119689570995740697594*c_0101_6^39 - 182891582846639326060312545634247834226358076295314/516602658200483\ 00763724963059844785497870348797*c_0101_6^37 + 1683188772723291574767378157533009302525952437544829/51660265820048\ 300763724963059844785497870348797*c_0101_6^35 - 10838419728345168360251432588113734123041886116295579/1033205316400\ 96601527449926119689570995740697594*c_0101_6^33 + 46907367299532347860724573019989311925796065049769193/1033205316400\ 96601527449926119689570995740697594*c_0101_6^31 - 322412299470229868147076030188237230755017107755112255/516602658200\ 48300763724963059844785497870348797*c_0101_6^29 + 4526128209097512893448499063745260340476388025822094697/10332053164\ 0096601527449926119689570995740697594*c_0101_6^27 - 8479242335340288846484054400836683938643226110984517281/51660265820\ 048300763724963059844785497870348797*c_0101_6^25 + 19640745182445887379734706159173795675643274757616488693/5166026582\ 0048300763724963059844785497870348797*c_0101_6^23 - 30870991936154731005950930787656899134044987931639787505/5166026582\ 0048300763724963059844785497870348797*c_0101_6^21 + 34845037003687528609098840509395090358848856991620423442/5166026582\ 0048300763724963059844785497870348797*c_0101_6^19 - 58106471232531571123226319584465630978675624162675553437/1033205316\ 40096601527449926119689570995740697594*c_0101_6^17 + 18115666417504524284926486414478068114623954530426857694/5166026582\ 0048300763724963059844785497870348797*c_0101_6^15 - 8439420612197369930855982342316268511209406503179426695/51660265820\ 048300763724963059844785497870348797*c_0101_6^13 + 2910808844872588208388668052041015373012935084206115119/51660265820\ 048300763724963059844785497870348797*c_0101_6^11 - 1460889748249333590009923181091789003867425084506111283/10332053164\ 0096601527449926119689570995740697594*c_0101_6^9 + 128321431971806751041747613942075479963899894454685774/516602658200\ 48300763724963059844785497870348797*c_0101_6^7 - 14709350322252710203252247344277213781685015349635018/5166026582004\ 8300763724963059844785497870348797*c_0101_6^5 + 1923753404001054275616582254963200674069407479379639/10332053164009\ 6601527449926119689570995740697594*c_0101_6^3 - 51444340492784346546674038566090714278065646557233/1033205316400966\ 01527449926119689570995740697594*c_0101_6, c_0101_1 + 3181831410593974384632427383924022076585218523196/5166026582\ 0048300763724963059844785497870348797*c_0101_6^38 - 266064885931878448883795310519715259359586904826691/103320531640096\ 601527449926119689570995740697594*c_0101_6^36 + 1222002831884722519170743386859917520984033287605325/51660265820048\ 300763724963059844785497870348797*c_0101_6^34 - 7833750746498908949470790384694723381663286749385231/10332053164009\ 6601527449926119689570995740697594*c_0101_6^32 + 33968643908804617447836304859445697920772582448101521/1033205316400\ 96601527449926119689570995740697594*c_0101_6^30 - 234272544088808084404065774082257963531903440729261301/516602658200\ 48300763724963059844785497870348797*c_0101_6^28 + 3283568468372483510660713890407367304291776871288164739/10332053164\ 0096601527449926119689570995740697594*c_0101_6^26 - 12269467653451118254609146983006634976082069923161711639/1033205316\ 40096601527449926119689570995740697594*c_0101_6^24 + 28321329529000823150684688072809117174676026374902535049/1033205316\ 40096601527449926119689570995740697594*c_0101_6^22 - 44330954055252669283090460844097711858971891403150023299/1033205316\ 40096601527449926119689570995740697594*c_0101_6^20 + 49798003014279636329476491844564842915445260771167207833/1033205316\ 40096601527449926119689570995740697594*c_0101_6^18 - 41285844132168749975032850344926805799399913948918253863/1033205316\ 40096601527449926119689570995740697594*c_0101_6^16 + 12784457723564487473943562099829739004698408930313208560/5166026582\ 0048300763724963059844785497870348797*c_0101_6^14 - 11813345395203206076776872391986735761692203790095992567/1033205316\ 40096601527449926119689570995740697594*c_0101_6^12 + 2016819755462516964356217183834278851188473454896008994/51660265820\ 048300763724963059844785497870348797*c_0101_6^10 - 1000016382871337247888552228129541807601764723050580097/10332053164\ 0096601527449926119689570995740697594*c_0101_6^8 + 173061045352849986418858650183665858528980913725848141/103320531640\ 096601527449926119689570995740697594*c_0101_6^6 - 19477996380647163748132144075065978856162591666399741/1033205316400\ 96601527449926119689570995740697594*c_0101_6^4 + 1248584350188498925069085862310433508188515511372811/10332053164009\ 6601527449926119689570995740697594*c_0101_6^2 - 16468664933483013826622682785241346738764242093495/5166026582004830\ 0763724963059844785497870348797, c_0101_2 - 1093994507090212728806368162820454170954992614877/5166026582\ 0048300763724963059844785497870348797*c_0101_6^39 + 91519611335891165376110568458172732475332525168193/1033205316400966\ 01527449926119689570995740697594*c_0101_6^37 - 841969541675328535650366672641117900446572394374435/103320531640096\ 601527449926119689570995740697594*c_0101_6^35 + 2708567663537023508247450788311601355513310412989605/10332053164009\ 6601527449926119689570995740697594*c_0101_6^33 - 5863476737296924589331322037179415183887108419787243/51660265820048\ 300763724963059844785497870348797*c_0101_6^31 + 161305937556322498633796387724986728673051480590570803/103320531640\ 096601527449926119689570995740697594*c_0101_6^29 - 1131883187176623366274091310893366024993206968160809315/10332053164\ 0096601527449926119689570995740697594*c_0101_6^27 + 2119409712308483178749191002631183717011160820026794683/51660265820\ 048300763724963059844785497870348797*c_0101_6^25 - 4906270796959686212561533227645889443351479839579239071/51660265820\ 048300763724963059844785497870348797*c_0101_6^23 + 7706407696240002720488985217699713905880335014589331964/51660265820\ 048300763724963059844785497870348797*c_0101_6^21 - 8692350618645617374293943534632184679902072252845664600/51660265820\ 048300763724963059844785497870348797*c_0101_6^19 + 7242332587592937349393251495860100968338580665686921292/51660265820\ 048300763724963059844785497870348797*c_0101_6^17 - 9025443356471662375715840227002618363670230453673826737/10332053164\ 0096601527449926119689570995740697594*c_0101_6^15 + 4202204293600765161697343071513927189017118429453718805/10332053164\ 0096601527449926119689570995740697594*c_0101_6^13 - 1448993515135440877454356582228059054154733328393604545/10332053164\ 0096601527449926119689570995740697594*c_0101_6^11 + 363756779664399345765131982893303214930842668827805467/103320531640\ 096601527449926119689570995740697594*c_0101_6^9 - 31997023010567799953789756743433520320062077999867902/5166026582004\ 8300763724963059844785497870348797*c_0101_6^7 + 3678869605350036640744239638267664320772971629910529/51660265820048\ 300763724963059844785497870348797*c_0101_6^5 - 241653970438813415434570264346077863186386419654379/516602658200483\ 00763724963059844785497870348797*c_0101_6^3 + 12795498946838507508703522265619960389274443414591/1033205316400966\ 01527449926119689570995740697594*c_0101_6, c_0101_5 + 7701494966994541463646886150831955458779643847/4323034796656\ 76157018618937739286907931969446*c_0101_6^38 - 322140724923496939787942079981413048005696716149/432303479665676157\ 018618937739286907931969446*c_0101_6^36 + 1481847375095588481429793406252998038519558191388/21615173983283807\ 8509309468869643453965984723*c_0101_6^34 - 9534343848649164600619470561518875810045418914915/43230347966567615\ 7018618937739286907931969446*c_0101_6^32 + 20639611254820537004860167349220702801641456371976/2161517398328380\ 78509309468869643453965984723*c_0101_6^30 - 283893225436356880794845135943238750790207591986183/216151739832838\ 078509309468869643453965984723*c_0101_6^28 + 3984198276360129018941406481838589805898371362689941/43230347966567\ 6157018618937739286907931969446*c_0101_6^26 - 14920835175306806812046105615457561951300763539935759/4323034796656\ 76157018618937739286907931969446*c_0101_6^24 + 34541519431552140821454643308371753761677896965414167/4323034796656\ 76157018618937739286907931969446*c_0101_6^22 - 27128446304214396781033457932543673744249973368381701/2161517398328\ 38078509309468869643453965984723*c_0101_6^20 + 30599998523168918561287246543406581973055371811210425/2161517398328\ 38078509309468869643453965984723*c_0101_6^18 - 25495719750453392769274742018098923744167022801275488/2161517398328\ 38078509309468869643453965984723*c_0101_6^16 + 15886075778969459607948278797814918430861070987696731/2161517398328\ 38078509309468869643453965984723*c_0101_6^14 - 7395743812113900502207117180280083988799458495791009/21615173983283\ 8078509309468869643453965984723*c_0101_6^12 + 2549555101755731944235682569500597994695965845502777/21615173983283\ 8078509309468869643453965984723*c_0101_6^10 - 639723393865566894249144863073130860939544656904499/216151739832838\ 078509309468869643453965984723*c_0101_6^8 + 224901006748087913277885335645563427935100922033827/432303479665676\ 157018618937739286907931969446*c_0101_6^6 - 12917464607552619105361588290351567206283402148641/2161517398328380\ 78509309468869643453965984723*c_0101_6^4 + 1698489129497392831432539127234909331750299748349/43230347966567615\ 7018618937739286907931969446*c_0101_6^2 - 46172832900494677243544546962915341727885845979/4323034796656761570\ 18618937739286907931969446, c_0101_6^40 - 42*c_0101_6^38 + 392*c_0101_6^36 - 1304*c_0101_6^34 + 5572*c_0101_6^32 - 74643*c_0101_6^30 + 529978*c_0101_6^28 - 2026121*c_0101_6^26 + 4817067*c_0101_6^24 - 7812873*c_0101_6^22 + 9151326*c_0101_6^20 - 7978233*c_0101_6^18 + 5254647*c_0101_6^16 - 2622999*c_0101_6^14 + 988455*c_0101_6^12 - 278388*c_0101_6^10 + 57302*c_0101_6^8 - 8281*c_0101_6^6 + 785*c_0101_6^4 - 43*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB