Magma V2.19-8 Tue Aug 20 2013 16:19:12 on localhost [Seed = 374835986] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3323 geometric_solution 6.45575914 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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.386615698568 0.241423287485 2 0 3 0 0132 2310 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 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.752480068534 0.920623725261 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 1 0 -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 -1 0 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.418268088856 1.157437821981 6 5 4 1 1023 1023 3201 0132 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 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.418268088856 1.157437821981 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 -1 1 0 0 0 1 -1 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 -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.066536008982 1.022406304014 3 5 5 2 1023 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.426959342409 0.572108516468 6 3 2 6 3201 1023 0132 2310 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 0 0 0 0 0.626542809379 0.950280995061 ==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_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), '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' : negation(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' : 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' : d['c_0101_4'], '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' : negation(d['c_0101_4']), 'c_1001_2' : negation(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' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(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: 36 Groebner basis: [ t + 13765285334608689085248078906962178678744908917027941773/9803967395\ 4905577475973226149338348300895917112588232*c_0101_4^35 - 278604607478571840738835547509167578118130327540214039591/245099184\ 88726394368993306537334587075223979278147058*c_0101_4^33 - 54688803206047712221883499779310732028572521429275996237/4084986414\ 787732394832217756222431179203996546357843*c_0101_4^31 + 34757891788012139434282922927762283086656340781210960905503/4901983\ 6977452788737986613074669174150447958556294116*c_0101_4^29 + 6942923551952887247974236159388916483810575192568750874445/12254959\ 244363197184496653268667293537611989639073529*c_0101_4^27 - 615532639660135474566971695634518612617601953576608213409779/490198\ 36977452788737986613074669174150447958556294116*c_0101_4^25 + 2637294949833921682348758387413462981547078530829360440540779/98039\ 673954905577475973226149338348300895917112588232*c_0101_4^23 - 198791020630438369573087295835466960086389495141531241195215/816997\ 2829575464789664435512444862358407993092715686*c_0101_4^21 + 800101989906552123559236145118911400319567421831883044218241/980396\ 73954905577475973226149338348300895917112588232*c_0101_4^19 - 196724659973875470258704527343434779316341271161723380985215/245099\ 18488726394368993306537334587075223979278147058*c_0101_4^17 + 480662466037404677601547321654878340464664644398441307362899/980396\ 73954905577475973226149338348300895917112588232*c_0101_4^15 + 40901205673602354018012688495610708032561935063963826596745/2450991\ 8488726394368993306537334587075223979278147058*c_0101_4^13 + 7604903909994349154110341359023383685673198675863765929986/40849864\ 14787732394832217756222431179203996546357843*c_0101_4^11 + 14271462567846487857596863885313385069948195981157875123227/3267989\ 1318301859158657742049779449433631972370862744*c_0101_4^9 + 2077677301008577741315815506269296088183159606316627555933/98039673\ 954905577475973226149338348300895917112588232*c_0101_4^7 - 3627465173003322928819685682814131610975935868294499306971/49019836\ 977452788737986613074669174150447958556294116*c_0101_4^5 - 1112727835459514096408793069234293435813781761968262181413/49019836\ 977452788737986613074669174150447958556294116*c_0101_4^3 - 352401116348186418250577221970565344212959716884039779449/980396739\ 54905577475973226149338348300895917112588232*c_0101_4, c_0011_0 - 1, c_0011_1 - 699118110449688637646964097197685676443394714074364/40849864\ 14787732394832217756222431179203996546357843*c_0101_4^34 + 56831443202962757187416311316947893443790105345836358/4084986414787\ 732394832217756222431179203996546357843*c_0101_4^32 + 47863540939637726542219137870087535422374655683853618/4084986414787\ 732394832217756222431179203996546357843*c_0101_4^30 - 3550205798051228527831935477399097698489715708563427415/40849864147\ 87732394832217756222431179203996546357843*c_0101_4^28 - 1646741548207497711620892919728838888012556077412291434/40849864147\ 87732394832217756222431179203996546357843*c_0101_4^26 + 63303203439273215869337792560499988933256587361873145832/4084986414\ 787732394832217756222431179203996546357843*c_0101_4^24 - 154838895350977653828592276748581518773054711437610066253/408498641\ 4787732394832217756222431179203996546357843*c_0101_4^22 + 168334937840016558694296123598860376377071772956608734214/408498641\ 4787732394832217756222431179203996546357843*c_0101_4^20 - 86053440976320819268337310578022641258251545297852015393/4084986414\ 787732394832217756222431179203996546357843*c_0101_4^18 + 56865976009161000442332906079995472820967864248226148474/4084986414\ 787732394832217756222431179203996546357843*c_0101_4^16 - 36973050118052667121328294024813954521994018356220782868/4084986414\ 787732394832217756222431179203996546357843*c_0101_4^14 - 113527330851438988317697465163590719106412708392626285/408498641478\ 7732394832217756222431179203996546357843*c_0101_4^12 - 6606292147919041457923892742189998432078550366017777241/40849864147\ 87732394832217756222431179203996546357843*c_0101_4^10 - 108373919264319255792234200365645915189654964704929895/408498641478\ 7732394832217756222431179203996546357843*c_0101_4^8 + 371009191242948813522420570292329181476072704623167173/408498641478\ 7732394832217756222431179203996546357843*c_0101_4^6 + 236512214077158682495540337918186119038255738034061098/408498641478\ 7732394832217756222431179203996546357843*c_0101_4^4 + 13410516230161152682775437213152802336847380355013056/4084986414787\ 732394832217756222431179203996546357843*c_0101_4^2 - 2440986903360782265636019502442730702894510851012671/40849864147877\ 32394832217756222431179203996546357843, c_0011_3 + 88794202748510206201480715956623621061973707547491/408498641\ 4787732394832217756222431179203996546357843*c_0101_4^35 - 7097342102959221509877387908345429117057388099723088/40849864147877\ 32394832217756222431179203996546357843*c_0101_4^33 - 15867394525257880603421843606809135166466580974446907/4084986414787\ 732394832217756222431179203996546357843*c_0101_4^31 + 440369532405642902076450209040621780715141407114969825/408498641478\ 7732394832217756222431179203996546357843*c_0101_4^29 + 820487805549286172794725161139355024796696202444433927/408498641478\ 7732394832217756222431179203996546357843*c_0101_4^27 - 7613832366863899263400278398638145042909627486203257091/40849864147\ 87732394832217756222431179203996546357843*c_0101_4^25 + 8795235979514856559013980280403422861191352726562882288/40849864147\ 87732394832217756222431179203996546357843*c_0101_4^23 + 2838224388852477210355944152682359290480660360959401928/40849864147\ 87732394832217756222431179203996546357843*c_0101_4^21 - 11917907334488654949137063804485126276675921531647724178/4084986414\ 787732394832217756222431179203996546357843*c_0101_4^19 + 746264054277983798184384495551821425806368876555394269/408498641478\ 7732394832217756222431179203996546357843*c_0101_4^17 - 1389759963575260198053472904644827915211947761010470378/40849864147\ 87732394832217756222431179203996546357843*c_0101_4^15 + 3843201776499149029110001001152532794353994369617266492/40849864147\ 87732394832217756222431179203996546357843*c_0101_4^13 + 2497221658624987375992071305187694946719863141699617499/40849864147\ 87732394832217756222431179203996546357843*c_0101_4^11 + 1099909174473312371564602999522731964294322889099114108/40849864147\ 87732394832217756222431179203996546357843*c_0101_4^9 + 243649602448541619358244521153345578933742624803557713/408498641478\ 7732394832217756222431179203996546357843*c_0101_4^7 - 81332040875261413359029445468603948575626206434185712/4084986414787\ 732394832217756222431179203996546357843*c_0101_4^5 - 57292943618853131856096758569388120999740901284850976/4084986414787\ 732394832217756222431179203996546357843*c_0101_4^3 - 6753607421230100644742482538884468116039413719954272/40849864147877\ 32394832217756222431179203996546357843*c_0101_4, c_0101_0 - 1366167661271332637042714602553999319367474850313370/4084986\ 414787732394832217756222431179203996546357843*c_0101_4^35 + 110766312154044967031961316933076208898375556798819620/408498641478\ 7732394832217756222431179203996546357843*c_0101_4^33 + 117070131418065325184588711209039639458799764163890301/408498641478\ 7732394832217756222431179203996546357843*c_0101_4^31 - 6916715259877954956634007291802903156665399605131316956/40849864147\ 87732394832217756222431179203996546357843*c_0101_4^29 - 4688533458527593354164187172899037469534476976259556138/40849864147\ 87732394832217756222431179203996546357843*c_0101_4^27 + 122956988294441282152615856737697575208550158502151535236/408498641\ 4787732394832217756222431179203996546357843*c_0101_4^25 - 276357372717837085452750516920414283920829212831772539610/408498641\ 4787732394832217756222431179203996546357843*c_0101_4^23 + 265912449739806507005184793077417460422169469702922568469/408498641\ 4787732394832217756222431179203996546357843*c_0101_4^21 - 101410992152002683204514717485085780379147778644456072397/408498641\ 4787732394832217756222431179203996546357843*c_0101_4^19 + 79140344190446881857111936226845651690513420027592628751/4084986414\ 787732394832217756222431179203996546357843*c_0101_4^17 - 51061319350863544389781512118018070368308650907952916840/4084986414\ 787732394832217756222431179203996546357843*c_0101_4^15 - 13984927183547013695958932506033725703417496466143318065/4084986414\ 787732394832217756222431179203996546357843*c_0101_4^13 - 13959980359377696675010193508118032428215474684964477416/4084986414\ 787732394832217756222431179203996546357843*c_0101_4^11 - 2730927274676076732354031047933149926853354982091079324/40849864147\ 87732394832217756222431179203996546357843*c_0101_4^9 + 494379997298234488874344178467780892907886753852390284/408498641478\ 7732394832217756222431179203996546357843*c_0101_4^7 + 649826629997441710190157474874713518660298461379814238/408498641478\ 7732394832217756222431179203996546357843*c_0101_4^5 + 126644828819856169096178299712027936692570987351074087/408498641478\ 7732394832217756222431179203996546357843*c_0101_4^3 + 10258407040483739415459660575867751490100473163992831/4084986414787\ 732394832217756222431179203996546357843*c_0101_4, c_0101_1 - 627488467061442741003984129802148123586030418013742/40849864\ 14787732394832217756222431179203996546357843*c_0101_4^34 + 51076716115701871136516978701207981861609028711350714/4084986414787\ 732394832217756222431179203996546357843*c_0101_4^32 + 37411750392398098063174912140175256721273973587956815/4084986414787\ 732394832217756222431179203996546357843*c_0101_4^30 - 3189882764159049128923530892643722981835730178340707741/40849864147\ 87732394832217756222431179203996546357843*c_0101_4^28 - 1131567992100646642689616960895954695181725323395357636/40849864147\ 87732394832217756222431179203996546357843*c_0101_4^26 + 56900247082995765481746509591599752120662631723759905728/4084986414\ 787732394832217756222431179203996546357843*c_0101_4^24 - 145160201040235031363218461521264185832896149925410576134/408498641\ 4787732394832217756222431179203996546357843*c_0101_4^22 + 167545066554871593118697556832055709045224700477445662692/408498641\ 4787732394832217756222431179203996546357843*c_0101_4^20 - 97219698647481873303260367282855584087507545322456317671/4084986414\ 787732394832217756222431179203996546357843*c_0101_4^18 + 63629305101800663757334125056269356490799540961150359555/4084986414\ 787732394832217756222431179203996546357843*c_0101_4^16 - 41199311914156887504118386942342833706819099495466558081/4084986414\ 787732394832217756222431179203996546357843*c_0101_4^14 + 5068616221907244174437785185493380047286094108632482073/40849864147\ 87732394832217756222431179203996546357843*c_0101_4^12 - 6964349833436566225299457109200329706080101682344252141/40849864147\ 87732394832217756222431179203996546357843*c_0101_4^10 + 686773573731675580092124163127698828738340790605608825/408498641478\ 7732394832217756222431179203996546357843*c_0101_4^8 + 196605152497791807518607755463962047963737199153343042/408498641478\ 7732394832217756222431179203996546357843*c_0101_4^6 + 196824193207619858370901057904108708237045041491900324/408498641478\ 7732394832217756222431179203996546357843*c_0101_4^4 - 692146268073835049508508760971934976744601039975660/408498641478773\ 2394832217756222431179203996546357843*c_0101_4^2 + 1704280205553154768768757741670178353886631974987517/40849864147877\ 32394832217756222431179203996546357843, c_0101_3 + 565927556664040171399655529687448984543027227309894/40849864\ 14787732394832217756222431179203996546357843*c_0101_4^34 - 46008493613750865875893837200621623862680318989620614/4084986414787\ 732394832217756222431179203996546357843*c_0101_4^32 - 38399701389366789187483530176659630731780862251783997/4084986414787\ 732394832217756222431179203996546357843*c_0101_4^30 + 2873392637914011313977649054865662178757772522199361852/40849864147\ 87732394832217756222431179203996546357843*c_0101_4^28 + 1311575776302459019871308190823799443052472044099588207/40849864147\ 87732394832217756222431179203996546357843*c_0101_4^26 - 51206790537745233314691204562946942257945410676606367287/4084986414\ 787732394832217756222431179203996546357843*c_0101_4^24 + 125724690656960656644186882669648517750203664622366385622/408498641\ 4787732394832217756222431179203996546357843*c_0101_4^22 - 138004239011263193861170449157824654222525232016470654737/408498641\ 4787732394832217756222431179203996546357843*c_0101_4^20 + 72865766358449536857203186316447187270242462705814560304/4084986414\ 787732394832217756222431179203996546357843*c_0101_4^18 - 49253673861848282000640214633030830880951048803516103698/4084986414\ 787732394832217756222431179203996546357843*c_0101_4^16 + 31964827985036457278712176809351702270550890789842577360/4084986414\ 787732394832217756222431179203996546357843*c_0101_4^14 - 1117228828773717080242749834354700580909791767479076289/40849864147\ 87732394832217756222431179203996546357843*c_0101_4^12 + 5921190816982601687211155619661140080729558317364606765/40849864147\ 87732394832217756222431179203996546357843*c_0101_4^10 - 46539860975952619165586448548394401620898950601677052/4084986414787\ 732394832217756222431179203996546357843*c_0101_4^8 - 210828138319292899918483094633723614103919281977271643/408498641478\ 7732394832217756222431179203996546357843*c_0101_4^6 - 191585135109376030851861006797042099461309399333413690/408498641478\ 7732394832217756222431179203996546357843*c_0101_4^4 - 9331496397315053555552706898460290893077735328378614/40849864147877\ 32394832217756222431179203996546357843*c_0101_4^2 + 327505677027488724150542710225125872896868415104966/408498641478773\ 2394832217756222431179203996546357843, c_0101_4^36 - 81*c_0101_4^34 - 92*c_0101_4^32 + 5054*c_0101_4^30 + 3826*c_0101_4^28 - 89598*c_0101_4^26 + 195293*c_0101_4^24 - 181255*c_0101_4^22 + 65353*c_0101_4^20 - 59613*c_0101_4^18 + 37283*c_0101_4^16 + 10441*c_0101_4^14 + 12764*c_0101_4^12 + 2573*c_0101_4^10 + 24*c_0101_4^8 - 531*c_0101_4^6 - 140*c_0101_4^4 - 19*c_0101_4^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB