Magma V2.19-8 Tue Aug 20 2013 16:17:22 on localhost [Seed = 3970789415] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1593 geometric_solution 5.36178369 oriented_manifold CS_known -0.0000000000000002 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.655091065831 0.187853087899 0 2 2 0 3201 0132 1023 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 1.416268272614 0.575068240769 3 1 1 4 0132 0132 1023 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 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.202173978699 0.470999986548 2 5 4 6 0132 0132 1302 0132 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 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.277514443211 0.652642383938 3 6 2 5 2031 2310 0132 2310 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 -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.277514443211 0.652642383938 4 3 5 5 3201 0132 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 1.448233540368 1.297612381626 6 6 3 4 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.533714197263 0.895728776546 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_6'], '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' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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_6'], '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' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(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' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), '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_0011_6, c_0101_0, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 3270063057006046924640710444/20810806094372739578977245*c_0101_5^25 + 98177513819610416639081417179/20810806094372739578977245*c_0101_5\ ^23 - 1133680436776381581964355326433/20810806094372739578977245*c_\ 0101_5^21 + 5842715660973474802456768964054/20810806094372739578977\ 245*c_0101_5^19 - 14545399127214520731360384684299/2081080609437273\ 9578977245*c_0101_5^17 + 756386773079417835986281626664/40805502145\ 8289011352495*c_0101_5^15 - 80823701623843529163749384685178/208108\ 06094372739578977245*c_0101_5^13 + 38898751990475648652188126539829/6936935364790913192992415*c_0101_5\ ^11 - 24667860399585598018286824813813/4162161218874547915795449*c_\ 0101_5^9 + 92739537879930771172593634757393/20810806094372739578977\ 245*c_0101_5^7 - 8917918783233211676349489984484/416216121887454791\ 5795449*c_0101_5^5 + 793909177957709668277975162766/138738707295818\ 2638598483*c_0101_5^3 - 1328182399928173800451362311066/20810806094\ 372739578977245*c_0101_5, c_0011_0 - 1, c_0011_1 + 116041356758696394254062/1387387072958182638598483*c_0101_5^\ 24 - 3469400289528430417295723/1387387072958182638598483*c_0101_5^2\ 2 + 39774312762143339978317511/1387387072958182638598483*c_0101_5^2\ 0 - 201744263392139558856314427/1387387072958182638598483*c_0101_5^\ 18 + 484271940591314433043679034/1387387072958182638598483*c_0101_5\ ^16 - 75192131728223902063400697/81611004291657802270499*c_0101_5^1\ 4 + 2650506321760771424079793095/1387387072958182638598483*c_0101_5\ ^12 - 3634757836761992994084305907/1387387072958182638598483*c_0101\ _5^10 + 3617248498246509705194749960/1387387072958182638598483*c_01\ 01_5^8 - 2485451382697426168845725615/1387387072958182638598483*c_0\ 101_5^6 + 970672256953093273851961731/1387387072958182638598483*c_0\ 101_5^4 - 153145610612230864182797955/1387387072958182638598483*c_0\ 101_5^2 - 707300619529390034033854/1387387072958182638598483, c_0011_4 + 373306771444669086575506/1387387072958182638598483*c_0101_5^\ 24 - 10997721370910256576695663/1387387072958182638598483*c_0101_5^\ 22 + 123227410813697182509231381/1387387072958182638598483*c_0101_5\ ^20 - 597574846935114619804976174/1387387072958182638598483*c_0101_\ 5^18 + 1323442820836111047844620747/1387387072958182638598483*c_010\ 1_5^16 - 215043096155328820187406501/81611004291657802270499*c_0101\ _5^14 + 7163322469038613532395943497/1387387072958182638598483*c_01\ 01_5^12 - 9272350932640891378137953762/1387387072958182638598483*c_\ 0101_5^10 + 8830755076685527173879697289/1387387072958182638598483*\ c_0101_5^8 - 5583694011942710451700559889/1387387072958182638598483\ *c_0101_5^6 + 1921308938511580791874094199/138738707295818263859848\ 3*c_0101_5^4 - 266938731369455287128448418/138738707295818263859848\ 3*c_0101_5^2 + 725751815431899315350951/1387387072958182638598483, c_0011_6 + 95901213085814491599184/1387387072958182638598483*c_0101_5^2\ 4 - 2849806348010257479244074/1387387072958182638598483*c_0101_5^22 + 32370564001014143530533843/1387387072958182638598483*c_0101_5^20 - 161354653164459066882684801/1387387072958182638598483*c_0101_5^18 + 376396978556433332632492248/1387387072958182638598483*c_0101_5^16 - 59562659011712505393266777/81611004291657802270499*c_0101_5^14 + 2052168973574833382373315674/1387387072958182638598483*c_0101_5^12 - 2774101296865356564948454455/1387387072958182638598483*c_0101_5^10 + 2726202719827868659457837565/1387387072958182638598483*c_0101_5^8 - 1837505785525149423597764296/1387387072958182638598483*c_0101_5^6 + 702484987028630458772015812/1387387072958182638598483*c_0101_5^4 - 112500325584185252917650136/1387387072958182638598483*c_0101_5^2 + 1399673705694985748997714/1387387072958182638598483, c_0101_0 + 218493722249492937162932/1387387072958182638598483*c_0101_5^\ 25 - 6435609477465728429482300/1387387072958182638598483*c_0101_5^2\ 3 + 72086729146749733207568117/1387387072958182638598483*c_0101_5^2\ 1 - 349333316478871453462622058/1387387072958182638598483*c_0101_5^\ 19 + 772400588657159800877444943/1387387072958182638598483*c_0101_5\ ^17 - 125476155517648388940170585/81611004291657802270499*c_0101_5^\ 15 + 4171049190268538389883024532/1387387072958182638598483*c_0101_\ 5^13 - 5389892728228461873414795183/1387387072958182638598483*c_010\ 1_5^11 + 5084732602518473330074762032/1387387072958182638598483*c_0\ 101_5^9 - 3168009999122297150939522536/1387387072958182638598483*c_\ 0101_5^7 + 1033000992575721836494421942/1387387072958182638598483*c\ _0101_5^5 - 97415263043861892680335567/1387387072958182638598483*c_\ 0101_5^3 - 11976345899052806033793741/1387387072958182638598483*c_0\ 101_5, c_0101_2 + 5048527898807428230589/81611004291657802270499*c_0101_5^25 - 146829913971888497858955/81611004291657802270499*c_0101_5^23 + 1610111293715203247104276/81611004291657802270499*c_0101_5^21 - 7443050071204835635211300/81611004291657802270499*c_0101_5^19 + 14740587863997365843661167/81611004291657802270499*c_0101_5^17 - 42220079779929202234328194/81611004291657802270499*c_0101_5^15 + 77485941549465596719941210/81611004291657802270499*c_0101_5^13 - 86192030088125283217330341/81611004291657802270499*c_0101_5^11 + 68246491450289140723113331/81611004291657802270499*c_0101_5^9 - 26401635736328375749494170/81611004291657802270499*c_0101_5^7 - 5471354326650021158905518/81611004291657802270499*c_0101_5^5 + 7057662333122227133483855/81611004291657802270499*c_0101_5^3 - 1309847493060355959428312/81611004291657802270499*c_0101_5, c_0101_5^26 - 30*c_0101_5^24 + 346*c_0101_5^22 - 1779*c_0101_5^20 + 4410*c_0101_5^18 - 11710*c_0101_5^16 + 24481*c_0101_5^14 - 35216*c_0101_5^12 + 37097*c_0101_5^10 - 27762*c_0101_5^8 + 13248*c_0101_5^6 - 3505*c_0101_5^4 + 389*c_0101_5^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB