Magma V2.19-8 Tue Aug 20 2013 16:16:01 on localhost [Seed = 3103335550] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0264 geometric_solution 4.30356363 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 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 5.135817640344 1.726060711598 0 2 2 0 3201 0132 3201 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 -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.284597869368 0.205342793603 1 1 3 4 2310 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 1 -1 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.900906395195 1.197530006952 5 4 5 2 0132 3012 2310 0132 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 -1 1 0 0 0 0 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.293570933175 0.416824874959 3 6 2 6 1230 0132 0132 2310 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 -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 1.293570933175 0.416824874959 3 3 6 6 0132 3201 1230 3012 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 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.570433992931 0.420416265861 4 4 5 5 3201 0132 1230 3012 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.570433992931 0.420416265861 ==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' : 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' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_3'], 'c_1100_5' : d['c_0110_6'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], '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' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 84692865423981679263532717020553/78408736485809126499092575158*c_01\ 10_6^15 + 607121485065732651177009902623583/78408736485809126499092\ 575158*c_0110_6^14 - 29560880400763672309733191566903/6877959340860\ 44969290285747*c_0110_6^13 + 901797592912901850604770112668407/4126\ 775604516269815741714482*c_0110_6^12 - 10388734783056621223399052411244357/13068122747634854416515429193*c\ _0110_6^11 + 12525337588930435604100587242037048/130681227476348544\ 16515429193*c_0110_6^10 - 38092974905984805512566769775318523/78408\ 736485809126499092575158*c_0110_6^9 - 9760613999920488979651415936436008/13068122747634854416515429193*c_\ 0110_6^8 + 52556681948368300411108427794935967/39204368242904563249\ 546287579*c_0110_6^7 - 2434360285786417940509115528336880/130681227\ 47634854416515429193*c_0110_6^6 - 181730677919103682312472398999609\ 19/11201248069401303785584653594*c_0110_6^5 - 4069743135220490925948618948698770/5600624034700651892792326797*c_0\ 110_6^4 - 900140576099250732542124343463855/11201248069401303785584\ 653594*c_0110_6^3 + 2726733431474987841014075606992189/392043682429\ 04563249546287579*c_0110_6^2 + 332157873369925298548377398530495/11\ 201248069401303785584653594*c_0110_6 - 531574229214222448055777911091935/78408736485809126499092575158, c_0011_0 - 1, c_0011_1 - 3493159592526455487254514/98256562012292138470040821*c_0110_\ 6^15 - 27251763044800988855751372/98256562012292138470040821*c_0110\ _6^14 + 124012565875604154310152950/98256562012292138470040821*c_01\ 10_6^13 - 612853192410809123218270286/98256562012292138470040821*c_\ 0110_6^12 + 2086619213793020100235785805/98256562012292138470040821\ *c_0110_6^11 - 1280830580311664685322583536/98256562012292138470040\ 821*c_0110_6^10 - 1110770141329048998716719753/98256562012292138470\ 040821*c_0110_6^9 + 4485003178539626308904690989/982565620122921384\ 70040821*c_0110_6^8 - 3657497794244542323005892011/9825656201229213\ 8470040821*c_0110_6^7 - 2408805621535006153795789590/98256562012292\ 138470040821*c_0110_6^6 + 6832063551561747106209266887/982565620122\ 92138470040821*c_0110_6^5 + 5009402027513001678907011990/9825656201\ 2292138470040821*c_0110_6^4 + 657723957455467956380113774/982565620\ 12292138470040821*c_0110_6^3 - 77263930588428147299753317/982565620\ 12292138470040821*c_0110_6^2 - 268441393883620423520741409/98256562\ 012292138470040821*c_0110_6 - 34167941828853458977237706/9825656201\ 2292138470040821, c_0011_3 + 27498840075418394000450246/98256562012292138470040821*c_0110\ _6^15 + 196117679686097307066010978/98256562012292138470040821*c_01\ 10_6^14 - 1100406628103629683822870394/98256562012292138470040821*c\ _0110_6^13 + 5610207981163314369150982146/9825656201229213847004082\ 1*c_0110_6^12 - 20484713210259051810014996173/982565620122921384700\ 40821*c_0110_6^11 + 25360838358530743240952631373/98256562012292138\ 470040821*c_0110_6^10 - 14080619333081850441587385780/9825656201229\ 2138470040821*c_0110_6^9 - 17363159137269282407084201959/9825656201\ 2292138470040821*c_0110_6^8 + 33864009902343274696039266285/9825656\ 2012292138470040821*c_0110_6^7 - 6180630759043767698052397791/98256\ 562012292138470040821*c_0110_6^6 - 39993978689987447684884350582/98256562012292138470040821*c_0110_6^5 - 17512982500001848124317112951/98256562012292138470040821*c_0110_6\ ^4 - 2612966285179439524315797793/98256562012292138470040821*c_0110\ _6^3 + 1495537968393750884891179449/98256562012292138470040821*c_01\ 10_6^2 + 618726920313831463455015788/98256562012292138470040821*c_0\ 110_6 - 135542131913590911090192118/98256562012292138470040821, c_0101_1 - 35524878478179382296054824/98256562012292138470040821*c_0110\ _6^15 - 251028374688598316561745313/98256562012292138470040821*c_01\ 10_6^14 + 1438086846218476614920552155/98256562012292138470040821*c\ _0110_6^13 - 7341045134933529230619218946/9825656201229213847004082\ 1*c_0110_6^12 + 26947381973943592560255323172/982565620122921384700\ 40821*c_0110_6^11 - 34547415076849366828532665607/98256562012292138\ 470040821*c_0110_6^10 + 20557817811133393220993826305/9825656201229\ 2138470040821*c_0110_6^9 + 20619075903115922070394835263/9825656201\ 2292138470040821*c_0110_6^8 - 44378638673567961548249949889/9825656\ 2012292138470040821*c_0110_6^7 + 10319716086110513425126813310/9825\ 6562012292138470040821*c_0110_6^6 + 50817940719645179579798821571/98256562012292138470040821*c_0110_6^5 + 20147327424313386213617135839/98256562012292138470040821*c_0110_6\ ^4 + 1480124975175211568979735201/98256562012292138470040821*c_0110\ _6^3 - 2744380670005638444838007473/98256562012292138470040821*c_01\ 10_6^2 - 902730912486473997841031886/98256562012292138470040821*c_0\ 110_6 + 215667378064035498549965694/98256562012292138470040821, c_0101_2 + 15183604897531986926308483/98256562012292138470040821*c_0110\ _6^15 + 110187174120047231368510288/98256562012292138470040821*c_01\ 10_6^14 - 594661855040991453938777141/98256562012292138470040821*c_\ 0110_6^13 + 3017432666110346041417887602/98256562012292138470040821\ *c_0110_6^12 - 10897164131321275996186480703/9825656201229213847004\ 0821*c_0110_6^11 + 12455493307990419610018020618/982565620122921384\ 70040821*c_0110_6^10 - 5530598944679078270931147311/982565620122921\ 38470040821*c_0110_6^9 - 11241729811868636230226189823/982565620122\ 92138470040821*c_0110_6^8 + 17925169243483638631888983410/982565620\ 12292138470040821*c_0110_6^7 - 697929852241549473568387593/98256562\ 012292138470040821*c_0110_6^6 - 23468842783082526778194665594/98256\ 562012292138470040821*c_0110_6^5 - 12060938233514813273117556206/98256562012292138470040821*c_0110_6^4 - 1690750841556150935934634836/98256562012292138470040821*c_0110_6^\ 3 + 724060814477221155648510494/98256562012292138470040821*c_0110_6\ ^2 + 507631007252008933291391319/98256562012292138470040821*c_0110_\ 6 - 55113008512168770430041584/98256562012292138470040821, c_0101_3 - c_0110_6, c_0110_6^16 + 7*c_0110_6^15 - 41*c_0110_6^14 + 209*c_0110_6^13 - 770*c_0110_6^12 + 1011*c_0110_6^11 - 598*c_0110_6^10 - 617*c_0110_6^9 + 1358*c_0110_6^8 - 380*c_0110_6^7 - 1475*c_0110_6^6 - 420*c_0110_6^5 + 42*c_0110_6^4 + 79*c_0110_6^3 + 17*c_0110_6^2 - 11*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB