Magma V2.19-8 Tue Aug 20 2013 16:15:51 on localhost [Seed = 930523933] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0075 geometric_solution 3.62448154 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 1023 3201 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 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 -1.045522888849 0.306985589190 0 0 3 3 0132 2310 3201 0132 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 -1 1 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.230114967955 0.114953456173 2 0 0 2 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.374550938582 0.094047092901 1 4 1 5 2310 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 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 0 -1 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.225065103666 0.969250747864 6 3 6 5 0132 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 1 -1 0 0 0 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.963424294492 1.986039325008 4 6 3 6 3012 2310 0132 3201 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 0 0 -1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.963424294492 1.986039325008 4 5 4 5 0132 2310 1023 3201 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 1 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.009269786949 0.503343986403 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : negation(d['1']), 's_0_4' : negation(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_5']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), '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_0011_5'], 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : 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_1']), 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 273962663791594216826455643193729/618217652247704590475669902774067\ 2*c_0101_4^21 + 510425296176685072519617997009911/53294625193767637\ 109971543342592*c_0101_4^19 + 2102572724022428566226893118085685973\ /6182176522477045904756699027740672*c_0101_4^17 + 11396138485169982425860335759999687121/3091088261238522952378349513\ 870336*c_0101_4^15 + 12622466696274460574438571459682367583/8831680\ 74639577986393814146820096*c_0101_4^13 + 184043336866151852837831004300377854333/618217652247704590475669902\ 7740672*c_0101_4^11 + 236655118833630266398130552324668616489/61821\ 76522477045904756699027740672*c_0101_4^9 + 97109835097027020989367485269641111523/3091088261238522952378349513\ 870336*c_0101_4^7 + 11675303829369344853212604091316832787/77277206\ 5309630738094587378467584*c_0101_4^5 + 82185291775013747523965268352255127/2414912704092596056545585557711\ 2*c_0101_4^3 - 2713117458717892801789567474378731/68997505831217030\ 18701673022032*c_0101_4, c_0011_0 - 1, c_0011_3 - 80979132729997617433346019/1903379471205987039641840833664*c\ _0101_4^20 + 15039751220548718530089163303/166545703730523865968661\ 0729456*c_0101_4^18 + 4826505189238625368422512648969/1332365629844\ 1909277492885835648*c_0101_4^16 + 31724370287735431279166107413295/\ 6661828149220954638746442917824*c_0101_4^14 + 346535802962056477709285687649781/13323656298441909277492885835648*\ c_0101_4^12 + 127234472944704282119036098249363/1903379471205987039\ 641840833664*c_0101_4^10 + 1250927101986098307322363919685969/13323\ 656298441909277492885835648*c_0101_4^8 + 502985295743315974370529827052881/6661828149220954638746442917824*c\ _0101_4^6 + 27087872241798786436744983863575/8327285186526193298433\ 05364728*c_0101_4^4 + 725143895515783029116897257187/20818212966315\ 4832460826341182*c_0101_4^2 - 22494365468181715342047722528/1040910\ 64831577416230413170591, c_0011_5 + 1113909986027474899413917919/1332365629844190927749288583564\ 8*c_0101_4^20 - 30226611886627116705393972811/166545703730523865968\ 6610729456*c_0101_4^18 - 8317343281374111981230298744539/1332365629\ 8441909277492885835648*c_0101_4^16 - 42192059673480918709727726223189/6661828149220954638746442917824*c_\ 0101_4^14 - 268403536383113062439623306751871/133236562984419092774\ 92885835648*c_0101_4^12 - 392229406070624037407179881218335/1332365\ 6298441909277492885835648*c_0101_4^10 - 268675132373083859225755737067523/13323656298441909277492885835648*\ c_0101_4^8 - 13731236282494210033495932341499/666182814922095463874\ 6442917824*c_0101_4^6 + 815488076767927240459404557447/118961216950\ 374189977615052104*c_0101_4^4 + 660466743969069916387135707081/2081\ 82129663154832460826341182*c_0101_4^2 + 7214619033935049926709290592/104091064831577416230413170591, c_0101_0 - 144451926026826267813285525/1903379471205987039641840833664*\ c_0101_4^20 + 27185085777413412436390127349/16654570373052386596866\ 10729456*c_0101_4^18 + 7989574189707751435976711648271/133236562984\ 41909277492885835648*c_0101_4^16 + 45948155728457628159696339283353/6661828149220954638746442917824*c_\ 0101_4^14 + 402653995215609056677413757159459/133236562984419092774\ 92885835648*c_0101_4^12 + 128598405854175120798206156897445/1903379\ 471205987039641840833664*c_0101_4^10 + 1144620470538291044349415481323783/13323656298441909277492885835648\ *c_0101_4^8 + 422956834637927286779529324137455/6661828149220954638\ 746442917824*c_0101_4^6 + 10308126007406892319906278931611/41636425\ 9326309664921652682364*c_0101_4^4 + 861075634966234978287176471127/416364259326309664921652682364*c_010\ 1_4^2 - 62929653100383103642423675820/10409106483157741623041317059\ 1, c_0101_1 - 5645876035656960730835914373/2664731259688381855498577167129\ 6*c_0101_4^21 + 305138452300511209732387189321/66618281492209546387\ 46442917824*c_0101_4^19 + 43252635801648905605772795918857/26647312\ 596883818554985771671296*c_0101_4^17 + 233550844446135125639952238839089/13323656298441909277492885835648*\ c_0101_4^15 + 1795597924904092292401383880051437/266473125968838185\ 54985771671296*c_0101_4^13 + 3721064196401326910466880336849737/266\ 47312596883818554985771671296*c_0101_4^11 + 4769614633826231453643928900576677/26647312596883818554985771671296\ *c_0101_4^9 + 1960071858159820163933985078928571/133236562984419092\ 77492885835648*c_0101_4^7 + 34512127912463537057110258010171/475844\ 867801496759910460208416*c_0101_4^5 + 16134509853317696529696400975977/832728518652619329843305364728*c_0\ 101_4^3 - 31783915896899104055310735923/104091064831577416230413170\ 591*c_0101_4, c_0101_2 - 23562314439723623235406396047/266473125968838185549857716712\ 96*c_0101_4^21 + 636861675453371661443405631601/3330914074610477319\ 373221458912*c_0101_4^19 + 180278652930896191460570862971867/266473\ 12596883818554985771671296*c_0101_4^17 + 970391254255201763050154937703853/13323656298441909277492885835648*\ c_0101_4^15 + 7393179998118416892594685409714879/266473125968838185\ 54985771671296*c_0101_4^13 + 15095411746281779446408200295564223/26\ 647312596883818554985771671296*c_0101_4^11 + 19138513405357871201328374263604531/2664731259688381855498577167129\ 6*c_0101_4^9 + 7879010941540944798041947425323819/13323656298441909\ 277492885835648*c_0101_4^7 + 17595544489061223880852318414835/59480\ 608475187094988807526052*c_0101_4^5 + 66413944864851561140988205576973/832728518652619329843305364728*c_0\ 101_4^3 - 7127809268752970458721773197/2081821296631548324608263411\ 82*c_0101_4, c_0101_4^22 - 216*c_0101_4^20 - 7701*c_0101_4^18 - 84134*c_0101_4^16 - 332785*c_0101_4^14 - 712497*c_0101_4^12 - 951325*c_0101_4^10 - 826314*c_0101_4^8 - 443232*c_0101_4^6 - 131616*c_0101_4^4 - 7040*c_0101_4^2 - 512 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB