Magma V2.19-8 Tue Aug 20 2013 16:17:52 on localhost [Seed = 1747580053] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2102 geometric_solution 5.60155102 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1302 2031 0132 0132 0 0 0 0 0 -1 0 1 1 0 0 -1 1 -1 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 0 1 0 0 -1 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.782163767659 1.431224043893 3 2 4 0 0132 1023 0132 0132 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 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.085090157408 1.297669248459 1 3 0 4 1023 3201 0132 2310 0 0 0 0 0 1 -1 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 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.085090157408 1.297669248459 1 5 2 5 0132 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.415889917575 1.180013822999 2 6 6 1 3201 0132 3201 0132 0 0 0 0 0 0 0 0 -1 0 1 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 0.427621370946 0.198540572151 3 3 5 5 3201 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.322666633786 0.196387271176 4 4 6 6 2310 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.782163767659 1.431224043893 ==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' : 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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0110_5'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_2'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0011_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_4, c_0101_1, c_0101_2, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 98/5*c_0101_6*c_0110_5^5 - 376/5*c_0101_6*c_0110_5^4 - 233/5*c_0101_6*c_0110_5^3 + 766/5*c_0101_6*c_0110_5^2 + 203/5*c_0101_6*c_0110_5 - 196/5*c_0101_6 + 191/5*c_0110_5^5 - 747/5*c_0110_5^4 - 406/5*c_0110_5^3 + 1552/5*c_0110_5^2 + 291/5*c_0110_5 - 442/5, c_0011_0 - 1, c_0011_1 - 2/5*c_0110_5^5 + 9/5*c_0110_5^4 - 3/5*c_0110_5^3 - 9/5*c_0110_5^2 + 8/5*c_0110_5 - 1/5, c_0011_4 - c_0101_6 - 1, c_0101_1 + 1/5*c_0110_5^5 - 7/5*c_0110_5^4 + 9/5*c_0110_5^3 + 17/5*c_0110_5^2 - 14/5*c_0110_5 - 7/5, c_0101_2 + 4/5*c_0101_6*c_0110_5^5 - 13/5*c_0101_6*c_0110_5^4 - 19/5*c_0101_6*c_0110_5^3 + 28/5*c_0101_6*c_0110_5^2 + 24/5*c_0101_6*c_0110_5 - 3/5*c_0101_6 + 4/5*c_0110_5^5 - 13/5*c_0110_5^4 - 19/5*c_0110_5^3 + 28/5*c_0110_5^2 + 24/5*c_0110_5 - 3/5, c_0101_6^2 + 1/5*c_0101_6*c_0110_5^5 - 7/5*c_0101_6*c_0110_5^4 + 9/5*c_0101_6*c_0110_5^3 + 17/5*c_0101_6*c_0110_5^2 - 14/5*c_0101_6*c_0110_5 + 8/5*c_0101_6 + 1, c_0110_5^6 - 4*c_0110_5^5 - 2*c_0110_5^4 + 9*c_0110_5^3 + 2*c_0110_5^2 - 4*c_0110_5 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_1, c_0101_2, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 1601138290907347030635539/36102422784989087811856*c_0110_5^17 - 32898179684801815581025209/180512113924945439059280*c_0110_5^16 + 26136355025518290399325931/13885547224995803004560*c_0110_5^15 - 389200695150306371377431267/180512113924945439059280*c_0110_5^14 + 408300721975950014037406447/22564014240618179882410*c_0110_5^13 - 453999378416174029392402469/36102422784989087811856*c_0110_5^12 + 887235659813343801745074583/11282007120309089941205*c_0110_5^11 - 6177808120799629858775184281/180512113924945439059280*c_0110_5^10 + 31888670605302878019850476207/180512113924945439059280*c_0110_5^9 - 784854245055643868902290307/16410192174995039914480*c_0110_5^8 + 17126507664422395123850009947/90256056962472719529640*c_0110_5^7 - 859928751648420724130490411/22564014240618179882410*c_0110_5^6 + 15471029388534874914786457291/180512113924945439059280*c_0110_5^5 - 1712151700764314856020278537/180512113924945439059280*c_0110_5^4 + 140952273495863359471653223/9025605696247271952964*c_0110_5^3 + 115162358054271258991381467/180512113924945439059280*c_0110_5^2 + 165267820985230899603313289/180512113924945439059280*c_0110_5 + 54601187969832947520201803/180512113924945439059280, c_0011_0 - 1, c_0011_1 - 518618614070062/1871549156386577*c_0110_5^17 + 2041530627489406/1871549156386577*c_0110_5^16 - 21516927418842945/1871549156386577*c_0110_5^15 + 20916163929893487/1871549156386577*c_0110_5^14 - 202041236568315464/1871549156386577*c_0110_5^13 + 105499778982425252/1871549156386577*c_0110_5^12 - 845255031725845013/1871549156386577*c_0110_5^11 + 216490868380827684/1871549156386577*c_0110_5^10 - 1791378171288990651/1871549156386577*c_0110_5^9 + 152939314011444601/1871549156386577*c_0110_5^8 - 1685661002821743339/1871549156386577*c_0110_5^7 + 32200296670274889/1871549156386577*c_0110_5^6 - 511384243060199263/1871549156386577*c_0110_5^5 - 62456813044217911/1871549156386577*c_0110_5^4 - 35144817185139678/1871549156386577*c_0110_5^3 - 20505594962411780/1871549156386577*c_0110_5^2 + 1180587687410426/1871549156386577*c_0110_5 - 424260061393367/1871549156386577, c_0011_4 - 10777525310358518945/15779030937495230687*c_0110_5^17 + 89857838654903373101/31558061874990461374*c_0110_5^16 - 4600494328138193275647/157790309374952306870*c_0110_5^15 + 1102316222846811772575/31558061874990461374*c_0110_5^14 - 22143919593935690480218/78895154687476153435*c_0110_5^13 + 33180359641727538391761/157790309374952306870*c_0110_5^12 - 192977260679125108302323/157790309374952306870*c_0110_5^11 + 94606401443943483038963/157790309374952306870*c_0110_5^10 - 217311801877605858665731/78895154687476153435*c_0110_5^9 + 142164383188414570736867/157790309374952306870*c_0110_5^8 - 469455550431721170384897/157790309374952306870*c_0110_5^7 + 60567824821553137957189/78895154687476153435*c_0110_5^6 - 216501992582188827129223/157790309374952306870*c_0110_5^5 + 18427466613329738881216/78895154687476153435*c_0110_5^4 - 20809085217231160821031/78895154687476153435*c_0110_5^3 + 630952785567534804333/78895154687476153435*c_0110_5^2 - 1340050643003165602951/78895154687476153435*c_0110_5 - 669123734608245969707/157790309374952306870, c_0101_1 - 4106315302606377926/78895154687476153435*c_0110_5^17 + 26498111927183362327/157790309374952306870*c_0110_5^16 - 313539472205376156081/157790309374952306870*c_0110_5^15 + 72589588793375831897/157790309374952306870*c_0110_5^14 - 1394795207302094915407/78895154687476153435*c_0110_5^13 - 767793350289233950039/157790309374952306870*c_0110_5^12 - 2120086171363034864341/31558061874990461374*c_0110_5^11 - 6905799623837133321421/157790309374952306870*c_0110_5^10 - 9750170828873824820917/78895154687476153435*c_0110_5^9 - 3876236557256685375653/31558061874990461374*c_0110_5^8 - 12163917395655184288531/157790309374952306870*c_0110_5^7 - 1978039771456426322172/15779030937495230687*c_0110_5^6 + 2628932215493120829501/157790309374952306870*c_0110_5^5 - 3913710587400512837606/78895154687476153435*c_0110_5^4 + 268955092648324187606/78895154687476153435*c_0110_5^3 - 99998537390200561981/15779030937495230687*c_0110_5^2 - 132855057341435940999/78895154687476153435*c_0110_5 - 11876474463946309361/31558061874990461374, c_0101_2 - 223718034612652467963/315580618749904613740*c_0110_5^17 + 232885334156382168597/78895154687476153435*c_0110_5^16 - 476915061097307323547/15779030937495230687*c_0110_5^15 + 11368439280628456521973/315580618749904613740*c_0110_5^14 - 91595395005635451180149/315580618749904613740*c_0110_5^13 + 34088701713758461418351/157790309374952306870*c_0110_5^12 - 198777882978751335944457/157790309374952306870*c_0110_5^11 + 38650971860832045999491/63116123749980922748*c_0110_5^10 - 889661666062865400909277/315580618749904613740*c_0110_5^9 + 144286300259548446222993/157790309374952306870*c_0110_5^8 - 189451829831058538671661/63116123749980922748*c_0110_5^7 + 245741563734344347220209/315580618749904613740*c_0110_5^6 - 84176122057376921982753/63116123749980922748*c_0110_5^5 + 36895521186297877784989/157790309374952306870*c_0110_5^4 - 18669429103698315544237/78895154687476153435*c_0110_5^3 + 961208145856731545329/157790309374952306870*c_0110_5^2 - 4028565105463986710703/315580618749904613740*c_0110_5 - 1037810532234707158041/315580618749904613740, c_0101_6 - 1, c_0110_5^18 - 4*c_0110_5^17 + 42*c_0110_5^16 - 44*c_0110_5^15 + 403*c_0110_5^14 - 239*c_0110_5^13 + 1745*c_0110_5^12 - 577*c_0110_5^11 + 3910*c_0110_5^10 - 636*c_0110_5^9 + 4183*c_0110_5^8 - 372*c_0110_5^7 + 1857*c_0110_5^6 + 18*c_0110_5^5 + 331*c_0110_5^4 + 61*c_0110_5^3 + 22*c_0110_5^2 + 10*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB