Magma V2.19-8 Tue Aug 20 2013 16:18:34 on localhost [Seed = 3633923562] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2759 geometric_solution 5.99627882 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 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.408947278797 0.511197404993 0 3 5 4 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.638701233598 0.783975825147 3 0 4 5 3201 0132 3201 2310 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 -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.638701233598 0.783975825147 3 1 3 2 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.285304825044 1.188464692096 2 6 1 6 2310 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 -1 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 1.123845754155 0.771318873846 2 5 5 1 3201 1230 3012 0132 0 0 0 0 0 -1 1 0 0 0 1 -1 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 0 0 0 0 0 0 0 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.052962187437 0.643017673359 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 -1 1 1 0 -1 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 -1 0 1 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.537366202914 0.229761806599 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : 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' : 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_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], '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_4']), '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' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(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_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(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_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 7897585791535868039353424252224822191452/33457282208666415428961685\ 32573497851835*c_0110_6^21 - 33804696012807643211455930509132735847\ 864/3345728220866641542896168532573497851835*c_0110_6^20 - 189673695424330354496456506436667901457549/334572822086664154289616\ 8532573497851835*c_0110_6^19 - 147739897213659271419867227845166358\ 40169/669145644173328308579233706514699570367*c_0110_6^18 + 1446089659953976857658983384541596594309746/33457282208666415428961\ 68532573497851835*c_0110_6^17 + 49281352160260643854303009327167229\ 75071531/3345728220866641542896168532573497851835*c_0110_6^16 + 4523089620595437229496397202527706981797228/33457282208666415428961\ 68532573497851835*c_0110_6^15 - 11415237230502565737362700328770387\ 20084801/669145644173328308579233706514699570367*c_0110_6^14 - 18078305534460077442130582115341786466580021/3345728220866641542896\ 168532573497851835*c_0110_6^13 - 1452192327407173512880742745840137\ 1739424862/3345728220866641542896168532573497851835*c_0110_6^12 + 21705666661203837554449536478141682949811816/3345728220866641542896\ 168532573497851835*c_0110_6^11 + 6298249128150827373480105301395954\ 541991186/669145644173328308579233706514699570367*c_0110_6^10 - 3222191448718158642077206331806802025124381/66914564417332830857923\ 3706514699570367*c_0110_6^9 - 1635958200751547136300375486375214113\ 3517638/3345728220866641542896168532573497851835*c_0110_6^8 + 4364792428274033902852935065127551469213976/33457282208666415428961\ 68532573497851835*c_0110_6^7 + 123436408485773244303067339125973367\ 5787781/3345728220866641542896168532573497851835*c_0110_6^6 + 2213817263682689545110518068780642355759476/33457282208666415428961\ 68532573497851835*c_0110_6^5 - 301790529888384932334193816709092339\ 5762302/3345728220866641542896168532573497851835*c_0110_6^4 + 1091258700332178205203975268025228924543256/33457282208666415428961\ 68532573497851835*c_0110_6^3 + 290857176070693590316006763665981935\ 800033/3345728220866641542896168532573497851835*c_0110_6^2 + 4403906091090843938619044885289133477159/33457282208666415428961685\ 32573497851835*c_0110_6 + 5251649573555181769526430546647387455643/\ 3345728220866641542896168532573497851835, c_0011_0 - 1, c_0011_4 + 502003881382105933798174778826282987394/66914564417332830857\ 9233706514699570367*c_0110_6^21 - 340746286251229041109040941784361\ 6214479/669145644173328308579233706514699570367*c_0110_6^20 - 4339025483180625141562097290268954920004/66914564417332830857923370\ 6514699570367*c_0110_6^19 + 110862682717127062382250392816708347958\ 39/669145644173328308579233706514699570367*c_0110_6^18 + 75467962320098442351802479581287794160044/6691456441733283085792337\ 06514699570367*c_0110_6^17 + 11536888698130616833470786592106679107\ 8303/669145644173328308579233706514699570367*c_0110_6^16 - 133511655654726604442013762875827003529212/669145644173328308579233\ 706514699570367*c_0110_6^15 - 3301659662140507592928934505715304928\ 24828/669145644173328308579233706514699570367*c_0110_6^14 - 357221667633320047989855799996332978999939/669145644173328308579233\ 706514699570367*c_0110_6^13 + 4893507853651677581643420175252698610\ 34356/669145644173328308579233706514699570367*c_0110_6^12 + 1178572431287300637002980960998669414465477/66914564417332830857923\ 3706514699570367*c_0110_6^11 - 894172782807187036393557852077955488\ 212876/669145644173328308579233706514699570367*c_0110_6^10 - 689120095972713806482167700790784402594595/669145644173328308579233\ 706514699570367*c_0110_6^9 + 53894518626707938543988221090833900776\ 3743/669145644173328308579233706514699570367*c_0110_6^8 - 28900364289946624062338691846672987921404/6691456441733283085792337\ 06514699570367*c_0110_6^7 + 146373655123416763928698985720821805965\ 910/669145644173328308579233706514699570367*c_0110_6^6 - 190484703015711130688476985388895587074138/669145644173328308579233\ 706514699570367*c_0110_6^5 + 71936916757959591200105143616655979410\ 885/669145644173328308579233706514699570367*c_0110_6^4 + 9555565230570097145036919712545994499151/66914564417332830857923370\ 6514699570367*c_0110_6^3 - 1047258380325899757155084114637136444433\ 9/669145644173328308579233706514699570367*c_0110_6^2 + 784320096962610427495191140195908250970/669145644173328308579233706\ 514699570367*c_0110_6 - 1448101474925837118739322239960023327396/66\ 9145644173328308579233706514699570367, c_0101_0 + 138239855045525050375965646338287965286/66914564417332830857\ 9233706514699570367*c_0110_6^21 - 907298402005176174332816674276164\ 350019/669145644173328308579233706514699570367*c_0110_6^20 - 1335601292428136468790475388166059552467/66914564417332830857923370\ 6514699570367*c_0110_6^19 + 235839426377269548214889024444524245842\ 1/669145644173328308579233706514699570367*c_0110_6^18 + 20574813542554608453984507776008087711842/6691456441733283085792337\ 06514699570367*c_0110_6^17 + 37317524010527147208918697048429149112\ 357/669145644173328308579233706514699570367*c_0110_6^16 - 18566228618656525125117745109045521939063/6691456441733283085792337\ 06514699570367*c_0110_6^15 - 75300090132097369366993341674130806238\ 025/669145644173328308579233706514699570367*c_0110_6^14 - 119884235451219337187051857904492601787772/669145644173328308579233\ 706514699570367*c_0110_6^13 + 6737181255147374237204970023995616236\ 2932/669145644173328308579233706514699570367*c_0110_6^12 + 271823563292437608191399554449993567084834/669145644173328308579233\ 706514699570367*c_0110_6^11 - 1670488395521938427636670139631560502\ 60538/669145644173328308579233706514699570367*c_0110_6^10 - 81238458658190190557895927113002986215988/6691456441733283085792337\ 06514699570367*c_0110_6^9 + 101090338965601527973769823140348178898\ 479/669145644173328308579233706514699570367*c_0110_6^8 - 58331229003126186248639486352365713647882/6691456441733283085792337\ 06514699570367*c_0110_6^7 + 439405310955702937029197218793483839735\ 53/669145644173328308579233706514699570367*c_0110_6^6 - 52009510566285221672663468646958776833649/6691456441733283085792337\ 06514699570367*c_0110_6^5 + 295221713594529365430564109340015697650\ 04/669145644173328308579233706514699570367*c_0110_6^4 - 5750716796361521155996591561553813943530/66914564417332830857923370\ 6514699570367*c_0110_6^3 + 1083419670470218432172378430420415724084\ /669145644173328308579233706514699570367*c_0110_6^2 + 1176660457584269733148263081516606120477/66914564417332830857923370\ 6514699570367*c_0110_6 - 136403717317457167642527776672475180009/66\ 9145644173328308579233706514699570367, c_0101_1 - 29125500351520425440605117414064976958/669145644173328308579\ 233706514699570367*c_0110_6^21 + 2612021579598355496019970942313361\ 64821/669145644173328308579233706514699570367*c_0110_6^20 - 181282346937210540470271460113175369338/669145644173328308579233706\ 514699570367*c_0110_6^19 - 1175261899676949738131512588881678379979\ /669145644173328308579233706514699570367*c_0110_6^18 - 2977479227656874426103127054840390304367/66914564417332830857923370\ 6514699570367*c_0110_6^17 + 274762607900404995210518552512243738742\ 0/669145644173328308579233706514699570367*c_0110_6^16 + 22041568392325273176223518930544985457665/6691456441733283085792337\ 06514699570367*c_0110_6^15 + 23740205672338618116993290501812064111\ 88/669145644173328308579233706514699570367*c_0110_6^14 - 18844437615291134935976852032714858437488/6691456441733283085792337\ 06514699570367*c_0110_6^13 - 70975349553572391394044183340923256588\ 452/669145644173328308579233706514699570367*c_0110_6^12 - 6251845646527021680254991135183263798950/66914564417332830857923370\ 6514699570367*c_0110_6^11 + 194400408795129141596846038830001584742\ 998/669145644173328308579233706514699570367*c_0110_6^10 - 80971283057643136090054071062721200652845/6691456441733283085792337\ 06514699570367*c_0110_6^9 - 109724554046275717433208733952164587238\ 630/669145644173328308579233706514699570367*c_0110_6^8 + 74752019950433515217018700375356937814168/6691456441733283085792337\ 06514699570367*c_0110_6^7 - 185306048319815422268458502262147052044\ 73/669145644173328308579233706514699570367*c_0110_6^6 + 30557379413061147080946592403789805043941/6691456441733283085792337\ 06514699570367*c_0110_6^5 - 260364035423502724890444785778882260904\ 44/669145644173328308579233706514699570367*c_0110_6^4 + 8414961135781180204463180013953136501596/66914564417332830857923370\ 6514699570367*c_0110_6^3 - 649634128908962976841991217478094707481/\ 669145644173328308579233706514699570367*c_0110_6^2 - 979008804965870933264298545544473565947/669145644173328308579233706\ 514699570367*c_0110_6 + 391500158208597117949079515551808711418/669\ 145644173328308579233706514699570367, c_0101_2 + 530343065943227673732002499292315077734/66914564417332830857\ 9233706514699570367*c_0110_6^21 - 363392416895624733714861717125370\ 3490085/669145644173328308579233706514699570367*c_0110_6^20 - 4366992448549812528191681481280068090058/66914564417332830857923370\ 6514699570367*c_0110_6^19 + 120878444649663217522985417678272546171\ 22/669145644173328308579233706514699570367*c_0110_6^18 + 79202502447216999339048503005561119424015/6691456441733283085792337\ 06514699570367*c_0110_6^17 + 11668221864190013138794196704946558533\ 7231/669145644173328308579233706514699570367*c_0110_6^16 - 151219935580775196787612409112828447700114/669145644173328308579233\ 706514699570367*c_0110_6^15 - 3458448459456837415977248889466843289\ 97585/669145644173328308579233706514699570367*c_0110_6^14 - 357743591313614101634107418544240177494852/669145644173328308579233\ 706514699570367*c_0110_6^13 + 5492284461174956927055463301234348375\ 29566/669145644173328308579233706514699570367*c_0110_6^12 + 1232473342393606199148069100154786877188304/66914564417332830857923\ 3706514699570367*c_0110_6^11 - 101633844464308843368975782194382147\ 4824562/669145644173328308579233706514699570367*c_0110_6^10 - 697170726298245103301819815298074908449561/669145644173328308579233\ 706514699570367*c_0110_6^9 + 60370913733088917530940437324173264133\ 6333/669145644173328308579233706514699570367*c_0110_6^8 - 53772696644352594759562325295489067071217/6691456441733283085792337\ 06514699570367*c_0110_6^7 + 158793825919500009471894830702939840505\ 692/669145644173328308579233706514699570367*c_0110_6^6 - 209837179563345858497662926991768353028771/669145644173328308579233\ 706514699570367*c_0110_6^5 + 87853162981163205029746683323042942797\ 678/669145644173328308579233706514699570367*c_0110_6^4 + 7419253788199843849659626968531704369196/66914564417332830857923370\ 6514699570367*c_0110_6^3 - 1096383716156625219735241249344248771979\ 5/669145644173328308579233706514699570367*c_0110_6^2 + 549574740668261462913428856601774419101/669145644173328308579233706\ 514699570367*c_0110_6 - 1498973918477065234472772442575558655827/66\ 9145644173328308579233706514699570367, c_0101_5 - 456576135166445222213058075667568073048/66914564417332830857\ 9233706514699570367*c_0110_6^21 + 295321517857185487008529504089215\ 8498858/669145644173328308579233706514699570367*c_0110_6^20 + 4829929387778531616257678845192096694673/66914564417332830857923370\ 6514699570367*c_0110_6^19 - 816357765544370968936463107120260341775\ 9/669145644173328308579233706514699570367*c_0110_6^18 - 70537308603831876644368764178825527801124/6691456441733283085792337\ 06514699570367*c_0110_6^17 - 12835330190051769342483392352398443573\ 6799/669145644173328308579233706514699570367*c_0110_6^16 + 71028616129776202059649186079422897144261/6691456441733283085792337\ 06514699570367*c_0110_6^15 + 30400012732309885095549128396336911100\ 9880/669145644173328308579233706514699570367*c_0110_6^14 + 426262912545782023390663886747534171741177/669145644173328308579233\ 706514699570367*c_0110_6^13 - 2703403128190310097575372092929032880\ 99484/669145644173328308579233706514699570367*c_0110_6^12 - 1094078811002104763186999793083726961073318/66914564417332830857923\ 3706514699570367*c_0110_6^11 + 446443719025822013735702253285435839\ 915342/669145644173328308579233706514699570367*c_0110_6^10 + 630243191532895248025861345607161951129711/669145644173328308579233\ 706514699570367*c_0110_6^9 - 25955093563137310157936213994844562736\ 4356/669145644173328308579233706514699570367*c_0110_6^8 + 15857428873536246053123309053802445511031/6691456441733283085792337\ 06514699570367*c_0110_6^7 - 149214703743226478496836816402465715036\ 603/669145644173328308579233706514699570367*c_0110_6^6 + 133859917162790448067569601693398953904509/669145644173328308579233\ 706514699570367*c_0110_6^5 - 39614365536348777181365480868047725578\ 957/669145644173328308579233706514699570367*c_0110_6^4 - 7868156342049104090407315242295403916844/66914564417332830857923370\ 6514699570367*c_0110_6^3 + 3163727186879182340529581879815608340780\ /669145644173328308579233706514699570367*c_0110_6^2 - 1627502326983385417158140538801910742770/66914564417332830857923370\ 6514699570367*c_0110_6 + 1247490286369714003369577486695884646681/6\ 69145644173328308579233706514699570367, c_0110_6^22 - 13/2*c_0110_6^21 - 21/2*c_0110_6^20 + 19*c_0110_6^19 + 311/2*c_0110_6^18 + 549/2*c_0110_6^17 - 369/2*c_0110_6^16 - 703*c_0110_6^15 - 908*c_0110_6^14 + 1405/2*c_0110_6^13 + 2520*c_0110_6^12 - 1076*c_0110_6^11 - 3285/2*c_0110_6^10 + 1297/2*c_0110_6^9 + 101*c_0110_6^8 + 589/2*c_0110_6^7 - 288*c_0110_6^6 + 63*c_0110_6^5 + 40*c_0110_6^4 - 12*c_0110_6^3 - c_0110_6^2 - 5/2*c_0110_6 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB