Magma V2.19-8 Tue Aug 20 2013 16:17:32 on localhost [Seed = 2547387211] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1770 geometric_solution 5.45422967 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 0 0 1 0 -1 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 1 -1 2 0 -1 -1 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.591465310639 1.494000587751 0 1 0 1 0132 2310 2310 3201 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 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.652469003485 0.443431652307 3 4 5 0 1302 0132 0132 0132 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 -1 1 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.301656570961 0.419694533273 6 2 0 5 0132 2031 0132 1230 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 -2 1 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 0.936042828736 0.617414057858 5 2 6 5 2031 0132 0213 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 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.184584545316 0.915716698137 3 4 4 2 3012 2310 1302 0132 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 0 0 0 0 1.621346308029 0.467920345073 3 4 6 6 0132 0213 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.719746837166 0.997352929387 ==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' : negation(d['1']), 's_3_4' : negation(d['1']), 's_2_0' : 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' : 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' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_3']), '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' : 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' : d['c_0011_2'], 'c_1001_5' : d['c_0110_4'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_1']), '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_0110_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0110_4']), 'c_1010_4' : negation(d['c_0110_4']), 'c_1010_3' : d['c_0011_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_3, c_0011_5, c_0101_0, c_0101_1, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 1116673413958670047112191376963204577424028156/19068834796772870559\ 9289981579355746788485*c_0110_4^21 + 11472309375217463729585168928442329885870899703/1906883479677287055\ 99289981579355746788485*c_0110_4^20 + 16527631829014560004109139085194511972842740056/1906883479677287055\ 99289981579355746788485*c_0110_4^19 - 146344907215506965812363509792899877422528880677/190688347967728705\ 599289981579355746788485*c_0110_4^18 - 85978894429926172276552814422705874961618378622/3813766959354574111\ 9857996315871149357697*c_0110_4^17 - 174106001224265837847428443701265978626118134022/190688347967728705\ 599289981579355746788485*c_0110_4^16 - 805300438055391432969062209685022485412952857208/190688347967728705\ 599289981579355746788485*c_0110_4^15 - 2869953293190679671990793058185421930799767836477/19068834796772870\ 5599289981579355746788485*c_0110_4^14 + 1321274964694461242342640977316619839586323547253/19068834796772870\ 5599289981579355746788485*c_0110_4^13 + 14150484639707307750355080536525044319304883807393/1906883479677287\ 05599289981579355746788485*c_0110_4^12 + 9233197773784651566822626498119791384574500887917/19068834796772870\ 5599289981579355746788485*c_0110_4^11 - 18364521919156772660078837479552628064370714010862/1906883479677287\ 05599289981579355746788485*c_0110_4^10 - 10629539917875772726009083520727502052689627596962/1906883479677287\ 05599289981579355746788485*c_0110_4^9 + 17779193462567715963343913098961889346624166689086/1906883479677287\ 05599289981579355746788485*c_0110_4^8 + 6329821130178150272937965276546781870784360619834/19068834796772870\ 5599289981579355746788485*c_0110_4^7 - 7921750425746105888681281440681433822829826828544/19068834796772870\ 5599289981579355746788485*c_0110_4^6 - 73704900784175964557942290800882929712093497544/6575460274749265710\ 320344192391577475465*c_0110_4^5 + 1311360887423724448934887454076044226163857215534/19068834796772870\ 5599289981579355746788485*c_0110_4^4 + 42736666238708087572364738303059665943902036983/3813766959354574111\ 9857996315871149357697*c_0110_4^3 - 112875957679157171594063657123820981556931102489/190688347967728705\ 599289981579355746788485*c_0110_4^2 - 5513187746704897882892059574387103504448809281/19068834796772870559\ 9289981579355746788485*c_0110_4 + 453799065558281071490930198042954\ 5524165493377/190688347967728705599289981579355746788485, c_0011_0 - 1, c_0011_2 + 52675720098997945397214148023971887364272/381376695935457411\ 19857996315871149357697*c_0110_4^21 + 538119774153696030296230779968393747554298/381376695935457411198579\ 96315871149357697*c_0110_4^20 + 75033345103622278001446936185104584\ 0553225/38137669593545741119857996315871149357697*c_0110_4^19 - 6927655301888422359321379341870344947756420/38137669593545741119857\ 996315871149357697*c_0110_4^18 - 1985002261438294075700944481251301\ 7021131452/38137669593545741119857996315871149357697*c_0110_4^17 - 7307558346126110264570284568496196936714985/38137669593545741119857\ 996315871149357697*c_0110_4^16 - 3828052581659975293528085327107053\ 5135458168/38137669593545741119857996315871149357697*c_0110_4^15 - 133454893669828471339348938042730126133704027/381376695935457411198\ 57996315871149357697*c_0110_4^14 + 68680332700212376855341142204204928574330971/3813766959354574111985\ 7996315871149357697*c_0110_4^13 + 658692580490380775230085716271230\ 207259002444/38137669593545741119857996315871149357697*c_0110_4^12 + 399592281343471305509913352386656375429313942/381376695935457411198\ 57996315871149357697*c_0110_4^11 - 865970821573453068291436314322988069151250158/381376695935457411198\ 57996315871149357697*c_0110_4^10 - 436130355710868088774548475013111509850782703/381376695935457411198\ 57996315871149357697*c_0110_4^9 + 833894531342669243997733888768736\ 874692741897/38137669593545741119857996315871149357697*c_0110_4^8 + 234214091497451681837109616249807109819607327/381376695935457411198\ 57996315871149357697*c_0110_4^7 - 357762573585890938035166804604796\ 298505319135/38137669593545741119857996315871149357697*c_0110_4^6 - 2468418947943044847386794578397645671938217/13150920549498531420640\ 68838478315495093*c_0110_4^5 + 532825737057390792473329184130343495\ 09455305/38137669593545741119857996315871149357697*c_0110_4^4 + 4973349023508306963888326707154428388012102/38137669593545741119857\ 996315871149357697*c_0110_4^3 - 38325620443280592571959626228487152\ 93208529/38137669593545741119857996315871149357697*c_0110_4^2 - 94512495913076049127398628925764112622492/3813766959354574111985799\ 6315871149357697*c_0110_4 + 113204137763966768932559196052990144183\ 188/38137669593545741119857996315871149357697, c_0011_3 + 96923146834256656783696691491951132167267/381376695935457411\ 19857996315871149357697*c_0110_4^21 + 955286441645197964448882426123457479783256/381376695935457411198579\ 96315871149357697*c_0110_4^20 + 10361194942845454590485115098048477\ 83598739/38137669593545741119857996315871149357697*c_0110_4^19 - 13129237778900170479142963425751999619007974/3813766959354574111985\ 7996315871149357697*c_0110_4^18 - 318140935546340838179613242407734\ 79298697305/38137669593545741119857996315871149357697*c_0110_4^17 - 1870963431965315275675080285366534411856456/38137669593545741119857\ 996315871149357697*c_0110_4^16 - 6942489377981914199074620116305864\ 0158424817/38137669593545741119857996315871149357697*c_0110_4^15 - 220580980426119817395713273121605789939086865/381376695935457411198\ 57996315871149357697*c_0110_4^14 + 206317064711796157000222745803941644485332183/381376695935457411198\ 57996315871149357697*c_0110_4^13 + 1140140066303164069643872692217175505713322251/38137669593545741119\ 857996315871149357697*c_0110_4^12 + 323194925071161947274708535312175293998445843/381376695935457411198\ 57996315871149357697*c_0110_4^11 - 1721949686049831442816594231541270420861201252/38137669593545741119\ 857996315871149357697*c_0110_4^10 - 186883543207899998481251831410444243786024593/381376695935457411198\ 57996315871149357697*c_0110_4^9 + 162184795882502957589549641593456\ 3184040015049/38137669593545741119857996315871149357697*c_0110_4^8 - 148773583268304279704528448522560095751659940/381376695935457411198\ 57996315871149357697*c_0110_4^7 - 626373696567026603671430235513407\ 597843706953/38137669593545741119857996315871149357697*c_0110_4^6 + 3252789007492556446209249743296081495573413/13150920549498531420640\ 68838478315495093*c_0110_4^5 + 751842263380054890081433984511126801\ 84278715/38137669593545741119857996315871149357697*c_0110_4^4 - 19849845095720027931063482189816266164512449/3813766959354574111985\ 7996315871149357697*c_0110_4^3 - 2095874206252371581516813908234687\ 513875477/38137669593545741119857996315871149357697*c_0110_4^2 + 1144775249084730026058935375864447193266125/38137669593545741119857\ 996315871149357697*c_0110_4 - 1063712727692472656637300506475393581\ 63122/38137669593545741119857996315871149357697, c_0011_5 - 1489147791015724946194837175179359181425/1315092054949853142\ 064068838478315495093*c_0110_4^21 - 14500625020002731770881323653762958260111/1315092054949853142064068\ 838478315495093*c_0110_4^20 - 1415492765159102966867955221120112870\ 9583/1315092054949853142064068838478315495093*c_0110_4^19 + 203844663980032772898287116679563905917786/131509205494985314206406\ 8838478315495093*c_0110_4^18 + 465160721518229573004064321242861183\ 563962/1315092054949853142064068838478315495093*c_0110_4^17 - 32398939079749493467098336521885904727154/1315092054949853142064068\ 838478315495093*c_0110_4^16 + 1055019393296454938021611413642993115\ 868139/1315092054949853142064068838478315495093*c_0110_4^15 + 3261105947382111324628629159826831076824433/13150920549498531420640\ 68838478315495093*c_0110_4^14 - 35883659057609624754258891488585338\ 20146867/1315092054949853142064068838478315495093*c_0110_4^13 - 17197037571936168641739412350351404512475262/1315092054949853142064\ 068838478315495093*c_0110_4^12 - 2844691941972198110249678505892621\ 118002016/1315092054949853142064068838478315495093*c_0110_4^11 + 27333404102917552052605345599595369999584176/1315092054949853142064\ 068838478315495093*c_0110_4^10 - 1464845637990824218776688912023086\ 98934508/1315092054949853142064068838478315495093*c_0110_4^9 - 25679559003211848007497096284830271921402133/1315092054949853142064\ 068838478315495093*c_0110_4^8 + 51163021181161759505831350670200178\ 29396081/1315092054949853142064068838478315495093*c_0110_4^7 + 9747145992374229816793388852541428382281144/13150920549498531420640\ 68838478315495093*c_0110_4^6 - 878080942502722050179335000257626721\ 70583/45348001894822522140140304775114327417*c_0110_4^5 - 1149597708943855336541309110298210412933609/13150920549498531420640\ 68838478315495093*c_0110_4^4 + 424739298234447081980211402513958400\ 547550/1315092054949853142064068838478315495093*c_0110_4^3 + 23640828805945186013648041585127865180271/1315092054949853142064068\ 838478315495093*c_0110_4^2 - 20531043242364410671988650793746031722\ 637/1315092054949853142064068838478315495093*c_0110_4 + 1994950075183886034033016869332873956390/13150920549498531420640688\ 38478315495093, c_0101_0 + 14203876807285337585321127465370517610735/381376695935457411\ 19857996315871149357697*c_0110_4^21 + 141213344208451312461013797508885919770380/381376695935457411198579\ 96315871149357697*c_0110_4^20 + 16591654398204789147559675216167175\ 8537708/38137669593545741119857996315871149357697*c_0110_4^19 - 1889841695796699476522825938617261804909760/38137669593545741119857\ 996315871149357697*c_0110_4^18 - 4797012887341029455118522155751274\ 326685570/38137669593545741119857996315871149357697*c_0110_4^17 - 943374006444552391718069930253477930278548/381376695935457411198579\ 96315871149357697*c_0110_4^16 - 10982899099126524264540963459126515\ 735283828/38137669593545741119857996315871149357697*c_0110_4^15 - 33532986400485215002642788116075063845526868/3813766959354574111985\ 7996315871149357697*c_0110_4^14 + 258837828836537411841474940013100\ 41160902001/38137669593545741119857996315871149357697*c_0110_4^13 + 164369200136995420116598293606663029776167879/381376695935457411198\ 57996315871149357697*c_0110_4^12 + 64092717164439295513411055104121976727521004/3813766959354574111985\ 7996315871149357697*c_0110_4^11 - 222793408098021543725253986048829\ 183356114596/38137669593545741119857996315871149357697*c_0110_4^10 - 32293366135696062947489631534726985983350016/3813766959354574111985\ 7996315871149357697*c_0110_4^9 + 2040166497385130550455634077324580\ 70935934728/38137669593545741119857996315871149357697*c_0110_4^8 - 18354214042054933156333841835433176879836057/3813766959354574111985\ 7996315871149357697*c_0110_4^7 - 6431161119822510990770310078841854\ 6974222235/38137669593545741119857996315871149357697*c_0110_4^6 + 518804151932454487744139360411745375965817/131509205494985314206406\ 8838478315495093*c_0110_4^5 + 1162078424516580219794547601370084914\ 071246/38137669593545741119857996315871149357697*c_0110_4^4 - 4750867226692137314714098737077772130502160/38137669593545741119857\ 996315871149357697*c_0110_4^3 + 45737602815133793251246375665344546\ 6729960/38137669593545741119857996315871149357697*c_0110_4^2 + 290773282968290268279051952648242266228634/381376695935457411198579\ 96315871149357697*c_0110_4 - 60443059777595955481108485693781418504\ 967/38137669593545741119857996315871149357697, c_0101_1 - 88557447855489364189748665897915233225447/381376695935457411\ 19857996315871149357697*c_0110_4^21 - 887643939880861124438946604507405282488867/381376695935457411198579\ 96315871149357697*c_0110_4^20 - 10922755578130084823826187117345136\ 93775629/38137669593545741119857996315871149357697*c_0110_4^19 + 11842139690252400721575282114384816019348532/3813766959354574111985\ 7996315871149357697*c_0110_4^18 + 310845683715539543232958808672093\ 42044185565/38137669593545741119857996315871149357697*c_0110_4^17 + 6525402874242740700543464453499081370586856/38137669593545741119857\ 996315871149357697*c_0110_4^16 + 6351087529053263053684425019810951\ 2753958313/38137669593545741119857996315871149357697*c_0110_4^15 + 211934203883892924520165601763129474259240093/381376695935457411198\ 57996315871149357697*c_0110_4^14 - 155132062922822069929356645891388865554356812/381376695935457411198\ 57996315871149357697*c_0110_4^13 - 1074585583499070588506869292305259800776436362/38137669593545741119\ 857996315871149357697*c_0110_4^12 - 470117027831221838297584128239852319505929842/381376695935457411198\ 57996315871149357697*c_0110_4^11 + 1529544616089162487073699415681582385966462961/38137669593545741119\ 857996315871149357697*c_0110_4^10 + 442354202356143662691472567017817421520571043/381376695935457411198\ 57996315871149357697*c_0110_4^9 - 145697270604799864664292778690513\ 4472979172056/38137669593545741119857996315871149357697*c_0110_4^8 - 122583872246800488262468136646862287429482333/381376695935457411198\ 57996315871149357697*c_0110_4^7 + 598569144823482464439200452480371\ 723975935261/38137669593545741119857996315871149357697*c_0110_4^6 + 629204063001160761133598454524925036234586/131509205494985314206406\ 8838478315495093*c_0110_4^5 - 8464124031467771257055526065129173401\ 3843371/38137669593545741119857996315871149357697*c_0110_4^4 + 3352914673757361943276897139956548879218162/38137669593545741119857\ 996315871149357697*c_0110_4^3 + 50316109352757187514683058001123616\ 45155994/38137669593545741119857996315871149357697*c_0110_4^2 - 338136890264691867493896450160558512550096/381376695935457411198579\ 96315871149357697*c_0110_4 - 10988775031531932888605285889359086933\ 7757/38137669593545741119857996315871149357697, c_0110_4^22 + 10*c_0110_4^21 + 12*c_0110_4^20 - 135*c_0110_4^19 - 349*c_0110_4^18 - 52*c_0110_4^17 - 682*c_0110_4^16 - 2373*c_0110_4^15 + 1879*c_0110_4^14 + 12324*c_0110_4^13 + 4823*c_0110_4^12 - 18583*c_0110_4^11 - 4981*c_0110_4^10 + 18337*c_0110_4^9 + 1286*c_0110_4^8 - 8466*c_0110_4^7 + 16*c_0110_4^6 + 1627*c_0110_4^5 - 122*c_0110_4^4 - 144*c_0110_4^3 + 21*c_0110_4^2 + 5*c_0110_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB