Magma V2.19-8 Tue Aug 20 2013 16:17:28 on localhost [Seed = 745386230] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1701 geometric_solution 5.41336411 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 -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.219436484272 0.246982714233 2 0 3 0 0132 2310 0132 0132 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 -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.770203539401 2.015741122172 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 1 -1 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 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.576869508614 1.063714291397 2 5 4 1 3012 3201 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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.576869508614 1.063714291397 3 2 6 6 2310 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.283048200020 0.341984197104 5 5 3 2 1230 3012 2310 0132 0 0 0 0 0 0 -1 1 1 0 -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 0 0 0 0 0 1 0 -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 0 0.929069410077 1.238294026287 4 6 4 6 2310 2310 0132 3201 0 0 0 0 0 1 -1 0 1 0 0 -1 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 -1.358108747267 0.638884184266 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(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' : negation(d['1']), 's_2_1' : 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' : negation(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' : negation(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' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0011_5'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], '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_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0011_5'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_5'])})} 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_3, c_0011_5, c_0011_6, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 86501413496927785695050519415320548849064987/5612225762584053544569\ 950525313335523404600*c_0101_4^23 + 604707519875529759701006736603245777432583543/561222576258405354456\ 9950525313335523404600*c_0101_4^22 - 175813112897493309197778398264835927078213008/701528220323006693071\ 243815664166940425575*c_0101_4^21 + 1473675182292043537797753434959955028478784597/56122257625840535445\ 69950525313335523404600*c_0101_4^20 + 196140223927124173240789981058958218372680323/112244515251681070891\ 399010506266710468092*c_0101_4^19 - 9121246131348949175227946156374514280734575609/11224451525168107089\ 13990105062667104680920*c_0101_4^18 + 22428412073271186077290879932435106960754711389/5612225762584053544\ 569950525313335523404600*c_0101_4^17 + 89422244538491824276001921492072179741832614227/2806112881292026772\ 284975262656667761702300*c_0101_4^16 - 187331055002599987073280079467649129573473189661/561222576258405354\ 4569950525313335523404600*c_0101_4^15 - 108774886680137665247811411275769224028601099333/280611288129202677\ 2284975262656667761702300*c_0101_4^14 + 345243894267088022865730326415474189723039029989/561222576258405354\ 4569950525313335523404600*c_0101_4^13 + 79914285019968177860710605351016029290441941951/5612225762584053544\ 569950525313335523404600*c_0101_4^12 - 270729871812548037835234657671538203157798015009/561222576258405354\ 4569950525313335523404600*c_0101_4^11 + 1825568690745520473642095723439073892021402133/12755058551327394419\ 4771602848030352804650*c_0101_4^10 + 29463506789934623044328555788329685282192505663/1403056440646013386\ 142487631328333880851150*c_0101_4^9 - 209087107157254603698632898328198736298136012837/561222576258405354\ 4569950525313335523404600*c_0101_4^8 - 31588405284036320687028785493911346057757171937/1122445152516810708\ 913990105062667104680920*c_0101_4^7 + 130897328685705398634469099297484126292357883449/561222576258405354\ 4569950525313335523404600*c_0101_4^6 + 73282745506424940691192228754184163200597677329/2806112881292026772\ 284975262656667761702300*c_0101_4^5 - 1801886236766562143630925941098655484349389253/56122257625840535445\ 69950525313335523404600*c_0101_4^4 - 1878144531550456746183484912990374978544309517/28061128812920267722\ 8497526265666776170230*c_0101_4^3 - 2150133092611906122108990734608544345902873757/14030564406460133861\ 42487631328333880851150*c_0101_4^2 + 264212295057630603377470793710826684155229253/112244515251681070891\ 3990105062667104680920*c_0101_4 + 227055362985207129973379824428817\ 135947366389/2806112881292026772284975262656667761702300, c_0011_0 - 1, c_0011_1 + 468896924364422967158493397883556943029/23191015547867989853\ 5948368814600641463*c_0101_4^23 - 315079355800871827972402584012477\ 6907121/231910155478679898535948368814600641463*c_0101_4^22 + 6930970122294531682738393945691666438906/23191015547867989853594836\ 8814600641463*c_0101_4^21 - 717202089362958440080296087913922308168\ 9/231910155478679898535948368814600641463*c_0101_4^20 - 52824151357829033656752874350143490102290/2319101554786798985359483\ 68814600641463*c_0101_4^19 + 23052342904471030472731662986894348616\ 2931/231910155478679898535948368814600641463*c_0101_4^18 - 77124332171022077540413551434011093224123/2319101554786798985359483\ 68814600641463*c_0101_4^17 - 91371883966977876792923511955904280258\ 9689/231910155478679898535948368814600641463*c_0101_4^16 + 747238026874323351291370598318501725882786/231910155478679898535948\ 368814600641463*c_0101_4^15 + 1078530185710134701598272630958223633\ 115847/231910155478679898535948368814600641463*c_0101_4^14 - 1360970077738817565710313719896013068583398/23191015547867989853594\ 8368814600641463*c_0101_4^13 - 458656066426991233398874374899130874\ 886947/231910155478679898535948368814600641463*c_0101_4^12 + 950448991307345768012357728905897933904495/231910155478679898535948\ 368814600641463*c_0101_4^11 - 3180532287695200118625124489732510676\ 62885/231910155478679898535948368814600641463*c_0101_4^10 - 480442143765481512548069444834759494674373/231910155478679898535948\ 368814600641463*c_0101_4^9 + 89143443960815545585779304129637271413\ 9189/231910155478679898535948368814600641463*c_0101_4^8 + 963143016967724140529868717017727097740239/231910155478679898535948\ 368814600641463*c_0101_4^7 - 17327353351729938264698491876197164190\ 5536/231910155478679898535948368814600641463*c_0101_4^6 - 504866780864331106258329057440663742726271/231910155478679898535948\ 368814600641463*c_0101_4^5 - 10003170917927477525755121170014271981\ 6718/231910155478679898535948368814600641463*c_0101_4^4 + 68681606810151373538866897270468873887148/2319101554786798985359483\ 68814600641463*c_0101_4^3 + 250551222742757276072770006324082001076\ 14/231910155478679898535948368814600641463*c_0101_4^2 - 1543115714113659696007787285729057922866/23191015547867989853594836\ 8814600641463*c_0101_4 - 1839829987995787723144004523301940067828/2\ 31910155478679898535948368814600641463, c_0011_3 - 450210610097758900307210758081201229065/23191015547867989853\ 5948368814600641463*c_0101_4^23 + 304917627373088535452197194256788\ 5074919/231910155478679898535948368814600641463*c_0101_4^22 - 6810028334815873338703116099947447753945/23191015547867989853594836\ 8814600641463*c_0101_4^21 + 721002925443678736985102346913391109888\ 4/231910155478679898535948368814600641463*c_0101_4^20 + 50380555116183923855858301123278366012047/2319101554786798985359483\ 68814600641463*c_0101_4^19 - 22397882701777721827258475961496494168\ 1450/231910155478679898535948368814600641463*c_0101_4^18 + 84984586373627752508529360996892844363947/2319101554786798985359483\ 68814600641463*c_0101_4^17 + 87541366153699877135014030623429799274\ 0151/231910155478679898535948368814600641463*c_0101_4^16 - 761006058898064224928822172998785606588960/231910155478679898535948\ 368814600641463*c_0101_4^15 - 1011688552009589611889404233512407025\ 223443/231910155478679898535948368814600641463*c_0101_4^14 + 1358797010714463674084114687907618332235768/23191015547867989853594\ 8368814600641463*c_0101_4^13 + 399789050753355002292218012903857171\ 491753/231910155478679898535948368814600641463*c_0101_4^12 - 946324892746005843504822953735300187662385/231910155478679898535948\ 368814600641463*c_0101_4^11 + 3307210144243476490653124799304619888\ 58933/231910155478679898535948368814600641463*c_0101_4^10 + 458565589481539643052856179214355675261556/231910155478679898535948\ 368814600641463*c_0101_4^9 - 87788031266877958447575464807979709219\ 7404/231910155478679898535948368814600641463*c_0101_4^8 - 891185216468326763297723238061573623758257/231910155478679898535948\ 368814600641463*c_0101_4^7 + 22423911473624494140456738528422154514\ 8213/231910155478679898535948368814600641463*c_0101_4^6 + 499599415091382095605134484991316844115601/231910155478679898535948\ 368814600641463*c_0101_4^5 + 78270481455430221975913773516442189597\ 869/231910155478679898535948368814600641463*c_0101_4^4 - 78679444365370092245907921428332464380885/2319101554786798985359483\ 68814600641463*c_0101_4^3 - 257428422031519638838289034986417586222\ 56/231910155478679898535948368814600641463*c_0101_4^2 + 2251874732585008818658121822731978893334/23191015547867989853594836\ 8814600641463*c_0101_4 + 1941720099916485567979040611047599508751/2\ 31910155478679898535948368814600641463, c_0011_5 - 184770777459302430756729562154037903083/23191015547867989853\ 5948368814600641463*c_0101_4^23 + 131096236718429393027655825642211\ 1359760/231910155478679898535948368814600641463*c_0101_4^22 - 3187606307964198322794913490112545785274/23191015547867989853594836\ 8814600641463*c_0101_4^21 + 379801176661754614675132916023756066661\ 9/231910155478679898535948368814600641463*c_0101_4^20 + 19817218317894295181904457743256767620544/2319101554786798985359483\ 68814600641463*c_0101_4^19 - 98616012145040610841590021544708528423\ 091/231910155478679898535948368814600641463*c_0101_4^18 + 63172960781747722109182045784842849604579/2319101554786798985359483\ 68814600641463*c_0101_4^17 + 35218624034233061636833586269961055615\ 2671/231910155478679898535948368814600641463*c_0101_4^16 - 425351754703389347937535616880373181395282/231910155478679898535948\ 368814600641463*c_0101_4^15 - 3363084525098763915684292000351379051\ 55797/231910155478679898535948368814600641463*c_0101_4^14 + 690247254808404986003745552780870758544937/231910155478679898535948\ 368814600641463*c_0101_4^13 + 2114684557467963544462122088209563503\ 4977/231910155478679898535948368814600641463*c_0101_4^12 - 450217068353434813716735969957183323785062/231910155478679898535948\ 368814600641463*c_0101_4^11 + 2276181757870591231791758736192800222\ 64334/231910155478679898535948368814600641463*c_0101_4^10 + 154963151884362605876631825251161128598257/231910155478679898535948\ 368814600641463*c_0101_4^9 - 41236710441584024614553288723991737694\ 8338/231910155478679898535948368814600641463*c_0101_4^8 - 265780510213289383177267379417020905155393/231910155478679898535948\ 368814600641463*c_0101_4^7 + 22114703713670431869813232536465257144\ 1705/231910155478679898535948368814600641463*c_0101_4^6 + 213614374720888731678652493104349086139380/231910155478679898535948\ 368814600641463*c_0101_4^5 - 17073695045904828069380139763390407589\ 046/231910155478679898535948368814600641463*c_0101_4^4 - 52847070691904542457950461635253243045276/2319101554786798985359483\ 68814600641463*c_0101_4^3 - 106639424213777278224452345344768942860\ 05/231910155478679898535948368814600641463*c_0101_4^2 + 2544412127462206275541446833727385882100/23191015547867989853594836\ 8814600641463*c_0101_4 + 1130327709989531345720670342631423859745/2\ 31910155478679898535948368814600641463, c_0011_6 - 473077182514330260816880397724068529531/23191015547867989853\ 5948368814600641463*c_0101_4^23 + 311396060229661907116500521540381\ 1059907/231910155478679898535948368814600641463*c_0101_4^22 - 6545674083743518776415271575548343223683/23191015547867989853594836\ 8814600641463*c_0101_4^21 + 618830518208925852172891057557378429813\ 0/231910155478679898535948368814600641463*c_0101_4^20 + 54555523103627893570140777685756023373767/2319101554786798985359483\ 68814600641463*c_0101_4^19 - 22569423659864564653905552226573224776\ 8191/231910155478679898535948368814600641463*c_0101_4^18 + 45017050702322178500116792043864976296977/2319101554786798985359483\ 68814600641463*c_0101_4^17 + 93941350967789705267241993832951170920\ 8892/231910155478679898535948368814600641463*c_0101_4^16 - 637094166409882175029676530289288373248081/231910155478679898535948\ 368814600641463*c_0101_4^15 - 1207231793164702945740459856142063078\ 736856/231910155478679898535948368814600641463*c_0101_4^14 + 1267171189084961601138718195798895691101026/23191015547867989853594\ 8368814600641463*c_0101_4^13 + 644179954399775380151092917331895624\ 898831/231910155478679898535948368814600641463*c_0101_4^12 - 945507166802684004819192334939851276199722/231910155478679898535948\ 368814600641463*c_0101_4^11 + 2225859174744463196820309823808626431\ 04184/231910155478679898535948368814600641463*c_0101_4^10 + 546693235728983131721041723638376956836895/231910155478679898535948\ 368814600641463*c_0101_4^9 - 86041006992253457408503011666080840278\ 3288/231910155478679898535948368814600641463*c_0101_4^8 - 1090190091704800715737781927529088322462779/23191015547867989853594\ 8368814600641463*c_0101_4^7 + 6816333620158232602226774280058057205\ 2416/231910155478679898535948368814600641463*c_0101_4^6 + 528505380427019124243723798119710610000584/231910155478679898535948\ 368814600641463*c_0101_4^5 + 14556984347373425436546691113187890475\ 3791/231910155478679898535948368814600641463*c_0101_4^4 - 60272625841134699662210761677659079224116/2319101554786798985359483\ 68814600641463*c_0101_4^3 - 275064654868499346371695789450831211066\ 77/231910155478679898535948368814600641463*c_0101_4^2 + 806659483070502618231439190740185260206/231910155478679898535948368\ 814600641463*c_0101_4 + 1729326302181805710246133117812518452872/23\ 1910155478679898535948368814600641463, c_0101_3 - 146877265896501465118919896770986036683/23191015547867989853\ 5948368814600641463*c_0101_4^23 + 102136893664439579756324113211392\ 1081151/231910155478679898535948368814600641463*c_0101_4^22 - 2417541922134813445118107640457058043160/23191015547867989853594836\ 8814600641463*c_0101_4^21 + 286649023342603164673077707857011883292\ 9/231910155478679898535948368814600641463*c_0101_4^20 + 15732058178635185047498250168379617073360/2319101554786798985359483\ 68814600641463*c_0101_4^19 - 75698212478355305226574097556023768898\ 697/231910155478679898535948368814600641463*c_0101_4^18 + 42602656230522324434330472075891035495574/2319101554786798985359483\ 68814600641463*c_0101_4^17 + 27212469359509763935716979162489048960\ 8399/231910155478679898535948368814600641463*c_0101_4^16 - 293872551909459766518899516634400073688493/231910155478679898535948\ 368814600641463*c_0101_4^15 - 2565764379602494144158571735380440609\ 95744/231910155478679898535948368814600641463*c_0101_4^14 + 464852602890870827490200904123690296431875/231910155478679898535948\ 368814600641463*c_0101_4^13 + 2971669681865771491713486573487280098\ 9140/231910155478679898535948368814600641463*c_0101_4^12 - 274381377542886649914413707625220999485148/231910155478679898535948\ 368814600641463*c_0101_4^11 + 1519579196503163708225978970734792947\ 81400/231910155478679898535948368814600641463*c_0101_4^10 + 100963835364711584645944323642215225156689/231910155478679898535948\ 368814600641463*c_0101_4^9 - 28724832099747951044734445782184961383\ 9599/231910155478679898535948368814600641463*c_0101_4^8 - 234164151695911916276597713823859059723083/231910155478679898535948\ 368814600641463*c_0101_4^7 + 92408108059447769683228239604843872501\ 113/231910155478679898535948368814600641463*c_0101_4^6 + 132730322606101411434259298964636797995072/231910155478679898535948\ 368814600641463*c_0101_4^5 + 10763925542316528921434178199508891135\ 729/231910155478679898535948368814600641463*c_0101_4^4 - 20825659818534666515245207268205508625029/2319101554786798985359483\ 68814600641463*c_0101_4^3 - 601709001956772908951368862416083305670\ 2/231910155478679898535948368814600641463*c_0101_4^2 + 1030218442064796471741348190833663547287/23191015547867989853594836\ 8814600641463*c_0101_4 + 515322385066493684630260430092225690372/23\ 1910155478679898535948368814600641463, c_0101_4^24 - 6*c_0101_4^23 + 10*c_0101_4^22 - 5*c_0101_4^21 - 123*c_0101_4^20 + 410*c_0101_4^19 + 183*c_0101_4^18 - 2043*c_0101_4^17 + 192*c_0101_4^16 + 3342*c_0101_4^15 - 1203*c_0101_4^14 - 2924*c_0101_4^13 + 1223*c_0101_4^12 + 685*c_0101_4^11 - 1439*c_0101_4^10 + 1158*c_0101_4^9 + 3363*c_0101_4^8 + 1188*c_0101_4^7 - 1200*c_0101_4^6 - 953*c_0101_4^5 - 53*c_0101_4^4 + 129*c_0101_4^3 + 32*c_0101_4^2 - 4*c_0101_4 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB