Magma V2.19-8 Tue Aug 20 2013 16:17:58 on localhost [Seed = 1713896097] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2206 geometric_solution 5.65639465 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 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.551810347228 0.622625891293 0 2 3 0 3201 0132 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 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.658293359607 0.417609652478 4 1 3 5 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 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.584500830184 0.477582979042 2 5 4 1 2031 1023 1023 0132 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 1 0 -1 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.584500830184 0.477582979042 2 4 3 4 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 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.798600656518 1.232851808115 3 6 2 6 1023 0132 0132 1023 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 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 1.056256199383 0.560236636864 6 5 6 5 2310 0132 3201 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.766792970251 0.303884821812 ==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' : 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_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : 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_3'], '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_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), '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_3']), '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_0110_5'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0110_5'], '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_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0110_5'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0011_1'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], '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_4, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 874331518747391183872452381/1229347588671655254733450*c_0110_5^19 - 4710354563373374329815880051/1229347588671655254733450*c_0110_5^18 + 1458809450779441425799408356/122934758867165525473345*c_0110_5^17 + 9891811670827279335264453731/1229347588671655254733450*c_0110_5^16 - 8462612129387022228610009569/245869517734331050946690*c_0110_5^15 - 3091239578387627884471991547/42391296161091560508050*c_0110_5^14 + 119694410598623133341878404118/614673794335827627366725*c_0110_5^13 + 297032948780911012476690427/21195648080545780254025*c_0110_5^12 - 437859377430494749747124417163/1229347588671655254733450*c_0110_5^1\ 1 + 6499948843342979770501889557/245869517734331050946690*c_0110_5^\ 10 + 190898052920425136684176997923/245869517734331050946690*c_0110\ _5^9 - 626241609615681676861479221261/1229347588671655254733450*c_0\ 110_5^8 - 433765680747617939584325066603/614673794335827627366725*c\ _0110_5^7 + 1107409252867326709586819979533/12293475886716552547334\ 50*c_0110_5^6 + 47965204629334826257885229354/614673794335827627366\ 725*c_0110_5^5 - 315608846766659545365677191082/6146737943358276273\ 66725*c_0110_5^4 + 2793227409464930756830172307/2458695177343310509\ 4669*c_0110_5^3 + 122305513122460499436217747927/122934758867165525\ 4733450*c_0110_5^2 - 29647502697409076583886450407/1229347588671655\ 254733450*c_0110_5 - 3661862031820229795379643424/61467379433582762\ 7366725, c_0011_0 - 1, c_0011_1 - 238943364786269848617/11941210186222974791*c_0110_5^19 + 1281685981208184015550/11941210186222974791*c_0110_5^18 - 3952794876670615495962/11941210186222974791*c_0110_5^17 - 2820975765411729601492/11941210186222974791*c_0110_5^16 + 11587120284426852879043/11941210186222974791*c_0110_5^15 + 24732613882230877288434/11941210186222974791*c_0110_5^14 - 65017671537897161541675/11941210186222974791*c_0110_5^13 - 6471410702372256189649/11941210186222974791*c_0110_5^12 + 120875486290288391017715/11941210186222974791*c_0110_5^11 - 7206004148679885719891/11941210186222974791*c_0110_5^10 - 262152658487889713225621/11941210186222974791*c_0110_5^9 + 166318131262970377696482/11941210186222974791*c_0110_5^8 + 244404833017476095054424/11941210186222974791*c_0110_5^7 - 303129516459603125779380/11941210186222974791*c_0110_5^6 - 32153274322658587890244/11941210186222974791*c_0110_5^5 + 176418714172954531328125/11941210186222974791*c_0110_5^4 - 37666202364512472804127/11941210186222974791*c_0110_5^3 - 34510513642297142086189/11941210186222974791*c_0110_5^2 + 8251090253967929250616/11941210186222974791*c_0110_5 + 2065932043828208758874/11941210186222974791, c_0011_3 - 148075856239922392662/11941210186222974791*c_0110_5^19 + 810687520723730715236/11941210186222974791*c_0110_5^18 - 2543115844053958503488/11941210186222974791*c_0110_5^17 - 2874195644316135778813/23882420372445949582*c_0110_5^16 + 7223707572552054760570/11941210186222974791*c_0110_5^15 + 29340611834047012200191/23882420372445949582*c_0110_5^14 - 41736321829510702596417/11941210186222974791*c_0110_5^13 + 604583313497078532439/11941210186222974791*c_0110_5^12 + 146094024857105750654453/23882420372445949582*c_0110_5^11 - 19731069152420157980605/23882420372445949582*c_0110_5^10 - 160893532184118432343747/11941210186222974791*c_0110_5^9 + 117716560177025785223692/11941210186222974791*c_0110_5^8 + 271404535310480234693489/23882420372445949582*c_0110_5^7 - 191848979027730123707111/11941210186222974791*c_0110_5^6 - 5113973094981066640078/11941210186222974791*c_0110_5^5 + 103815218838946108169588/11941210186222974791*c_0110_5^4 - 52478257871270670660191/23882420372445949582*c_0110_5^3 - 39919651927929487349403/23882420372445949582*c_0110_5^2 + 5259229807856871317109/11941210186222974791*c_0110_5 + 2535292891411457743741/23882420372445949582, c_0101_0 - 210491686208030707448/11941210186222974791*c_0110_5^19 + 1151737921175665865725/11941210186222974791*c_0110_5^18 - 3623657774735769590670/11941210186222974791*c_0110_5^17 - 1986555374998517063953/11941210186222974791*c_0110_5^16 + 10041377053230943796147/11941210186222974791*c_0110_5^15 + 20818249377472289712396/11941210186222974791*c_0110_5^14 - 58781364059031111188407/11941210186222974791*c_0110_5^13 + 1823281617827968747596/11941210186222974791*c_0110_5^12 + 100581978586616208153325/11941210186222974791*c_0110_5^11 - 12837470839319072076468/11941210186222974791*c_0110_5^10 - 224551855071797791825674/11941210186222974791*c_0110_5^9 + 166070015133332447387083/11941210186222974791*c_0110_5^8 + 182408207980263558516065/11941210186222974791*c_0110_5^7 - 262083113956818725573008/11941210186222974791*c_0110_5^6 - 3451832669355357980594/11941210186222974791*c_0110_5^5 + 137030116722823457161080/11941210186222974791*c_0110_5^4 - 34313829842266572239335/11941210186222974791*c_0110_5^3 - 25780885556683337375834/11941210186222974791*c_0110_5^2 + 6606503439740736401509/11941210186222974791*c_0110_5 + 1596242258970807602905/11941210186222974791, c_0101_4 + 27880835074749632253/23882420372445949582*c_0110_5^19 - 180435905723027165325/23882420372445949582*c_0110_5^18 + 640503425924758097453/23882420372445949582*c_0110_5^17 - 137441519762867786255/11941210186222974791*c_0110_5^16 - 685890284869263052623/11941210186222974791*c_0110_5^15 - 818807835415498553540/11941210186222974791*c_0110_5^14 + 5082984241773862058069/11941210186222974791*c_0110_5^13 - 8238305692792825237777/23882420372445949582*c_0110_5^12 - 9688908819809217433403/23882420372445949582*c_0110_5^11 + 5356698940889940181605/11941210186222974791*c_0110_5^10 + 26508382695688839198871/23882420372445949582*c_0110_5^9 - 23375263397439887477823/11941210186222974791*c_0110_5^8 + 4163603721294948116607/23882420372445949582*c_0110_5^7 + 39989508802357323454623/23882420372445949582*c_0110_5^6 - 12615127746856985953384/11941210186222974791*c_0110_5^5 - 7306414765383873543235/23882420372445949582*c_0110_5^4 + 4504442382226305975493/11941210186222974791*c_0110_5^3 + 340496581272386827421/11941210186222974791*c_0110_5^2 - 505437553826365462399/11941210186222974791*c_0110_5 - 181273312181095070839/23882420372445949582, c_0101_6 + 147040222591594918576/11941210186222974791*c_0110_5^19 - 1584196924935308658719/23882420372445949582*c_0110_5^18 + 4887417061401161752079/23882420372445949582*c_0110_5^17 + 1716261069659815753341/11941210186222974791*c_0110_5^16 - 7284360964743291314255/11941210186222974791*c_0110_5^15 - 15127076934911542558058/11941210186222974791*c_0110_5^14 + 81233770597805697632251/23882420372445949582*c_0110_5^13 + 3775790922119542476549/11941210186222974791*c_0110_5^12 - 76131326245840118731867/11941210186222974791*c_0110_5^11 + 6159072423521818002823/11941210186222974791*c_0110_5^10 + 327384357543248308182371/23882420372445949582*c_0110_5^9 - 211500279264704031340697/23882420372445949582*c_0110_5^8 - 308556821512547715565141/23882420372445949582*c_0110_5^7 + 388074080344794062626075/23882420372445949582*c_0110_5^6 + 19532761633677122281703/11941210186222974791*c_0110_5^5 - 228481234644669395637343/23882420372445949582*c_0110_5^4 + 51175000508168051940173/23882420372445949582*c_0110_5^3 + 22579313412719105993503/11941210186222974791*c_0110_5^2 - 5641393739783614513271/11941210186222974791*c_0110_5 - 1398665882739042950947/11941210186222974791, c_0110_5^20 - 6*c_0110_5^19 + 20*c_0110_5^18 + c_0110_5^17 - 55*c_0110_5^16 - 73*c_0110_5^15 + 336*c_0110_5^14 - 149*c_0110_5^13 - 508*c_0110_5^12 + 340*c_0110_5^11 + 1065*c_0110_5^10 - 1381*c_0110_5^9 - 541*c_0110_5^8 + 1853*c_0110_5^7 - 662*c_0110_5^6 - 774*c_0110_5^5 + 590*c_0110_5^4 + 42*c_0110_5^3 - 117*c_0110_5^2 + 12*c_0110_5 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB