Magma V2.19-8 Tue Aug 20 2013 16:17:17 on localhost [Seed = 105355984] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1526 geometric_solution 5.32337714 oriented_manifold CS_known 0.0000000000000001 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.482159252573 0.158209953184 2 0 2 0 0132 2310 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.645435323473 0.456178701362 1 3 1 4 0132 0132 1023 0132 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.412701699810 1.151614883892 5 2 6 4 0132 0132 0132 2310 0 0 0 0 0 0 0 0 -1 0 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 -1 0 0 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 0.007279719940 0.923116634245 3 6 2 5 3201 1023 0132 3201 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.007279719940 0.923116634245 3 4 5 5 0132 2310 2031 1302 0 0 0 0 0 0 -1 1 1 0 -1 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 1 0 0 -1 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.389672099695 0.341161420847 4 6 6 3 1023 1230 3012 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.490370588067 0.960928690275 ==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' : negation(d['1']), 's_3_2' : negation(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' : negation(d['1']), 's_1_2' : negation(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_4'], 'c_1100_5' : negation(d['c_0101_1']), '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' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_6'], '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_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 117000966481648092088609463136878083590189097472485/149466010549720\ 9017111858053460447796838343308359648*c_0101_6^26 + 9469358449486046987154597076451863422998582129531191/14946601054972\ 09017111858053460447796838343308359648*c_0101_6^24 - 297143607507962754875831909096724189469610434547001027/149466010549\ 7209017111858053460447796838343308359648*c_0101_6^22 + 485072461839065512341630566372458825354140544981598985/186832513187\ 151127138982256682555974604792913544956*c_0101_6^20 - 3478769346378387836914065335456674447867838605804353939/37366502637\ 4302254277964513365111949209585827089912*c_0101_6^18 + 7569722218622228070648248131384041521747286565678978235/18683251318\ 7151127138982256682555974604792913544956*c_0101_6^16 - 15320703309446950353575283833073489170325841292001253535/7866632134\ 1958369321676739655813041938860174124192*c_0101_6^14 + 898868825614648191802173940327724449801236544897720946299/149466010\ 5497209017111858053460447796838343308359648*c_0101_6^12 - 417309946640886950588737632388179475103730231161721624539/373665026\ 374302254277964513365111949209585827089912*c_0101_6^10 + 930188879756502857832340961378026150266954846249992905041/747330052\ 748604508555929026730223898419171654179824*c_0101_6^8 - 300903674081695489485132746963545619327473610779307551521/373665026\ 374302254277964513365111949209585827089912*c_0101_6^6 + 102749940523438092106247935995053341583352587722113823501/373665026\ 374302254277964513365111949209585827089912*c_0101_6^4 - 56187726154984016602407495750224124213383370589927625633/1494660105\ 497209017111858053460447796838343308359648*c_0101_6^2 - 100247595613349362902533173683078007005374763594655149/747330052748\ 604508555929026730223898419171654179824, c_0011_0 - 1, c_0011_1 - 6521703373047732714123865156083755479459665907/3933316067097\ 9184660838369827906520969430087062096*c_0101_6^26 + 527356800751674461264875056587052720495683011795/393331606709791846\ 60838369827906520969430087062096*c_0101_6^24 - 16522745340852118803437341912949039852868154423443/3933316067097918\ 4660838369827906520969430087062096*c_0101_6^22 + 107471511262728205298978725323246575079712012821177/196665803354895\ 92330419184913953260484715043531048*c_0101_6^20 - 188737685229695852381260344201656955944361408778941/983329016774479\ 6165209592456976630242357521765524*c_0101_6^18 + 814586686662123248976296856904610367424080103595527/983329016774479\ 6165209592456976630242357521765524*c_0101_6^16 - 15838824892889551387437247747821710281548729974588063/3933316067097\ 9184660838369827906520969430087062096*c_0101_6^14 + 48130851425725915228245044736205355219680917293440243/3933316067097\ 9184660838369827906520969430087062096*c_0101_6^12 - 42827931508908630514764925772889592869976592158607071/1966658033548\ 9592330419184913953260484715043531048*c_0101_6^10 + 43899059982217055482508303811349108605550302212264411/1966658033548\ 9592330419184913953260484715043531048*c_0101_6^8 - 12008635067444637743492310499885886972007219623466975/9833290167744\ 796165209592456976630242357521765524*c_0101_6^6 + 1436970649169538889165896725789535251744185621208581/49166450838723\ 98082604796228488315121178760882762*c_0101_6^4 - 581148535975626086949062439713504128687060702634555/393331606709791\ 84660838369827906520969430087062096*c_0101_6^2 - 508813592880528153966989977806291372463215257213/245832254193619904\ 1302398114244157560589380441381, c_0011_4 + 620716220460180869892651568602263202153514003865/29893202109\ 94418034223716106920895593676686616719296*c_0101_6^27 - 50063802479205080192114606937520747198100610108089/2989320210994418\ 034223716106920895593676686616719296*c_0101_6^25 + 1562503752142939017516349991072951532516984027491209/29893202109944\ 18034223716106920895593676686616719296*c_0101_6^23 - 10078212389993663446178791510719743529020629506746491/1494660105497\ 209017111858053460447796838343308359648*c_0101_6^21 + 17089853589609219023280613176412455897763057000986935/7473300527486\ 04508555929026730223898419171654179824*c_0101_6^19 - 76074534374814865130961624056619146585349964713360485/7473300527486\ 04508555929026730223898419171654179824*c_0101_6^17 + 77186452958521834483119964795769136926051517582939855/1573326426839\ 16738643353479311626083877720348248384*c_0101_6^15 - 4390217349949122083482242331339384621679483781831314201/29893202109\ 94418034223716106920895593676686616719296*c_0101_6^13 + 3891209345868087435268432428304337118613947483595487245/14946601054\ 97209017111858053460447796838343308359648*c_0101_6^11 - 4074230861343768734898090257114209902370897061183259081/14946601054\ 97209017111858053460447796838343308359648*c_0101_6^9 + 1218733290455558659956037280656005716960362106327403533/74733005274\ 8604508555929026730223898419171654179824*c_0101_6^7 - 192279479620983091214376062638432072970962436573524623/373665026374\ 302254277964513365111949209585827089912*c_0101_6^5 + 206266886287101721325494434267666138528739316669656161/298932021099\ 4418034223716106920895593676686616719296*c_0101_6^3 - 34985470907762257577674985892201256423729426684565/4670812829678778\ 1784745564170638993651198228386239*c_0101_6, c_0101_0 + 22598110227408363728788964462834564517438373443/786663213419\ 58369321676739655813041938860174124192*c_0101_6^27 - 1826880192505681068022327577381465650998873808891/78666321341958369\ 321676739655813041938860174124192*c_0101_6^25 + 57221824258498198200874122854722432167807666778491/7866632134195836\ 9321676739655813041938860174124192*c_0101_6^23 - 372047296733509915172562088011903869994703305724325/393331606709791\ 84660838369827906520969430087062096*c_0101_6^21 + 653601250506122887334022704113491565724149261588653/196665803354895\ 92330419184913953260484715043531048*c_0101_6^19 - 2849840712520458131511872927722146151954625645380355/19666580335489\ 592330419184913953260484715043531048*c_0101_6^17 + 55073285571325105707477217698831913870528255598478527/7866632134195\ 8369321676739655813041938860174124192*c_0101_6^15 - 167847430294804998346549871880637551812162006707958091/786663213419\ 58369321676739655813041938860174124192*c_0101_6^13 + 151892510876204541306999041323086711662066947665990299/393331606709\ 79184660838369827906520969430087062096*c_0101_6^11 - 162333216162154040804049501483951886945499187727847891/393331606709\ 79184660838369827906520969430087062096*c_0101_6^9 + 49167497347688373169166748609118947861124733777216791/1966658033548\ 9592330419184913953260484715043531048*c_0101_6^7 - 7696336891743709683443671546013617652200829549891815/98332901677447\ 96165209592456976630242357521765524*c_0101_6^5 + 8437023232081666981009825201748166417911403414916171/78666321341958\ 369321676739655813041938860174124192*c_0101_6^3 - 63714179951580452712091936680966888561349170356421/9833290167744796\ 165209592456976630242357521765524*c_0101_6, c_0101_1 - 6712806127353140180896991029100274178961026743/3933316067097\ 9184660838369827906520969430087062096*c_0101_6^26 + 540604968873631215777366863598689317870566844039/393331606709791846\ 60838369827906520969430087062096*c_0101_6^24 - 16831652665684014523329716475335582463783727007815/3933316067097918\ 4660838369827906520969430087062096*c_0101_6^22 + 107948120822819260594552945167359725801904532566893/196665803354895\ 92330419184913953260484715043531048*c_0101_6^20 - 177934750426383234655303095459690659094778418002165/983329016774479\ 6165209592456976630242357521765524*c_0101_6^18 + 797002461646163220246676417420467770956505936450147/983329016774479\ 6165209592456976630242357521765524*c_0101_6^16 - 15425241400451811440117118516189789311400869259841619/3933316067097\ 9184660838369827906520969430087062096*c_0101_6^14 + 45383662954979070584101934275130409935383725201295559/3933316067097\ 9184660838369827906520969430087062096*c_0101_6^12 - 38776680314787762336666719962987808365980209577224403/1966658033548\ 9592330419184913953260484715043531048*c_0101_6^10 + 37878841822815980098433587480065021199279271348335183/1966658033548\ 9592330419184913953260484715043531048*c_0101_6^8 - 9817585647340379340182336640837546737123867947991227/98332901677447\ 96165209592456976630242357521765524*c_0101_6^6 + 1113801389852168881315248168077854965799668628782825/49166450838723\ 98082604796228488315121178760882762*c_0101_6^4 - 489391833525470546295359849139483516619311648981151/393331606709791\ 84660838369827906520969430087062096*c_0101_6^2 + 1328385316626552949062624754083782079446760380077/24583225419361990\ 41302398114244157560589380441381, c_0101_3 + 297062209846710237803415551846641182048354479921/29893202109\ 94418034223716106920895593676686616719296*c_0101_6^27 - 24311965283035582330991319230686916121127607684353/2989320210994418\ 034223716106920895593676686616719296*c_0101_6^25 + 776091728843053017504263029460514777685024254964609/298932021099441\ 8034223716106920895593676686616719296*c_0101_6^23 - 5262086716324432482579999253586261825696530273610859/14946601054972\ 09017111858053460447796838343308359648*c_0101_6^21 + 10965905167874893267978549234228690745909855352928347/7473300527486\ 04508555929026730223898419171654179824*c_0101_6^19 - 45148613285091951778511616151283083050727204215630857/7473300527486\ 04508555929026730223898419171654179824*c_0101_6^17 + 45331596936594925952047652443304120372959661206991047/1573326426839\ 16738643353479311626083877720348248384*c_0101_6^15 - 2877078529277463236389155125239114359234131385324032401/29893202109\ 94418034223716106920895593676686616719296*c_0101_6^13 + 2968370992489061981649508210245782094452902253781937357/14946601054\ 97209017111858053460447796838343308359648*c_0101_6^11 - 3740227577305823409112691386876177605507500222453514745/14946601054\ 97209017111858053460447796838343308359648*c_0101_6^9 + 1381843305479439648072097307733506822539574083001873065/74733005274\ 8604508555929026730223898419171654179824*c_0101_6^7 - 268397398304398505823055717327487046804135252991535273/373665026374\ 302254277964513365111949209585827089912*c_0101_6^5 + 336565513758633960816006960556065964721230567323626313/298932021099\ 4418034223716106920895593676686616719296*c_0101_6^3 - 118456469000012195445948189491926069846441367874793/467081282967877\ 81784745564170638993651198228386239*c_0101_6, c_0101_6^28 - 81*c_0101_6^26 + 2545*c_0101_6^24 - 33334*c_0101_6^22 + 121100*c_0101_6^20 - 525188*c_0101_6^18 + 2521461*c_0101_6^16 - 7843457*c_0101_6^14 + 14758074*c_0101_6^12 - 16800882*c_0101_6^10 + 11278596*c_0101_6^8 - 4151016*c_0101_6^6 + 701753*c_0101_6^4 - 31072*c_0101_6^2 + 512 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB