Magma V2.19-8 Tue Aug 20 2013 16:19:01 on localhost [Seed = 374836094] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3175 geometric_solution 6.32171453 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.506940129196 0.401956562662 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.281899437201 0.558381466790 1 4 5 6 0132 0132 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 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.645161538227 0.623985621738 6 5 4 1 0132 1023 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.645161538227 0.623985621738 4 2 3 4 3012 0132 1023 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.435696109426 0.854034428835 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 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 0 0 -1 0 0 1 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.475928380409 0.579462786509 3 6 2 6 0132 2310 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 0 0 0 0 -1 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 1.036587837473 1.021902152654 ==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' : negation(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' : negation(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_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : 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' : d['c_0101_1'], '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_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), '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_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], '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' : d['c_0101_0'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], '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_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 28679592454837816283571510761449/654024797342671486408866758128*c_0\ 101_4^27 - 252493518624605077028184776328133/3270123986713357432044\ 33379064*c_0101_4^25 + 4246685780553715395245934741721363/654024797\ 342671486408866758128*c_0101_4^23 - 25024300302648391018618656613077331/654024797342671486408866758128*\ c_0101_4^21 + 3811847130946330318572452543035990/408765498339169679\ 00554172383*c_0101_4^19 - 48866101709698053434479091967294549/65402\ 4797342671486408866758128*c_0101_4^17 + 594009816719178281166021161676161/3013939158261158923543164784*c_01\ 01_4^15 + 6858838938642349102166942621198585/6540247973426714864088\ 66758128*c_0101_4^13 - 176795106123856195392018541488159391/6540247\ 97342671486408866758128*c_0101_4^11 - 4392990072158994878928699063266726/40876549833916967900554172383*c_\ 0101_4^9 + 1416313167879375102299686394241401/467160569530479633149\ 19054152*c_0101_4^7 + 15924873952773931605410722099532949/654024797\ 342671486408866758128*c_0101_4^5 + 997695686199236996145222535494199/327012398671335743204433379064*c_\ 0101_4^3 - 406300201632037297265718853552069/6540247973426714864088\ 66758128*c_0101_4, c_0011_0 - 1, c_0011_1 + 13823210460525382129503789/188371197391322432721447799*c_010\ 1_4^26 - 261340329601334790594882240/188371197391322432721447799*c_\ 0101_4^24 + 2373095953118557567134105053/18837119739132243272144779\ 9*c_0101_4^22 - 14905021362760065626777093900/188371197391322432721\ 447799*c_0101_4^20 + 46673386396070164833243384188/1883711973913224\ 32721447799*c_0101_4^18 - 71526998298810818551389369801/18837119739\ 1322432721447799*c_0101_4^16 + 119598114264169004806800087904/18837\ 1197391322432721447799*c_0101_4^14 - 108552530404941620466678009810/188371197391322432721447799*c_0101_4\ ^12 - 27276481368275878727663279222/188371197391322432721447799*c_0\ 101_4^10 + 47696880921862817200287679008/18837119739132243272144779\ 9*c_0101_4^8 + 4924265918110427082526801135/18837119739132243272144\ 7799*c_0101_4^6 - 5256790322475507972999687736/18837119739132243272\ 1447799*c_0101_4^4 - 1768760447655885115457183087/18837119739132243\ 2721447799*c_0101_4^2 + 446206562942575764690368743/188371197391322\ 432721447799, c_0011_3 - 14695525165971104069192007/376742394782644865442895598*c_010\ 1_4^27 + 115188126914870575640780071/188371197391322432721447799*c_\ 0101_4^25 - 1654024471438726046552149305/37674239478264486544289559\ 8*c_0101_4^23 + 8216927047758585882680788781/3767423947826448654428\ 95598*c_0101_4^21 - 1494378745831138502004477439/188371197391322432\ 721447799*c_0101_4^19 - 56501270688809245377302425537/3767423947826\ 44865442895598*c_0101_4^17 + 40335553820288157025306521917/37674239\ 4782644865442895598*c_0101_4^15 - 198571506296331795980349819099/37\ 6742394782644865442895598*c_0101_4^13 + 219074915302658909750809785665/376742394782644865442895598*c_0101_4\ ^11 + 73639895178983063637043931534/188371197391322432721447799*c_0\ 101_4^9 - 21369657815122337287532340222/188371197391322432721447799\ *c_0101_4^7 - 31944744458591388200146564397/37674239478264486544289\ 5598*c_0101_4^5 - 1416766470997230993460269099/18837119739132243272\ 1447799*c_0101_4^3 + 2568863224248895950877995003/37674239478264486\ 5442895598*c_0101_4, c_0101_0 + 225209403640609492112278647/376742394782644865442895598*c_01\ 01_4^27 - 2023023616595804933657205083/188371197391322432721447799*\ c_0101_4^25 + 34797011798100177776962708419/37674239478264486544289\ 5598*c_0101_4^23 - 208993664546200153991859106611/37674239478264486\ 5442895598*c_0101_4^21 + 277040160412174517898454365210/18837119739\ 1322432721447799*c_0101_4^19 - 584497804498628067077763136135/37674\ 2394782644865442895598*c_0101_4^17 + 1231124757532636702862776723071/376742394782644865442895598*c_0101_\ 4^15 - 406174185559269317477726797875/376742394782644865442895598*c\ _0101_4^13 - 1216758382640111452865872044793/3767423947826448654428\ 95598*c_0101_4^11 - 77001387924811083738074312304/18837119739132243\ 2721447799*c_0101_4^9 + 107981941483353500614654207218/188371197391\ 322432721447799*c_0101_4^7 + 76124266660997470458963204213/37674239\ 4782644865442895598*c_0101_4^5 - 3849852266712077454619245301/18837\ 1197391322432721447799*c_0101_4^3 - 4356112496727625331533101745/376742394782644865442895598*c_0101_4, c_0101_1 + 868525697638932634664984/188371197391322432721447799*c_0101_\ 4^26 - 27221758485369174550387543/188371197391322432721447799*c_010\ 1_4^24 + 346272191914774611228803495/188371197391322432721447799*c_\ 0101_4^22 - 2662245631911896217644105048/18837119739132243272144779\ 9*c_0101_4^20 + 13453568005220849349005285800/188371197391322432721\ 447799*c_0101_4^18 - 34099742559466255406920397786/1883711973913224\ 32721447799*c_0101_4^16 + 44070410543973153027255405266/18837119739\ 1322432721447799*c_0101_4^14 - 76316150522391996619825383233/188371\ 197391322432721447799*c_0101_4^12 + 37495251695762212558743037061/188371197391322432721447799*c_0101_4^\ 10 + 50427656612593728731562177117/188371197391322432721447799*c_01\ 01_4^8 - 6797399067451671887476932182/188371197391322432721447799*c\ _0101_4^6 - 8107138109636432266823571195/18837119739132243272144779\ 9*c_0101_4^4 - 1320294436953129195937419755/18837119739132243272144\ 7799*c_0101_4^2 + 743507968290875164663514903/188371197391322432721\ 447799, c_0101_3 - 2664600577465953971575869/188371197391322432721447799*c_0101\ _4^26 + 39176497172204015596366238/188371197391322432721447799*c_01\ 01_4^24 - 253302899839670263442603800/188371197391322432721447799*c\ _0101_4^22 + 1089270196287537021310355299/1883711973913224327214477\ 99*c_0101_4^20 + 1863319361251347378638060420/188371197391322432721\ 447799*c_0101_4^18 - 16609437270685363166138507415/1883711973913224\ 32721447799*c_0101_4^16 + 13987713622964946306075085584/18837119739\ 1322432721447799*c_0101_4^14 - 50022316295180712887968480481/188371\ 197391322432721447799*c_0101_4^12 + 43849970102817594660555037918/188371197391322432721447799*c_0101_4^\ 10 + 41240329562292565274938232151/188371197391322432721447799*c_01\ 01_4^8 - 6972172677175471971724603030/188371197391322432721447799*c\ _0101_4^6 - 7340965327713179535121913899/18837119739132243272144779\ 9*c_0101_4^4 - 653514875945901828878545469/188371197391322432721447\ 799*c_0101_4^2 + 516701102980823248827451903/1883711973913224327214\ 47799, c_0101_4^28 - 18*c_0101_4^26 + 155*c_0101_4^24 - 931*c_0101_4^22 + 2472*c_0101_4^20 - 2557*c_0101_4^18 + 5209*c_0101_4^16 - 1559*c_0101_4^14 - 6159*c_0101_4^12 - 24*c_0101_4^10 + 1518*c_0101_4^8 + 221*c_0101_4^6 - 138*c_0101_4^4 - 29*c_0101_4^2 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB