2018-10-10 19:29:52 +0200 | received badge | ● Editor (source) |
2018-10-10 18:25:48 +0200 | received badge | ● Student (source) |
2018-10-10 17:07:32 +0200 | asked a question | substitution of ideal generators of a free algebra I'm trying to map the generators of an ideal $I$ of a free $k$-algebra $A = k \{ x, y \}$ to a different free $k$-algebra $B = k \{ u, v \}$ (really I'm trying something more complicated, but the failure occurs in even this simplified example). I was attempting to do this via This error seems strange to me; is it not understanding elements of $\mathbb{Q}$ and $\{ x, y \}$ as elements of $\mathbb{Q} \{ x, y \}$? I also tried to do this via a homomorphism $A \to B$ but I could not get this to work, as it seems they are not fully implemented yet for free algebras, from what I could tell. Any help or alternatives would be very appreciated. EDIT: I got a slight work-around, by converting the elements to strings, replacing the variables as characters, and the evaluating the string in the target. However, I feel like this is way more costly than a substitution would be, so I am still interested in a solution. |