2022-11-04 09:32:51 +0200 | received badge | ● Famous Question (source) |
2022-11-04 09:32:51 +0200 | received badge | ● Notable Question (source) |
2022-11-04 09:32:51 +0200 | received badge | ● Popular Question (source) |
2022-05-18 14:53:38 +0200 | asked a question | Simplify rational expression to polynomial Simplify rational expression to polynomial I'd like to check my computations for rational polynomial equations with sage |
2020-04-07 02:39:43 +0200 | received badge | ● Popular Question (source) |
2020-01-21 21:39:14 +0200 | received badge | ● Famous Question (source) |
2018-03-27 11:43:22 +0200 | received badge | ● Notable Question (source) |
2018-03-27 11:43:22 +0200 | received badge | ● Popular Question (source) |
2018-01-01 20:09:18 +0200 | received badge | ● Nice Question (source) |
2017-12-31 13:57:54 +0200 | received badge | ● Nice Question (source) |
2017-12-31 02:49:21 +0200 | asked a question | Extension field adjoining two roots I'm trying to construct given an irreducible polynomial $f \in \mathbb{Q}[X]$ an extension field that adjoins two of its roots $\alpha_1,\alpha_2$. I'm trying to follow the approach suggested in this question . However, with the following code: But this gives the error: Although, the polynomial is clearly irreducible over $\mathbb{Q}$. Doing it as: Gives error: What is going wrong? Is this the right way to construct the extension field with two roots? Edit Let me emphasize that I'm looking for a method that works for an arbitrary degree not just for degree 3. My actual problem goes on a degree four polynomial. So take as an example: f = x^4+2*x+5 instead of the previous one. |
2017-12-30 20:09:44 +0200 | received badge | ● Scholar (source) |
2017-12-30 19:59:52 +0200 | received badge | ● Nice Question (source) |
2017-12-30 19:52:04 +0200 | commented question | What is a PARI group? @slelievre I didn't have the privilege to post a link that's why. i believe the page given in the answer has more information in it: The output is a 4-component vector [n,s,k,name] with the following meaning: n is the cardinality of the group, s is its signature (s = 1 if the group is a subgroup of the alternating group Ad, s = -1 otherwise) and name is a character string containing name of the transitive group according to the GAP 4 transitive groups library by Alexander Hulpke. That's the relevant part i think |
2017-12-30 19:25:24 +0200 | received badge | ● Editor (source) |
2017-12-30 19:14:54 +0200 | asked a question | Factorization of $f \in \mathbb{Q}[X]$ in field extension $\mathbb{Q}(\alpha)$. I'm given an irreducible polynomial $f \in \mathbb{Q}[X]$ of degree 5 and I want to determine its Galois group without using the predefined functions of sage. The method I want to follow takes a root $\alpha_1$ of $f$ and studies the factorization of $f$ in the field extension $\mathbb{Q}(\alpha_1)$. I believe this is possible with other software. How can I do it with sage? Edit Apparently, Abstract Algebra: An Interactive Approach, Second Edition but they use InitDomain function which is not recognized by my notebook. Apparently the book gives a CD where an interface between sage and gap is done. So probably the solution requires using gap commands. |
2017-12-30 19:07:24 +0200 | received badge | ● Supporter (source) |
2017-12-30 18:50:20 +0200 | received badge | ● Student (source) |
2017-12-30 13:50:34 +0200 | asked a question | What is a PARI group? Take for instance the example: This gives an output: So I wonder what is the meaning of [20, -1, 3, "F(5) = 5:4"]. Is it some kind of permutation? The relevant page of the documentation doesn't clarify it. |