2020-10-08 04:44:34 -0600 | received badge | ● Popular Question (source) |

2020-10-08 04:44:25 -0600 | asked a question | How to define algebra via generators and relations? Say I want to implement Sweedler's Hopf algebra, just as an algebra, over an algebraically closed field. I would define the free algebra on the generators, then the ideal by which I want to quotient, and the quotient should behave like I want to. But if I now do the output is instead of How do I get sage to actually use the relations? The docs are not helpful here. |

2020-10-08 04:41:05 -0600 | asked a question | How to define algebras via generatos and relations? Say I want to implement Sweedler's Hopf algebra, just as an algebra, over an algebraically closed field. I would define the free algebra on the generators, then the ideal by which I want to quotient, and the quotient should behave like I want to. But if I now do the output is instead of How do I get sage to actually use the relations? The docs are not helpful here. |

2020-04-23 12:46:08 -0600 | received badge | ● Popular Question (source) |

2018-02-22 08:40:37 -0600 | received badge | ● Nice Question (source) |

2018-02-22 06:41:31 -0600 | answered a question | Calculations in quotient of a free algebra I know now that we can do the following: And we can verify Note: We cannot take tensor products, but that is not what I originally asked for, so. |

2018-02-21 09:37:03 -0600 | commented answer | Calculations in quotient of a free algebra Thank you for adding the ticket! |

2018-02-21 07:44:18 -0600 | asked a question | Calculations in quotient of a free algebra I want to define (the algebra part of) Sweedler's four-dimensional Hopf algebra, which is freely generated by $x,y$ and subject to the relations $$ x^2 = 1, \qquad y^2 = 0, \qquad x\cdot y = - y\cdot x~ , $$ but I don't see how to do it. I have tried the following: But then I get So is this currently possibly using a different method? Thanks |

2017-08-26 04:13:06 -0600 | commented question | Solving equations in polynomial ring if ideal is positive dimensional Thank you, but unfortunately for the larger cases (the next system consists of 24 very long equations in 10 variables) this is not so easily done. However, the last part in your second reply gave me an idea! Namely: Just don't solve for all variables, only for some and treat the rest as parameters. I think I might be able to work with that, and from then on kind of 'see' solutions (I'm not necessarily interested in all solutions). Might work :) |

2017-08-24 03:25:31 -0600 | received badge | ● Editor (source) |

2017-08-24 03:24:53 -0600 | asked a question | Solving equations in polynomial ring if ideal is positive dimensional I will be outlining the situation, and at the bottom I will describe my actual `problems'. I'm coming from this question, nbruin suggested I use polynomial rings. I'm afraid I'm missing something here. What I did was the following. Note that my equations are in fact only quadratic. As I understand from the wiki page on systems of polynomial equations, we can already tell - by looking at the reduced Gröbner basis - whether solutions exist at all. Sage computes the reduced Gröbner basis, so here is $B$: So our system is not inconsistent, but unfortunately it is also not zero dimensional, which is why $\texttt{I.variety()}$ does not work. My problems: 1.) $q$ is actually just a parameter in the underlying field, or rather in $\mathbb{R}$, that is: for given equations it is constant. But how do I use variables/constants in polynomial rings? I didn't find anything. 2.) In reality, I want to work over $\mathbb{R}$, but I read somewhere it is preferred to use $\texttt{QQ}$ or $\texttt{ZZ}$. Changing the base ring doesn't change the solvability tho (also not with $\texttt{QQbar}$) 3.) I know there are 4 one-parameter solutions for $\texttt{a1,a2,b1,b2}$. Is it possible to get sage to find an expression for them? ($\texttt{solve}$ finds them, but this is just a small example of much larger systems I want to solve) |

2017-08-18 02:36:25 -0600 | received badge | ● Scholar (source) |

2017-08-15 08:12:04 -0600 | received badge | ● Supporter (source) |

2017-08-14 13:24:14 -0600 | received badge | ● Student (source) |

2017-08-14 12:49:39 -0600 | asked a question | Sage wrongly suggests there are only trivial solutions, why? I have a system of two quadratic equations which I want to solve. WolframAlpha shows me whole families of solution, but sage says there are only trivial solutions. The equations are \begin{align} d\cdot\lvert\alpha\rvert^2 + \alpha^* \beta + \alpha\beta^* ==&0, \end{align} \begin{align} d\cdot\lvert\beta\rvert^2 + \alpha^* \beta + \alpha\beta^* ==&0, \end{align} where $d$ is constant and I want to solve for the complex numbers $\alpha, beta$ I have the following minimal working example and the output then is which is simply not correct. Now, as I said, I have found solutions with WolframAlpha, but the next candidate I have to compute gives 18 equations in 5 complex variables, which I cannot possibly solve with WA. Sage, again, tells me that there are only trivial solutions, but because of this smaller example presented here, I believe that that is wrong. Does anyone know how to force sage to give solutions? |

2017-08-14 12:49:39 -0600 | asked a question | Sage wrongly says there are only trivial solutions I have a system of two quadratic equations which I want to solve. WolframAlpha shows me whole families of solution, but sage says there are only trivial solutions. The equations are \begin{align} d\cdot\lvert\alpha\rvert^2 + \alpha^* \beta + \alpha\beta^* ==&0, \end{align} \begin{align} d\cdot\lvert\beta\rvert^2 + \alpha^* \beta + \alpha\beta^* ==&0, \end{align} where $d$ is constant and I want to solve for the complex numbers $\alpha, beta$ I have the following minimal working example and the output then is which is simply not correct. Now, as I said, I have found solutions with WolframAlpha, but the next candidate I have to compute gives 18 equations in 5 complex variables, which I cannot possibly solve with WA. Sage, again, tells me that there are only trivial solutions, but because of this smaller example presented here, I believe that that is wrong. Does anyone know how to force sage to give solutions? |

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.