Magma V2.19-8 Tue Aug 20 2013 16:17:18 on localhost [Seed = 1073863829] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1532 geometric_solution 5.32700241 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.466606417209 0.205894725184 0 2 2 0 3201 0132 1023 0132 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 -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 1.150166367075 0.267982119580 3 1 1 4 0132 0132 1023 0132 0 0 0 0 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 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.813035806474 0.468088147479 2 5 6 4 0132 0132 0132 2031 0 0 0 0 0 -1 0 1 1 0 -1 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 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 0.506102101003 0.518063942159 6 3 2 5 1023 1302 0132 0132 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 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.506102101003 0.518063942159 5 3 4 5 3201 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.048431719924 1.022912857352 6 4 6 3 2031 1023 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 -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.511348167870 0.476758030452 ==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' : 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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_1']), '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' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], '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' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], '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_4, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 17983244930011051019145402347998/47149710305159363669894163737*c_01\ 01_5^30 - 537541357469544583816912875591977/47149710305159363669894\ 163737*c_0101_5^28 + 5354218022610975280795625602225231/47149710305\ 159363669894163737*c_0101_5^26 - 2363306738122460935580762852598742\ 6/47149710305159363669894163737*c_0101_5^24 + 6319219210847724046575740919090946/6735672900737051952842023391*c_0\ 101_5^22 - 55883773242108641386937951383620448/47149710305159363669\ 894163737*c_0101_5^20 + 249408399505836908721698445805651634/471497\ 10305159363669894163737*c_0101_5^18 - 957169840324077214787332680466744938/47149710305159363669894163737*\ c_0101_5^16 + 1863144336859150434418061243461707721/471497103051593\ 63669894163737*c_0101_5^14 - 2064134008020264445535712067376413009/\ 47149710305159363669894163737*c_0101_5^12 + 1424486144964712014194226643852468669/47149710305159363669894163737\ *c_0101_5^10 - 642783513673838568896534805162335326/471497103051593\ 63669894163737*c_0101_5^8 + 191769723855123937041467715133545531/47\ 149710305159363669894163737*c_0101_5^6 - 36245816109603088931013643119168010/47149710305159363669894163737*c\ _0101_5^4 + 3722324437829575134352832439866762/47149710305159363669\ 894163737*c_0101_5^2 - 125472464498686140192090520578957/4714971030\ 5159363669894163737, c_0011_0 - 1, c_0011_1 + 20125099868197128553920903346/6735672900737051952842023391*c\ _0101_5^30 - 594543393223742612784742890461/67356729007370519528420\ 23391*c_0101_5^28 + 5786101907088901038001808918094/673567290073705\ 1952842023391*c_0101_5^26 - 24475991313129155506203700407491/673567\ 2900737051952842023391*c_0101_5^24 + 41413026552782013630510762862649/6735672900737051952842023391*c_010\ 1_5^22 - 49945625360671546664948804135728/6735672900737051952842023\ 391*c_0101_5^20 + 264628699514132515861057563986009/673567290073705\ 1952842023391*c_0101_5^18 - 982255067143746407206299282331601/67356\ 72900737051952842023391*c_0101_5^16 + 1762638944536884904719385022152269/6735672900737051952842023391*c_0\ 101_5^14 - 1769035949563798209044619682533680/673567290073705195284\ 2023391*c_0101_5^12 + 1102924458401019345538271940730636/6735672900\ 737051952842023391*c_0101_5^10 - 451074427364051819065326325303010/\ 6735672900737051952842023391*c_0101_5^8 + 122136049598145553589245774334897/6735672900737051952842023391*c_01\ 01_5^6 - 20760503519542288708109163103244/6735672900737051952842023\ 391*c_0101_5^4 + 1902365557381126381955600152710/673567290073705195\ 2842023391*c_0101_5^2 - 63988103952687468385129301501/6735672900737\ 051952842023391, c_0011_4 - 73782458445750093096575794689/6735672900737051952842023391*c\ _0101_5^31 + 2179674665757160360747307752807/6735672900737051952842\ 023391*c_0101_5^29 - 21209669395303252982840583145333/6735672900737\ 051952842023391*c_0101_5^27 + 89658338228861308990182414208162/6735\ 672900737051952842023391*c_0101_5^25 - 151175192290198377316639974362266/6735672900737051952842023391*c_01\ 01_5^23 + 180651119595612246258553022818202/67356729007370519528420\ 23391*c_0101_5^21 - 966863984327651733131946281357767/6735672900737\ 051952842023391*c_0101_5^19 + 3597107361763374687409252919323391/67\ 35672900737051952842023391*c_0101_5^17 - 6433122930816706897955643875012652/6735672900737051952842023391*c_0\ 101_5^15 + 6388459911099919275725003583025601/673567290073705195284\ 2023391*c_0101_5^13 - 3898868145461581207869365353729052/6735672900\ 737051952842023391*c_0101_5^11 + 1541699646287949501321047227281891\ /6735672900737051952842023391*c_0101_5^9 - 397186031380720965628841981285586/6735672900737051952842023391*c_01\ 01_5^7 + 62294829493239367146614153764342/6735672900737051952842023\ 391*c_0101_5^5 - 4857199236071221342722056031667/673567290073705195\ 2842023391*c_0101_5^3 + 109274121368849190137935524694/673567290073\ 7051952842023391*c_0101_5, c_0101_0 + 55915566934755220599464842530/6735672900737051952842023391*c\ _0101_5^30 - 1655846998201299219251176801105/6735672900737051952842\ 023391*c_0101_5^28 + 16190739950589708441124621859449/6735672900737\ 051952842023391*c_0101_5^26 - 69069642162265995733246195421712/6735\ 672900737051952842023391*c_0101_5^24 + 119177160355637519904598983835780/6735672900737051952842023391*c_01\ 01_5^22 - 144100079757812545220910641856319/67356729007370519528420\ 23391*c_0101_5^20 + 741019726128157792751204661181127/6735672900737\ 051952842023391*c_0101_5^18 - 2776696935853779402490560296611662/67\ 35672900737051952842023391*c_0101_5^16 + 5059072485173884356411658968294091/6735672900737051952842023391*c_0\ 101_5^14 - 5150384567160356079243312908491694/673567290073705195284\ 2023391*c_0101_5^12 + 3236250280657808224246813454989976/6735672900\ 737051952842023391*c_0101_5^10 - 1323131797387042529656115545583359\ /6735672900737051952842023391*c_0101_5^8 + 355014701982229920060235855470090/6735672900737051952842023391*c_01\ 01_5^6 - 59005713459103883353672141129354/6735672900737051952842023\ 391*c_0101_5^4 + 5108575956556750845605481355894/673567290073705195\ 2842023391*c_0101_5^2 - 150562572716833500996429208831/673567290073\ 7051952842023391, c_0101_2 + 14561965129394082358292387336/6735672900737051952842023391*c\ _0101_5^30 - 433394571267681805195141881659/67356729007370519528420\ 23391*c_0101_5^28 + 4279527428965225853325542410540/673567290073705\ 1952842023391*c_0101_5^26 - 18581787879301952553158068406527/673567\ 2900737051952842023391*c_0101_5^24 + 33399997976249271935079036459445/6735672900737051952842023391*c_010\ 1_5^22 - 40893559849504965429115946222859/6735672900737051952842023\ 391*c_0101_5^20 + 196750945344476459534238618957674/673567290073705\ 1952842023391*c_0101_5^18 - 749791037231627529737952783603375/67356\ 72900737051952842023391*c_0101_5^16 + 1411036388204306271730461570816987/6735672900737051952842023391*c_0\ 101_5^14 - 1487710861996369463711626775395515/673567290073705195284\ 2023391*c_0101_5^12 + 963652331971798025303122014099610/67356729007\ 37051952842023391*c_0101_5^10 - 403610841737018751312738766434142/6\ 735672900737051952842023391*c_0101_5^8 + 110265170301746514364830217972486/6735672900737051952842023391*c_01\ 01_5^6 - 18478517002697566086049093493427/6735672900737051952842023\ 391*c_0101_5^4 + 1555910302240391574456508109235/673567290073705195\ 2842023391*c_0101_5^2 - 38853507766472015086546944176/6735672900737\ 051952842023391, c_0101_3 - 50108593572411599992032020156/6735672900737051952842023391*c\ _0101_5^30 + 1481487379189090853973503094666/6735672900737051952842\ 023391*c_0101_5^28 - 14439325497154154185551476553572/6735672900737\ 051952842023391*c_0101_5^26 + 61231534408859052329699301146793/6735\ 672900737051952842023391*c_0101_5^24 - 104113779126379686342844284085929/6735672900737051952842023391*c_01\ 01_5^22 + 125134343045616084958825569691094/67356729007370519528420\ 23391*c_0101_5^20 - 659550124060848110811561075867796/6735672900737\ 051952842023391*c_0101_5^18 + 2458455174532081750557489836377639/67\ 35672900737051952842023391*c_0101_5^16 - 4426961437310213898003754415824784/6735672900737051952842023391*c_0\ 101_5^14 + 4442702448900211066734458913019565/673567290073705195284\ 2023391*c_0101_5^12 - 2751132843453221361981479761442265/6735672900\ 737051952842023391*c_0101_5^10 + 1109317337459989305927622453816387\ /6735672900737051952842023391*c_0101_5^8 - 293648574447407334766235214173310/6735672900737051952842023391*c_01\ 01_5^6 + 48164400927190665158225016287975/6735672900737051952842023\ 391*c_0101_5^4 - 4151700144179118430125017357867/673567290073705195\ 2842023391*c_0101_5^2 + 131512605712164620248097633208/673567290073\ 7051952842023391, c_0101_5^32 - 30*c_0101_5^30 + 301*c_0101_5^28 - 1347*c_0101_5^26 + 2607*c_0101_5^24 - 3393*c_0101_5^22 + 14236*c_0101_5^20 - 54768*c_0101_5^18 + 109588*c_0101_5^16 - 126766*c_0101_5^14 + 92938*c_0101_5^12 - 45534*c_0101_5^10 + 15221*c_0101_5^8 - 3416*c_0101_5^6 + 480*c_0101_5^4 - 36*c_0101_5^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB