Magma V2.19-8 Tue Aug 20 2013 16:18:37 on localhost [Seed = 2783197334] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2790 geometric_solution 6.02360541 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 3 0132 0132 2310 0132 0 0 0 0 0 0 -1 1 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 -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.064714001269 1.776234364120 0 0 1 1 0132 3201 1230 3012 0 0 0 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.243396006657 0.176569088463 4 0 6 5 0132 0132 0132 0132 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 1 -1 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.667955392084 0.658068197098 5 6 0 4 0132 1023 0132 3201 0 0 0 0 0 0 -1 1 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 -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.667955392084 0.658068197098 2 3 4 4 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 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 1 -1 0 0 1 -1 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.615414503436 1.027016891249 3 5 2 5 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.881410321900 0.499937235601 3 6 6 2 1023 1230 3012 0132 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 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.872203703069 0.539904309400 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : 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' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], '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_0'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_6']})} 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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 15299004532972575506400641338468/207235415439724842175132349529*c_0\ 101_6^17 - 137118097201875045979678695392545/2072354154397248421751\ 32349529*c_0101_6^16 + 499609911296475929560339718501705/2072354154\ 39724842175132349529*c_0101_6^15 - 1004521908776164066245956640359770/207235415439724842175132349529*c\ _0101_6^14 + 1037997246901124377930260753317053/2072354154397248421\ 75132349529*c_0101_6^13 + 7254326692219526337371003268159/690784718\ 13241614058377449843*c_0101_6^12 - 327344064612648714594551412895661/69078471813241614058377449843*c_0\ 101_6^11 + 98243512017115862009432022190931/69078471813241614058377\ 449843*c_0101_6^10 + 1772958143831155714988106651918064/20723541543\ 9724842175132349529*c_0101_6^9 - 217877831851140138396367417636877/\ 207235415439724842175132349529*c_0101_6^8 - 930667476530207627806242736159318/69078471813241614058377449843*c_0\ 101_6^7 - 158326188682704018405489205933226/69078471813241614058377\ 449843*c_0101_6^6 + 2184738739668236385213042905882206/207235415439\ 724842175132349529*c_0101_6^5 + 822336149933436567675529508047018/2\ 07235415439724842175132349529*c_0101_6^4 - 871536576680960146528567726044790/207235415439724842175132349529*c_\ 0101_6^3 - 114947833498981169915408881595843/6907847181324161405837\ 7449843*c_0101_6^2 + 131255769348523166969393157480755/207235415439\ 724842175132349529*c_0101_6 + 43170410653698479023614164427947/2072\ 35415439724842175132349529, c_0011_0 - 1, c_0011_3 - 979344609906645157907060976911/20723541543972484217513234952\ 9*c_0101_6^17 + 2784161617334722785803036983259/6907847181324161405\ 8377449843*c_0101_6^16 - 28378224823131894218271506428945/207235415\ 439724842175132349529*c_0101_6^15 + 52004733413066992087668538242571/207235415439724842175132349529*c_0\ 101_6^14 - 43122888691167223507139981293243/20723541543972484217513\ 2349529*c_0101_6^13 - 23618302749114706803653404766299/207235415439\ 724842175132349529*c_0101_6^12 + 60458664445388120786089804756442/2\ 07235415439724842175132349529*c_0101_6^11 - 1583939084224108038865971872029/207235415439724842175132349529*c_01\ 01_6^10 - 37792196977330266194517804227478/690784718132416140583774\ 49843*c_0101_6^9 - 29576562756052033350288920589521/207235415439724\ 842175132349529*c_0101_6^8 + 163979811329180003591281674275452/2072\ 35415439724842175132349529*c_0101_6^7 + 84710322199022169800682200729284/207235415439724842175132349529*c_0\ 101_6^6 - 105756694500314061736110463071871/20723541543972484217513\ 2349529*c_0101_6^5 - 25840783016579649568400450736532/6907847181324\ 1614058377449843*c_0101_6^4 + 32798025337701675330472303749689/2072\ 35415439724842175132349529*c_0101_6^3 + 26691442548988304819174346669278/207235415439724842175132349529*c_0\ 101_6^2 - 4312667351009753628697159497059/2072354154397248421751323\ 49529*c_0101_6 - 941435634937886096398955291951/6907847181324161405\ 8377449843, c_0101_0 + 3968963742167755508087735/1039435708143654567946173*c_0101_6\ ^17 - 11052552165162283222402048/346478569381218189315391*c_0101_6^\ 16 + 109205738914952921094928231/1039435708143654567946173*c_0101_6\ ^15 - 191486787335185235555806522/1039435708143654567946173*c_0101_\ 6^14 + 140158227089433568431696250/1039435708143654567946173*c_0101\ _6^13 + 123948132933845253883107706/1039435708143654567946173*c_010\ 1_6^12 - 230607710752639218977684108/1039435708143654567946173*c_01\ 01_6^11 - 26111631489470355881391203/1039435708143654567946173*c_01\ 01_6^10 + 151022565871823576508803932/346478569381218189315391*c_01\ 01_6^9 + 193601387068987982174025584/1039435708143654567946173*c_01\ 01_6^8 - 629463075159780974275997143/1039435708143654567946173*c_01\ 01_6^7 - 446115839216279471502105112/1039435708143654567946173*c_01\ 01_6^6 + 345869530853047373770162003/1039435708143654567946173*c_01\ 01_6^5 + 119066001286262335465865437/346478569381218189315391*c_010\ 1_6^4 - 70641969944032921317808733/1039435708143654567946173*c_0101\ _6^3 - 105076125933779044854548207/1039435708143654567946173*c_0101\ _6^2 + 5835447356183301674779331/1039435708143654567946173*c_0101_6 + 2907174484222503992322912/346478569381218189315391, c_0101_1 - 98409526373284259361844892452/69078471813241614058377449843*\ c_0101_6^17 + 839969688058701472944359713706/6907847181324161405837\ 7449843*c_0101_6^16 - 2895675417320931276292832362446/6907847181324\ 1614058377449843*c_0101_6^15 + 5575093810387064972828356281839/6907\ 8471813241614058377449843*c_0101_6^14 - 5515210150950886493763109838473/69078471813241614058377449843*c_010\ 1_6^13 - 126178560706194932767164841515/690784718132416140583774498\ 43*c_0101_6^12 + 3888710798540925847060661609147/690784718132416140\ 58377449843*c_0101_6^11 - 248408659204538155603915086636/6907847181\ 3241614058377449843*c_0101_6^10 - 9811979672470352964533061046148/6\ 9078471813241614058377449843*c_0101_6^9 - 2911615585953655147698158355860/69078471813241614058377449843*c_010\ 1_6^8 + 12450198834084990825426902695819/69078471813241614058377449\ 843*c_0101_6^7 + 7508231734911392543612082851180/690784718132416140\ 58377449843*c_0101_6^6 - 5405041309311882242359915961300/6907847181\ 3241614058377449843*c_0101_6^5 - 4810477834609934894000388032628/69\ 078471813241614058377449843*c_0101_6^4 + 620993877354786871245949761988/69078471813241614058377449843*c_0101\ _6^3 + 499567616742683821133401050773/69078471813241614058377449843\ *c_0101_6^2 + 72528261946324928747311982168/69078471813241614058377\ 449843*c_0101_6 + 97857585275978726586523115210/6907847181324161405\ 8377449843, c_0101_2 - 1152766289779728859028415044720/2072354154397248421751323495\ 29*c_0101_6^17 + 3256473728878162165479139089124/690784718132416140\ 58377449843*c_0101_6^16 - 32974222399269200098126317629437/20723541\ 5439724842175132349529*c_0101_6^15 + 60276906195340709957159797972876/207235415439724842175132349529*c_0\ 101_6^14 - 50450172078576598356386694331177/20723541543972484217513\ 2349529*c_0101_6^13 - 24762583495974905912788158805522/207235415439\ 724842175132349529*c_0101_6^12 + 63871100820998006718220824405344/2\ 07235415439724842175132349529*c_0101_6^11 + 2180927451268142434243803297719/207235415439724842175132349529*c_01\ 01_6^10 - 43435372102369531781629501269683/690784718132416140583774\ 49843*c_0101_6^9 - 40947516593038593408504621084362/207235415439724\ 842175132349529*c_0101_6^8 + 180147339373215669648415604425045/2072\ 35415439724842175132349529*c_0101_6^7 + 107543906496849933225293238728032/207235415439724842175132349529*c_\ 0101_6^6 - 105357137832138298994031500523448/2072354154397248421751\ 32349529*c_0101_6^5 - 29551848791087548025052783515985/690784718132\ 41614058377449843*c_0101_6^4 + 27516641701717463436907917466544/207\ 235415439724842175132349529*c_0101_6^3 + 26810827011675193295264076382292/207235415439724842175132349529*c_0\ 101_6^2 - 3189615995452003236293955488366/2072354154397248421751323\ 49529*c_0101_6 - 856265748508605908899466820053/6907847181324161405\ 8377449843, c_0101_4 - 213373113816187711170626859413/69078471813241614058377449843\ *c_0101_6^17 + 1790068829042361147751257072182/69078471813241614058\ 377449843*c_0101_6^16 - 5975220294390040570068480322479/69078471813\ 241614058377449843*c_0101_6^15 + 10855912994168753032606860350162/6\ 9078471813241614058377449843*c_0101_6^14 - 9130616825122303363014407473996/69078471813241614058377449843*c_010\ 1_6^13 - 3961456208388630521592078764282/69078471813241614058377449\ 843*c_0101_6^12 + 10031197992737901459643185132871/6907847181324161\ 4058377449843*c_0101_6^11 + 1432864932349071475153199602140/6907847\ 1813241614058377449843*c_0101_6^10 - 23306772485938719956506280214352/69078471813241614058377449843*c_01\ 01_6^9 - 9538384664763837054682913796114/69078471813241614058377449\ 843*c_0101_6^8 + 30145612694552466334481000897311/69078471813241614\ 058377449843*c_0101_6^7 + 21689767645057696724311342922013/69078471\ 813241614058377449843*c_0101_6^6 - 15128953281325432280712328319083/69078471813241614058377449843*c_01\ 01_6^5 - 15852602322503610248172745285681/6907847181324161405837744\ 9843*c_0101_6^4 + 2772524921983676987624657804933/69078471813241614\ 058377449843*c_0101_6^3 + 4252915023892169512497246696339/690784718\ 13241614058377449843*c_0101_6^2 - 145721064702996314931721978917/69\ 078471813241614058377449843*c_0101_6 - 381971570347578317305980171767/69078471813241614058377449843, c_0101_6^18 - 90/11*c_0101_6^17 + 26*c_0101_6^16 - 472/11*c_0101_6^15 + 277/11*c_0101_6^14 + 442/11*c_0101_6^13 - 596/11*c_0101_6^12 - 215/11*c_0101_6^11 + 1278/11*c_0101_6^10 + 773/11*c_0101_6^9 - 158*c_0101_6^8 - 1612/11*c_0101_6^7 + 77*c_0101_6^6 + 1290/11*c_0101_6^5 - 4*c_0101_6^4 - 410/11*c_0101_6^3 - 5*c_0101_6^2 + 42/11*c_0101_6 + 9/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB