Magma V2.19-8 Tue Aug 20 2013 16:19:20 on localhost [Seed = 2160139649] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3438 geometric_solution 6.61037744 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 1 -1 1 0 0 -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 1 0 -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.460015181447 0.855339886417 0 3 5 4 0132 0132 0132 0132 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 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.558137589759 0.720476207523 3 0 4 5 3201 0132 3201 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 -1 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 0 0 0 0.558137589759 0.720476207523 6 1 6 2 0132 0132 2310 2310 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 -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.379697089125 1.334395537915 2 6 1 6 2310 3201 0132 1023 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 1 -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 1.231114250399 0.808120936222 2 5 5 1 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.843420545275 0.748276711009 3 3 4 4 0132 3201 2310 1023 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 -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.450878386491 0.459898416799 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], '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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_2'], '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 2747216904818645331043079041864208122938312317/31610954494970433417\ 18041807198367613545273625*c_0101_5^23 + 46712572824238869166396750645027538787582672807/6322190898994086683\ 43608361439673522709054725*c_0101_5^21 - 7689748509611714529760199690624825706552270552381/12644381797988173\ 366872167228793470454181094500*c_0101_5^19 + 47434035051450775331824831531453827445710100837759/1264438179798817\ 3366872167228793470454181094500*c_0101_5^17 - 475170723265844118588985969615914216292304705318923/505775271919526\ 93467488668915173881816724378000*c_0101_5^15 + 310996754769728936768589939821873737269137222357497/126443817979881\ 73366872167228793470454181094500*c_0101_5^13 - 3566905215953361374314212663636969208317033701758737/50577527191952\ 693467488668915173881816724378000*c_0101_5^11 + 1854661082048238532257078279430114450883283488255267/25288763595976\ 346733744334457586940908362189000*c_0101_5^9 - 351566023306031725958731459830212124520420223230703/632219089899408\ 6683436083614396735227090547250*c_0101_5^7 + 185805876808457619136396958432408951956143736916873/101155054383905\ 38693497733783034776363344875600*c_0101_5^5 - 12034421729987326094091055034919881324059171351519/2023101087678107\ 738699546756606955272668975120*c_0101_5^3 + 1366779287798222061125383928859249858183544029747/20231010876781077\ 38699546756606955272668975120*c_0101_5, c_0011_0 - 1, c_0011_4 - 1114593053781098605115429362135036347494592/6322190898994086\ 68343608361439673522709054725*c_0101_5^22 + 18921235023983376893397702512936712092579696/1264438179798817336687\ 21672287934704541810945*c_0101_5^20 - 766853088729914706592681348728731174857315264/632219089899408668343\ 608361439673522709054725*c_0101_5^18 + 4703638445606603356443258773242676461505169036/63221908989940866834\ 3608361439673522709054725*c_0101_5^16 - 11387461243331528687114079701800511061375882888/6322190898994086683\ 43608361439673522709054725*c_0101_5^14 + 29904408655423649124649301659564663496687850473/6322190898994086683\ 43608361439673522709054725*c_0101_5^12 - 86180305039010187731486236943117181979026086912/6322190898994086683\ 43608361439673522709054725*c_0101_5^10 + 81757989171585947996524391163098535081071144019/6322190898994086683\ 43608361439673522709054725*c_0101_5^8 - 58979688927818411217768641750052190707878160854/6322190898994086683\ 43608361439673522709054725*c_0101_5^6 + 2985871298257396637362481704199058183628778676/12644381797988173366\ 8721672287934704541810945*c_0101_5^4 - 202151397508010396349173171835510044740061459/252887635959763467337\ 44334457586940908362189*c_0101_5^2 + 14724878978052810964020156165227890084375181/2528876359597634673374\ 4334457586940908362189, c_0101_0 + 88441510505161365395670704664883220927952/126443817979881733\ 668721672287934704541810945*c_0101_5^23 - 1519805321157506335331236344827209795514240/25288763595976346733744\ 334457586940908362189*c_0101_5^21 + 68681030962726871733721011816522792044353812/1264438179798817336687\ 21672287934704541810945*c_0101_5^19 - 437525233435267904840264697678175352857565216/126443817979881733668\ 721672287934704541810945*c_0101_5^17 + 1299437494095934854790843548676170751653621059/12644381797988173366\ 8721672287934704541810945*c_0101_5^15 - 3356828965591956126948485143717309710679284987/12644381797988173366\ 8721672287934704541810945*c_0101_5^13 + 9405441490424858976441282814388690830095095214/12644381797988173366\ 8721672287934704541810945*c_0101_5^11 - 13873080177727253224677225157572762292661462271/1264438179798817336\ 68721672287934704541810945*c_0101_5^9 + 12186359500869447924817493665328136129283677237/1264438179798817336\ 68721672287934704541810945*c_0101_5^7 - 6601242716254548806557333001453778963735397411/12644381797988173366\ 8721672287934704541810945*c_0101_5^5 + 2126360254217436799873201045808879830346913816/12644381797988173366\ 8721672287934704541810945*c_0101_5^3 - 104422456408831623807053441775370968988693465/252887635959763467337\ 44334457586940908362189*c_0101_5, c_0101_1 - 610378027286712091492829298235399656133408/63221908989940866\ 8343608361439673522709054725*c_0101_5^22 + 10364553246915281563595968494729029098853744/1264438179798817336687\ 21672287934704541810945*c_0101_5^20 - 421182443044139722881074456836138360851394936/632219089899408668343\ 608361439673522709054725*c_0101_5^18 + 2588446000390815602520794028824092847706875564/63221908989940866834\ 3608361439673522709054725*c_0101_5^16 - 6315025740137538931057069702753964837285456762/63221908989940866834\ 3608361439673522709054725*c_0101_5^14 + 16631653426837827541158543816737421003986929627/6322190898994086683\ 43608361439673522709054725*c_0101_5^12 - 47713245765216612210505959398806299023101109038/6322190898994086683\ 43608361439673522709054725*c_0101_5^10 + 46322640804012359300436090939043932729325147881/6322190898994086683\ 43608361439673522709054725*c_0101_5^8 - 34748520474420264680890404471088402190334026646/6322190898994086683\ 43608361439673522709054725*c_0101_5^6 + 1557570928343558329667731284370258021727828359/12644381797988173366\ 8721672287934704541810945*c_0101_5^4 - 99159965639161634631478174479588338574702815/2528876359597634673374\ 4334457586940908362189*c_0101_5^2 - 4933513003071337351013819794125657330638251/25288763595976346733744\ 334457586940908362189, c_0101_2 + 577262655038802058130069508895345429512336/12644381797988173\ 3668721672287934704541810945*c_0101_5^22 - 49049267210503767221192900434016750199811312/1264438179798817336687\ 21672287934704541810945*c_0101_5^20 + 401547410218034174190969041800383276813343332/126443817979881733668\ 721672287934704541810945*c_0101_5^18 - 2472807038536743210592397193109371718148335372/12644381797988173366\ 8721672287934704541810945*c_0101_5^16 + 1224903902746344774180530567481857167951601347/25288763595976346733\ 744334457586940908362189*c_0101_5^14 - 16070924675687063457042366429023309829715168292/1264438179798817336\ 68721672287934704541810945*c_0101_5^12 + 46119903982089781952096202003375532349174431929/1264438179798817336\ 68721672287934704541810945*c_0101_5^10 - 46627351960707705831331139111780927772421704824/1264438179798817336\ 68721672287934704541810945*c_0101_5^8 + 35207673885555827807016895350032884801241103016/1264438179798817336\ 68721672287934704541810945*c_0101_5^6 - 10643660708297164545865687812348630119600244519/1264438179798817336\ 68721672287934704541810945*c_0101_5^4 + 700005308663607040972993228363669972648768377/252887635959763467337\ 44334457586940908362189*c_0101_5^2 - 41096775252217279638717171053766350430422379/2528876359597634673374\ 4334457586940908362189, c_0101_3 + 6219872994096905156315626293946981205928464/6322190898994086\ 68343608361439673522709054725*c_0101_5^23 - 105722967649312869987080242004710291729188256/126443817979881733668\ 721672287934704541810945*c_0101_5^21 + 4336735116902651007631891772235511176429717908/63221908989940866834\ 3608361439673522709054725*c_0101_5^19 - 26722514227047155369948306643903358048540012152/6322190898994086683\ 43608361439673522709054725*c_0101_5^17 + 66471434639742515859139114838180574759246895771/6322190898994086683\ 43608361439673522709054725*c_0101_5^15 - 174243886842871129338269677494829446716989575481/632219089899408668\ 343608361439673522709054725*c_0101_5^13 + 500042730677356030918537982633253956652707964189/632219089899408668\ 343608361439673522709054725*c_0101_5^11 - 511290000630269875676916718426289152586382849373/632219089899408668\ 343608361439673522709054725*c_0101_5^9 + 386649953285973192050141753393294516839780636078/632219089899408668\ 343608361439673522709054725*c_0101_5^7 - 24855912431352768170811020691676176068113890233/1264438179798817336\ 68721672287934704541810945*c_0101_5^5 + 8468549933207209787708831550380470789328736878/12644381797988173366\ 8721672287934704541810945*c_0101_5^3 - 208288565663364846275835822775827961027527884/252887635959763467337\ 44334457586940908362189*c_0101_5, c_0101_5^24 - 85*c_0101_5^22 + 2793/4*c_0101_5^20 - 17217/4*c_0101_5^18 + 171759/16*c_0101_5^16 - 224967/8*c_0101_5^14 + 1290781/16*c_0101_5^12 - 332083/4*c_0101_5^10 + 250933/4*c_0101_5^8 - 323905/16*c_0101_5^6 + 106825/16*c_0101_5^4 - 11625/16*c_0101_5^2 + 125/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB