Magma V2.19-8 Tue Aug 20 2013 16:14:51 on localhost [Seed = 4105529496] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s822 geometric_solution 5.38917360 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 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 -1 1 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.466787023458 0.297400418993 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 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 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.009443994888 0.673426769465 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 -1 1 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 -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.369251901660 0.904973166844 2 5 4 1 3201 0132 1023 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 0 -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 -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.369251901660 0.904973166844 4 2 3 4 3012 0132 1023 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.084935276994 0.905081910323 5 3 5 2 2031 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.118869320328 1.264622059493 ==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' : 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' : negation(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' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], '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_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(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' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], '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' : d['c_0011_1'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 734472975101104307699/15247123096144753528*c_0101_4^23 - 3947791657877861480707/3811780774036188382*c_0101_4^21 + 1901675308963495900257/146606952847545707*c_0101_4^19 - 577250060835815384245843/7623561548072376764*c_0101_4^17 + 962987289088081938054129/3811780774036188382*c_0101_4^15 - 7474544958340802042336587/15247123096144753528*c_0101_4^13 + 3961620481727516757275695/7623561548072376764*c_0101_4^11 - 2542553096757077706578181/7623561548072376764*c_0101_4^9 + 687333391975158365823223/3811780774036188382*c_0101_4^7 - 1332220913474540772546143/15247123096144753528*c_0101_4^5 + 26031077127657251089859/1172855622780365656*c_0101_4^3 - 17833269510359322710387/15247123096144753528*c_0101_4, c_0011_0 - 1, c_0011_1 + 12450686936491953/13327904804322337*c_0101_4^22 - 265656891564119342/13327904804322337*c_0101_4^20 + 3310138546763783516/13327904804322337*c_0101_4^18 - 19048439255333684827/13327904804322337*c_0101_4^16 + 62406411717512042402/13327904804322337*c_0101_4^14 - 117695625631430857468/13327904804322337*c_0101_4^12 + 118629525536683774203/13327904804322337*c_0101_4^10 - 72569363051899657197/13327904804322337*c_0101_4^8 + 39005039310533986172/13327904804322337*c_0101_4^6 - 18291331457734849862/13327904804322337*c_0101_4^4 + 4011359441606765217/13327904804322337*c_0101_4^2 - 44238858895073219/13327904804322337, c_0011_3 + 2737671486256497305/1905890387018094191*c_0101_4^23 - 58507883503683894130/1905890387018094191*c_0101_4^21 + 56136359691230615293/146606952847545707*c_0101_4^19 - 4211768842016235031621/1905890387018094191*c_0101_4^17 + 13844488694423402110002/1905890387018094191*c_0101_4^15 - 26231717376486791021212/1905890387018094191*c_0101_4^13 + 26609534706244280114657/1905890387018094191*c_0101_4^11 - 16249188503435839697137/1905890387018094191*c_0101_4^9 + 8665749505931857415941/1905890387018094191*c_0101_4^7 - 4094547810351250710076/1905890387018094191*c_0101_4^5 + 67997625575986548689/146606952847545707*c_0101_4^3 + 6909462776734297353/1905890387018094191*c_0101_4, c_0101_0 - 1009331487842468476/1905890387018094191*c_0101_4^23 + 21875614258129727538/1905890387018094191*c_0101_4^21 - 21185069489892329523/146606952847545707*c_0101_4^19 + 1630698422538401861753/1905890387018094191*c_0101_4^17 - 5532230089894291651339/1905890387018094191*c_0101_4^15 + 10991526135680511107539/1905890387018094191*c_0101_4^13 - 12064834320786484166693/1905890387018094191*c_0101_4^11 + 7863468601687562072712/1905890387018094191*c_0101_4^9 - 4186167479273964260348/1905890387018094191*c_0101_4^7 + 2079400867098712463355/1905890387018094191*c_0101_4^5 - 41629015167807347479/146606952847545707*c_0101_4^3 + 19672956284654308640/1905890387018094191*c_0101_4, c_0101_1 - 2072335478649355/13327904804322337*c_0101_4^22 + 45469637553801097/13327904804322337*c_0101_4^20 - 576915846083309740/13327904804322337*c_0101_4^18 + 3487686901909486056/13327904804322337*c_0101_4^16 - 12109934772931943268/13327904804322337*c_0101_4^14 + 24815740091560893000/13327904804322337*c_0101_4^12 - 28391390117971254932/13327904804322337*c_0101_4^10 + 18723467062319602886/13327904804322337*c_0101_4^8 - 9719550106173979955/13327904804322337*c_0101_4^6 + 4981967789427363136/13327904804322337*c_0101_4^4 - 1304524054636137411/13327904804322337*c_0101_4^2 + 7335385884422519/13327904804322337, c_0101_4^24 - 22*c_0101_4^22 + 280*c_0101_4^20 - 1706*c_0101_4^18 + 6024*c_0101_4^16 - 12761*c_0101_4^14 + 15748*c_0101_4^12 - 12066*c_0101_4^10 + 6936*c_0101_4^8 - 3517*c_0101_4^6 + 1279*c_0101_4^4 - 211*c_0101_4^2 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB