Magma V2.19-8 Tue Aug 20 2013 16:14:36 on localhost [Seed = 3313785283] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s589 geometric_solution 5.06227736 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.304321449979 0.188995823079 2 0 3 0 0132 2310 0132 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 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.324298832984 1.283726068479 1 4 5 4 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.831212105044 1.548722384896 4 5 4 1 2310 1023 3201 0132 0 0 0 0 0 0 0 0 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 0 1 0 -1 0 0 0 0 -2 1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.831212105044 1.548722384896 3 2 3 2 2310 0132 3201 1023 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 -1 0 2 -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.310467507762 0.411390279733 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 0 1 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.468931002186 0.614678157206 ==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' : negation(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_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : 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_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_3']), '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_3, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 184321541094555628392490215732311/65158294504627099880159469235360*\ c_0101_3^13 + 15643196219374343066744411355937/59234813186024636254\ 69042657760*c_0101_3^12 + 3508533834519689919019950797793433/325791\ 47252313549940079734617680*c_0101_3^11 + 13919901301529336203258006488841267/6515829450462709988015946923536\ 0*c_0101_3^10 + 1483496341214260461886751496484929/8462116169432090\ 89352720379680*c_0101_3^9 + 140027248413218753574797140669673441/65\ 158294504627099880159469235360*c_0101_3^8 + 65569592711248733158017774542158673/8144786813078387485019933654420\ *c_0101_3^7 + 2408604404532561824624548340764697/211552904235802272\ 338180094920*c_0101_3^6 + 727347007346682433023575429509790093/6515\ 8294504627099880159469235360*c_0101_3^5 + 1569127381813185868324878995102898777/65158294504627099880159469235\ 360*c_0101_3^4 - 470961345258087317875839255033204293/3257914725231\ 3549940079734617680*c_0101_3^3 - 123960962451847386725390367590819/\ 58177048664845624892999526103*c_0101_3^2 - 8458494304590266554292438521168087/814478681307838748501993365442*c\ _0101_3 - 10866589796880424253965923612741963/407239340653919374250\ 9966827210, c_0011_0 - 1, c_0011_1 - 182751503163224817514882783/84621161694320908935272037968*c_\ 0101_3^13 + 173426824287798812987190283/846211616943209089352720379\ 68*c_0101_3^12 + 3476434122668430473229462379/423105808471604544676\ 36018984*c_0101_3^11 + 13697335309626686053066475047/84621161694320\ 908935272037968*c_0101_3^10 + 113126100956484361302039884957/846211\ 61694320908935272037968*c_0101_3^9 + 137160961423842428863988858805/84621161694320908935272037968*c_0101\ _3^8 + 129551902312750380021640164193/21155290423580227233818009492\ *c_0101_3^7 + 90802292942023918394817468985/10577645211790113616909\ 004746*c_0101_3^6 + 708495293566873215372418560685/8462116169432090\ 8935272037968*c_0101_3^5 + 1536404904326864513840947843081/84621161\ 694320908935272037968*c_0101_3^4 - 474865482337551967567027285731/42310580847160454467636018984*c_0101\ _3^3 - 33214797138947293158567107159/21155290423580227233818009492*\ c_0101_3^2 - 40513460122011906660739351030/528882260589505680845450\ 2373*c_0101_3 - 6545921714622671529500985438/5288822605895056808454\ 502373, c_0011_3 + 17147782092492903723556319/84621161694320908935272037968*c_0\ 101_3^13 - 14032079472993157553576973/84621161694320908935272037968\ *c_0101_3^12 - 164168253976749198538767275/211552904235802272338180\ 09492*c_0101_3^11 - 1375859225140038559031093019/846211616943209089\ 35272037968*c_0101_3^10 - 10718025057553420978439619379/84621161694\ 320908935272037968*c_0101_3^9 - 13763336871319041321213647119/84621\ 161694320908935272037968*c_0101_3^8 - 23725214582807003655220008403/42310580847160454467636018984*c_0101_\ 3^7 - 8462014343947212140961542599/10577645211790113616909004746*c_\ 0101_3^6 - 53895915013786113015587506421/84621161694320908935272037\ 968*c_0101_3^5 - 123549757052536680462191993059/8462116169432090893\ 5272037968*c_0101_3^4 + 33143759041257797320401105541/2115529042358\ 0227233818009492*c_0101_3^3 + 4825567860241268336984301369/52888226\ 05895056808454502373*c_0101_3^2 + 3361915015623688112247410072/5288\ 822605895056808454502373*c_0101_3 - 34058240531578299634037224/5288822605895056808454502373, c_0101_0 - 48842901434026618659035491/21155290423580227233818009492*c_0\ 101_3^13 + 106282187855326801719090313/4231058084716045446763601898\ 4*c_0101_3^12 + 3701828934207005697761036501/4231058084716045446763\ 6018984*c_0101_3^11 + 1700611749868574077378843743/1057764521179011\ 3616909004746*c_0101_3^10 + 59502095450080726030300072291/423105808\ 47160454467636018984*c_0101_3^9 + 65229575531441492158901775505/423\ 10580847160454467636018984*c_0101_3^8 + 269138013677308806212693507163/42310580847160454467636018984*c_0101\ _3^7 + 44353409879865177246180949335/5288822605895056808454502373*c\ _0101_3^6 + 170149390112134054816011638619/211552904235802272338180\ 09492*c_0101_3^5 + 793340307406116971634897116177/42310580847160454\ 467636018984*c_0101_3^4 - 596332025592335136923470825033/4231058084\ 7160454467636018984*c_0101_3^3 + 21775765887859897121658925701/2115\ 5290423580227233818009492*c_0101_3^2 - 44260830941957756966799467784/5288822605895056808454502373*c_0101_3 - 6720770151405297878107884658/5288822605895056808454502373, c_0101_1 + 3927527148307409267207437/42310580847160454467636018984*c_01\ 01_3^13 - 303614304036118650230890/5288822605895056808454502373*c_0\ 101_3^12 - 155741751431417501369569775/4231058084716045446763601898\ 4*c_0101_3^11 - 331552765358914278047459583/42310580847160454467636\ 018984*c_0101_3^10 - 292205403029199928553202987/528882260589505680\ 8454502373*c_0101_3^9 - 1840270081222821681665515381/21155290423580\ 227233818009492*c_0101_3^8 - 9640067704892507464825668919/423105808\ 47160454467636018984*c_0101_3^7 - 4829232746689151900216735633/1057\ 7645211790113616909004746*c_0101_3^6 - 13505646640446751749752456887/42310580847160454467636018984*c_0101_\ 3^5 - 16416575403257495691433736003/21155290423580227233818009492*c\ _0101_3^4 - 1339365717758542394562151405/42310580847160454467636018\ 984*c_0101_3^3 + 15070044298538252294980152603/21155290423580227233\ 818009492*c_0101_3^2 - 4614641144764515131061980949/105776452117901\ 13616909004746*c_0101_3 + 1020746509945620949878320055/528882260589\ 5056808454502373, c_0101_3^14 - c_0101_3^13 - 38*c_0101_3^12 - 73*c_0101_3^11 - 615*c_0101_3^10 - 719*c_0101_3^9 - 2800*c_0101_3^8 - 3840*c_0101_3^7 - 3699*c_0101_3^6 - 8275*c_0101_3^5 + 5654*c_0101_3^4 + 356*c_0101_3^3 + 3680*c_0101_3^2 + 688*c_0101_3 - 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB