Magma V2.19-8 Tue Aug 20 2013 16:17:34 on localhost [Seed = 3153733476] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1800 geometric_solution 5.47039660 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 1.600711415880 0.446729141153 0 2 3 0 3201 0132 0132 0132 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 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.845905211712 0.541313222098 4 1 5 3 0132 0132 0132 3201 0 0 0 0 0 0 0 0 -1 0 1 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 0 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.259977267532 0.858513829043 5 2 4 1 1023 2310 1023 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.259977267532 0.858513829043 2 6 3 6 0132 0132 1023 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 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.796727103828 0.666168899553 5 3 5 2 2310 1023 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.323099957519 1.066961678329 6 4 6 4 2031 0132 1302 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 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.549952672569 0.163464411632 ==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_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' : negation(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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_1'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], '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' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(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_2'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], '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' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_2, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 14922135204028048278519548190338935095689/1026931237038580981163191\ 5845795872386232*c_0110_6^28 + 408820748278506030068109508551581665\ 331937/5134656185192904905815957922897936193116*c_0110_6^26 - 4065226970453798480164588889790984766470523/25673280925964524529079\ 78961448968096558*c_0110_6^24 + 38428355599784432846796551666955121\ 624583775/2567328092596452452907978961448968096558*c_0110_6^22 - 163825554189343289285574464847512038922588621/256732809259645245290\ 7978961448968096558*c_0110_6^20 + 123182857164636311847311740659474\ 3279263419709/10269312370385809811631915845795872386232*c_0110_6^18 - 722605864534731002390319694295626260941991881/5134656185192904905\ 815957922897936193116*c_0110_6^16 + 1706979211795222456185014252580036818627002857/10269312370385809811\ 631915845795872386232*c_0110_6^14 - 137539056225370904104515507666127199059924692/128366404629822622645\ 3989480724484048279*c_0110_6^12 + 618026730668507702786378144372225\ 77854533679/1283664046298226226453989480724484048279*c_0110_6^10 - 146726381851604984076183839280847315331390883/513465618519290490581\ 5957922897936193116*c_0110_6^8 + 1818808887301928682842651146759213\ 95925758509/10269312370385809811631915845795872386232*c_0110_6^6 - 79573760550862461766232974620578744077760919/1026931237038580981163\ 1915845795872386232*c_0110_6^4 + 1931728546889074576646487501391838\ 578322908/1283664046298226226453989480724484048279*c_0110_6^2 - 811792091287937707432573590513067482190159/102693123703858098116319\ 15845795872386232, c_0011_0 - 1, c_0011_1 - 38260634381906020120273272262636766097/128366404629822622645\ 3989480724484048279*c_0110_6^28 + 209005956043610716143450880164529\ 4258627/1283664046298226226453989480724484048279*c_0110_6^26 - 41343894588386059932526605514663100960600/1283664046298226226453989\ 480724484048279*c_0110_6^24 + 3871992059045017115894330365509575431\ 67583/1283664046298226226453989480724484048279*c_0110_6^22 - 1615123969804578633043765934796950769074479/12836640462982262264539\ 89480724484048279*c_0110_6^20 + 28846306942805832694887299182707755\ 12167630/1283664046298226226453989480724484048279*c_0110_6^18 - 3205979725139141786655895600111431084555137/12836640462982262264539\ 89480724484048279*c_0110_6^16 + 38069956743869220427772478541155651\ 71886897/1283664046298226226453989480724484048279*c_0110_6^14 - 2147569528789673333483572461966305932117408/12836640462982262264539\ 89480724484048279*c_0110_6^12 + 86649731774840087782819891038352835\ 2390914/1283664046298226226453989480724484048279*c_0110_6^10 - 578652225503770755606352816716937139573332/128366404629822622645398\ 9480724484048279*c_0110_6^8 + 3641712399823284025606641709107894211\ 48840/1283664046298226226453989480724484048279*c_0110_6^6 - 136075201255211992682621830472616808255820/128366404629822622645398\ 9480724484048279*c_0110_6^4 + 1321515091946269863645374789932125863\ 8615/1283664046298226226453989480724484048279*c_0110_6^2 + 1337951919259612321834415077525124790289/12836640462982262264539894\ 80724484048279, c_0011_3 - 88792090236124540773601617577115579782/128366404629822622645\ 3989480724484048279*c_0110_6^29 + 487379784609901122362146468745551\ 7280316/1283664046298226226453989480724484048279*c_0110_6^27 - 97222101449840153496377118991927825144309/1283664046298226226453989\ 480724484048279*c_0110_6^25 + 9237408966307547153590490813350533246\ 34826/1283664046298226226453989480724484048279*c_0110_6^23 - 3983068209472564872465550732023465222729394/12836640462982262264539\ 89480724484048279*c_0110_6^21 + 76663620332858777117119007395744906\ 89257348/1283664046298226226453989480724484048279*c_0110_6^19 - 9149198361557546465496541072381647504916128/12836640462982262264539\ 89480724484048279*c_0110_6^17 + 10726632747552168912641551283287622\ 738427553/1283664046298226226453989480724484048279*c_0110_6^15 - 7254992757782788743991968817116330675577470/12836640462982262264539\ 89480724484048279*c_0110_6^13 + 32400505991601224558095036708832450\ 40055094/1283664046298226226453989480724484048279*c_0110_6^11 - 1879092427593459862110389347752418558513278/12836640462982262264539\ 89480724484048279*c_0110_6^9 + 118927378578773569031674552818893417\ 5331164/1283664046298226226453989480724484048279*c_0110_6^7 - 526771576311052165658491291091883927454051/128366404629822622645398\ 9480724484048279*c_0110_6^5 + 1136801195871197520626050639803338205\ 85930/1283664046298226226453989480724484048279*c_0110_6^3 - 5942241504377043303944575171555597633142/12836640462982262264539894\ 80724484048279*c_0110_6, c_0101_0 + 23794659319380767047366381755101726691/128366404629822622645\ 3989480724484048279*c_0110_6^29 - 127923592960135474328151198908216\ 7294060/1283664046298226226453989480724484048279*c_0110_6^27 + 24583556073309309190785488791521185943816/1283664046298226226453989\ 480724484048279*c_0110_6^25 - 2183485441743930265778076838264679911\ 16607/1283664046298226226453989480724484048279*c_0110_6^23 + 792072024445673715148449075777294092435465/128366404629822622645398\ 9480724484048279*c_0110_6^21 - 887513178557567183118410151732340754\ 732409/1283664046298226226453989480724484048279*c_0110_6^19 + 288208079264466981873637099364827236088313/128366404629822622645398\ 9480724484048279*c_0110_6^17 - 376553964051051069223029405303113215\ 166962/1283664046298226226453989480724484048279*c_0110_6^15 - 1002884358034227126943203143624569997893742/12836640462982262264539\ 89480724484048279*c_0110_6^13 + 96426589965767710946026815048583355\ 4518939/1283664046298226226453989480724484048279*c_0110_6^11 - 286397872766432951320316726696220257463482/128366404629822622645398\ 9480724484048279*c_0110_6^9 + 1634094884819867244981197686920641502\ 93184/1283664046298226226453989480724484048279*c_0110_6^7 - 161975677113355815866704807367705990919278/128366404629822622645398\ 9480724484048279*c_0110_6^5 + 1000482465896444991664914301338746395\ 13812/1283664046298226226453989480724484048279*c_0110_6^3 - 19144821826711221505960796683317235328059/1283664046298226226453989\ 480724484048279*c_0110_6, c_0101_2 - 21851949200803593049633353102163031152/128366404629822622645\ 3989480724484048279*c_0110_6^28 + 119982522166947346881118206053062\ 8520080/1283664046298226226453989480724484048279*c_0110_6^26 - 23948044372948597341326521064096408114524/1283664046298226226453989\ 480724484048279*c_0110_6^24 + 2277984486759231373425198310788127999\ 13817/1283664046298226226453989480724484048279*c_0110_6^22 - 985210443753810877522384994085771491254700/128366404629822622645398\ 9480724484048279*c_0110_6^20 + 191339921669940716012414100780378809\ 5851756/1283664046298226226453989480724484048279*c_0110_6^18 - 2322688934441568210920187537580191914698081/12836640462982262264539\ 89480724484048279*c_0110_6^16 + 27363561462305353002226491683093604\ 44512102/1283664046298226226453989480724484048279*c_0110_6^14 - 1885311904595725226269920522658231596478336/12836640462982262264539\ 89480724484048279*c_0110_6^12 + 90086541984894310313398677589440872\ 8456472/1283664046298226226453989480724484048279*c_0110_6^10 - 496515830937382448187164087966118467638336/128366404629822622645398\ 9480724484048279*c_0110_6^8 + 3098704817750350387969901174585271760\ 88510/1283664046298226226453989480724484048279*c_0110_6^6 - 147852530324022408869546022962237251052950/128366404629822622645398\ 9480724484048279*c_0110_6^4 + 3365276176265481850235486288765178001\ 6812/1283664046298226226453989480724484048279*c_0110_6^2 - 1799284448145598686119658084714709049315/12836640462982262264539894\ 80724484048279, c_0101_4 + 154359474173790056732657294267802919460/12836640462982262264\ 53989480724484048279*c_0110_6^29 - 8454675777517130551037090940886384685402/12836640462982262264539894\ 80724484048279*c_0110_6^27 + 16802775079481891316107971106429728882\ 8600/1283664046298226226453989480724484048279*c_0110_6^25 - 1586443267515217652947234212607959068549166/12836640462982262264539\ 89480724484048279*c_0110_6^23 + 67439538573216143039748551315836218\ 01863798/1283664046298226226453989480724484048279*c_0110_6^21 - 12589606993042672799035133369554418986301185/1283664046298226226453\ 989480724484048279*c_0110_6^19 + 1464207120122474956885803229248656\ 7534043792/1283664046298226226453989480724484048279*c_0110_6^17 - 17275462303937274760796939253371220016102722/1283664046298226226453\ 989480724484048279*c_0110_6^15 + 1094217347841817518565071003320944\ 4607517904/1283664046298226226453989480724484048279*c_0110_6^13 - 4797071045976303018482718977939889575855299/12836640462982262264539\ 89480724484048279*c_0110_6^11 + 28850962200126607945463179652899334\ 45112258/1283664046298226226453989480724484048279*c_0110_6^9 - 1811626423322096366427093305267016400432129/12836640462982262264539\ 89480724484048279*c_0110_6^7 + 766884388603761986699812957578924560\ 431615/1283664046298226226453989480724484048279*c_0110_6^5 - 134113040966332001940656462730085879181203/128366404629822622645398\ 9480724484048279*c_0110_6^3 + 3916689543112638913762207388877388328\ 336/1283664046298226226453989480724484048279*c_0110_6, c_0110_6^30 - 55*c_0110_6^28 + 1101*c_0110_6^26 - 10525*c_0110_6^24 + 46025*c_0110_6^22 - 91478*c_0110_6^20 + 113332*c_0110_6^18 - 133343*c_0110_6^16 + 96135*c_0110_6^14 - 46953*c_0110_6^12 + 25591*c_0110_6^10 - 15876*c_0110_6^8 + 7611*c_0110_6^6 - 1993*c_0110_6^4 + 206*c_0110_6^2 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB