Magma V2.19-8 Tue Aug 20 2013 17:55:50 on localhost [Seed = 694722241] Type ? for help. Type -D to quit. Loading file "10_150__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_150 geometric_solution 10.08136286 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 11 1 2 1 3 0132 0132 3012 0132 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 1 -1 0 10 0 -10 0 10 0 0 -10 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492895929269 0.664952708265 0 0 5 4 0132 1230 0132 0132 0 0 0 0 0 -1 1 0 1 0 -1 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 10 -10 0 -10 0 10 0 1 0 0 -1 -10 1 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.725142288498 0.950860693978 3 0 6 4 3120 0132 0132 3120 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 -1 0 1 0 0 9 -9 -9 -1 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625669168687 0.237168859105 7 6 0 2 0132 0132 0132 3120 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 0 0 -9 0 0 9 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.228184626865 0.766905389190 2 6 1 8 3120 1230 0132 0132 0 0 0 0 0 1 0 -1 -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 -9 0 9 9 0 0 -9 -10 10 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.725142288498 0.950860693978 9 10 7 1 0132 0132 0213 0132 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 -10 10 0 0 10 -10 9 0 0 -9 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.677772461282 0.924806735070 10 3 4 2 2031 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 9 -9 0 0 0 0 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.517080783419 0.944678761532 3 5 8 9 0132 0213 2103 0132 0 0 0 0 0 -1 1 0 0 0 0 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 -10 0 0 0 0 0 10 -10 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.677772461282 0.924806735070 7 10 4 9 2103 0321 0132 0321 0 0 0 0 0 0 1 -1 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 -9 9 0 0 9 -9 10 0 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.482080235754 0.557782006925 5 8 7 10 0132 0321 0132 2310 0 0 0 0 0 1 0 -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 -9 0 9 0 0 0 0 0 10 0 -10 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.622588603745 0.570956498621 9 5 6 8 3201 0132 1302 0321 0 0 0 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 0 0 0 0 0 0 0 0 10 0 -10 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.113043945832 1.026236072869 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0101_2'], 'c_1001_5' : d['c_0011_8'], 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : d['c_0011_8'], 'c_1001_6' : d['c_0011_0'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_0101_6'], 'c_1010_10' : d['c_0011_8'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0011_3'], 's_2_0' : negation(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_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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' : negation(d['1']), 'c_1100_9' : d['c_0011_10'], 'c_1100_8' : d['c_1001_9'], 'c_1100_5' : d['c_1001_9'], 'c_1100_4' : d['c_1001_9'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : negation(d['c_0101_0']), 'c_1100_1' : d['c_1001_9'], 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : negation(d['c_0101_0']), 'c_1100_10' : d['c_0101_6'], 'c_1010_7' : d['c_1001_9'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_8'], 'c_1010_8' : d['c_0011_8'], '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(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_0110_10' : negation(d['c_0011_8']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_0'], '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_0101_9' : d['c_0101_1'], 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_3']), 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_2, c_0101_6, c_0101_7, c_1001_2, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 5792826716561656398/202902160999753*c_1001_9^16 - 53958600552823112353/405804321999506*c_1001_9^15 - 97293641951502733165/405804321999506*c_1001_9^14 - 221206132131833497349/405804321999506*c_1001_9^13 - 6251836423362221823/4718654906971*c_1001_9^12 - 706551757767430619549/405804321999506*c_1001_9^11 - 421857093062268591427/202902160999753*c_1001_9^10 - 1108731998402275520901/405804321999506*c_1001_9^9 - 537692032276585259683/202902160999753*c_1001_9^8 - 575641601026950187323/405804321999506*c_1001_9^7 + 411177089085114872211/405804321999506*c_1001_9^6 + 92755408738547747197/405804321999506*c_1001_9^5 - 313426824143304385375/202902160999753*c_1001_9^4 + 213631757561715131871/405804321999506*c_1001_9^3 + 255582848725684810719/405804321999506*c_1001_9^2 - 112196139167151136149/405804321999506*c_1001_9 + 18186500510129325155/202902160999753, c_0011_0 - 1, c_0011_10 + 274972177/32511161833*c_1001_9^16 + 2008075806/32511161833*c_1001_9^15 + 4493362081/32511161833*c_1001_9^14 + 7548936216/32511161833*c_1001_9^13 + 526144412/756073531*c_1001_9^12 + 35201884377/32511161833*c_1001_9^11 + 34852178616/32511161833*c_1001_9^10 + 58768514759/32511161833*c_1001_9^9 + 52914489442/32511161833*c_1001_9^8 + 47079329538/32511161833*c_1001_9^7 - 11302415833/32511161833*c_1001_9^6 - 29988400906/32511161833*c_1001_9^5 + 32255839925/32511161833*c_1001_9^4 - 55659209047/32511161833*c_1001_9^3 - 43062762965/32511161833*c_1001_9^2 - 48786206499/32511161833*c_1001_9 - 3809391475/32511161833, c_0011_3 - c_1001_9, c_0011_8 - 10200746080/32511161833*c_1001_9^16 - 38092007203/32511161833*c_1001_9^15 - 46486580698/32511161833*c_1001_9^14 - 130192306990/32511161833*c_1001_9^13 - 7118976323/756073531*c_1001_9^12 - 238670238758/32511161833*c_1001_9^11 - 278532674003/32511161833*c_1001_9^10 - 339724916290/32511161833*c_1001_9^9 - 166524366508/32511161833*c_1001_9^8 + 248705936139/32511161833*c_1001_9^7 + 774155040194/32511161833*c_1001_9^6 - 172313809080/32511161833*c_1001_9^5 - 407205757490/32511161833*c_1001_9^4 + 433721169411/32511161833*c_1001_9^3 + 53966607250/32511161833*c_1001_9^2 - 49921665542/32511161833*c_1001_9 - 1128849246/32511161833, c_0101_0 - 9316189421/32511161833*c_1001_9^16 - 44384647090/32511161833*c_1001_9^15 - 82545083896/32511161833*c_1001_9^14 - 185706801019/32511161833*c_1001_9^13 - 10490106711/756073531*c_1001_9^12 - 610625073327/32511161833*c_1001_9^11 - 738965017463/32511161833*c_1001_9^10 - 966190363499/32511161833*c_1001_9^9 - 953620651793/32511161833*c_1001_9^8 - 579081641342/32511161833*c_1001_9^7 + 273495725327/32511161833*c_1001_9^6 + 71806058222/32511161833*c_1001_9^5 - 516154114196/32511161833*c_1001_9^4 + 88564755832/32511161833*c_1001_9^3 + 172505607987/32511161833*c_1001_9^2 - 19790751321/32511161833*c_1001_9 + 4403678897/32511161833, c_0101_1 + 8401555306/32511161833*c_1001_9^16 + 37654861571/32511161833*c_1001_9^15 + 67923210144/32511161833*c_1001_9^14 + 160926539882/32511161833*c_1001_9^13 + 8685298979/756073531*c_1001_9^12 + 494837659605/32511161833*c_1001_9^11 + 623727573669/32511161833*c_1001_9^10 + 756765423271/32511161833*c_1001_9^9 + 773499387428/32511161833*c_1001_9^8 + 409938652338/32511161833*c_1001_9^7 - 247993347086/32511161833*c_1001_9^6 - 35275801343/32511161833*c_1001_9^5 + 330783576712/32511161833*c_1001_9^4 + 50580528370/32511161833*c_1001_9^3 - 86369003190/32511161833*c_1001_9^2 + 10513489399/32511161833*c_1001_9 + 5411404068/32511161833, c_0101_2 - 1407080642/32511161833*c_1001_9^16 - 7527849737/32511161833*c_1001_9^15 - 14868870638/32511161833*c_1001_9^14 - 31202771010/32511161833*c_1001_9^13 - 1883669393/756073531*c_1001_9^12 - 111736260857/32511161833*c_1001_9^11 - 128214427483/32511161833*c_1001_9^10 - 183233741371/32511161833*c_1001_9^9 - 151100962035/32511161833*c_1001_9^8 - 86360310314/32511161833*c_1001_9^7 + 108110130246/32511161833*c_1001_9^6 + 110749364845/32511161833*c_1001_9^5 + 2457995224/32511161833*c_1001_9^4 + 187828532708/32511161833*c_1001_9^3 + 88081506482/32511161833*c_1001_9^2 - 869259599/32511161833*c_1001_9 + 8408002323/32511161833, c_0101_6 - 8401555306/32511161833*c_1001_9^16 - 37654861571/32511161833*c_1001_9^15 - 67923210144/32511161833*c_1001_9^14 - 160926539882/32511161833*c_1001_9^13 - 8685298979/756073531*c_1001_9^12 - 494837659605/32511161833*c_1001_9^11 - 623727573669/32511161833*c_1001_9^10 - 756765423271/32511161833*c_1001_9^9 - 773499387428/32511161833*c_1001_9^8 - 409938652338/32511161833*c_1001_9^7 + 247993347086/32511161833*c_1001_9^6 + 35275801343/32511161833*c_1001_9^5 - 330783576712/32511161833*c_1001_9^4 - 50580528370/32511161833*c_1001_9^3 + 86369003190/32511161833*c_1001_9^2 - 10513489399/32511161833*c_1001_9 - 5411404068/32511161833, c_0101_7 + 1407080642/32511161833*c_1001_9^16 + 7527849737/32511161833*c_1001_9^15 + 14868870638/32511161833*c_1001_9^14 + 31202771010/32511161833*c_1001_9^13 + 1883669393/756073531*c_1001_9^12 + 111736260857/32511161833*c_1001_9^11 + 128214427483/32511161833*c_1001_9^10 + 183233741371/32511161833*c_1001_9^9 + 151100962035/32511161833*c_1001_9^8 + 86360310314/32511161833*c_1001_9^7 - 108110130246/32511161833*c_1001_9^6 - 110749364845/32511161833*c_1001_9^5 - 2457995224/32511161833*c_1001_9^4 - 187828532708/32511161833*c_1001_9^3 - 88081506482/32511161833*c_1001_9^2 + 869259599/32511161833*c_1001_9 - 8408002323/32511161833, c_1001_2 + 161149/1342937*c_1001_9^16 + 837498/1342937*c_1001_9^15 + 1917798/1342937*c_1001_9^14 + 4517626/1342937*c_1001_9^13 + 10399393/1342937*c_1001_9^12 + 16845025/1342937*c_1001_9^11 + 24007214/1342937*c_1001_9^10 + 30909933/1342937*c_1001_9^9 + 34792110/1342937*c_1001_9^8 + 30184248/1342937*c_1001_9^7 + 13015106/1342937*c_1001_9^6 + 3336468/1342937*c_1001_9^5 + 3169299/1342937*c_1001_9^4 + 798028/1342937*c_1001_9^3 + 247004/1342937*c_1001_9^2 - 596086/1342937*c_1001_9 - 1326296/1342937, c_1001_9^17 + 5*c_1001_9^16 + 10*c_1001_9^15 + 22*c_1001_9^14 + 53*c_1001_9^13 + 77*c_1001_9^12 + 94*c_1001_9^11 + 121*c_1001_9^10 + 126*c_1001_9^9 + 82*c_1001_9^8 - 18*c_1001_9^7 - 20*c_1001_9^6 + 51*c_1001_9^5 - 28*c_1001_9^3 + 2*c_1001_9^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.320 seconds, Total memory usage: 32.09MB