Magma V2.19-8 Tue Aug 20 2013 16:18:23 on localhost [Seed = 139040038] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2581 geometric_solution 5.87893295 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.544659095830 0.236096586693 2 0 3 0 0132 2310 0132 0132 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 1 -1 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.909748893573 0.433880286761 1 4 3 5 0132 0132 3012 0132 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 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.797555909702 0.832991805497 5 2 4 1 3201 1230 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 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.797555909702 0.832991805497 4 2 4 3 2031 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.547788401670 1.073362984746 6 6 2 3 0132 2310 0132 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 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.123637332763 1.580145592131 5 6 6 5 0132 1230 3012 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 -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.205606148274 0.445717644999 ==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' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(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_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : 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_1'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_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_1, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 42 Groebner basis: [ t + 339187992995171598455412221607264146464503912049087/239591919756816\ 81861556939006763255581290500876*c_0101_3^40 - 11804436431716249390911117666975461753192195442180457/2395919197568\ 1681861556939006763255581290500876*c_0101_3^38 + 44527810520239330496803722723309990733948887213016146/5989797993920\ 420465389234751690813895322625219*c_0101_3^36 - 1592503935125224057247882879225108020063496553691282607/23959191975\ 681681861556939006763255581290500876*c_0101_3^34 + 9775917289448752620445214545788665928067778228820312341/23959191975\ 681681861556939006763255581290500876*c_0101_3^32 - 44748077809897423505441350589311703635054476789054305041/2395919197\ 5681681861556939006763255581290500876*c_0101_3^30 + 79894178691287628955564136734936984633807614488214326045/1197959598\ 7840840930778469503381627790645250438*c_0101_3^28 - 457011680023429573889878166897996267642964188555513617579/239591919\ 75681681861556939006763255581290500876*c_0101_3^26 + 1063519104308318541414483390454522985129364173155239810155/23959191\ 975681681861556939006763255581290500876*c_0101_3^24 - 2027825148016185770287644645042443392071073995274084679383/23959191\ 975681681861556939006763255581290500876*c_0101_3^22 + 1585219645574399998902678362749708489700539240538930473739/11979595\ 987840840930778469503381627790645250438*c_0101_3^20 - 2022860578148298278336775916315316567924377856508984143697/11979595\ 987840840930778469503381627790645250438*c_0101_3^18 + 4167587022274475692716208735930643435328254455153871234023/23959191\ 975681681861556939006763255581290500876*c_0101_3^16 - 1706052289430923474535948275187620751903806374120119501607/11979595\ 987840840930778469503381627790645250438*c_0101_3^14 + 543564676561212709803430399935085329065529036466319592679/598979799\ 3920420465389234751690813895322625219*c_0101_3^12 - 258518423970688245086057321654129453166003701251902317072/598979799\ 3920420465389234751690813895322625219*c_0101_3^10 + 339842561846548204027045315595687853436596889184072871157/239591919\ 75681681861556939006763255581290500876*c_0101_3^8 - 1512036851172392309218223267156073791969721305295935755/50977004203\ 5780465139509340569430969814691508*c_0101_3^6 + 8702534047769364334147520836159094350628810369263559881/23959191975\ 681681861556939006763255581290500876*c_0101_3^4 - 552012477360842739188080807934032439429328130780578035/239591919756\ 81681861556939006763255581290500876*c_0101_3^2 + 6804125535541614438374009408863785922262300559685369/11979595987840\ 840930778469503381627790645250438, c_0011_0 - 1, c_0011_1 + 5023118993170304522295160586338199385801835278163/1197959598\ 7840840930778469503381627790645250438*c_0101_3^40 - 174824626288950976621025652976731953510972400128963/119795959878408\ 40930778469503381627790645250438*c_0101_3^38 + 1319016716255118599375175761790471968106561167737189/59897979939204\ 20465389234751690813895322625219*c_0101_3^36 - 23588889866765868431312570402396130423007306762991039/1197959598784\ 0840930778469503381627790645250438*c_0101_3^34 + 144819359011705743239340294033548989006258499132162063/119795959878\ 40840930778469503381627790645250438*c_0101_3^32 - 662962151595227445064792966772605302083963883504508191/119795959878\ 40840930778469503381627790645250438*c_0101_3^30 + 1183801780546070108731881324231460372549569668916920200/59897979939\ 20420465389234751690813895322625219*c_0101_3^28 - 6772457900549072162480322396333747015778824388228050643/11979595987\ 840840930778469503381627790645250438*c_0101_3^26 + 15762561851981816958824008209889708984190343951954469835/1197959598\ 7840840930778469503381627790645250438*c_0101_3^24 - 30059703748766392202930718640605845285949607381852345727/1197959598\ 7840840930778469503381627790645250438*c_0101_3^22 + 23503374633267648741002886673336514514499520421286403506/5989797993\ 920420465389234751690813895322625219*c_0101_3^20 - 29999397002999834142323210650407384193797359840846060352/5989797993\ 920420465389234751690813895322625219*c_0101_3^18 + 61825100821896698858313549768979307668944725789164741425/1197959598\ 7840840930778469503381627790645250438*c_0101_3^16 - 25318908416685907304456598961640095870413031768942286828/5989797993\ 920420465389234751690813895322625219*c_0101_3^14 + 16142176442095711217781633056024860393097271222050391198/5989797993\ 920420465389234751690813895322625219*c_0101_3^12 - 7683038834453023281197025043956321631124985653151207955/59897979939\ 20420465389234751690813895322625219*c_0101_3^10 + 5056228840398496525731894628150022336370356653237759687/11979595987\ 840840930778469503381627790645250438*c_0101_3^8 - 22539874363232768619020741066889490395353278571074845/2548850210178\ 90232569754670284715484907345754*c_0101_3^6 + 130089928043553328026220024194096385607839571540381885/119795959878\ 40840930778469503381627790645250438*c_0101_3^4 - 8282424049386790888798927878507971996256639537871215/11979595987840\ 840930778469503381627790645250438*c_0101_3^2 + 102511361248348226929288964842945853286339590272381/598979799392042\ 0465389234751690813895322625219, c_0011_3 + 4097578659122483324689456229299601252856928063801/1197959598\ 7840840930778469503381627790645250438*c_0101_3^40 - 142612855785848007994515812299919437281608141660815/119795959878408\ 40930778469503381627790645250438*c_0101_3^38 + 1075992515578234380799536445512866151338521970249368/59897979939204\ 20465389234751690813895322625219*c_0101_3^36 - 19242872016906923710779894361292298479596572854019639/1197959598784\ 0840930778469503381627790645250438*c_0101_3^34 + 118138859695456519520874575297873088167236717481900231/119795959878\ 40840930778469503381627790645250438*c_0101_3^32 - 540827647984068559218660345342462365651547082791425461/119795959878\ 40840930778469503381627790645250438*c_0101_3^30 + 965724963920626161444524109929099538300919377392792016/598979799392\ 0420465389234751690813895322625219*c_0101_3^28 - 5524914144891800360997218100421159488087491145322569067/11979595987\ 840840930778469503381627790645250438*c_0101_3^26 + 12859122334329990162950318262973920443716540617870474997/1197959598\ 7840840930778469503381627790645250438*c_0101_3^24 - 24523095727233587372702279039736556978824665960165005847/1197959598\ 7840840930778469503381627790645250438*c_0101_3^22 + 19174671139381763906123695536268464642023909469579446536/5989797993\ 920420465389234751690813895322625219*c_0101_3^20 - 24474775780817652601328262402617002067823684062337760256/5989797993\ 920420465389234751690813895322625219*c_0101_3^18 + 50440744099808859258070476119619757698405627348031783437/1197959598\ 7840840930778469503381627790645250438*c_0101_3^16 - 20657353682256333165947205423464034860553416801306634159/5989797993\ 920420465389234751690813895322625219*c_0101_3^14 + 13170684489851817199440763559998746919354549412490710857/5989797993\ 920420465389234751690813895322625219*c_0101_3^12 - 6269055496583126164446175787184345892630707303271743077/59897979939\ 20420465389234751690813895322625219*c_0101_3^10 + 4126009854330410013261148447897639179382193674344126355/11979595987\ 840840930778469503381627790645250438*c_0101_3^8 - 18395023860846307785208387519099126143271300382970115/2548850210178\ 90232569754670284715484907345754*c_0101_3^6 + 106179666566463866338044933031697094766014044027753515/119795959878\ 40840930778469503381627790645250438*c_0101_3^4 - 6760819131666485734639207272887114565653908146004625/11979595987840\ 840930778469503381627790645250438*c_0101_3^2 + 83684584684131825446245558143213511417734699542097/5989797993920420\ 465389234751690813895322625219, c_0011_5 - 1078719577034792182282196121500213112738137089547/1197959598\ 7840840930778469503381627790645250438*c_0101_3^40 + 37544553535260313350409958465004436793270935098703/1197959598784084\ 0930778469503381627790645250438*c_0101_3^38 - 283273911183501369258942412253330900845686681137146/598979799392042\ 0465389234751690813895322625219*c_0101_3^36 + 5066150232889821315817971053953816345229456051408655/11979595987840\ 840930778469503381627790645250438*c_0101_3^34 - 31103759222294970708518106345856926763776199593606801/1197959598784\ 0840930778469503381627790645250438*c_0101_3^32 + 142394011709025861296474810134418359414179616752434883/119795959878\ 40840930778469503381627790645250438*c_0101_3^30 - 254272933867611290108144898667170918532942723909429476/598979799392\ 0420465389234751690813895322625219*c_0101_3^28 + 1454747151295769591558527724841375184741320755865061601/11979595987\ 840840930778469503381627790645250438*c_0101_3^26 - 3386027744365529927589605149488986729423492814379031923/11979595987\ 840840930778469503381627790645250438*c_0101_3^24 + 6457647198708319210430801446423086482940272106846526065/11979595987\ 840840930778469503381627790645250438*c_0101_3^22 - 5049522896675000191252136195387336339693525728894248406/59897979939\ 20420465389234751690813895322625219*c_0101_3^20 + 6445689988876926680191690150809696733930275101379412132/59897979939\ 20420465389234751690813895322625219*c_0101_3^18 - 13285178749721921100635573889798004510704989138969147067/1197959598\ 7840840930778469503381627790645250438*c_0101_3^16 + 5441333292416016562760858605561855633844127299978063474/59897979939\ 20420465389234751690813895322625219*c_0101_3^14 - 3469740109616942247234989464533720318815966457248509289/59897979939\ 20420465389234751690813895322625219*c_0101_3^12 + 1651858339949776226593608396672210965876597914630555004/59897979939\ 20420465389234751690813895322625219*c_0101_3^10 - 1087501941915502972337195739288886655489213697177557407/11979595987\ 840840930778469503381627790645250438*c_0101_3^8 + 4850522080077716086269775594230164548371110763108339/25488502101789\ 0232569754670284715484907345754*c_0101_3^6 - 28014212489954203226119410840106804745547459112426203/1197959598784\ 0840930778469503381627790645250438*c_0101_3^4 + 1785029895400749725906904272176150978899936767028003/11979595987840\ 840930778469503381627790645250438*c_0101_3^2 - 22113090832289457366080934450468147328637576708613/5989797993920420\ 465389234751690813895322625219, c_0101_0 - 12199390040359444379284650646846509932185319396387/239591919\ 75681681861556939006763255581290500876*c_0101_3^41 + 424581649958907801384913867609584087158663461854045/239591919756816\ 81861556939006763255581290500876*c_0101_3^39 - 1601662913491484797883780586919471149377935233531858/59897979939204\ 20465389234751690813895322625219*c_0101_3^37 + 57286067457533303329903647936140470767631697323070333/2395919197568\ 1681861556939006763255581290500876*c_0101_3^35 - 351688297378371515314778629896508522274087971406992229/239591919756\ 81681861556939006763255581290500876*c_0101_3^33 + 1609938087758542203397503765895553380890401880141831659/23959191975\ 681681861556939006763255581290500876*c_0101_3^31 - 2874667876252294915095995863941630932160176944078866625/11979595987\ 840840930778469503381627790645250438*c_0101_3^29 + 16445309552387552660912949473763611724484356751244413339/2395919197\ 5681681861556939006763255581290500876*c_0101_3^27 - 38274370542167295063764351982349265979001123784850216545/2395919197\ 5681681861556939006763255581290500876*c_0101_3^25 + 72987642035454056417783082996069924502790120325175875937/2395919197\ 5681681861556939006763255581290500876*c_0101_3^23 - 28532865301637833858675080338909467709173883746075129614/5989797993\ 920420465389234751690813895322625219*c_0101_3^21 + 36417014249863699133944603601584351829693558615972955912/5989797993\ 920420465389234751690813895322625219*c_0101_3^19 - 150092094558314225932098240445786539221029867194357440077/239591919\ 75681681861556939006763255581290500876*c_0101_3^17 + 61461313900732714407999118329773470792514537508793926639/1197959598\ 7840840930778469503381627790645250438*c_0101_3^15 - 39180769833000221559480419527093494441574492201536439291/1197959598\ 7840840930778469503381627790645250438*c_0101_3^13 + 9322881622769124473530086497723205405884181881850747850/59897979939\ 20420465389234751690813895322625219*c_0101_3^11 - 12268090753155844271429111746570511386849047579145925987/2395919197\ 5681681861556939006763255581290500876*c_0101_3^9 + 54672910180606895949444312596121255605708313691373517/5097700420357\ 80465139509340569430969814691508*c_0101_3^7 - 315443871854806977723660736960465471489924260493700913/239591919756\ 81681861556939006763255581290500876*c_0101_3^5 + 20076934575383314454723939749920911635148123292664175/2395919197568\ 1681861556939006763255581290500876*c_0101_3^3 - 124191724607118181727599265190275218827684141839688/598979799392042\ 0465389234751690813895322625219*c_0101_3, c_0101_1 - 2945806388165129935860669196348518007051929487265/1197959598\ 7840840930778469503381627790645250438*c_0101_3^40 + 102526733777231926629921989531074805905115557803141/119795959878408\ 40930778469503381627790645250438*c_0101_3^38 - 773552335246784741001292856173291881610819760871750/598979799392042\ 0465389234751690813895322625219*c_0101_3^36 + 13834158733456932860927176072478942605160984518594869/1197959598784\ 0840930778469503381627790645250438*c_0101_3^34 - 84933360510394921303761081631739802949160641463691679/1197959598784\ 0840930778469503381627790645250438*c_0101_3^32 + 388818826682084443746042407476007454398049952428598595/119795959878\ 40840930778469503381627790645250438*c_0101_3^30 - 694296523873510295624752826933715852902151393849048061/598979799392\ 0420465389234751690813895322625219*c_0101_3^28 + 3972103465512896324525068459114679661014490121225394659/11979595987\ 840840930778469503381627790645250438*c_0101_3^26 - 9245071804334304916377003617855134800968893466322461057/11979595987\ 840840930778469503381627790645250438*c_0101_3^24 + 17631076389490330192545273228202168088551684731674190031/1197959598\ 7840840930778469503381627790645250438*c_0101_3^22 - 13785955991005987914754537458782705133944965714845373976/5989797993\ 920420465389234751690813895322625219*c_0101_3^20 + 17596824014322735759417278601015294195949452444200417995/5989797993\ 920420465389234751690813895322625219*c_0101_3^18 - 36266474811071379984693942570861371428530915751355563943/1197959598\ 7840840930778469503381627790645250438*c_0101_3^16 + 14852828067359681239301303134467079414552305310929228322/5989797993\ 920420465389234751690813895322625219*c_0101_3^14 - 9470145886887441534425321485177669004822380564217108209/59897979939\ 20420465389234751690813895322625219*c_0101_3^12 + 4507857191548384874773697366607605856130516265249875557/59897979939\ 20420465389234751690813895322625219*c_0101_3^10 - 2967081145153404454772522966251355472067890593416410077/11979595987\ 840840930778469503381627790645250438*c_0101_3^8 + 13229540562440434427287479344795169446531504138807763/2548850210178\ 90232569754670284715484907345754*c_0101_3^6 - 76372879195615250795770442091183791458725942740464983/1197959598784\ 0840930778469503381627790645250438*c_0101_3^4 + 4863439512056621411948220706381745698199202125573547/11979595987840\ 840930778469503381627790645250438*c_0101_3^2 - 60200014295130048528157176810462030962785766574615/5989797993920420\ 465389234751690813895322625219, c_0101_3^42 - 35*c_0101_3^40 + 532*c_0101_3^38 - 4799*c_0101_3^36 + 29751*c_0101_3^34 - 137633*c_0101_3^32 + 497210*c_0101_3^30 - 1440641*c_0101_3^28 + 3402263*c_0101_3^26 - 6599323*c_0101_3^24 + 10531004*c_0101_3^22 - 13778724*c_0101_3^20 + 14649251*c_0101_3^18 - 12493354*c_0101_3^16 + 8403030*c_0101_3^14 - 4318800*c_0101_3^12 + 1606173*c_0101_3^10 - 408193*c_0101_3^8 + 67235*c_0101_3^6 - 6725*c_0101_3^4 + 364*c_0101_3^2 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB