Magma V2.19-8 Tue Aug 20 2013 16:17:01 on localhost [Seed = 2210537297] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1262 geometric_solution 5.16204646 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 3201 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 -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.414370832696 0.222020976439 0 3 0 3 0132 0132 2310 2310 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 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.875010829948 1.004635709011 4 0 5 0 0132 2310 0132 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 -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.710618337355 0.782614732572 1 1 4 5 3201 0132 3012 3012 0 0 0 0 0 1 -1 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 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.415642351217 1.124078922522 2 3 4 4 0132 1230 1230 3012 0 0 0 0 0 0 -1 1 -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 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 1.147158145698 1.251681147829 6 6 3 2 0132 2310 1230 0132 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 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.898655181875 1.935852814053 5 6 6 5 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.576987662976 0.368279210931 ==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' : negation(d['1']), 's_1_2' : 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' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_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' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : d['c_0101_5']})} 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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 1202458693528908340187948393810150/31411808467141692557565008251374\ 87*c_0101_5^18 - 5671775021290744018270643393151533/628236169342833\ 8511513001650274974*c_0101_5^17 + 631383846448474024322701929762691\ 6/3141180846714169255756500825137487*c_0101_5^16 - 4737268767781661222563980512742412/31411808467141692557565008251374\ 87*c_0101_5^15 + 5355082202429383776614937664588211/299160080639444\ 691024428650013094*c_0101_5^14 + 8624476116555367334937140335049831\ 9/6282361693428338511513001650274974*c_0101_5^13 + 45777367219074582182671870423950889/2094120564476112837171000550091\ 658*c_0101_5^12 + 48968540987812184740428567081187909/6282361693428\ 338511513001650274974*c_0101_5^11 - 953828003311755464798852449534074173/628236169342833851151300165027\ 4974*c_0101_5^10 + 35354296326460487795134465228416757/628236169342\ 8338511513001650274974*c_0101_5^9 - 1012155517611662162929099363300374826/31411808467141692557565008251\ 37487*c_0101_5^8 - 1300127455142034178701938064493048/1013284144101\ 34492121177445972177*c_0101_5^7 + 264794119463993042778750828080442\ 2593/6282361693428338511513001650274974*c_0101_5^6 + 193665346999942597413416445265061360/314118084671416925575650082513\ 7487*c_0101_5^5 + 835520839528028463194503294025092907/628236169342\ 8338511513001650274974*c_0101_5^4 - 979733683358802352926093584886189605/628236169342833851151300165027\ 4974*c_0101_5^3 - 14028217442001960301110688878210232/4487401209591\ 67036536642975019641*c_0101_5^2 - 398140574213511099461778759501917\ 5/349020094079352139528500091681943*c_0101_5 - 55563600848785403331039023796843785/6282361693428338511513001650274\ 974, c_0011_0 - 1, c_0011_2 - 4686246254386928703828353284/1608387530319595113034562634479\ *c_0101_5^18 - 13658520039111052220174287264/1608387530319595113034\ 562634479*c_0101_5^17 + 17008929776625626605457065409/1608387530319\ 595113034562634479*c_0101_5^16 - 9876507379238854066146125262/16083\ 87530319595113034562634479*c_0101_5^15 + 210476387636209690688820564980/1608387530319595113034562634479*c_01\ 01_5^14 + 287249740121734703054886303227/16083875303195951130345626\ 34479*c_0101_5^13 + 428399091858541352170446936772/1608387530319595\ 113034562634479*c_0101_5^12 + 364665183833595261491188512847/160838\ 7530319595113034562634479*c_0101_5^11 - 1562410859473253235719018983620/1608387530319595113034562634479*c_0\ 101_5^10 - 721918857709441200239750730845/1608387530319595113034562\ 634479*c_0101_5^9 - 4189863441661009767228494922412/160838753031959\ 5113034562634479*c_0101_5^8 - 2719588822555608830959815954277/16083\ 87530319595113034562634479*c_0101_5^7 + 3227710292777556742377226789892/1608387530319595113034562634479*c_0\ 101_5^6 + 1946244553371233100032154535737/1608387530319595113034562\ 634479*c_0101_5^5 + 834627452740280236078129047383/1608387530319595\ 113034562634479*c_0101_5^4 - 308505667173428014468055456848/1608387\ 530319595113034562634479*c_0101_5^3 - 275535831604078033851478061974/1608387530319595113034562634479*c_01\ 01_5^2 + 60578186440105625824563476302/1608387530319595113034562634\ 479*c_0101_5 + 1105971981880493119911976324286/16083875303195951130\ 34562634479, c_0011_5 - 6867575477832141103063111573/1608387530319595113034562634479\ *c_0101_5^18 - 21292282630720275678851042767/1608387530319595113034\ 562634479*c_0101_5^17 + 20348888879234035406430509384/1608387530319\ 595113034562634479*c_0101_5^16 - 13561168967142417497849801289/1608\ 387530319595113034562634479*c_0101_5^15 + 305894297956419263674122823728/1608387530319595113034562634479*c_01\ 01_5^14 + 483365952171177753639440197079/16083875303195951130345626\ 34479*c_0101_5^13 + 744368667963598138659368426805/1608387530319595\ 113034562634479*c_0101_5^12 + 766554520382509948272799263851/160838\ 7530319595113034562634479*c_0101_5^11 - 2055386789240363030322427790504/1608387530319595113034562634479*c_0\ 101_5^10 - 1382442379985132057853386523320/160838753031959511303456\ 2634479*c_0101_5^9 - 6750349459018652313351701526855/16083875303195\ 95113034562634479*c_0101_5^8 - 6133687379280400121202060253413/1608\ 387530319595113034562634479*c_0101_5^7 + 2854758431365899359759493232915/1608387530319595113034562634479*c_0\ 101_5^6 + 2026077462631533317133026796471/1608387530319595113034562\ 634479*c_0101_5^5 + 3569861436433240427404666448337/160838753031959\ 5113034562634479*c_0101_5^4 + 3324073228685919163421899683188/16083\ 87530319595113034562634479*c_0101_5^3 + 2768989278823637499124091894190/1608387530319595113034562634479*c_0\ 101_5^2 + 640280877419589107080124989078/16083875303195951130345626\ 34479*c_0101_5 + 297522673001362584721110420730/1608387530319595113\ 034562634479, c_0101_0 + 16206953175454903003954397103/160838753031959511303456263447\ 9*c_0101_5^18 + 53307105780751637715691544593/160838753031959511303\ 4562634479*c_0101_5^17 - 34962339487253656791688904045/160838753031\ 9595113034562634479*c_0101_5^16 + 31611929749739082406406125900/160\ 8387530319595113034562634479*c_0101_5^15 - 735643338691686684115756141476/1608387530319595113034562634479*c_01\ 01_5^14 - 1263928344040778385945856376675/1608387530319595113034562\ 634479*c_0101_5^13 - 2118635448948138742501733175866/16083875303195\ 95113034562634479*c_0101_5^12 - 2292198707035855197625202603617/160\ 8387530319595113034562634479*c_0101_5^11 + 4416386002925601124675358632538/1608387530319595113034562634479*c_0\ 101_5^10 + 3961039929440578880304269754864/160838753031959511303456\ 2634479*c_0101_5^9 + 17755426645112544257395822086098/1608387530319\ 595113034562634479*c_0101_5^8 + 16750252152638559595293152677237/16\ 08387530319595113034562634479*c_0101_5^7 - 2612498772169054257341180692610/1608387530319595113034562634479*c_0\ 101_5^6 - 5399442018288513744907116001694/1608387530319595113034562\ 634479*c_0101_5^5 - 13809734277804222098926773215133/16083875303195\ 95113034562634479*c_0101_5^4 - 4432571057691268702956005204249/1608\ 387530319595113034562634479*c_0101_5^3 - 2398055513127540787192328859353/1608387530319595113034562634479*c_0\ 101_5^2 - 1588263783573235811603277604871/1608387530319595113034562\ 634479*c_0101_5 - 76785139615560528828517873405/1608387530319595113\ 034562634479, c_0101_1 + 1, c_0101_2 - 9703305833438510237459941304/1608387530319595113034562634479\ *c_0101_5^18 - 28052882179003274508730065371/1608387530319595113034\ 562634479*c_0101_5^17 + 37143519472433066906249354485/1608387530319\ 595113034562634479*c_0101_5^16 - 17467294507865721924438546119/1608\ 387530319595113034562634479*c_0101_5^15 + 431837511881338482653101077696/1608387530319595113034562634479*c_01\ 01_5^14 + 584977158799177876989778164315/16083875303195951130345626\ 34479*c_0101_5^13 + 816254704410141700083517278987/1608387530319595\ 113034562634479*c_0101_5^12 + 659020377504147593439410025825/160838\ 7530319595113034562634479*c_0101_5^11 - 3359714994200828181142650175186/1608387530319595113034562634479*c_0\ 101_5^10 - 1491475829284454963386444595433/160838753031959511303456\ 2634479*c_0101_5^9 - 8209294577606745192085277963024/16083875303195\ 95113034562634479*c_0101_5^8 - 5372417846822734918291842654916/1608\ 387530319595113034562634479*c_0101_5^7 + 7977750306848890864370906417991/1608387530319595113034562634479*c_0\ 101_5^6 + 4364952734485424281818076727948/1608387530319595113034562\ 634479*c_0101_5^5 + 1738231601895557049405814795987/160838753031959\ 5113034562634479*c_0101_5^4 - 980831077205088439606847305063/160838\ 7530319595113034562634479*c_0101_5^3 - 712940172694241145282331915780/1608387530319595113034562634479*c_01\ 01_5^2 + 107352934165494119052400902737/160838753031959511303456263\ 4479*c_0101_5 + 200472745582482194959519222818/16083875303195951130\ 34562634479, c_0101_5^19 + 3*c_0101_5^18 - 3*c_0101_5^17 + 3*c_0101_5^16 - 46*c_0101_5^15 - 65*c_0101_5^14 - 113*c_0101_5^13 - 115*c_0101_5^12 + 295*c_0101_5^11 + 148*c_0101_5^10 + 1051*c_0101_5^9 + 775*c_0101_5^8 - 329*c_0101_5^7 - 134*c_0101_5^6 - 732*c_0101_5^5 - 222*c_0101_5^4 - 167*c_0101_5^3 - 115*c_0101_5^2 - c_0101_5 - 31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB