Magma V2.19-8 Tue Aug 20 2013 16:17:39 on localhost [Seed = 1157945763] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1889 geometric_solution 5.50827678 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 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 -1 0 1 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.304118907430 0.376498302385 0 1 0 1 0132 2310 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.297018745918 0.619622309728 4 3 5 0 0132 3012 0132 0132 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 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.671379799496 1.007629086523 2 4 0 5 1230 0132 0132 3201 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 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 0 0 0.671379799496 1.007629086523 2 3 6 6 0132 0132 0132 3201 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.223142694415 1.458102274535 5 3 5 2 2310 2310 3201 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 -1 0 1 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.168097834641 1.175195586590 6 4 6 4 2031 2310 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.427288226741 0.999306218875 ==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' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0101_2']), '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_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_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_2, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 64465900512737463153400616120960096/6203876959812712936090717483465\ 1*c_0101_2^27 + 1557520968350406548457756813573708112/6203876959812\ 7129360907174834651*c_0101_2^25 - 103979875139303435405954853608003\ 25411/62038769598127129360907174834651*c_0101_2^23 + 2389737462462501471434986097968783277/56398881452842844873551977122\ 41*c_0101_2^21 - 32187291023288593218879349345978579919/62038769598\ 127129360907174834651*c_0101_2^19 + 35541503499739119833784623641765328839/6203876959812712936090717483\ 4651*c_0101_2^17 - 63530961078935116267005683442984578671/620387695\ 98127129360907174834651*c_0101_2^15 + 86337125819857174159412821973145398434/6203876959812712936090717483\ 4651*c_0101_2^13 - 66695296627013799646344649360681679706/620387695\ 98127129360907174834651*c_0101_2^11 + 29508533270546171553391841306987911996/6203876959812712936090717483\ 4651*c_0101_2^9 - 7258161233642375500488374509441009050/62038769598\ 127129360907174834651*c_0101_2^7 + 11863158941688279558004897459785614/512717104116753135214108882931*\ c_0101_2^5 - 96984038356769520284360101192771574/620387695981271293\ 60907174834651*c_0101_2^3 - 18399182121679969331200809630659272/620\ 38769598127129360907174834651*c_0101_2, c_0011_0 - 1, c_0011_2 - 7491711645467853138952528652832/5127171041167531352141088829\ 31*c_0101_2^27 + 182203095520949310399189392516336/5127171041167531\ 35214108882931*c_0101_2^25 - 1237524235350002836123020396614161/512\ 717104116753135214108882931*c_0101_2^23 + 3252140002076945911325894532320305/512717104116753135214108882931*c\ _0101_2^21 - 4254605066017918742844032827429949/5127171041167531352\ 14108882931*c_0101_2^19 + 4792921349654444945855216014806965/512717\ 104116753135214108882931*c_0101_2^17 - 8122456477959449437723862879021039/512717104116753135214108882931*c\ _0101_2^15 + 11299023265834815451122097700018620/512717104116753135\ 214108882931*c_0101_2^13 - 9509092401423894900447988692143120/51271\ 7104116753135214108882931*c_0101_2^11 + 4879922058455736246486358412593212/512717104116753135214108882931*c\ _0101_2^9 - 1550018117749684036399855925285010/51271710411675313521\ 4108882931*c_0101_2^7 + 367809425766614811430357197747010/512717104\ 116753135214108882931*c_0101_2^5 - 53991169611800788889125861881017/512717104116753135214108882931*c_0\ 101_2^3 + 3366576475017431232317795563241/5127171041167531352141088\ 82931*c_0101_2, c_0011_5 - 8740548551456706239327542885408/5127171041167531352141088829\ 31*c_0101_2^26 + 211856384350065942226936392758064/5127171041167531\ 35214108882931*c_0101_2^24 - 1426387802184244436821793896218433/512\ 717104116753135214108882931*c_0101_2^22 + 3676953784321637057665251853791099/512717104116753135214108882931*c\ _0101_2^20 - 4660514369048504119378618198152777/5127171041167531352\ 14108882931*c_0101_2^18 + 5201478300199681195960450596449318/512717\ 104116753135214108882931*c_0101_2^16 - 9037315699179799680060800904882822/512717104116753135214108882931*c\ _0101_2^14 + 12435437036066589064813958549498108/512717104116753135\ 214108882931*c_0101_2^12 - 10060427034568059975577599270067536/5127\ 17104116753135214108882931*c_0101_2^10 + 4836928382139389992085584985012157/512717104116753135214108882931*c\ _0101_2^8 - 1392031595880758849732833599075381/51271710411675313521\ 4108882931*c_0101_2^6 + 314565214467667528668456621556477/512717104\ 116753135214108882931*c_0101_2^4 - 40629244871284112411565918439286/512717104116753135214108882931*c_0\ 101_2^2 + 865740218034042521473926414917/51271710411675313521410888\ 2931, c_0011_6 + 4120159918137139353887258427776/5127171041167531352141088829\ 31*c_0101_2^27 - 100232912207656719325373667595552/5127171041167531\ 35214108882931*c_0101_2^25 + 681357139486511716707588700961948/5127\ 17104116753135214108882931*c_0101_2^23 - 1795145989863841019835622372522107/512717104116753135214108882931*c\ _0101_2^21 + 2364341631360846231678880213433919/5127171041167531352\ 14108882931*c_0101_2^19 - 2679448069269097531967521078025427/512717\ 104116753135214108882931*c_0101_2^17 + 4515458866441103231934327069135346/512717104116753135214108882931*c\ _0101_2^15 - 6281675531445477919921913790600981/5127171041167531352\ 14108882931*c_0101_2^13 + 5339256192292298433686699172620297/512717\ 104116753135214108882931*c_0101_2^11 - 2802361924680664551560909476410167/512717104116753135214108882931*c\ _0101_2^9 + 931159901565084693607030611794974/512717104116753135214\ 108882931*c_0101_2^7 - 232708200824490022469959320089499/5127171041\ 16753135214108882931*c_0101_2^5 + 35619862090379125625750734101386/\ 512717104116753135214108882931*c_0101_2^3 - 2530910774691668359798580131197/512717104116753135214108882931*c_01\ 01_2, c_0101_0 + 365116895816446499978482000288/51271710411675313521410888293\ 1*c_0101_2^26 - 8526058448844376845759718514768/5127171041167531352\ 14108882931*c_0101_2^24 + 51800464645377210427428590637149/51271710\ 4116753135214108882931*c_0101_2^22 - 102302738278913555188079876620790/512717104116753135214108882931*c_\ 0101_2^20 + 68748340714809998832063576329403/5127171041167531352141\ 08882931*c_0101_2^18 - 70382056531626078895982478147978/51271710411\ 6753135214108882931*c_0101_2^16 + 215631115389576080530455412844170\ /512717104116753135214108882931*c_0101_2^14 - 217992122554903911014160505996744/512717104116753135214108882931*c_\ 0101_2^12 + 20918119133779378901368705124918/5127171041167531352141\ 08882931*c_0101_2^10 + 87495817894174838337406652735165/51271710411\ 6753135214108882931*c_0101_2^8 - 59916626748876519228973049849158/5\ 12717104116753135214108882931*c_0101_2^6 + 13425663559831181111509187520766/512717104116753135214108882931*c_0\ 101_2^4 - 4538693443470137577113494763030/5127171041167531352141088\ 82931*c_0101_2^2 + 472718625838082718548214619849/51271710411675313\ 5214108882931, c_0101_1 + 7124550402545070988042700894976/5127171041167531352141088829\ 31*c_0101_2^26 - 173232079764429759777075387179392/5127171041167531\ 35214108882931*c_0101_2^24 + 1175765177696198276141661518340568/512\ 717104116753135214108882931*c_0101_2^22 - 3083419173084873193538853289167664/512717104116753135214108882931*c\ _0101_2^20 + 4010918260172991993181678344308958/5127171041167531352\ 14108882931*c_0101_2^18 - 4489120953575612692003007993374671/512717\ 104116753135214108882931*c_0101_2^16 + 7643296244852539347299073680870990/512717104116753135214108882931*c\ _0101_2^14 - 10645972552925024252078923096279114/512717104116753135\ 214108882931*c_0101_2^12 + 8875726680180434064008917646964743/51271\ 7104116753135214108882931*c_0101_2^10 - 4440418308184072668139614859951827/512717104116753135214108882931*c\ _0101_2^8 + 1343034014135670136480818023113810/51271710411675313521\ 4108882931*c_0101_2^6 - 303403669020814642346069427883345/512717104\ 116753135214108882931*c_0101_2^4 + 42610212560828716291647940326024/512717104116753135214108882931*c_0\ 101_2^2 - 1614053602360664627254015113293/5127171041167531352141088\ 82931, c_0101_2^28 - 49/2*c_0101_2^26 + 5425/32*c_0101_2^24 - 7413/16*c_0101_2^22 + 10287/16*c_0101_2^20 - 11747/16*c_0101_2^18 + 19033/16*c_0101_2^16 - 54167/32*c_0101_2^14 + 24353/16*c_0101_2^12 - 854*c_0101_2^10 + 9737/32*c_0101_2^8 - 2491/32*c_0101_2^6 + 14*c_0101_2^4 - 21/16*c_0101_2^2 + 1/32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB