Magma V2.19-8 Tue Aug 20 2013 16:15:55 on localhost [Seed = 2463305386] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0138 geometric_solution 3.64100861 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 0321 0 0 0 0 0 0 1 -1 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 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.797441511722 0.403822121645 0 0 2 3 0132 0321 2031 1302 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 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.001932149293 0.505418731147 2 0 2 1 2310 0132 3201 1302 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 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.992436345766 1.978528543295 4 4 1 0 0132 3201 2031 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 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.511340186132 0.372409962421 3 5 3 5 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3.342217345902 1.583117228392 6 4 6 4 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.468161585049 0.050328338828 5 6 5 6 0132 2310 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.721887189065 0.014829325440 ==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' : 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' : 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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), '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' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_0101_0, c_0101_2, c_0101_3, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 553161471301228990082116986774262529219750665336/211792564418844675\ 6837345881686422344378645485*c_0101_6^22 + 1530677928362645536336137888718759372792318420004/21179256441884467\ 56837345881686422344378645485*c_0101_6^21 - 4672780105490406849897369123137648314618057043480/42358512883768935\ 1367469176337284468875729097*c_0101_6^20 + 34102199045103060451268484665644341610993095732781/2117925644188446\ 756837345881686422344378645485*c_0101_6^19 - 294209407206376027183550520205308388936394044782197/211792564418844\ 6756837345881686422344378645485*c_0101_6^18 + 17737034670627033702067893926890567168483776309362/1925386949262224\ 32439758716516947485852604135*c_0101_6^17 - 1523690037061769553030864664409325851003135989520344/21179256441884\ 46756837345881686422344378645485*c_0101_6^16 + 99110868423594676327682443749207038988485142067257/4235851288376893\ 51367469176337284468875729097*c_0101_6^15 - 816103845439339556639555342413616848399061887914048/423585128837689\ 351367469176337284468875729097*c_0101_6^14 + 769303461291650518983594947138262492840537425706082/211792564418844\ 6756837345881686422344378645485*c_0101_6^13 - 6238925055470227030739530111128215129759168393724536/21179256441884\ 46756837345881686422344378645485*c_0101_6^12 + 899964015896774871437016495004442400829355204643561/211792564418844\ 6756837345881686422344378645485*c_0101_6^11 - 5683500659056422354608580477560865385013224378171398/21179256441884\ 46756837345881686422344378645485*c_0101_6^10 + 158699965481087150858277514983356253218786998355287/423585128837689\ 351367469176337284468875729097*c_0101_6^9 - 279054918582846704339065420084920482515256608042357/192538694926222\ 432439758716516947485852604135*c_0101_6^8 + 446691794813557606166094085183093644766755504256359/211792564418844\ 6756837345881686422344378645485*c_0101_6^7 - 912757783939948930052871092364172761591374844708894/211792564418844\ 6756837345881686422344378645485*c_0101_6^6 + 26891919291120355799215783707227367644656985362327/4235851288376893\ 51367469176337284468875729097*c_0101_6^5 - 113151312188571374764796557908912926098767534119056/211792564418844\ 6756837345881686422344378645485*c_0101_6^4 + 16796822904853773123302729879707278918248031147772/2117925644188446\ 756837345881686422344378645485*c_0101_6^3 + 1847669621651759004404063674898296572670571087638/21179256441884467\ 56837345881686422344378645485*c_0101_6^2 - 9163660237523227735034664678767132682040686207/42358512883768935136\ 7469176337284468875729097*c_0101_6 - 264226811239026386721331342305103745710768478208/211792564418844675\ 6837345881686422344378645485, c_0011_0 - 1, c_0011_3 - 552273807136235429142667748585443481999555632/26955417289671\ 1405415662203123726480193645789*c_0101_6^22 + 204673613443067638276798455938381725434947808/385077389852444864879\ 51743303389497170520827*c_0101_6^21 - 23037810326733700022468793999898895868037866604/2695541728967114054\ 15662203123726480193645789*c_0101_6^20 + 4275604773129460910757532883581164289125091666/38507738985244486487\ 951743303389497170520827*c_0101_6^19 - 286792902301833236873757204675889766239333060311/269554172896711405\ 415662203123726480193645789*c_0101_6^18 + 141838540896393792349888148918336806455452012274/269554172896711405\ 415662203123726480193645789*c_0101_6^17 - 210620852604766085108178829190391215078859501289/385077389852444864\ 87951743303389497170520827*c_0101_6^16 + 215561489058644502071474318091171720120940509564/269554172896711405\ 415662203123726480193645789*c_0101_6^15 - 3925075743824581694082140005335354412584473753232/26955417289671140\ 5415662203123726480193645789*c_0101_6^14 + 5812131827250074054749427878779260539643229099/26955417289671140541\ 5662203123726480193645789*c_0101_6^13 - 5948063090780904173773228973371754360401661685910/26955417289671140\ 5415662203123726480193645789*c_0101_6^12 - 300704276446472556017147895816947430874657709754/269554172896711405\ 415662203123726480193645789*c_0101_6^11 - 5331184102446593754499966393015148697946536600512/26955417289671140\ 5415662203123726480193645789*c_0101_6^10 - 346404438835622721981669890130680360644045547750/269554172896711405\ 415662203123726480193645789*c_0101_6^9 - 2791324544525273191115669007401663017566871532094/26955417289671140\ 5415662203123726480193645789*c_0101_6^8 - 204633464705199121212661132960409308950437240998/269554172896711405\ 415662203123726480193645789*c_0101_6^7 - 776833924969681438126271216211563532099119580402/269554172896711405\ 415662203123726480193645789*c_0101_6^6 - 74959020181420690214323222465562114203683187228/2695541728967114054\ 15662203123726480193645789*c_0101_6^5 - 76636615395591603804092167731471446887194642605/2695541728967114054\ 15662203123726480193645789*c_0101_6^4 - 14159215614228799240610140036689671158270711551/2695541728967114054\ 15662203123726480193645789*c_0101_6^3 + 5963615850073281310241006077721208061350661736/26955417289671140541\ 5662203123726480193645789*c_0101_6^2 - 768423043985060634329938415676508530852072035/269554172896711405415\ 662203123726480193645789*c_0101_6 - 250801983136335255634944246794405650763177474/269554172896711405415\ 662203123726480193645789, c_0101_0 + 549148728198410624839760065342528623406660928/26955417289671\ 1405415662203123726480193645789*c_0101_6^22 - 219102185069983739570467808349970955197582128/385077389852444864879\ 51743303389497170520827*c_0101_6^21 + 23163917621915382648710464984268438849480164768/2695541728967114054\ 15662203123726480193645789*c_0101_6^20 - 4890999390891348783849662272913848776440228452/38507738985244486487\ 951743303389497170520827*c_0101_6^19 + 289977501521574887447722282414937331472833717002/269554172896711405\ 415662203123726480193645789*c_0101_6^18 - 196078916476643819333851849017986113955098136083/269554172896711405\ 415662203123726480193645789*c_0101_6^17 + 211518866309507518795182854559349647086469770203/385077389852444864\ 87951743303389497170520827*c_0101_6^16 - 496955764615340264446244885759026425044705196586/269554172896711405\ 415662203123726480193645789*c_0101_6^15 + 3881367852461161427711387659957026196153876049040/26955417289671140\ 5415662203123726480193645789*c_0101_6^14 - 760818810769650719249472388485227763892331955855/269554172896711405\ 415662203123726480193645789*c_0101_6^13 + 5762780718464044682907037504523011901132747829670/26955417289671140\ 5415662203123726480193645789*c_0101_6^12 - 845931476312695298772487409665260493462453449209/269554172896711405\ 415662203123726480193645789*c_0101_6^11 + 5042640169173917802431271475652452613620266850438/26955417289671140\ 5415662203123726480193645789*c_0101_6^10 - 679121260910222424600028959160780016279150113196/269554172896711405\ 415662203123726480193645789*c_0101_6^9 + 2559644891362982086274701805534216977303321696304/26955417289671140\ 5415662203123726480193645789*c_0101_6^8 - 334356092920490248900245604611409443120029641333/269554172896711405\ 415662203123726480193645789*c_0101_6^7 + 671875301814246030030121580770412377427023685540/269554172896711405\ 415662203123726480193645789*c_0101_6^6 - 80651824680246168578747011258015432078373033708/2695541728967114054\ 15662203123726480193645789*c_0101_6^5 + 50042057243784587266146691582110231133911533564/2695541728967114054\ 15662203123726480193645789*c_0101_6^4 - 4663186384268870648160375705787799133887258184/26955417289671140541\ 5662203123726480193645789*c_0101_6^3 - 8989243514219000306943565974936777041360411417/26955417289671140541\ 5662203123726480193645789*c_0101_6^2 + 983459017981525213347810009240751322816816285/269554172896711405415\ 662203123726480193645789*c_0101_6 + 320136835650369663779914418907118578317104865/269554172896711405415\ 662203123726480193645789, c_0101_2 - 45866819771921756719626536821784883340562024/269554172896711\ 405415662203123726480193645789*c_0101_6^22 + 16082513361731826388855998462415606772011380/3850773898524448648795\ 1743303389497170520827*c_0101_6^21 - 1915824042687709117579670877568803533558253632/26955417289671140541\ 5662203123726480193645789*c_0101_6^20 + 324174352731345384047127686380686723435331181/385077389852444864879\ 51743303389497170520827*c_0101_6^19 - 24258259717299906088501283741682342796256525847/2695541728967114054\ 15662203123726480193645789*c_0101_6^18 + 9515475411118053408484438884731283769694888087/26955417289671140541\ 5662203123726480193645789*c_0101_6^17 - 18604706133140383901590919065726406642625662641/3850773898524448648\ 7951743303389497170520827*c_0101_6^16 + 6028347515706478049535925917817443937421262079/26955417289671140541\ 5662203123726480193645789*c_0101_6^15 - 368162315659959281578333424107857653876357345284/269554172896711405\ 415662203123726480193645789*c_0101_6^14 - 32745893754710326923457539335886644337290374445/2695541728967114054\ 15662203123726480193645789*c_0101_6^13 - 597510875992023952111233282293355487101617197195/269554172896711405\ 415662203123726480193645789*c_0101_6^12 - 68962252900512910383761364162652061759721416108/2695541728967114054\ 15662203123726480193645789*c_0101_6^11 - 570250625251012516049845316884243844954168139357/269554172896711405\ 415662203123726480193645789*c_0101_6^10 - 48807725860881004646564645319192492137170272763/2695541728967114054\ 15662203123726480193645789*c_0101_6^9 - 310404554931190110639256189844156946569071280313/269554172896711405\ 415662203123726480193645789*c_0101_6^8 - 10984753683510056242027031371495812027764849447/2695541728967114054\ 15662203123726480193645789*c_0101_6^7 - 83497948836156984460044563489703570201197486623/2695541728967114054\ 15662203123726480193645789*c_0101_6^6 + 653674846389186850782016383656378422232570181/269554172896711405415\ 662203123726480193645789*c_0101_6^5 - 2679577684117762070201287706156998544470330391/26955417289671140541\ 5662203123726480193645789*c_0101_6^4 + 185337243349083616685873087173743816150605659/269554172896711405415\ 662203123726480193645789*c_0101_6^3 + 3591145605773698277209061039302590599354393556/26955417289671140541\ 5662203123726480193645789*c_0101_6^2 - 80921914239663118552362558878143394853245233/2695541728967114054156\ 62203123726480193645789*c_0101_6 + 119415598610685456613387942388934145806220666/269554172896711405415\ 662203123726480193645789, c_0101_3 - 50103321857757773117062617579071425310325768/385077389852444\ 86487951743303389497170520827*c_0101_6^22 + 127757047709489373066223380353921849874234164/385077389852444864879\ 51743303389497170520827*c_0101_6^21 - 2085841323602915131505492680826497144865964548/38507738985244486487\ 951743303389497170520827*c_0101_6^20 + 2633367441299209868883736743141196865138464631/38507738985244486487\ 951743303389497170520827*c_0101_6^19 - 25977886737088647447015788559494831836523773620/3850773898524448648\ 7951743303389497170520827*c_0101_6^18 + 12068037700537687537325627906373849035177354138/3850773898524448648\ 7951743303389497170520827*c_0101_6^17 - 134228132999032962824817300424979624519090037383/385077389852444864\ 87951743303389497170520827*c_0101_6^16 + 17199478165631223838550902007720063325828961661/3850773898524448648\ 7951743303389497170520827*c_0101_6^15 - 359420938012368799821508067229406091860659985475/385077389852444864\ 87951743303389497170520827*c_0101_6^14 + 687447507774057021686565807117959880466042543/385077389852444864879\ 51743303389497170520827*c_0101_6^13 - 545312226419900471228193652330440652117384170646/385077389852444864\ 87951743303389497170520827*c_0101_6^12 - 13513408003552457094172660096274637197405760217/3850773898524448648\ 7951743303389497170520827*c_0101_6^11 - 483933808818847347229577923252349185521820185295/385077389852444864\ 87951743303389497170520827*c_0101_6^10 - 3648883438852693308152174114571218952623029984/38507738985244486487\ 951743303389497170520827*c_0101_6^9 - 245361872360040905571917845916698865365983275399/385077389852444864\ 87951743303389497170520827*c_0101_6^8 + 5373067174416454988473583026741317902963248633/38507738985244486487\ 951743303389497170520827*c_0101_6^7 - 62228370332331932558956507302957939424273922352/3850773898524448648\ 7951743303389497170520827*c_0101_6^6 + 2729278227349059783227292976262966655638402371/38507738985244486487\ 951743303389497170520827*c_0101_6^5 - 3273589667194426731105062869135929707376837745/38507738985244486487\ 951743303389497170520827*c_0101_6^4 + 197806345436176533034197246777207877850395012/385077389852444864879\ 51743303389497170520827*c_0101_6^3 + 1228496638823839148212733651044766639052657333/38507738985244486487\ 951743303389497170520827*c_0101_6^2 - 69057962165989027670209361037147288325251944/3850773898524448648795\ 1743303389497170520827*c_0101_6 - 363509281753190050821266226511044\ 05061950395/38507738985244486487951743303389497170520827, c_0101_5 + 507714655440726142799328070516657386683606024/26955417289671\ 1405415662203123726480193645789*c_0101_6^22 - 197179263651465962598592576150801941920653916/385077389852444864879\ 51743303389497170520827*c_0101_6^21 + 21318389968167362396783192763931278234797136268/2695541728967114054\ 15662203123726480193645789*c_0101_6^20 - 4299111534053427636923780327280637057709373433/38507738985244486487\ 951743303389497170520827*c_0101_6^19 + 266076701868034144500776583817817528434913005018/269554172896711405\ 415662203123726480193645789*c_0101_6^18 - 162222894883074453922051258894004668404004327950/269554172896711405\ 415662203123726480193645789*c_0101_6^17 + 194185996332560612057212459623555949455234892063/385077389852444864\ 87951743303389497170520827*c_0101_6^16 - 364798595373989313332981606105362772520958852170/269554172896711405\ 415662203123726480193645789*c_0101_6^15 + 3568859736069691611179086131265504803742340052907/26955417289671140\ 5415662203123726480193645789*c_0101_6^14 - 465489727225255220580254562779307828594371664384/269554172896711405\ 415662203123726480193645789*c_0101_6^13 + 5294008882475691436001660083061321016586324479164/26955417289671140\ 5415662203123726480193645789*c_0101_6^12 - 454210452936989058363787093231014009424552800264/269554172896711405\ 415662203123726480193645789*c_0101_6^11 + 4598861979319122275256663183990566048812065818622/26955417289671140\ 5415662203123726480193645789*c_0101_6^10 - 371353472125250341421288876124661600772608034789/269554172896711405\ 415662203123726480193645789*c_0101_6^9 + 2292057255083826910812448897017680502911112747497/26955417289671140\ 5415662203123726480193645789*c_0101_6^8 - 194964124972954778669938484339679491197122031203/269554172896711405\ 415662203123726480193645789*c_0101_6^7 + 578320962866369244690028492150460412089338575971/269554172896711405\ 415662203123726480193645789*c_0101_6^6 - 47563129131313737725442463457704557006099348030/2695541728967114054\ 15662203123726480193645789*c_0101_6^5 + 36310196781746891529874375978830619037639481624/2695541728967114054\ 15662203123726480193645789*c_0101_6^4 - 2336257290873556063033196103356116852439186804/26955417289671140541\ 5662203123726480193645789*c_0101_6^3 - 8633555431960640113294234187332968779971083603/26955417289671140541\ 5662203123726480193645789*c_0101_6^2 + 717084365428039628489041906068694971432978304/269554172896711405415\ 662203123726480193645789*c_0101_6 + 271614668523633363418114680364755000128776932/269554172896711405415\ 662203123726480193645789, c_0101_6^23 - 5/2*c_0101_6^22 + 83/2*c_0101_6^21 - 403/8*c_0101_6^20 + 1031/2*c_0101_6^19 - 1687/8*c_0101_6^18 + 21293/8*c_0101_6^17 - 1297/8*c_0101_6^16 + 57155/8*c_0101_6^15 + 2287/4*c_0101_6^14 + 21851/2*c_0101_6^13 + 5477/4*c_0101_6^12 + 39471/4*c_0101_6^11 + 5163/4*c_0101_6^10 + 41531/8*c_0101_6^9 + 5297/8*c_0101_6^8 + 1448*c_0101_6^7 + 387/2*c_0101_6^6 + 287/2*c_0101_6^5 + 191/8*c_0101_6^4 - 11*c_0101_6^3 - 3/4*c_0101_6^2 + 1/2*c_0101_6 + 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB