Magma V2.19-8 Tue Aug 20 2013 16:14:15 on localhost [Seed = 1393741692] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s234 geometric_solution 4.39335668 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 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.604950798777 0.200506579070 0 2 2 0 3201 0132 1023 0132 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 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 1.313157281798 0.472479067177 3 1 1 4 0132 0132 1023 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.363976448238 0.542719556187 2 4 4 5 0132 2310 3201 0132 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 -1 0 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.157100973945 0.847770332805 3 5 2 3 2310 0132 0132 3201 0 0 0 0 0 0 1 -1 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 -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.157100973945 0.847770332805 5 4 3 5 3201 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 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.211328997958 1.140403209675 ==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' : negation(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' : negation(d['1']), 's_2_5' : 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_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_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_5' : d['c_0101_2'], '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' : negation(d['c_0011_4']), 'c_0011_4' : 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_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), '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' : negation(d['c_0101_2']), 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], '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 7 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 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 588514299115384328707305867106313/279456979351154402852147211528319\ *c_0101_3^21 - 2236256634070573540323689504151987/55891395870230880\ 5704294423056638*c_0101_3^20 - 9635044860392906100899032792858251/2\ 79456979351154402852147211528319*c_0101_3^19 - 2852703045997284456185684255091603/21496690719319569450165170117563\ *c_0101_3^18 - 327689100406801922003787265751703047/558913958702308\ 805704294423056638*c_0101_3^17 - 3193077931857797886299085751411029\ 34/279456979351154402852147211528319*c_0101_3^16 - 521990236301756211537997001633245561/279456979351154402852147211528\ 319*c_0101_3^15 - 4249747963780957139878614377462816/30709558170456\ 52778595024302509*c_0101_3^14 - 62293443548409829638763971463594306\ 2/279456979351154402852147211528319*c_0101_3^13 - 326673561132154722928928172654576463/798448512431869722434706318652\ 34*c_0101_3^12 + 1716737190693535989244855205976436881/558913958702\ 308805704294423056638*c_0101_3^11 + 1004378129001035579418551624162222496/27945697935115440285214721152\ 8319*c_0101_3^10 + 1583448438867909738429360409535798499/5589139587\ 02308805704294423056638*c_0101_3^9 + 5207812503847034396930035932761939907/55891395870230880570429442305\ 6638*c_0101_3^8 + 443395447206412392423282709596511875/429933814386\ 39138900330340235126*c_0101_3^7 + 250982531436345439598385557904074\ 9082/279456979351154402852147211528319*c_0101_3^6 + 2443361407649352844049783939486808161/55891395870230880570429442305\ 6638*c_0101_3^5 - 523780360458566134030505769692327/279456979351154\ 402852147211528319*c_0101_3^4 - 14698225736589401902522807028110897\ 2/279456979351154402852147211528319*c_0101_3^3 - 186822301392536092317202453318454417/558913958702308805704294423056\ 638*c_0101_3^2 - 58514717487893777213554633051108513/55891395870230\ 8805704294423056638*c_0101_3 + 15467107715870107679685998309120097/\ 558913958702308805704294423056638, c_0011_0 - 1, c_0011_1 + 1035134529624933835233919346/926467838332679355822220787*c_0\ 101_3^21 - 4660624526914753083461163726/926467838332679355822220787\ *c_0101_3^20 - 295681999510581204446433958/712667567948214889094015\ 99*c_0101_3^19 - 60330906424108481467688097089/92646783833267935582\ 2220787*c_0101_3^18 - 131054168993163501937219543069/92646783833267\ 9355822220787*c_0101_3^17 - 277221545166026856840905020413/92646783\ 8332679355822220787*c_0101_3^16 - 277654530543240913083084221948/92\ 6467838332679355822220787*c_0101_3^15 - 155656437762956370880289699501/926467838332679355822220787*c_0101_3\ ^14 - 61342573111770718467667129718/71266756794821488909401599*c_01\ 01_3^13 + 12465790984005666795698711377/926467838332679355822220787\ *c_0101_3^12 + 785040852304167554175224969828/926467838332679355822\ 220787*c_0101_3^11 + 20024310362672048176392622326/7126675679482148\ 8909401599*c_0101_3^10 + 1095513065562526100305249778089/9264678383\ 32679355822220787*c_0101_3^9 + 1713089517217188957823889707536/9264\ 67838332679355822220787*c_0101_3^8 + 1608108600651377225799081562050/926467838332679355822220787*c_0101_\ 3^7 + 1080183085707043076062324919564/926467838332679355822220787*c\ _0101_3^6 + 164147055922961917665348492842/926467838332679355822220\ 787*c_0101_3^5 - 131695138045682910940940484198/9264678383326793558\ 22220787*c_0101_3^4 - 6410438411194793488389161482/7126675679482148\ 8909401599*c_0101_3^3 - 35971580751372984657958726658/9264678383326\ 79355822220787*c_0101_3^2 + 3617163694319094475081992013/9264678383\ 32679355822220787*c_0101_3 + 3095579526872107619716325145/926467838\ 332679355822220787, c_0011_4 + 21512156044756967931437634135263/399224256215934861217353159\ 32617*c_0101_3^21 - 97045024966826735461536372100833/39922425621593\ 486121735315932617*c_0101_3^20 - 79203370034198641830901536636697/3\ 9922425621593486121735315932617*c_0101_3^19 - 1253131433868464770316338416981727/39922425621593486121735315932617\ *c_0101_3^18 - 2708036424830201239485898372621876/39922425621593486\ 121735315932617*c_0101_3^17 - 5726919149112155699827901034493179/39\ 922425621593486121735315932617*c_0101_3^16 - 5653944647781333733362270530595069/39922425621593486121735315932617\ *c_0101_3^15 - 3065740629795311931641385500121765/39922425621593486\ 121735315932617*c_0101_3^14 - 16334310512096066770582510425234466/3\ 9922425621593486121735315932617*c_0101_3^13 + 540299060567907461768769229971045/39922425621593486121735315932617*\ c_0101_3^12 + 16487999283669264914139388673380634/39922425621593486\ 121735315932617*c_0101_3^11 + 5839638280834038633464793330060539/39\ 922425621593486121735315932617*c_0101_3^10 + 1714006645106411924777913165791199/3070955817045652778595024302509*\ c_0101_3^9 + 34891521115024170767762313236421331/399224256215934861\ 21735315932617*c_0101_3^8 + 33001015627877865358534353767470611/399\ 22425621593486121735315932617*c_0101_3^7 + 1626340652696310562303839137798941/3070955817045652778595024302509*\ c_0101_3^6 + 2014198198002905214751894184346478/3992242562159348612\ 1735315932617*c_0101_3^5 - 3637424956207391406361118673968233/39922\ 425621593486121735315932617*c_0101_3^4 - 2035635780400619871031379480870960/39922425621593486121735315932617\ *c_0101_3^3 - 663817619297907260552787424765677/3992242562159348612\ 1735315932617*c_0101_3^2 + 129597574568145796310636844635373/399224\ 25621593486121735315932617*c_0101_3 + 68228563126901786767440323743986/39922425621593486121735315932617, c_0101_0 - 19548067133871150836559562226650/399224256215934861217353159\ 32617*c_0101_3^21 + 75361564302520855724476926118425/39922425621593\ 486121735315932617*c_0101_3^20 + 133676795034552740423291734788275/\ 39922425621593486121735315932617*c_0101_3^19 + 1165092132437973091196560884202668/39922425621593486121735315932617\ *c_0101_3^18 + 3210718214109046280195407850148984/39922425621593486\ 121735315932617*c_0101_3^17 + 507499367310028450957411496312567/307\ 0955817045652778595024302509*c_0101_3^16 + 8266586417624932085169787193527238/39922425621593486121735315932617\ *c_0101_3^15 + 5465709583909398828302329191329660/39922425621593486\ 121735315932617*c_0101_3^14 + 16438380609034812339944918277090695/3\ 9922425621593486121735315932617*c_0101_3^13 + 713072440171824354331479881396701/3070955817045652778595024302509*c\ _0101_3^12 - 17904327788200415318509507557629396/399224256215934861\ 21735315932617*c_0101_3^11 - 12497864859535296198391345390162334/39\ 922425621593486121735315932617*c_0101_3^10 - 22012155208978080156187093756775789/3992242562159348612173531593261\ 7*c_0101_3^9 - 3509495747403810776170230534041101/30709558170456527\ 78595024302509*c_0101_3^8 - 47105166243958367970636432197201852/399\ 22425621593486121735315932617*c_0101_3^7 - 36184855259153572912698958021449220/3992242562159348612173531593261\ 7*c_0101_3^6 - 12479007013755439137494025389862867/3992242562159348\ 6121735315932617*c_0101_3^5 + 1971446649561734693665236864973757/39\ 922425621593486121735315932617*c_0101_3^4 + 2380520307491440979175123660352441/39922425621593486121735315932617\ *c_0101_3^3 + 1209351393522846913011304443786356/399224256215934861\ 21735315932617*c_0101_3^2 + 111992421094811531485650001990291/39922\ 425621593486121735315932617*c_0101_3 - 78097363416988839693588991318050/39922425621593486121735315932617, c_0101_2 - 2028926385309900374064533046737/3992242562159348612173531593\ 2617*c_0101_3^21 + 9505129127343686557283979126619/3992242562159348\ 6121735315932617*c_0101_3^20 + 4318731781534473113809475599563/3992\ 2425621593486121735315932617*c_0101_3^19 + 125497375777632114804218502435272/39922425621593486121735315932617*\ c_0101_3^18 + 232222178200857603106470851906904/3992242562159348612\ 1735315932617*c_0101_3^17 + 588451174298017854128988907396725/39922\ 425621593486121735315932617*c_0101_3^16 + 544399199665719606240987258517942/39922425621593486121735315932617*\ c_0101_3^15 + 497803408691641183523325288254022/3992242562159348612\ 1735315932617*c_0101_3^14 + 1593863213603916379842364422592276/3992\ 2425621593486121735315932617*c_0101_3^13 - 225872520425745527937166194901246/39922425621593486121735315932617*\ c_0101_3^12 - 449524454305515157731417226071032/3992242562159348612\ 1735315932617*c_0101_3^11 - 1420636634292730567031438247390771/3992\ 2425621593486121735315932617*c_0101_3^10 - 2183946595505988890345480068477092/39922425621593486121735315932617\ *c_0101_3^9 - 3002011786162263844055300465036730/399224256215934861\ 21735315932617*c_0101_3^8 - 4123074691449812857924727933537914/3992\ 2425621593486121735315932617*c_0101_3^7 - 2413556626003354748131975883297828/39922425621593486121735315932617\ *c_0101_3^6 - 1109151874581135531612457198044483/399224256215934861\ 21735315932617*c_0101_3^5 + 141390626800803796402617878468742/39922\ 425621593486121735315932617*c_0101_3^4 + 364645301988363284792383266293808/39922425621593486121735315932617*\ c_0101_3^3 + 73203690030669410724672952336287/399224256215934861217\ 35315932617*c_0101_3^2 + 67868026171519997164241168161099/399224256\ 21593486121735315932617*c_0101_3 + 500179562022477970382229062009/39922425621593486121735315932617, c_0101_3^22 - 4*c_0101_3^21 - 6*c_0101_3^20 - 60*c_0101_3^19 - 156*c_0101_3^18 - 330*c_0101_3^17 - 402*c_0101_3^16 - 282*c_0101_3^15 - 848*c_0101_3^14 - 377*c_0101_3^13 + 779*c_0101_3^12 + 603*c_0101_3^11 + 1185*c_0101_3^10 + 2191*c_0101_3^9 + 2362*c_0101_3^8 + 1828*c_0101_3^7 + 682*c_0101_3^6 - 30*c_0101_3^5 - 124*c_0101_3^4 - 69*c_0101_3^3 - 11*c_0101_3^2 + 4*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB